Sciweavers

165 search results - page 7 / 33
» A Logic for Probability in Quantum Systems
Sort
View
IFIPTCS
2010
14 years 7 months ago
Convexity, Duality and Effects
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
Bart Jacobs
78
Voted
WILF
2009
Springer
216views Fuzzy Logic» more  WILF 2009»
15 years 4 months ago
Barycentric Algebras and Gene Expression
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
Anna B. Romanowska, Jonathan D. H. Smith
CIKM
2010
Springer
14 years 8 months ago
What can quantum theory bring to information retrieval
The probabilistic formalism of quantum physics is said to provide a sound basis for building a principled information retrieval framework. Such a framework can be based on the not...
Benjamin Piwowarski, Ingo Frommholz, Mounia Lalmas...
STOC
2001
ACM
122views Algorithms» more  STOC 2001»
15 years 9 months ago
One-dimensional quantum walks
In this paper we analyze the behavior of quantum random walks. In particular we present several new results for the absorption probabilities in systems with both one and two absor...
Andris Ambainis, Eric Bach, Ashwin Nayak, Ashvin V...
TCS
2002
14 years 9 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...