logiciel - Inria

PQ codes, un logiciel qui identifie des similitudes dans les images.

Logiciel - Images

Un logiciel pour fouiller dans les bases d'images

Jean-Michel Prima - 4/11/2011

PQ Codes permet de comparer une image à des millions d'autres avec une rapidité inégalée. Sa performance résulte d'une nouvelle méthode pour estimer la similarité entre les descripteurs vectoriels, comme l'explique Hervé Jégou, chercheur Inria à l'origine de ces travaux.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Un logiciel pour fouiller dans les bases d'images

Bioinformatique - Logiciel

Koriplast

Jean-Michel Prima - 1/03/2012

PME bretonne de bio-informatique, Korilog édite des outils qui aident les biologistes à analyser les séquences d'ADN et de protéines. Elle débute avec l'équipe de recherche Genscale une collaboration visant à développer une solution pour gérer la pléthore d'informations issues du séquençage de nouvelle génération. Rencontre avec son fondateur, Patrick Durand.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Koriplast

Réseaux sociaux - Peer to peer

Une librairie pour les applications Gossip

Jean-Michel Prima - 5/03/2012

Elaborée par l'équipe de recherche Asap, GossipLib rassemble des outils pour concevoir des logiciels aux propriétés épidémiques. Première librairie du genre, elle permettra aux développeurs de mieux tirer partie des systèmes de Peer-to-Peer et des réseaux sociaux, comme l'explique Davide Frey, chercheur Inria en charge de ce projet.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Une librairie pour les applications Gossip

300 corps de métiers sont parfois présents sur un chantier

Ingenierie des exigences

Vers un cahier des charges mieux formulé

Jean-Michel Prima - 21/05/2012

En février dernier, à Rennes, des chercheurs Inria conviaient les professionnels du développement logiciel à une rencontre consacrée à l’ingénierie des exigences. L'occasion pour les uns et les autres de mesurer l'importance du cahier des charges dans l'exécution des projets, comme l'explique Benoît Baudry, le scientifique à l'origine de cette initiative.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Vers un cahier des charges mieux formulé

Rencontre - Technologie

Inria 5.7 : Ingénierie Dirigée par les Modèles

31/05/2012

Jeudi 31 mai de 17 à 19 heures, Inria vous propose de venir échanger sur le thème de « l’Ingénierie (du logiciel) Dirigée par les Modèles » pour supporter l’agilité de vos développements logiciels, et ainsi réconcilier qualité et productivité.

Lieu : Salles Petri-Turing, Espace conférences Inria, centre de recherche Inria Rennes - Bretagne Atlantique

Mots-clés :

Accueil > Centre > Rennes > Agenda > Inria 5.7 : Ingénierie Dirigée par les Modèles

Innovation

Notre patrimoine logiciel

Le centre Inria Rennes - Bretagne Atlantique est actif dans le domaine du transfert et de l'innovation. Nos équipes de recherche sont ainsi à l'origine de nombreuses technologies phares parmi lesquelles Polychrony et OpenViBE.

Mots-clés :

Accueil > Centre > Rennes > Innovation > Nos logiciels

Mixmod, ensemble logiciel de classification des données par modèles de mélanges

Mixmod, ensemble logiciel adossé à un projet de recherche intégrant 5 organismes, permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives. Il tire profit du cadre probabiliste des modèles de mélange (modèle explicatif, large choix d'algorithmes, de critères de sélection, de modèles, ...).
L'ensemble logiciel Mixmod est composé d'une bibliothèque de calcul (mixmodLib) et d'outils adaptés à un large spectre d'utilisateurs et de besoins : une interface graphique conviviale (mixmodGUI), des fonctions pour les environnements R (Rmixmod) et Matlab (mixmodForMatlab). Le tout est diffusé sur le site www.mixmod.org sous licence GNU GPL depuis une dizaine d'années (une centaine de téléchargements par mois). Une présentation des fonctionnalités et des avantages de Mixmod est prévue ainsi que des démonstrations des produits mixmodGUI et Rmixmod.

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Finance > Démos > Mixmod

Patrimoine logiciel

Si vous souhaitez avoir une vision globale des logiciels de la thématique "les technologies du web et de la mobilité au service de l'innovation bancaire et de l'assurance", n'hésitez pas à vous rendre sur le stand Patrimoine Logiciel. Patrick Moreau, responsable patrimoine logiciel d'inria, vous conseillera également sur la façon de réussir le transfert de ces "prototypes de recherche", véritables actifs technologiques, potentiellement créateurs de valeurs dans le monde économique.

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Finance > Démos > Patrimoine logiciel

European Research Council 2011

Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Isabelle Bellin - 20/09/2011

Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council, ERC) pour mener pendant 5 ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.

Mots-clés :

Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Logiciel

Une action de développement technologique pour Coq

L'action de développement technologique (ADT) Coq regroupe les personnes et équipes participant collectivement à l'implantation du logiciel d'aide à la preuve Coq.