Sites Inria

Il y a 2 Résultats avec le mot clé : "LINA"

© Nicolas Delafraye © Nicolas Delafraye

Recherche

Chaire commune entre Inria et l'EMN Nantes

Nathalie Lacaux - 4/04/2016

L'École des Mines de Nantes, école d'ingénieurs rattachée à l'Institut Mines-Télécom, offre au concours un poste de Maître-assistant(e) sur une chaire Mines Nantes - Inria en génie logiciel et systèmes distribués.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Chaire commune entre Inria et l'EMN Nantes

Lire la suite

Gilles Chabert, Maître Assistant à l'École des Mines de Nantes (EMN), est membre de TASC, une équipe-projet Inria, EMN et Université de Nantes, commune au Laboratoire d'Informatique de Nantes Atlantique.

Recherche

Garantir la fiabilité de calculs numériques

Jean-Michel Prima - 30/11/2015

Développée par des chercheurs académiques, Ibex est une bibliothèque C++ basée sur la programmation par contracteurs, un formalisme qui facilite la résolution efficace et garantie de problèmes non-linéaires. Cette spécificité permet d'envisager des applications en automatique et en robotique, comme l'explique Gilles Chabert, coordinateur du projet et membre de Tasc, une équipe-projet Inria, École des Mines de Nantes et Université de Nantes, commune au Laboratoire d'Informatique de Nantes Atlantique (Lina).

Mots-clés :

Accueil > Recherches > Actualités > Garantir la fiabilité de calculs numériques

Lire la suite

Haut de page

Suivez Inria