Daniel Graça

From MaRDI portal
Person:1426050

Available identifiers

zbMath Open graca.daniel-silvaMaRDI QIDQ1426050

List of research outcomes





PublicationDate of PublicationType
Robust non-computability of dynamical systems and computability of robust dynamical systems2024-09-04Paper
Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines2023-09-13Paper
A continuous characterization of PSPACE using polynomial ordinary differential equations2023-06-07Paper
Characterizing time computational complexity classes with polynomial differential equations2023-03-09Paper
Computing the exact number of periodic orbits for planar flows2022-08-29Paper
Computability of limit sets for two-dimensional flows2022-03-22Paper
Computability of Differential Equations2022-01-26Paper
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable2021-11-18Paper
Robustness of non-computability2021-09-30Paper
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable2020-02-19Paper
Computability of ordinary differential equations2018-09-06Paper
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length2018-05-17Paper
Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: the general purpose analog computer and computable analysis are two efficiently equivalent models of computations2017-12-19Paper
On the functions generated by the general purpose analog computer2017-11-16Paper
Computing geometric Lorenz attractors with arbitrary precision2017-02-13Paper
Computing with polynomial ordinary differential equations2016-09-01Paper
Rigorous numerical computation of polynomial differential equations over unbounded domains2016-05-25Paper
Computational complexity of solving polynomial differential equations over unbounded domains2016-03-31Paper
An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable2016-01-28Paper
On the complexity of solving initial value problems2015-03-27Paper
Computability, noncomputability, and hyperbolic systems2015-03-26Paper
Computability and computational complexity of the evolution of nonlinear dynamical systems2013-08-05Paper
Computation with perturbed dynamical systems2013-07-24Paper
Turing machines can be efficiently simulated by the general purpose analog computer2013-05-28Paper
Boundedness of the domain of definition is undecidable for polynomial ODEs2013-05-03Paper
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach2013-05-03Paper
Computability in planar dynamical systems2012-11-15Paper
The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited2012-10-11Paper
Computability and dynamical systems2012-09-05Paper
Solving analytic differential equations in polynomial time over unbounded domains2011-08-17Paper
Robust Computations with Dynamical Systems2010-09-03Paper
Computational bounds on polynomial differential equations2009-11-13Paper
Effective computability of solutions of differential inclusions: the ten thousand monkeys approach2009-10-28Paper
Computing Domains of Attraction for Planar Dynamics2009-10-22Paper
Computability, noncomputability and undecidability of maximal intervals of IVPs2009-05-27Paper
Computability with polynomial differential equations2008-04-28Paper
Polynomial differential equations compute all real computable functions on computable compact intervals2007-07-04Paper
Theory and Applications of Models of Computation2007-04-30Paper
New Computational Paradigms2006-01-11Paper
Some recent developments on Shannon's General Purpose Analog Computer2005-02-16Paper
Analog computers and recursive functions over the reals.2004-03-14Paper
Robust non-computability and stability of dynamical systemsN/APaper

Research outcomes over time

This page was built for person: Daniel Graça