301.

2009 - 2011

ANR

Spades
Plateforme de Services Pour Architecture Petascale et DistribuéES.

302.

2009 - 2011

ANR

SYDINMALAS
Découverte Symbolique et Apprentissage Numérique pour la Conception de Controleurs de Robots en Essaim

303.

2009 - 2011

ANR

Cosinus-PETAQCD
Cosinus-PETAQCD

304.

2008 - 2011

CIFRE

SHERPA
Diagnosticabilité et diagnostic de systèmes technologiques pilotés

305.

2011 - 2011

Contrat europeen

EIT ICT Labs - KIC 2011
DataBridges

306.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

307.

2008 - 2011

ANR

U3CAT
U3CAT

308.

2004 - 2011

CIFRE

CIFRE THALES
These CIFRE de Jérôme Lard

309.

2008 - 2011

CIFRE

CIFRE/Z.Bouzarkouna
CIFRE/Z.Bouzarkouna

310.

2007 - 2011

DIGITEO

SHIRI
Système Hybride d’Intégration pour la Recherche d’Information dans les ressources

311.

2008 - 2011

DIGITEO

SARDYN
Stabilisation des Réseaux très Dynamiques

312.

2009 - 2011

DIGITEO

ITOC
ITOC

313.

2008 - 2011

DIGITEO

HISSEO
HISSEO

314.

2008 - 2011

DIGITEO

X-SCALE-N
DIM 2008 X-Scale-N

315.

2008 - 2011

DIGITEO

EDIFLOW
EDIFLOW - Data-intensive interactive workflows for visual analytics

316.

2007 - 2011

DIGITEO

DIGIBRAIN
Interface cerveau ordinateur

317.

2007 - 2011

DIGITEO

DIGIBRAIN
DIM DIGIBRAIN - projet 2007-15D

318.

2009 - 2011

Subvention

INNOV'NATION
Un serious game pour encourager l'innovation ouverte et participative

319.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

320.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

321.

2008 - 2010

ANR

SAFE-0S
Système d'exploitation sécurisé pour l'internaute

322.

2008 - 2010

Industriel

ReActivity
Capture, visualisation et interaction avec des données temporelles

323.

2008 - 2010

ANR

FF2A3
Projet FF2a3 FreeFem++ de la dimension 2 à la dimension 3

324.

2009 - 2010

ANR

PETAL
PETAL

325.

2010 - 2010

Industriel

AIRBUS - SPECIFICATION ALT-ERGO
AIRBUS - SPECIFICATION ALT-ERGO