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)
In this note, we present the hyperbolic Menelaus theorem in the Poincaré disc of hyperbolic geometry.
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)
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)
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)
The focus of this article is Ionescu-Weitzenböck' s inequality using the circumcircle mid-arc triangle. The original results include: (i) an improvement of the Finsler-Hadwiger's inequality; (ii) several refinements and some applications of this inequality; (iii) a new version of the Ionescu-Weitzenböck inequality, in an inner product space, 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)
In this study, we give a hyperbolic version of the Carnot theorem in the Poincaré upper half-plane model.
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)
In this note, we present a short trigonometric proof to the Steiner-Lehmus Theorem in hyperbolic geometry.