[HTML][HTML] A continuous characterization of PSPACE using polynomial ordinary differential equations
A continuous characterization of PSPACE using polynomial ordinary differential equations -
ScienceDirect Skip to main contentSkip to article Elsevier logo Journals & Books Search …
ScienceDirect Skip to main contentSkip to article Elsevier logo Journals & Books Search …
[HTML][HTML] On the functions generated by the general purpose analog computer
Abstract We consider the General Purpose Analog Computer (GPAC), introduced by Claude
Shannon in 1941 as a mathematical model of Differential Analysers, that is to say as a …
Shannon in 1941 as a mathematical model of Differential Analysers, that is to say as a …
[PDF][PDF] Approximability in the GPAC
D Poças, J Zucker - Logical Methods in Computer Science, 2019 - lmcs.episciences.org
Most of the physical processes arising in nature are modeled by differential equations, either
ordinary (example: the spring/mass/damper system) or partial (example: heat diffusion) …
ordinary (example: the spring/mass/damper system) or partial (example: heat diffusion) …
Tracking computability of GPAC-generable functions
D Poças, J Zucker - Journal of Logic and Computation, 2021 - academic.oup.com
Analog computation attempts to capture any type of computation, that can be realized by any
type of physical system or physical process, including but not limited to computation over …
type of physical system or physical process, including but not limited to computation over …
On the functions generated by the general purpose analog computer
Abstract We consider the General Purpose Analog Computer (GPAC), introduced by Claude
Shannon in 1941 as a mathematical model of Differential Analysers, that is to say as a …
Shannon in 1941 as a mathematical model of Differential Analysers, that is to say as a …