去世
发表于 2025-3-28 18:31:20
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
发表于 2025-3-28 21:18:08
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.
枫树
发表于 2025-3-28 23:38:57
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.
横条
发表于 2025-3-29 05:40:24
http://reply.papertrans.cn/95/9412/941190/941190_44.png
legitimate
发表于 2025-3-29 10:46:16
http://reply.papertrans.cn/95/9412/941190/941190_45.png
惊奇
发表于 2025-3-29 12:07:27
http://reply.papertrans.cn/95/9412/941190/941190_46.png
incisive
发表于 2025-3-29 19:30:58
Unconventional Computation978-3-540-38594-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
哀求
发表于 2025-3-29 21:15:17
http://reply.papertrans.cn/95/9412/941190/941190_48.png
muffler
发表于 2025-3-30 00:11:04
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
发表于 2025-3-30 07:42:09
http://reply.papertrans.cn/95/9412/941190/941190_50.png