Sciweavers

5608 search results - page 22 / 1122
» On the Theory of Matchgate Computations
Sort
View
ENTCS
2006
110views more  ENTCS 2006»
15 years 1 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
ENVSOFT
2002
82views more  ENVSOFT 2002»
15 years 1 months ago
Radiative perturbation theory: a review
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
Michael A. Box
CORR
2008
Springer
148views Education» more  CORR 2008»
14 years 12 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel
IDA
2010
Springer
14 years 12 months ago
Three alternative combinatorial formulations of the theory of evidence
In this paper we introduce three alternative combinatorial formulations of the theory of evidence (ToE), by proving that both plausibility and commonality functions share the stru...
Fabio Cuzzolin
IJACTAICIT
2010
84views more  IJACTAICIT 2010»
14 years 8 months ago
An Improved Deadlock Prevention Strategy for FMSs Using Theory of Regions
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
Yi-Sheng Huang, Yen-Liang Pan