Daniel da Silva Graça


AuthID: R-000-423

Confirmed Publications: 20



11
TITLE: Computational bounds on polynomial differential equations  Full Text
AUTHORS: Daniel S Graca ; Jorge Buescu ; Manuel L Campagnolo ;
PUBLISHED: 2009, SOURCE: International Workshop on Physics and Computation in APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 215, ISSUE: 4
INDEXED IN: Scopus WOS
IN MY: ORCID
12
TITLE: Computing Domains of Attraction for Planar Dynamics
AUTHORS: Daniel S Graca ; Ning Zhong;
PUBLISHED: 2009, SOURCE: 8th International Conference on Unconventional Computation in UNCONVENTIONAL COMPUTATION, PROCEEDINGS, VOLUME: 5715
INDEXED IN: Scopus WOS
13
TITLE: Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach
AUTHORS: Pieter Collins; Daniel S Graca ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Computability and Complexity in Analysis in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 15, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
14
TITLE: Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
AUTHORS: Graca, DS ; Buescu, J ; Campagnolo, ML ;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 202, ISSUE: C
INDEXED IN: Scopus
15
TITLE: Computability with polynomial differential equations  Full Text
AUTHORS: Daniel S Graca ; Manuel L Campagnolo ; Jorge Buescu ;
PUBLISHED: 2008, SOURCE: ADVANCES IN APPLIED MATHEMATICS, VOLUME: 40, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
16
TITLE: Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
AUTHORS: Collins, P; Graca, DS ;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 221, ISSUE: C
INDEXED IN: Scopus
17
TITLE: Polynomial differential equations compute all real computable functions on computable compact intervals  Full Text
AUTHORS: Olivier Bournez; Manuel L Campagnolo ; Daniel S Graca ; Emmanuel Hainry;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006) in JOURNAL OF COMPLEXITY, VOLUME: 23, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
AUTHORS: Olivier Bournez; Manuel L Campagnolo ; Daniel S Graca ; Emmanuel Hainry;
PUBLISHED: 2006, SOURCE: 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006) in THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, VOLUME: 3959
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: Robust simulations of turing machines with analytic maps and flows
AUTHORS: Graca, DS ; Campagnolo, ML ; Buescu, J ;
PUBLISHED: 2005, SOURCE: 1st Conference on Computability in Europe (CiE 2005) in NEW COMPUTATIONAL PARADIGMS, VOLUME: 3526
INDEXED IN: Scopus WOS
IN MY: ORCID
20
TITLE: Some recent developments on Shannon's General Purpose Analog Computer
AUTHORS: Graca, DS ;
PUBLISHED: 2004, SOURCE: International Conference on Computability and Complexity in Analysis in MATHEMATICAL LOGIC QUARTERLY, VOLUME: 50, ISSUE: 4-5
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 2 of 2. Total results: 20.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service