Logiciel - Inria

Prix scientifique

Vérification systèmes complexes

Marie Collin - 28/09/2010

CryptoMiniSat, logiciel de vérification de logiciels ou d'architectures matérielles complexes, remporte le premier prix de la compétition internationale SAT Race 2010.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Vérification systèmes complexes

Aurélien Francillon

Prix de thèse

Aurelien Francillon - Prix thèse 2009 Grenoble INP

Vanessa Peregrin - 30/11/2010

Aurélien Francillon, ancien doctorant de l'équipe-projet Planète est l'un des lauréats du prix de thèse 2009 Grenoble INP.

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Aurelien Francillon - Prix thèse 2009 Grenoble INP

Colloques

3e rencontre MIXMOD

2/12/2010

MIXMOD (MIXture MODelling) est un logiciel permettant de traiter des problématiques d'estimation de densités, de classification ou d'analyse discriminante.

Lieu : ENS LYON - Site J. Monod, Amphi B

Intervenants : G. Celeux, Inria - F. Langrognet, CNRS - U. Franche-Comté - C. Ruckebusch, LASIR, U. Lille 1, CNRS - C. Biernacki, U. Lille 1, CNRS, Inria - S. Cohen, IPANEMA-SOLEIL - C. Maugis, IMT, INSA Toulouse, U. Toulouse - O. Delrieu, PGXIS, UK

Mots-clés :

Accueil > Centre > Grenoble > Agenda > 3e rencontre MIXMOD

Voir le site Web MIXMOD

Ingénieurs R&D

Consultez nos offres pour les Ingénieurs en recherche & développement

Vous souhaitez collaborer à des projets de recherches ou des actions de développement ? Inria recrute sur contrat à durée déterminée (CDD) tout au long de l'année des "Ingénieurs R&D" pour la réalisation de travaux de recherche contractuels. Un ingénieur R&D est lié à l'institut par un contrat d'une durée qui peut aller de six mois à trois ans.

Mots-clés :

Accueil > Centre > Lille > Présentation > Offres > Ingénieurs R&D

Ingénieurs confirmés et spécialistes

Consultez nos offres pour les ingénieurs confirmés et spécialistes

Vous êtes un ingénieur expérimenté dans le domaine de la R&D ? En informatique et mathématiques appliquées ? Vous souhaitez évoluer dans un environnement de recherche de haut niveau ? Inria vous offre des opportunités sous forme de CDD au sein d'équipes à taille humaine. Deux dispositifs sont proposés en fonction de votre expérience : confirmés (expérience de deux à huit ans) et spécialistes (de huit ans et plus). Pour information la liste des offres sera actualisée au fil de l'eau.

Mots-clés :

Accueil > Centre > Lille > Présentation > Offres > Ingénieurs confirmés spécialistes

Innovation - Systèmes embarqués & édition logiciel

Colivad : modélisation et optimisation de la chaîne logistique

La chaîne logistique globale consiste en l'optimisation des flux à tous les stades de la chaîne Fournisseur-Client : production, approvisionnement, stockage, distribution. Notre équipe s'intéresse aux méthodes d'optimisation appliquées à la chaîne logistique, au niveau opérationnel comme stratégique. Dans le projet COLIVAD, nous avons mis au point un outil d'optimisation pour la livraison de colis qui prend en compte les ressources propres à l'entreprise et à la sous-traitance.

Mots-clés :

Accueil > Centre > Lille > Innovation > Les industries du commerce > Démos > Colivad : modélisation et optimisation de la chaîne logistique

Systèmes embarqués & Edition logiciel

Bigimbaz : recherche d'images à grande échelle

Bigimbaz est un outil de recherche dans des collections d'images. On lui fournit une image requête, et il renvoie les images les plus ressemblantes de la collection, qui peut compter des millions d'images. L'API peut s'intégrer dans n'importe quel logiciel, en particulier un serveur web, comme dans le démonstrateur.

Mots-clés :

Accueil > Centre > Lille > Innovation > Les industries du commerce > Démos > Bigimbaz : recherche d'images à grande échelle

Ingénieurs confirmés et spécialistes

Consultez nos offres pour les ingénieurs confirmés et spécialistes

Vous êtes un ingénieur expérimenté dans le domaine de la R&D ? En informatique et mathématiques appliquées ? Vous souhaitez évoluer dans un environnement de recherche de haut niveau ? Inria Saclay - Ile-de-France vous offre des opportunités sous forme de CDD au sein d'équipes à taille humaine. Deux dispositifs sont proposés en fonction de votre expérience : confirmés (expérience de deux à huit ans) et spécialistes (de huit ans et plus). Pour information la liste des offres sera actualisée au fil de l'eau.

Mots-clés :

Accueil > Centre > Saclay > Présentation > Offres > Ingénieurs confirmés spécialistes

Ingénieurs R&D

Consultez nos offres pour les Ingénieurs en recherche & développement

Vous souhaitez collaborer à des projets de recherches ou des actions de développement ? Inria saclay - Ile-de-France recrute sur contrat à durée déterminée (CDD) tout au long de l'année des "Ingénieurs R&D" pour la réalisation de travaux de recherche contractuels. Un ingénieur R&D est lié à l'institut par un contrat d'une durée qui peut aller de six mois à trois ans.

Mots-clés :

Accueil > Centre > Saclay > Présentation > Offres > Ingénieurs R&D

@Digital trainers

Simulateur d'entraînement à la chirurgie laparoscopique

Digital Trainers -

"Un objectif éthique devrait être prioritaire : « jamais la première fois sur le patient »."
Cette phrase, issue d'un rapport de la Haute Autorité de Santé remis en Janvier 2012 illustre bien les enjeux actuels de la formation des personnels médicaux. Cependant, simuler en temps réel une opération chirurgicale est encore aujourd'hui une gageure tant les barrières scientifiques à lever restent nombreuses. Dans le cadre d'un projet européen, nous avons développé un nouveau logiciel permettant de simuler un patient virtuel. Une interface à retour de force permet d'interagir avec ce patient et de ressentir les contacts avec les organes simulés en temps réel. Nous reproduisons ainsi de manière réaliste une opération de chirurgie.

Mots-clés :

Accueil > Centre > Nancy > Innovation > RII > Démos > Simulateur d'entraînement à la chirurgie laparoscopique

Il y a 50 Résultats avec le mot clé : "Logiciel"

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Mots-clés :

Centres de recherche Inria

Siège et centres de recherche Inria

Accès direct

Social