16430 search results - page 652 / 3286 » On Computable Tree Functions |
186
click to vote
WOLLIC
2010
Springer
16 years 8 days ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
187
click to vote
ENTCS
2007
15 years 7 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
182
click to vote
JCC
2007
15 years 7 months ago
2007
: We report a numerical technique that allows the quantum effects of zero-point motion to be incorporated into Pair Distribution Functions calculated classically for molecules usin...
166
click to vote
AML
1999
15 years 6 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...
210
click to vote
JCC
2002
15 years 6 months ago
2002
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...