Manuel Lameiras de Figueiredo Campagnolo


AuthID: R-000-A6M

Confirmed Publications: 20



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