Sciweavers

5608 search results - page 353 / 1122
» On the Theory of Matchgate Computations
Sort
View
CONCUR
2000
Springer
15 years 11 months ago
Chi Calculus with Mismatch
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
Yuxi Fu, Zhenrong Yang
CIE
2007
Springer
15 years 10 months ago
Multi-valued Logics, Effectiveness and Domains
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
Giangiacomo Gerla
148
Voted
COMPGEOM
2007
ACM
15 years 10 months ago
Inflating the cube by shrinking
We present a continuous submetric deformation of the surface of the cube which increases the enclosed volume by about 25.67%. Categories and Subject Descriptors: I.3.5 [Computatio...
Kevin Buchin, André Schulz
BIRTHDAY
2006
Springer
15 years 10 months ago
Quantum Institutions
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...
CSR
2006
Springer
15 years 10 months ago
SZK Proofs for Black-Box Group Problems
In this paper we classify several algorithmic problems in group theory in the classes PZK and SZK (problems with perfect/statistical zero-knowledge proofs respectively). Prior to ...
Vikraman Arvind, Bireswar Das