Creating and sharing knowledge for telecommunications

Project: COMPUTR : Calcul en temps continu sur les réels

Acronym: COMPUTR
Main Objective: * To obtain novel results about new computational models, especially those involving computation with real numbers.

* To obtain new results about the computational complexity of control theory and verification problems.
Reference: none
Funding: INRIA
Start Date: 01-01-2010
End Date: 01-01-2011
Team: Daniel da Silva Graça, Emmanuel Hainry, Olivier Bournez, Manuel Lameiras de Figueiredo Campagnolo, Carlos Eduardo Ramos dos Santos Lourenço, Jean-Yves Marion, Mathieu Hoyrup
Groups: , Security and Quantum Information - Lx
Partners: INRIA - Institut national de recherche en informatique et automatique, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Local Coordinator: Daniel da Silva Graça
Links: http://www.loria.fr/~hainry/ea/Prolong2010.html
Internal Page
Associated Publications