In this paper we present TROvE (Tool for Rapid OWL Reasoner Evaluation), a tool aimed to offer to a non-expert user the possibility to evaluate OWL reasoners on several reasoning tasks by means of a simple “push-button” solution.

We are now rethinking the idea of electronic democracy. Today nobody is looking at e-democracy from the perspective of a living room, push button, instant referenda democracy, hi the electronic age it is more and more evident that we are facing a complex evolution of the functioning of political systems that democracy is becoming not direct, but continuous; that we can look at an extreme democr...

In this paper we present FRaQuE (Framework for Rapid Query Processing Evaluation). The main purpose of FRaQuE is to offer to a non-expert user a “push-button” solution aimed to help her to evaluate query processors for Ontology Based Data Access, focusing only on input and output data, without take into account both theoretical and technical issues.

Equipping software with contracts, especially in the case of library components, opens up a whole range of applications. I will describe two of them, part of current work in the chair of software engineering at ETH. The first is automatic, “push-button” testing of contract-equipped components. The second is mathematical proof that such components satisfy their contracts. In both cases the effor...

Partial cross ownership (PCO) in a dyad supply chain refers to a situation where each firm holds a portion of its partner’s shares. We study this topic in push and pull supply chains, and prove that neither the supply chain’s nor any member’s profit changes with the percentage of the leader’s shares the follower holds. However, while the profits of the chain and the leader increase with the per...

Plyometric research in the upper extremity is limited, with the effects of open-chain plyometric exercises being studied most. Kinematic and ground reaction force data concerning closed-chain upper extremity plyometrics has yet to be examined. Twenty-one recreationally active male subjects performed four variations of plyometric push-ups in a counterbalanced order. These included box drop push-...

The knowledge organizations have already deployed or are deploying their Knowledge Management systems. And the knowledge service is the key mechanism for knowledge sharing in an organization. There are two mechanisms to implement knowledge service: “Pull” and “Push”. The “Push” mechanism is widely used to push the right knowledge to the right person at the right time actively. At present, the p...

A MMIC colpitts oscillator in push-push configuration is presented using InGaP/GaAs HBTs. The output at the second harmonic enhances the frequency range while preserving the well-known advantages of the Colpitts concept. Moreover, additional features like enhanced load-pull immunity and inherent frequency divider functionality are included. The MMIC VCO reaches state-of-the-art phasenoise perfo...

Two-photon fluorescence polarisation and stimulated emission depletion dynamics are investigated in three high two -photon cross-section push-push polyenes: OM62, LP79 and OM77 and compared to the behaviour of a standard fluorophore (rhodamine 6G). Two-photon fluorescence anisotropy measurements (R(0) and Ω) were undertaken using picosecond time-correlated single photon counting (TCSPC). For OM...

introduction: the purpose of this study was to compare the push-out bond strength of white proroot mineral trioxide aggregate (mta), biodentine, calcium-enriched mixture (cem) cement and endosequence root repair material (errm) putty after exposure to blood. methods and materials: a total of 96 root dentin slices with a standardized thickness of 1.00±0.05 mm and standardized canal spaces were r...