Manuel Lameiras de Figueiredo Campagnolo
[contactos], [fotografia/picture]
Formação/Background:
Doutoramento/PhD, Matemática, Instituto
Superior Técnico , UTL - Universidade Técnica de Lisboa/Technical
University of Lisbon, Mestrado em Matemática Aplicada/Master's in Applied Mathematics (Instituto Superior de Economia e Gestão/UTL), Licenciatura em Engenharia Florestal/Forestry Engineering (Instituto Superior de Agronomia/UTL).
Afiliações/Current affiliations:
Professor Associado, Matemática, DCEB - Departamento de Ciências e Engenharia de Biossistemas/Department of Biosystems, Sciences and Engineering, ISA - Instituto
Superior de Agronomia , UTL, investigador/researcher do Centro de Estudos Florestais/Forest
Research Center (ISA/UTL), e colaborador do SQIG
/Instituto de Telecomunicações.
Afiliações anteriores/Former affiliations:
Investigador visitante/Research visitor, Department
of Geography, University of Maryland, 2005-2006 and 2009-2010.
Investigador, SQIG
/Instituto de Telecomunicações, 2007-2010.
Investigador, CLC (Center for
Logic and Computation), IST/UTL, 2002-2006.
Investigador, LabMAC
(Laboratório de Modelos e Arquitecturas Computacionais),
Faculdade de Ciências, Lisbon University, 2000-2001.
Graduate
Fellow, Santa Fe Institute ,
1999-2001. Investigador, MATAPL
(Unidade de Matemática Aplicada), ISA/UTL, 1992-1999.
Ensino/Teaching:
2011-2012: Estatística e Delineamento/Statistics
and experimental design.
2010-2011: Geomatica/Geomatics, SIGs e Detecção Remota/GIS and Remote
Sensing , Estatística e Delineamento/Statistics
and experimental design e Reconhecimento de Padrões/Pattern
recognition.
Interesses de investigação/Research interests: Processamento de imagem, análise de dados espaciais, reconhecimento de padrões, detecção remota, computação/ pattern recognition, spatial analysis, image processing, remote
sensing, computation theory.
Publicações/Selected recent publications:
- Capítulos de livros/Book chapters:
- O. Bournez and
M. L. Campagnolo, A survey on continuous time computations, in
Cooper, S.B.; Löwe, Benedikt; Sorbi, Andrea (Eds.), New
Computational Paradigms: Changing Conceptions of What is Computable,
pages 383-424 Springer, 2008. on-line.
- M.L. Campagnolo, J.O. Cerdeira. Contextual
classification of remote sensing images with integer linear
programming. In J.M.Tavares R.M.Natal Jorge, Computational
Modelling of Objects Represented in Images: Fundamentals, Methods
and Applications, pages 123--128. Taylor and Francis,
2007. Get a preprint: 06-CC-compimage.pdf.
- Artigos em revistas/Journals:
- M. L.
Campagnolo and K. Ojakian. A characterization of Computable
Analysis on unbounded domains using differential equations,
Information and Computation, 209,
8 (2011), 1135-1159. on-line.
- D. S. Graça,
J. Buescu, and M. L. Campagnolo. Computational bounds on
polynomial differential equations, Applied Mathematics and
Computation, 215 (2009) 1375:1385. on-line.
- M. L. Campagnolo
and K. Ojakian. The elementary computable functions over the
real numbers: applying two new techniques, Archives for
Mathematical Logic, 46, 7-8, (2008) 593:627. on-line.
- D. S. Graça,
M. L. Campagnolo, and J. Buescu. Computability with
polynomial differential equations, Advances in Applied
Mathematics, 40, (2008) 330:349. on-line
.
- O. Bournez,
M. L. Campagnolo, D. S. Graça, and E. Hainry.
Polynomial differential equations compute all real computable
functions on computable compact intervals, Journal of Complexity,
23, 3 (2007) 317:335. on-line
.
- P. Barcia, M.
Bugalho, M.L. Campagnolo, J.O. Cerdeira, Using N-alkanes to estimate
diet composition of herbivores: a novel approach. Animal
(Farming Systems and Environment), 1, (2007) 141:149. on-line
- J. M. B.
Carreiras, J. M. C. Pereira, M. L. Campagnolo, and
Y. E. Shimabukuro. Assessing the extent of agriculture/pasture
and secondary succession forest in the brazilian legal amazon using
SPOT VEGETATION data. Remote Sensing of Environment, 101,
(2006) 283:298. on-line
- M.L. Campagnolo.
Continuous time computation with restricted integration
capabilities, Theoretical Computer Science, 317 (2004)
147:165. on-line
- M.L. Campagnolo, C.
Moore, and J. F. Costa. An analog characterization of the
Grzegorczyk hierarchy. Journal of Complexity, 18, 4, (2002)
977:1000. on-line
- M.L. Campagnolo, C. Moore, and J. F. Costa.
Iteration, inequalities, and differentiability in analog computers.
Journal of Complexity, 16, 4, (2000) 642:660. on-line
- Artigos em actas/Proceedings:
- M. L. Campagnolo
and K. Ojakian. Characterizing Computable Analysis with
differential equations. In V. Brattka, R. Dillhage, T. Grubba and A.
Klutsch (Eds.): Proceedings of the 5th International Conference of
Computability and Complexity in Analysis (CCA 2008): Electronic
Notes in Theoretical Computer Science, 221 (2008) 23:35. on-line
- M. L. Campagnolo
and K. Ojakian. Using Approximation to Relate Computational
Classes over the Reals. In J. Durand-Lose and M. Margenstern (Eds.):
MCU 2007, Lecture Notes in Computer Science, 4664, (2007)
39:61. Get a preprint: 07-CO-approximations.pdf.
- D. S. Graça,
J. Buescu, and M. L. Campagnolo. Boundedness of the domain
of definition is undecidable for polynomial ODEs. Proceedings of the
4th International Conference of Computability and Complexity in
Analysis (CCA 2007), Electronic Notes in Theoretical Computer
Science, 202, (2008) 49:57. Get a preprint:
07-GBC-bounded.pdf.
- M. L. Campagnolo
and K. Ojakian. The methods of approximation and lifting in
real computation. In Proceedings of the Third International
Conference on Computability and Complexity in Analysis, D. Cenzer,
R. Dillhage, T. Grubba and K. Weihrauch (eds.), Electronic Notes
in Theoretical Computer Science 167, (2007) 387:423. Get a
preprint: 06-CO-realrec.pdf
- O. Bournez,
M. L. Campagnolo, D. S. Graça, and E. Hainry.
The General Purpose Analog Computer and Computable Analysis are two
equivalent paradigms of analog computation. In J.-Y. Cai, S. B.
Cooper, and A. Li, editors, Theory and Applications of Models
of Computation TAMC'06, Lecture Notes in Computer Science
3959, (2006) 631:643. Get a preprint: 06-BCGH-tamc.pdf
- D. S. Graça,
M. L. Campagnolo, and J. Buescu. Robust simulations of
Turing machines with analytic maps and flows. In B. Cooper,
B. Loewe, and L. Torenvliet, editors, Proceedings of
CiE'05, New Computational Paradigms, Lecture Notes in Computer
Science 3526, (2005) 169-179. Get a preprint:
05-GCB-stable.pdf
- M.L. Campagnolo. The
complexity of real recursive functions. In C.S. Calude, M.J.
Dinneen, and F. Peper, editors, Unconventional Models of Computation
(UMC'02), Lecture Notes in Computer Science 2509, (2002)
1:14. Abstract.
Get a preprint: 02-C-realrec.pdf
- M. Campagnolo and C. Moore. Upper and lower
bounds on continuous-time computation. In I. Antoniou, C. Calude,
and M. Dinneen, editors, 2nd International Conference on
Unconventional Models of Computation - UMC'2K, pages 135--153.
Springer-Verlag, 2001. Abstract.
Get a preprint: 00-CM-umc.ps
- Dissertação/Thesis:
- M.L. Campagnolo. Computational Complexity of
Real Valued Recursive Functions and Analog Circuits. PhD thesis,
IST, Universidade Técnica de Lisboa, 2001. Supervised by J.F. Costa and C. Moore. Abstract. Get a preprint: 01-C-PhDThesis.ps
Manuel Lameiras Campagnolo
DCEB/Matemática
Instituto Superior de Agronomia
Tapada da Ajuda, 1349-017 Lisboa
PORTUGAL
Telefone/Phone: +351-213653470
Fax: +351-213653302
e-mail: mlc@isa.utl.pt
URL: http://math.isa.utl.pt/~mlc
Webmail
Página do antigo Departamento de Matemática do ISA
