| Projets sélectionnés |
|
AESEO - Aide Et Service dans un Environnement Ordinaire
Coordinateur : CEA - LIST DIASI LRI - Partenaires : Institut Telecom
|
|
APPAS - Approximation de l'arborescence de Steiner
Coordinateur : Université de Versailles Saint-Quentin en Yvelines
- Partenaires : E3S - Supélec - LRI - Paris Sud
|
|
CALIFHA.1 - CALculations of Incompressible Fluids on Heterogeneous Architectures
Coordinateur : Université Paris-Sud 11 - Partenaires : LRI LIMSI/CNRS
|
|
Coqlicot.1 - Coquelicot, une nouvelle approche des nombres réels en Coq
Coordinateur : INRIA Saclay - Île-de-France - Partenaire : LIX École Polytechnique - LIPN Université Paris 13
|
|
CRANK-UP - Sélection automatique de la complexité d'algorithmes de ranking
Coordinateur : Université Pierre et Marie Curie - LIP6 - Partenaire : LTCI UMR Telecom ParisTech/CNRS N° 5141
|
|
DISCOVER - (DIStributed COVER times) Calculabilité et analyse de complexité dans le modèle des protocoles de population
Coordinateur : Université Paris Sud 11 - LRI
- Partenaires : LIX ecole polytechnique
|
|
DW4RDF.2 : Traitement efficace de données pour entrepôts RDF
Coordinateur : Université Paris-Sud 11 - LRI - Partenaires : Université Paris-Sud 11 LRI - INRIA Saclay - LEO - CNAM Paris - VERTIGO
|
|
EcceHomo : Estimation et contrôle commande embarquée pour véhicules en formation
Coordinateur : Université Paris Sud 11 - L2S - Partenaire : Centre de Robotique Mines ParisTech - LIX - ESIEE
|
|
FLEXICELLS : Plateforme de simulation de Reseaux Small Cell Flexibles
Coordinateur : SUPELEC - Chaire Alcatel-Lucent en Radio Flexible
- Partenaire : TELECOM PARISTECH
|
|
GENIBD : Modélisation et inférence de l'identité génomique pour les analyses génétiques
Coordinateur : INSERM - U946
- Partenaires : MAP5 lab, CNRS-Univ Paris Descartes Genetics of Complex Traits Lab, IGB-ABT, CNR
|
|
MOISYR : Monotonie, observateurs par intervalles, et systèmes à retard
Coordinateur : INRIA - L2S
- Partenaire : Mines Paris Tech, Centre de robotique, UPE, ESIEE Paris, Département Systèmes Embarqués
|
|
OPTONEURO : Analyse quantitative des circuits neuronaux qui sous-tendent le comportement
Coordinateur : L'Institut du Cerveau et de la Moelle Épinière - Centre de Recherche de l'institut du Cerveau et de la Moelle Épinière
- Partenaire : Lionel Moisan
|
|
QNLCC : Quantum Nonlocality and Communication Complexity
Coordinateur : Université Paris-Sud XI - LRI
- Partenaires : LIAFA, Université Paris Diderot
|
|
REMI : RElational data based Machines for Image annotation
Coordinateur : UPMC LIP6
- Partenaires : Telecom-ParisTech - LTCI
|
|
SECUWAVE : Physical Layer Security for Wireless
Coordinateur : SUPELEC - Chaire Alcatel-Lucent en Radio Flexible
- Partenaires : Télécom ParisTech
|
|
SIDONIE : SImulation numérique de la Diffraction d'Ondes ultrasonores par un défaut localisé dans une Plaque aNIsotropE
Coordinateur : CEA_SACLAY/DRT / LIST / DISC LSM
- Partenaire : laboratoire POEMS
|
|
TATAMI : Optimisation de la TAille des mémoires TAmpons pour des applications Modèlisées par un système Dataflow à fonctionnement Irrégulier
Coordinateur : Université Pierre et Marie Curie - LIP6
- Partenaires : Jean-Marc Delosme
|
|
TeCSTES : Testing Concurrent Systems Through Event Structures
Coordinateur : INRIA - LSV (CNRS, INRIA et ENS de Cachan)
- Partenaires : Delphine Longuet, LRI, Univ. Paris-Sud
|
|
UnsupBrain : Unsupervised-Brain : Une approche non-supervisée pour le passage à l'échelle des Interfaces Cerveau-Machines
Coordinateur : cnrs - LRI
- Partenaire : CEA-LIST
|
|
VAPF : Vérification automatique de programmes fonctionnels
Coordinateur : CNRS & Université Paris Est Marne-la-vallée - LIGM
- Partenaire : Olivier Serre - LIAFA
|
|
VECOSI : Vérification Compositionnelle de Systèmes Infinis
Coordinateur : Université Paris Diderot-Paris VII - LIAFA
- Partenaires : LSV (Laboratoire Spécification et Vérification)
|
|
WISDOM : WIrelesS network Design using mixed integer nonlinear OptiMization
Coordinateur : Telecom SudParis Département RS2M
- Partenaires : Supelec - département Télécommunications
|
