Titlebook: Unconventional Computation; 5th International Co Cristian S. Calude,Michael J. Dinneen,Susan Stepne Conference proceedings 2006 Springer-Ve

去世

Rational Models of Cognitive ControlAny theory of human cognition must explain not only routine behavior, but how behavior is flexibly modulated by the current environment and goals. In this extended abstract, we discuss this ability, often referred to as ..

escalate

If a Tree Casts a Shadow Is It Telling the Time? a contingent environment. We reformulate the Church-Turing thesis so that it applies to programs rather than to computability. When suitably formulated agent-based computing in an open, multi-scalar environment represents the current consensus view of how we interact with the world. But we don’t know how to formulate multi-scalar environments.

枫树

Physical Systems as Constructive Logicske a logical approach, and demonstrate that under almost trivial (physically reasonable) assumptions, discrete evolving physical systems give a class of logical models. Moreover, these models are of ., or . logics – that is, exactly those logics with a natural computational interpretation under the Curry-Howard ‘proofs as programs’ isomorphism.

横条

legitimate

惊奇

incisive

Unconventional Computation978-3-540-38594-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

哀求

muffler

Peptide Computing – Universality and Theoretical Modeltruct a new theoretical model. We examine how the simulations presented in this paper fit this model. We prove that a peptide computing model can be simulated by a Turing machine under certain conditions.

myalgia