#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1961

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Semantic wikis are a lightweight form of semantic technology that can enable more effective and active use of systems developed within the already popular wiki paradigm. But the goal of making the use and authoring of semantic wikis easy and attractive for a broad range of users raises several interaction design challenges: How can users unfamiliar with… (More)

A geometric approach of Blundon's inequality is presented. Theorem 2.1 gives the formula for cos ION in terms of the symmetric invariants s , R , r of a triangle, implying Blun-don's inequality (Theorem 2.2). A dual formula for cos I a ON a is given in Theorem 3.1 and this implies the dual Blundon's inequality (Theorem 3.2). As applications, some… (More)

- Giuseppe Rizzo, Raphäel Troncy, +17 authors José Luis Redondo
- 2015

Planning a visit to Expo Milano 2015 or simply touring in Milan are activities that require a certain amount of a priori knowledge of the city. In this paper, we present the process of building such a comprehensive knowledge base, the 3cixty KB, that contains descriptions of events, places, transportation facilities and social activities, collected from… (More)

- Sinem Güven, Catalin Mihai Barbu, Dirk Husemann, Dorothea Wiesmann
- 2012 IEEE Network Operations and Management…
- 2012

This application track paper describes the Change Risk Expert (CRE) tool, which is designed to help reduce change failure rates. CRE assists Change Requesters to adequately plan changes by semi- automatically classifying change tickets, by informing about past failure rates and reasons, by systematically managing change risks, and by providing standard… (More)

- Sinem Güven, Catalin Mihai Barbu
- 2011 IEEE International Conference on Services…
- 2011

Today, the risk of a service related change is typically assessed at change record creation time by a Change Requester either manually or through answering a fixed set of questions. Assessing the risk of a change, thus, relies heavily on one person's opinion. Further, in the questionnaire method, a fixed set of questions implies that the change context is… (More)

- Cătălin Barbu
- 2010

In this note, we present a short trigonometric proof to the Steiner-Lehmus Theorem in hyperbolic geometry.

In this study, we present a proof of the Menelaus theorem for quadrilaterals in hyperbolic geometry, and a proof for the transversal theorem for triangles. Hyperbolic geometry appeared in the first half of the 19 th century as an attempt to understand Euclid's axiomatic basis of geometry. It is also known as a type of non-euclidean geometry, being in many… (More)

- D Sărăţeanu, G Popescu, E Vîrlan, C Barbu
- Studii şi cercetări de inframicrobiologie
- 1971

In this paper we proof the Andrica-Iwata's inequality for a hyperbolic triangle.