Manuel Lameiras Campagnolo

According to our database1, Manuel Lameiras Campagnolo authored at least 23 papers between 1995 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Uncertainty Characterisation & Validation within ESA Fire-CCI.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

2015
Reliable Crop Identification with Satellite Imagery in the Context of Common Agriculture Policy Subsidy Control.
Remote Sensing, 2015

2014
Estimation of Effective Resolution for Daily MODIS Gridded Surface Reflectance Products.
IEEE Trans. Geoscience and Remote Sensing, 2014

2011
A characterization of computable analysis on unbounded domains using differential equations.
Inf. Comput., 2011

2009
A Survey on Continuous Time Computations
CoRR, 2009

Computational bounds on polynomial differential equations.
Applied Mathematics and Computation, 2009

A Tutorial on Analog Computation: Computing Functions over the Reals.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

2008
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs.
Electr. Notes Theor. Comput. Sci., 2008

Characterizing Computable Analysis with Differential Equations.
Electr. Notes Theor. Comput. Sci., 2008

The elementary computable functions over the real numbers: applying two new techniques.
Arch. Math. Log., 2008

Computability with polynomial differential equations.
Adv. Appl. Math., 2008

2007
Polynomial differential equations compute all real computable functions on computable compact intervals.
J. Complexity, 2007

The Methods of Approximation and Lifting in Real Computation.
Electr. Notes Theor. Comput. Sci., 2007

Using Approximation to Relate Computational Classes over the Reals.
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

2006
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation.
Proceedings of the Theory and Applications of Models of Computation, 2006

Contextual classification of remotely sensed images with integer linear programming.
Proceedings of the Computational Modeling of Objects Represented in Images-Fundamentals, 2006

2005
Robust Simulations of Turing Machines with Analytic Maps and Flows.
Proceedings of the New Computational Paradigms, 2005

2004
Continuous-time computation with restricted integration capabilities.
Theor. Comput. Sci., 2004

2002
An Analog Characterization of the Grzegorczyk Hierarchy.
J. Complexity, 2002

The Complexity of Real Recursive Functions.
Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

2000
Iteration, Inequalities, and Differentiability in Analog Computers.
J. Complexity, 2000

Upper and Lower Bounds on Continuous-Time Computation.
Proceedings of the Unconventional Models of Computation, 2000

1995
Knowledge Based Clustering of Partially Characterized Objects.
Proceedings of the Advances in Artificial Intelligence, 1995


  Loading...