126.

2008 - 2010

ANR

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

127.

2008 - 2010

Industriel

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

128.

2008 - 2010

ANR

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

129.

2009 - 2010

ANR

PETAL
PETAL

130.

2010 - 2010

Industriel

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

131.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

132.

2009 - 2011

Subvention

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

133.

2007 - 2011

DIGITEO

DIGIBRAIN
Interface cerveau ordinateur

134.

2007 - 2011

DIGITEO

DIGIBRAIN
DIM DIGIBRAIN - projet 2007-15D

135.

2008 - 2011

DIGITEO

HISSEO
HISSEO

136.

2008 - 2011

DIGITEO

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

137.

2008 - 2011

DIGITEO

EDIFLOW
EDIFLOW - Data-intensive interactive workflows for visual analytics

138.

2008 - 2011

DIGITEO

SARDYN
Stabilisation des Réseaux très Dynamiques

139.

2009 - 2011

DIGITEO

ITOC
ITOC

140.

2007 - 2011

DIGITEO

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

141.

2008 - 2011

CIFRE

CIFRE/Z.Bouzarkouna
CIFRE/Z.Bouzarkouna

142.

2004 - 2011

CIFRE

CIFRE THALES
These CIFRE de Jérôme Lard

143.

2008 - 2011

ANR

U3CAT
U3CAT

144.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

145.

2008 - 2011

Industriel

Adaptive Combinatorial Search
Adaptive Combinatorial Search

146.

2009 - 2011

ANR

TRAVESTI
Traffic Volume Estimation by Spatio- Temporal Inference

147.

2008 - 2011

Contrat europeen

CSQIP
Collaborative student training in Quantum Information Processing

148.

2008 - 2011

Subvention

JST-ICT
Quantum Computation: Theory and Feasibility

149.

2005 - 2011

CIFRE

GEMALTO
CIFRE/N.Rousset

150.

2009 - 2011

ANR

FOST
FOST