Projects details

  • PROCURE - Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications
  • May 2013 - Oct 2015
  • The project addresses the problem of uncertainty reasoning with mathematical models involving nonlinear constraints over continuous variables. It extends previous work on a new technology that combines probability reasoning with constraint programming and use it in science and engineering applications. With the participation of experts from physics and electronic engineering, the project focus on ocean color remote sensing and robotics localization.
  • PTDC/EEI-CTP/1403/2012
  • FCT-MCTES - Fundação para a Ciência e a Tecnologia (MEC)
  • 137740
  • 137740
  • 1 May 2013
  • 31 Oct 2015
  • Pedro Barahona [Researcher], Jorge Cruz [Coordinator], Marco Correia [Researcher], Elsa Carvalho [Researcher], Pedro Sousa, Davide D’Alimonte, Laurent Granvillier, Alexandre Goldsztejn
  • LINA - Laboratoire d Informatique de Nantes Atlantique
  • HOLOS
  • http://centria.di.fct.unl.pt/projects/procure/