3 citations
3 papers
cs.AI2007
Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
Ken Samuel, Leo Obrst, Suzette Stoutenberg +7
To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing tw…
quant-ph2007★ 3 cited
Reliable Final Computational Results from Faulty Quantum Computation
Gerald Gilbert, Michael Hamrick, Yaakov S. Weinstein
In this paper we extend both standard fault tolerance theory and Kitaev's model for quantum computation, combining them so as to yield quantitative results that reveal the interpla…
quant-ph2007
Signatures of incoherence in a quantum information processor
Michael K. Henry, Alexey V. Gorshkov, Yaakov S. Weinstein +8
Incoherent noise is manifest in measurements of expectation values when the underlying ensemble evolves under a classical distribution of unitary processes. While many incoherent p…