A la une

Nicolas Beldiceanu, chercheur au sein de l'équipe TASC

Recherche

Les vertus de la programmation par contraintes

Jean-Michel Prima - 21/11/2012

Équipe de recherche commune d'Inria, de l'École des Mines de Nantes, de l'université de Nantes et du CNRS, Tasc explore le potentiel de la programmation par contraintes. Au carrefour des mathématiques et de l'informatique, cette discipline aussi appelée PPC permet d'aborder les problèmes combinatoires de grande échelle, comme l'explique le scientifique Nicolas Beldiceanu.

Lire la suite

Météo du coeur - Inriality Météo du coeur - Inriality

Culture numérique

Inriality, une fenêtre ouverte sur le monde numérique

Céline Acharian - 15/11/2012

Inria vient de lancer Inriality, espace ouvert et participatif d'échanges et de réflexion sur la civilisation numérique. Cette plateforme, qui naît à côté du site institutionnel Inria.fr, sera un lieu de dialogue où chacun sera libre d'apporter sa contribution.

Mots-clés :

Lire la suite

Olivier Collin devant les serveurs de la plate-forme GenOuest

Plateforme - Bio informatique

Cartes d'Identité des Tumeurs sur GenOuest

Jean-Michel Prima - 14/11/2012

Gérée à Rennes par Inria et l’IRISA, la plate-forme bio-informatique GenOuest accueille désormais la banque de données des tumeurs assemblée par la Ligue Nationale contre le Cancer. Responsable technique de la plate-forme, Olivier Collin évoque les contours de cette collaboration et les défis nés du séquençage.

Lire la suite

Models@Runtime chez les pompiers

Recherche

Models@Runtime chez les pompiers

Jean-Michel Prima - 7/11/2012

Née des travaux de deux équipes rennaises, la plate-forme Daum opère le croisement entre l'ingénierie de modèle et les systèmes distribués. L'enjeu : générer des composants logiciels qui augmentent l'élasticité des architectures. Afin d'illustrer le potentiel de cette approche, les scientifiques développent une application d'aide à la décision tactique pour les soldats du feu. À l'origine du projet : Noël Plouzeau, enseignant-chercheur et officier sapeur-pompier.

Lire la suite

Haut de page