Found 10,715 results
: Validated solutions of initial value problems for ordinary differential equations.
: Elements of a theory of simulation II: sequential dynamical systems.
: The case for hypercomputation.
: The many forms of hypercomputation.
: Distributed CSPs by graph partitioning.
: How much can analog and hybrid systems be proved (super-)Turing.
: Emergence as a computability-theoretic phenomenon.
(search: 0 sec. - facets: 0.0 sec.)