research
∙
07/21/2023
Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
We prove that functions over the reals computable in polynomial time can...
share
research
∙
01/30/2023
Measuring robustness of dynamical systems. Relating time and space to length and precision
Verification of discrete time or continuous time dynamical systems over ...
research
∙
09/27/2022
A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations
In a recent article, the class of functions from the integers to the int...
research
∙
09/27/2022
Polynomial time computable functions over the reals characterized using discrete ordinary differential equations
The class of functions from the integers to the integers computable in p...
research
∙
09/25/2022
A characterization of functions over the integers computable in polynomial time using discrete differential equations
This paper studies the expressive and computational power of discrete Or...
research
∙
02/19/2019
Continuous Ordinary Differential Equations and Ordinal Time Turing Machines
We consider Continuous Ordinary Differential Equations (CODE) y'=f(y), w...
research
∙
02/19/2019
Continuous Ordinary Differential Equations and Infinite Time Turing Machines
We consider Continuous Ordinary Differential Equations (CODE) y'=f(y), w...
research
∙
10/04/2018
Recursion schemes, discrete differential equations and characterization of polynomial time computation
This papers studies the expressive and computational power of discrete O...
research
∙
05/14/2018
A Survey on Analog Models of Computation
We present a survey on analog models of computations. Analog can be unde...
research
∙
04/25/2018