Daniel da Silva Graça


AuthID: R-000-423

Publicações Confirmadas: 20



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service