Daniel S. Graça

发表

Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs

Daniel S. Graça, Jorge Buescu, Manuel L. Campagnolo, 2008, CCA.

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 Computations

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2016, ICALP.

Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2011, MFCS.

Computability in planar dynamical systems

Ning Zhong, Daniel S. Graça, 2010, Natural Computing.

Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach

Daniel S. Graça, Pieter Collins, 2009, J. Univers. Comput. Sci..

Robust Computations with Dynamical Systems

Olivier Bournez, Daniel S. Graça, Emmanuel Hainry, 2010, MFCS.

Computation with perturbed dynamical systems

Olivier Bournez, Daniel S. Graça, Emmanuel Hainry, 2013, J. Comput. Syst. Sci..

The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable pdf

Daniel S. Graça, Ning Zhong, 2020, ArXiv.

On the complexity of solving initial value problems

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2012, ISSAC.

The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited

Ning Zhong, Daniel S. Graça, H. S. Dumas, 2012, Theor. Comput. Sci..

Analog models of computations

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2012 .

Computational bounds on polynomial differential equations

Daniel S. Graça, Jorge Buescu, Manuel Lameiras Campagnolo, 2009, Appl. Math. Comput..

Computing with Polynomial Ordinary Differential Equations pdf

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2016, J. Complex..

Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach

Daniel S. Graça, Pieter Collins, D. Graça, 2008, CCA.

Computability with polynomial differential equations

Daniel S. Graça, Jorge Buescu, Manuel L. Campagnolo, 2008, Adv. Appl. Math..

Robust Simulations of Turing Machines with Analytic Maps and Flows

Daniel S. Graça, Jorge Buescu, Manuel Lameiras Campagnolo, 2005, CiE.

Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems

Amaury Pouly, Olivier Bournez, Ning Zhong, 2013, CiE.

The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation

Olivier Bournez, Daniel S. Graça, Manuel Lameiras Campagnolo, 2006, TAMC.

On the Functions Generated by the General Purpose Analog Computer

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2016, Inf. Comput..

Computability, noncomputability, and hyperbolic systems

Ning Zhong, Daniel S. Graça, Jorge Buescu, 2011, Appl. Math. Comput..

Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2015, MACIS.

Computational complexity of solving elementary differential equations over unbounded domains pdf

Amaury Pouly, Daniel S. Graça, D. Graça, 2014, ArXiv.

Noncomputability, unpredictability, and financial markets

Daniel S. Graça, D. Graça, 2012, Complex..

Computability of Ordinary Differential Equations

Ning Zhong, Daniel S. Graça, Ning Zhong, 2018, CiE.

An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable

Ning Zhong, Daniel S. Graça, Ning Zhong, 2014, Theory of Computing Systems.

Computability and dynamical systems

Ning Zhong, Daniel S. Graça, Jorge Buescu, 2011 .

Computing Domains of Attraction for Planar Dynamics

Ning Zhong, Daniel S. Graça, 2009, UC.

Polynomial differential equations compute all real computable functions on computable compact intervals

Olivier Bournez, Daniel S. Graça, Manuel Lameiras Campagnolo, 2007, J. Complex..

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Amaury Pouly, Olivier Bournez, Daniel S. Graça, 2016, J. ACM.

The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable

Ning Zhong, Daniel S. Graça, 2021, Theor. Comput. Sci..

Polynomial dierential equations compute all real computable functions

Olivier Bournez, Daniel S. Graça, Manuel L. Campagnolo, 2006 .

Computability, noncomputability and undecidability of maximal intervals of IVPs

Ning Zhong, Daniel S. Graça, Jorge Buescu, 2009 .

The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable

Ning Zhong, Daniel S. Graça, Jorge Buescu, 2006 .