Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Daniel S. Graça is active.

Publication


Featured researches published by Daniel S. Graça.


Journal of Complexity | 2003

Analog computers and recursive functions over the reals

Daniel S. Graça; José Félix Costa

In this paper we show that Shannons general purpose analog computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleenes classical recursive function theory.We first consider the GPAC and several of its extensions to show that all these models have drawbacks and we introduce an alternative continuous-time model of computation that solves these problems. We also show that this new model preserves all the significant relations involving the previous models (namely, the equivalence with the differentially algebraic functions).We then continue with the topic of recursive functions over the reals, and we show full connections between functions generated by the model introduced so far and a particular class of recursive functions over the reals.


Mathematical Logic Quarterly | 2004

Some recent developments on Shannon's General Purpose Analog Computer

Daniel S. Graça

This paper revisits one of the first models of analog computation, the General Purpose Analog Computer (GPAC). In particular, we restrict our attention to the improved model presented in [11] and we show that it can be further refined. With this we prove the following: (i) the previous model can be simplified; (ii) it admits extensions having close connections with the class of smooth continuous time dynamical systems. As a consequence, we conclude that some of these extensions achieve Turing universality. Finally, it is shown that if we introduce a new notion of computability for the GPAC, based on ideas from computable analysis, then one can compute transcendentally transcendental functions such as the Gamma function or Riemanns Zeta function. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)


conference on computability in europe | 2005

Robust simulations of turing machines with analytic maps and flows

Daniel S. Graça; Manuel Lameiras Campagnolo; Jorge Buescu

In this paper, we show that closed-form analytic maps and flows can simulate Turing machines in an error-robust manner. The maps and ODEs defining the flows are explicitly obtained and the simulation is performed in real time.


theory and applications of models of computation | 2006

The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation

Olivier Bournez; Manuel Lameiras Campagnolo; Daniel S. Graça; Emmanuel Hainry

In this paper we revisit one of the first models of analog computation, Shannon’s General Purpose Analog Computer (GPAC). The GPAC has often been argued to be weaker than computable analysis. As main contribution, we show that if we change the notion of GPAC-computability in a natural way, we compute exactly all real computable functions (in the sense of computable analysis). Moreover, since GPACs are equivalent to systems of polynomial differential equations then we show that all real computable functions can be defined by such models.


Applied Mathematics and Computation | 2009

Computational bounds on polynomial differential equations

Daniel S. Graça; Jorge Buescu; Manuel Lameiras Campagnolo

In this paper we study from a computational perspective some properties of the solutions of polynomial ordinary differential equations. We consider elementary (in the sense of Analysis) discrete-time dynamical systems satisfying certain criteria of robustness. We show that those systems can be simulated with elementary and robust continuous-time dynamical systems which can be expanded into fully polynomial ordinary differential equations in Q[@p]. This sets a computational lower bound on polynomial ODEs since the former class is large enough to include the dynamics of arbitrary Turing machines. We also apply the previous methods to show that the problem of determining whether the maximal interval of definition of an initial-value problem defined with polynomial ODEs is bounded or not is in general undecidable, even if the parameters of the system are computable and comparable and if the degree of the corresponding polynomial is at most 56. Combined with earlier results on the computability of solutions of polynomial ODEs, one can conclude that there is from a computational point of view a close connection between these systems and Turing machines.


international symposium on symbolic and algebraic computation | 2012

On the complexity of solving initial value problems

Olivier Bournez; Daniel S. Graça; Amaury Pouly

In this paper we prove that computing the solution of an initial-value problem y = <i>p</i>(<i>y</i>) with initial condition <i>y</i>(<i>t</i><sub>0</sub>) = <i>y</i><sub>0</sub> ∈ R<sup><i>d</i></sup> at time <i>t</i><sub>0</sub> + <i>T</i> with precision 2<sup>−μ</sup> where <i>p</i> is a vector of polynomials can be done in time polynomial in the value of <i>T</i>, μ and <i>Y</i> = [equation]. Contrary to existing results, our algorithm works over any bounded or unbounded domain. Furthermore, we do not assume any Lipschitz condition on the initial-value problem.


Applied Mathematics and Computation | 2012

Computability, noncomputability, and hyperbolic systems

Daniel S. Graça; Ning Zhong; Jorge Buescu

Abstract In this paper we study the computability of the stable and unstable manifolds of a hyperbolic equilibrium point. These manifolds are the essential feature which characterizes a hyperbolic system, having many applications in physical sciences and other fields. We show that (i) locally these manifolds can be computed, but (ii) globally they cannot, since their degree of computational unsolvability lies on the second level of the Borel hierarchy. We also show that Smale’s horseshoe, the first example of a hyperbolic invariant set which is neither an equilibrium point nor a periodic orbit, is computable.


mathematical foundations of computer science | 2011

Solving analytic differential equations in polynomial time over unbounded domains

Olivier Bournez; Daniel S. Graça; Amaury Pouly

In this paper we consider the computational complexity of solving initial-value problems defined with analytic ordinary differential equations (ODEs) over unbounded domains of Rn and Cn, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of definition, provided it satisfies a very generous bound on its growth, and that the function admits an analytic extension to the complex plane.


Journal of the ACM | 2017

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

Olivier Bournez; Daniel S. Graça; Amaury Pouly

The outcomes of this article are twofold. Implicit complexity. We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class P of languages computable in polynomial time in terms of differential equations with polynomial right-hand side. This result gives a purely continuous elegant and simple characterization of P. We believe it is the first time complexity classes are characterized using only ordinary differential equations. Our characterization extends to functions computable in polynomial time over the reals in the sense of Computable Analysis. Our results may provide a new perspective on classical complexity, by giving a way to define complexity classes, like P, in a very simple way, without any reference to a notion of (discrete) machine. This may also provide ways to state classical questions about computational complexity via ordinary differential equations. Continuous-Time Models of Computation. Our results can also be interpreted in terms of analog computers or analog models of computation: As a side effect, we get that the 1941 General Purpose Analog Computer (GPAC) of Claude Shannon is provably equivalent to Turing machines both in terms of computability and complexity, a fact that has never been established before. This result provides arguments in favour of a generalised form of the Church-Turing Hypothesis, which states that any physically realistic (macroscopic) computer is equivalent to Turing machines both in terms of computability and complexity.


Information & Computation | 2017

On the Functions Generated by the General Purpose Analog Computer

Olivier Bournez; Daniel S. Graça; Amaury Pouly

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 model of continuous-time analog (mechanical, and later one electronic) machines of that time. We extend the model properly to a model of computation not restricted to univariate functions (i.e. functions

Collaboration


Dive into the Daniel S. Graça's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Ning Zhong

University of Cincinnati

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

José Félix Costa

Technical University of Lisbon

View shared research outputs
Top Co-Authors

Avatar

H.S. Dumas

University of Cincinnati

View shared research outputs
Researchain Logo
Decentralizing Knowledge