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:
2012-2013: Estatística
e Delineamento/Statistics and experimental design (graduate
course), Geomática/Geomatics,
SIGs e
Detecção Remota/GIS and Remote Sensing, GIS
(graduate course)
2011-2012: Estatística
e Delineamento/Statistics and experimental design (graduate
course), Geomática/Geomatics
2010-2011: Geomática/Geomatics,
SIGs e Detecção
Remota/GIS and Remote Sensing , Estatística
e Delineamento/Statistics and experimental design (graduate
course) e Reconhecimento
de Padrões/Pattern recognition (graduate course).
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.
Outras funções: Professor Coordenador do Centro de
Informática do ISA (CIISA).
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