Manuel Lameiras de Figueiredo Campagnolo


AuthID: R-000-A6M

Publicações Confirmadas: 20



1
TÍTULO: A characterization of computable analysis on unbounded domains using differential equations  Full Text
AUTORES: Manuel L Campagnolo ; Kerry Ojakian;
PUBLICAÇÃO: 2011, FONTE: INFORMATION AND COMPUTATION, VOLUME: 209, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
2
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: ResearcherID
3
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
4
TÍTULO: Characterizing Computable Analysis with Differential Equations
AUTORES: Campagnolo, ML ; Ojakian, K;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 221, NÚMERO: C
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
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: ResearcherID
6
TÍTULO: The elementary computable functions over the real numbers: applying two new techniques  Full Text
AUTORES: Manuel L Campagnolo ; Kerry Ojakian;
PUBLICAÇÃO: 2008, FONTE: 3rd International Conference on Computability and Complexity in Analysis in ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 46, NÚMERO: 7-8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
7
TÍTULO: Contextual classification of remotely sensed images with integer linear programming
AUTORES: Manuel Lameiras Campagnolo ; Jorge Orestes Cerdeira ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
8
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 | ResearcherID
9
TÍTULO: The Methods of Approximation and Lifting in Real Computation
AUTORES: Campagnolo, ML ; Ojakian, K;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 167
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
10
TÍTULO: Using approximation to relate computational classes over the reals
AUTORES: Manuel L Campagnolo ; Kerry Ojakian;
PUBLICAÇÃO: 2007, FONTE: 5th International Conference on Machines, Computations, and Universality in Machines, Computations, and Universality, Proceedings, VOLUME: 4664
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
Página 1 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