351.

2005 - 2009

ANR

WEBCONTENT
La Plateforme du Web Sémantique

352.

2006 - 2009

Contrat europeen

GENNETEC
GENetic NETworks: Emergence and Complexity

353.

2006 - 2009

ANR

OCARI
Optimisation des Communications Ad hoc pour les Réseaux Industriels

354.

2006 - 2009

ANR

SARAH
Services Avancés pour Réseaux Ad Hoc

355.

2005 - 2009

Contrat europeen

QAP
Qubit Applications

356.

2006 - 2009

ANR

Brasero
Biologically Relevant Algorithms and Softwares for Efficient RNA Structure Comparison

357.

2006 - 2009

ANR

DIAFORE
DIAgnostic de FOnctions REparties

358.

2007 - 2009

Industriel

GENCOD
GENCOD

359.

2006 - 2009

Contrat europeen

EvoTest
Evolutionary Testing

360.

2006 - 2009

Industriel

CARRIOCAS
CARRIOCAS

361.

2005 - 2009

ANR

CAT
C Analysis Toolbox

362.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

363.

2007 - 2009

Industriel

PFC
Plates-formes de confiance

364.

2005 - 2009

Subvention

ALPAGE
Algorithmique des plates-formes à grande échelle

365.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

366.

2005 - 2009

ANR

MICROBIOGENOMICS
Extraction optimisée d'informations pertinentes à partir de données complexes et hétérogènes issues de comparaisons génomiques

367.

2005 - 2009

ANR

CerPAN
Certification de Programmes d'Analyse Numérique

368.

2005 - 2009

ANR

Dsslab
Plate-forme d'expérimentation pour les systèmes distribués à large échelle sur Internet haut-débit

369.

2005 - 2009

ANR

ALGOQP
Algorithmique et Complexité Quantique et Probabiliste

370.

2006 - 2009

ANR

Web-Content
Plate-forme flexible et generique pour la gestion de contenus et l'integration des technologies du Web Semantique

371.

2008 - 2009

DIGITEO

ICI-TV
INRIA-CEA Interactive Television

372.

2006 - 2009

Contrat europeen

QOSCOSGRID
Quasi Opportunistic Supercomputing for Complex Systems in Grid Environments

373.

2006 - 2009

CIFRE

CIFRE ATHIS (PAULIN)
Thèse Yannick MOY - Analyse des usages de la mémoire dynamique dans des codes C embarqués

374.

2007 - 2008

PRA INRIA--ICT-CAS
Partenariat Hubert Curien avec ICT-CAS

375.

2007 - 2008

ANR

RegRNAs
Biological and bioinformatics approaches for identifying novel regulatory RNAs in human introns