5608 search results - page 6 / 1122 » On the Theory of Matchgate Computations |
MOC
2010
14 years 6 months ago
2010
201
Voted
APAL
2011
14 years 6 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
ENTCS
2011
14 years 6 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computationâ...
134
click to vote
SIGECOM
2011
ACM
14 years 2 months ago
2011
ACM
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
PC
2000
14 years 11 months ago
2000
A short overview is presented of the density functional theory and molecular dynamics (DFT