» RECHERCHE » Les projets Digiteo » Les précédents projets » Les projets 2011

Les projets 2011

Résultats de l’appel à projets DIM "Logiciels et Systèmes Complexes" 2011 de la Région Île-de-France

La sélection 2011 du DIM "Logiciels et Systèmes Complexes" géré par Digiteo est parue.
La Région Île-de-France détermine chaque année le budget consacré à ces projets.

 Projets sélectionnés
APPAS - Approximation de l’arborescence de Steiner Coordinateur : PRISM - Partenaires : Supélec - Université Paris-Sud
CALIFHA.1 - Calculations of incompressible fluids on heterogenous architectures Coordinateur : LRI - Partenaires : CNRS - DR4
COQUELICOT.1 - Nouvelle approche des nombres réels en Cop Coordinateur : Inria Paris - Ile-de-France - Partenaires : Université Paris Nord (Paris 13) - Ecole Polytechnique
CRANK-UP - Sélection automatique de la complexité d’algorithmes de Ranking Coordinateur : LIP6 (UMR 7606) - Partenaires : Télécom ParisTech
DISCOVER - Calculabilité et analyse de complexité dans le modèle des protocoles de population Coordinateur : LRI - Partenaires : Ecole Polytechnique
DW4RDF.2 - Traitement efficace de données pour entrepôts RDF Coordinateur : LRI - Partenaires : Inria Rocquencourt
ECCEHOMO - Estimation et contrôle commande embarqué pour véhicules en formation Coordinateur : L2S - Partenaires : Mines ParisTech - Ecole Polytechnique
GENIBD - Modélisation et inférence de l’identité génomique pour les analyses génétiques Coordinateur : INSERM - Partenaires : Université Paris Descartes (Paris 5)
MOISYR - Monotonie, Observateurs par intervalles et Système à Retard Coordinateur : L2S - Partenaires : Supélec - Mines ParisTech
OPTONEURO - Analyse quantitative des circuits neuronaux qui sous-tendent le comportement Coordinateur : Institut du cerveau et de la moelle épinière
QNLCC - Nonlocalité quantique et complexité de la communication Coordinateur : LRI - Partenaires : Télécom ParisTech - Université Denis Diderot (Paris 7)
REMI - Machines d’annotation dans les bases d’images relationnelles Coordinateur : LIP6 (UMR 7606) - Partenaires : CNRS - DR Ile-de-France Ouest et Nord
SECUWAVE - Sécurité pour les communications sans-fil à la couche physique Coordinateur : Supélec - 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 : LIST - Partenaires : Ensta ParisTech
TATAMI - Optimisation de la taille des mémoires tampons pour des applications modèlisées par un système dataflow à fonctionnement irrégulier Coordinateur : LIP6 (UMR 7606) - Partenaires : Université d’Evry
TECSTES - Testing concurrent systems through envent structures Coordinateur : Inria Rocquencourt - Partenaires : Université Paris-Sud
UNSUPBRAIN - Une approche non-supervisée pour le passage à l’échelle des interfaces cerveau-machines Coordinateur : LRI - Partenaires : CEA
VPF - Vérification automatique de programmes fonctionnels Coordinateur : LIGM
VECOSI - Vérification compositionnelle de systèmes infinis Coordinateur : LIAFA - Partenaires : ENS Cachan
WISDOM - Conception des réseaux sans fil en utilisant l’optimisation non linéaire en variables mixtes Coordinateur : SAMOVAR - Partenaires : Supélec
WCNC2012 - Wireless communications & networking conférence Coordinateur : Supélec - Département Télécommunications
AESEO - Aide et services dans un environnement ordinaire Coordinateur : LIST - Partenaires : Télécom SudParis
FLEXICELLS - Plateforme de simulation de réseaux small cell flexibles Coordinateur : Supélec - Partenaires : Télécom ParisTech
COPERSFI.2 - Commande performante de systèmes fluides incertains Coordinateur : SATIE - Partenaires : CNRS - DR4
ALAL - Approches algébriques pour le lambda calcul Coordinateur : LIPN - Partenaires : Inria Rocquencourt
GERIM2 Développement d’une plateforme de recherche et innovation en CND fondée sur le mise en œuvre de techniques émergentes à fort potentiel Coordinateur : LIST
Manifestations scientifiques
CSDM2011 - Complex systems Design & Management 2011 Coordinateur : LIX
EECI-GSC - EECI Graduate School on Control 2012 Coordinateur : EECI
GAMES2011 - 10th annual workshop of the EST networking programme on games for design an verification Coordinateur : LSV
ICTSSV3 - 23th infid international conference on testing software & systems Coordinateur : LRI
MIA11 - Mathematics and image anaysis 2011 Coordinateur : CNRS - DR4
PICOF12 - Problème inverses, contrôle et optimisation de formes Coordinateur : CMAP
UTP - 4th international symposium on unifying theories of programming Coordinateur : LRI