Catalogue logiciels "bio-informatique et outils numériques"
Upcoming SlideShare
Loading in...5
×
 

Catalogue logiciels "bio-informatique et outils numériques"

on

  • 792 views

Le 11 février dernier, Inria, en partenariat avec Lyonbiopôle, a organisé une Rencontre Inria Industrie sur le thème "Bio-informatique et outils numériques pour les produits de santé". Après ...

Le 11 février dernier, Inria, en partenariat avec Lyonbiopôle, a organisé une Rencontre Inria Industrie sur le thème "Bio-informatique et outils numériques pour les produits de santé". Après une matinée consacrée à des conférences, les participants ont pu découvrir les 25 démonstrations animées par des chercheurs Inria et 5 de leurs partenaires académiques et industriels. Consultez le catalogue présentant les logiciels Inria sur la thématique.

Statistics

Views

Total Views
792
Slideshare-icon Views on SlideShare
702
Embed Views
90

Actions

Likes
2
Downloads
7
Comments
0

1 Embed 90

http://www.inria.fr 90

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Catalogue logiciels "bio-informatique et outils numériques" Catalogue logiciels "bio-informatique et outils numériques" Presentation Transcript

    • Aevol est une plate-forme de simulation de l’évolution bactérienne : une population d’organismes virtuels est soumise à un processus de sélection et de variation, ce qui engendre une dynamique Darwinienne. Aevol permet d’étudier l’influence des conditions de vie des organismes sur leur évolution et, en particulier, sur les propriétés de variabilité, de robustesse et d’évolvabilité des génomes et des réseaux génétiques. Aspects innovants : Aevol intégrant un modèle précis de génome, il permet d’étudier les variations structurelles des génomes (nombre de gènes, synthénie, proportion codante, …) en lien avec les conditions de vie des organismes et avec les taux de mutations et de recombinaison. Langage, standard, environnement: Aevol est codé en C++ et disponible sous Linux et Mac OS. Licence : libre (GNU GPL) , accord de licence possible Principaux domaines d’applications : Biologie évolutive, microbiologie, santé. Une version pédagogique permet de sensibiliser à l’évolution de résistances aux antibiotiques. http://www.aevol.fr Partenaires académiques : Contact : guillaume.beslon@inria.fr Mots clés : Evolution, microbiologie, simulation, vie artificielle.
    • BEAVer-Seg L’algorithme « BEAVer-Seg » permet de simultanément segmenter les vésicules et estimer la composante fond. Cette méthode ne nécessite qu’un seul paramètre. Aspects innovants : Les opérations de segmentation de vésicules et d’estimation de fond sont formulées dans le cadre des champs aléatoires conditionnels. Ces deux tâches sont réalisées de manière alternée par la minimisation d’une énergie qui s’appuie sur l’algorithme min cut/max flow. Cette approche exploite une mesure de détection qui considère les contrastes d’intensité entre groupes de pixels voisins. Langage : C++ Mots clés : microscopie de fluorescence, segmentation de vésicules, estimation du fond, champs aléatoires conditionnels Partenaires : Principaux domaines d’applications : microscopie, optique, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : charles.kervrann@inria.fr
    • BioASP BioASP est un meta-package pour créer un environnement dédié à l’intégration et l’analyse de données en biologie des systèmes, basé sur la représentation des connaissances et des technologies d’optimisation combinatoire (ASP) Aspects innovants : Le logiciel fournit une collection d’application python qui encapsulent des applications et codes de programmation par ensemble- réponse (ASP) permettant leur utilisation par des non-experts. Langage, standard, environnement : python Mots clés: réseaux biologiques, biologie intégrative, raisonnement, représentation des connaissances, optimisation combinatoire, Programmation par ensembles-réponses Licence GPLv3 Principaux domaines d’applications : Reconstruction de réseaux biologiques, biologie environnementale, biomining, cancérologie, design expérimental. Partenaires académiques : Contact : anne.siegel@inria.fr http://aspforbiology.genouest.org/
    • BIOCHAM La Machine Abstraite Biochimique (Biocham) est une plate-forme logicielle libre de modélisation et analyse de systèmes de réactions biochimiques complexes. Biocham contient des fonctionalités uniques pour l’intégration étroite des études in silico et in vitro en biologie. Aspects innovants : -Langage de modélisation par règles avec sémantiques Booléenne, stochastique et différentielle (compatible SBML) -Analyseurs statiques (inférence d’invariants, de réductions de modèles, graphe d’influence) -Inférence de valeurs de paramètres cinétiques à partir de propriétés imprécises du comportement en logique temporelle Mots clés : biologie des systèmes, biologie synthétique. Licence : LGPL © Inria 2002-2013. Principaux domaines d’applications : - Modèles prédictifs des processus cellulaires -Réseaux de signalisation cellulaires -Régulation du cycle cellulaire -Expression des gènes et ARN. http://contraintes.inria.fr/biocham Contact : Francois.Fages@inria.fr
    • BioGuide offre un guide de requêtes capable d’accéder aux masses de données hétérogènes stockées dans les sources de données publiques. L’utilisateur n’a pas à interroger les différentes sources et exprime ses requêtes de façon simple, en sélectionnant ses entités d’intérêt (Gène, Maladie, Protéine…). Aspects innovants : BioGuide prend en compte les préférences de l’utilisateur quant au type de sources à interroger et suit différentes stratégies d’interrogations. Langage, standard, environnement : Java Web start Mots clés : Interrogation de données hétérogènes; préférences de l’utilisateur; complémentarité des données Licence : freeware Principaux domaines d’applications : Biomédical, recherche pharmaceutique. Département recherche dans des hôpitaux. Utilisation fréquente par l’Institut Curie. http://www.bioguide-project.net Partenaires académiques : Contact : cohen@lri.fr
    • BioRica Aspects innovants : Son originalité est de proposer la composition hiérarchique de modèles existants validés et d’y associer une sémantique rigoureuse. Les modèles Biorica sont hybrides : composés d’éléments continus (décrits par des systèmes d’équations différentielles), ou discrets (décrits par des automates temporisés). Principaux domaines d’applications : BioRica est destiné à des biologistes cherchant à décrire des phénomènes dynamiques complexes en réutilisant au maximum des modèles existants validés. Exemples d'application : - Œnologie: Modélisation de la fermentation en fonction des conditions de vinification, - Modélisation d'un système immunitaire. Langage : Python Environnement : Windows, Unix et MacOS X Licence : GPL/CeCILL Mots clefs : Modèles hiérarchiques, modèles hybrides, modèles stochastiques, Systems Biology Partenaires académiques : BioRica sert à décrire mathématiquement le comportement de systèmes biologiques complexes. C’est une plateforme logicielle permettant la simulation de systèmes en biologie à partir de leur description. Il permet de réutiliser des modèles biologiques existants et de les combiner en modèles plus complexes. Contact : David.Sherman@inria.fr http://biorica.gforge.inria.fr/
    • caspo Caspo est un logiciel pour l’apprentissage de réseaux de signalisation sous la forme d’un modèle booléen décrivant la réponse immédiate d’un réseau. Language, environment : python Licence : GPLv3 Principaux domaines d’applications : inférence de réseau biologique, cancérologie, design expérimental. http://caspo.genouest.org/ Partenaires académiques : Contact : anne.siegel@inria.fr Mots-clés : biologie des systèmes, Programmation par ensembles-réponses, réseau biologique, optimisation combinatoire, représentation des connaissances, raisonnement. Aspects innovants : Etant donné un réseau biologique décrit par des relations de causalité, et des jeux de données phospho-protéomiques, caspo recherche les plus petits modèles boléens logiques permettant d’expliquer les réponses expérimentales observées.
    • Compareads Analyse de la biodiversité à l’aide de données métagénomiques Compareads estime la similarité entre deux échantillons métagénomiques. Métagénomique comparative de-novo (ne nécessite pas de références) Aspects innovants : Le logiciel s’appuie sur une méthode d’analyse innovante impliquant une structure de données probabiliste. Compareads traite directement les masses de données issues des séquenceurs de dernière génération. Principaux domaines d’applications : • Ecologie • Santé • Agronomie Langage : C++ Environnement : Linux Licence : logiciel libre sous licence CeCILL Mots-clés : bioinformatique, biodiversité Partenaires académiques : http://team.inria.fr/genscale/software Contact : dominique.lavenier@inria.fr
    • DIMOVO est un outil qui permet la discrimination entre complexes biologiques et contacts cristallographiques simples pour les structures 3D des complexes protéiques. Aspects innovants : Résultat simple et rapide avec notion d’intervalle de confiance. Basé sur une stratégie d’apprentissage inédite dans le domaine et performante. Langage, standard, environnement: Serveur Mots clés : assemblages macromoléculaires, cristallographie, protéines. Licence : Serveur: Principaux domaines d’applications : DIMOVO est destiné à être utilisé par les expérimentalistes, cristallographes en particulier. http://albios.saclay.inria.fr/dimovo Partenaires académiques : Contact : julie.bernauer@inria.fr x3
    • DiscoSNP Découverte de SNPs sans génome de référence Le logiciel prend en entrée 1 à N jeux de reads et retourne tous les SNPs Les SNPs sont classés par ordre de pertinence Aspects innovants : La recherche d’un motif spécifique dans un graphe de de-Bruijn, construit directement à partir des informations brutes de séquençage (jeux de reads), sélectionne tous les SNPs potentiels. Principaux domaines d’applications : Santé : cancer, maladie génétique Agronomie : sélection végétale, sélection animale. Langage : C++ Environnement : Linux Licence : logiciel libre sous licence CeCILL Mots clés : SNP, bioinformatique Partenaires académiques : http://team.inria.fr/genscale/software Contact : pierre.peterlongo@inria.fr SNP : Single Nucleotide Polymorphism
    • Dynpeak est une boîte à outils Scilab pour la détection de pulses et l'analyse interactive des rythmes de sécrétion dans les séries temporelles hormonales. Aspects innovants : Prise en compte des propriétés inhérentes aux évènements de sécrétion (forme et demi-vie du pulse, régularité des changements de rythmes, …) Adaptation au caractère structurellement sous-échantillonné des séries expérimentales. Langage, standard, environnement : module Scilab. Licence : CeCILL Principaux domaines d’applications : endocrinologie, étude des rythmes de sécrétion pulsatile d'hormones - en particulier l'hormone hypophysaire LH (luteinizing hormone). Contact : Serge.Steer@inria.fr Partenaires académiques : Mots clés : rythmes biologiques, analyse de séries temporelles, détection de pulses. https://www.rocq.inria.fr/sisyphe /paloma/dynpeak.html
    • Description des fonctions du logiciel : • modèle 3D biomécanique de la souris • analyse vidéo multi vues • paramètres 3D physiologiques Aspects innovants : mesurer des paramètres 3D physiologiques sur la souris à partir de la vidéo Langage, standard, environnement : C++, Multi plateforme Licence : en cours de définition Principaux domaines d’applications : neurophysiologie, pharmacologie, etc Partenaires académiques : Inria, CNRS, Université Descartes, Institut Clinique de la Souris (ICS) Contact : lionel.reveret@inria.fr http://morpheo.inrialpes.fr/people/reveret/eth omice/ Mots clés : Biomécanique, Analyse, Mouvement, Éthologie, Souris
    • FELiScE Langage, standard, environnement : implémentation en C++, interfaçage avec Python, intégration continue avec Buildbot, algèbre linéaire avec PETSc, parallélisation avec MPI. Systèmes Linux et MacOS. Mots clés : éléments finis, modélisation cardiovasculaire et respiratoire Licence : GPL2 Principaux domaines d’applications : écoulements sanguins, électrophysiologie cardiaque, écoulements respiratoires. Collaborations industrielles avec Air Liquide et Notocord. http://felisce.gforge.inria.fr Partenaires académiques : Aspects innovants : Couplage multiphysiques (mécanique des fluides et des solides, électrophysiologie,…), interfaçage avec la bibliothèque d’assimilation de données Verdandi, applications Web. FELiScE est un environnement logiciel dédié à la résolution par éléments finis d’équations aux dérivées partielles. Il intègre de nombreux éléments nécessaires à la simulation des systèmes cardiovasculaires et respiratoires. Contacts : jean-frederic.gerbeau@inria.fr dominique.chapelle@inria.fr
    • FluoBacTracker est un outil intégré pour l’indentification et le suivi (tracking) automatique des bactéries en croissance et leur lignage dans des films de microscopie. D’autre part, les marqueurs fluorescents intracellulaires éventuels sont identifiés et leur dynamique spatiale est caractérisée. Aspects innovants : Très peu de logiciels actuels sont capables de faire tous les traitements effectués par FluoBacTracker et seul FluoBacTracker les fait de façon automatisée (en particulier pour le lignage). Langage, standard, environnement: Java, Image J Mots clés : Microbiologie, analyse d’image, cellules uniques, diffusion intracellulaire Licence : libre (GNU GPL), accord de licence possible Principaux domaines d’applications : Microbiologie, santé, caractérisation de la croissance bactérienne en cellules uniques, trajectographie de particules uniques in vivo https://gforge.inria.fr/projects/fluobt/ Partenaires académiques : Contact : hugues.berry@inria.fr
    • GATB Boite à outils pour l’assemblage de génomes Un jeu de logiciels performant pour customiser l’assemblage de génomes Logiciels rapide et à faible empriente mémoire Aspects innovants : La suite logicielle s’appuie sur une structure de données compacte permettant l’assemblage de génome humain sur un ordinateur personnel Principaux domaine d’applications : • Recherche en génomique/métagénomique • Santé • Agronomie, Ecologies Langage : C++ Environnement : Linux Licence : logiciel libre sous licence CeCILL Mots clés : assemblage de génomes Partenaires académiques : http://team.inria.fr/genscale/software Contact : dominique.lavenier@inria.fr
    • GeneValorization offre une interface simple permettant à l’utilisateur de se rendre compte rapidement d’à quel point un ensemble de gènes est connu dans la littérature pour être associé à un phénomène biologique, par exemple, une maladie. L’utilisateur fournit une liste de noms de gènes qu’il étudie et un ensemble de mots clés décrivant le contexte de l’étude, GeneValorization fournit un tableau synthétique et clair de résultats. Aspects innovants : GeneValorization recherche automatiquement et rapidement les publications existantes qui mettent en relation les mots clés et les noms de gènes. Langage, environnement : Java Web Start Mots clés : implication de gènes dans une maladie; extraction automatique d’informations de la bibliographie Licence : freeware Principaux domaines d’applications : GeneValorization peut être utilisé pour confirmer des hypothèses biologiques ou se rendre compte qu’une corrélation (par exemple gène-maladie) est originale. Utilisation fréquente par l’Institut Curie. http://www.bioguide-project.net/gv Partenaires académiques : Contact : cohen@lri.fr
    • Genouest Plate-forme bioinformatique Calcul, gestion des données, développement, expertise, formation, transfert technologique. Certifiée ISO9001 Mettre une image représentative des fonctions du logiciel Algorithmes pour l’analyse intensive de séquences, modélisation des systèmes biologiques, gestion des données biologiques Langage, standard, environnement : Cluster de calcul, stockage de données, cloud computing Licence : Les logiciels développés par la plate-forme (SeqCrawler, BioMAJ) sont sous licence libre Principaux domaines d’applications : Analyse de données biomoléculaires: Agronomie, Mer, Santé, Environnement http://www.genouest.org Partenaires académiques : Contacts : Olivier.Collin@irisa.fr Jacques.Nicolas@inria.fr
    • Genetic Network Analyzer (GNA) est un outil informatique pour la modélisation et la simulation de réseaux de régulation génique. L’objectif de GNA est d’assister les biologistes et les bioinformaticiens dans la construction d’un modèle d’un réseau de régulation et d’analyser son comportement dynamique de façon qualitative Aspects innovants : GNA permet d’analyser la dynamique d’un réseau de régulation génique sans informations quantitative sur les valeurs de paramètres. Langage, standard, environnement : Java Mots clés : réseaux de régulation génique, modélisation et simulation Licence : GNA est distribué par la société Genostar SA, qui l’a intégré dans son environnement pour l’analyse comparative de génomes, protéomes et métabolomes. Principaux domaines d’applications : GNA a été utilisé pour analyser des réseaux de régulation microbiens, dans la recherche fondamentale et appliquée. http://ibis.inrialpes.fr Partenaires académiques : Contact : hidde.de-jong@inria.fr
    • Graphite - LifeExplorer propose une interface intuitive pour la modélisation de complexes cellulaires impliquant plusieurs protéines et des brins d’ADN. Il permet en particulier de produire des surfaces triangulées de protéines de bonne qualité et propose un puissant outils de modélisation de brin d’ADN. Aspects innovants : La modélisation d’un brin d’ADN dans l’espace est très intuitive puisqu’il suffit à l’utilisateur de spécifier l’axe du brin au moyen d’une courbe de Bézier, fermée ou non. La position des atomes est alors automatiquement calculée et peut être affinée si besoin. C++/Python. Linux, MacOSX, Windows Mots clés : Modélisation spatiale de ‘ADN Licence : libre Principaux domaines d’applications : - modélisation de complexes cellulaires pour émettre des hypothèses sur leur structure. - illustration scientifique http://www.lifeexplorer.eu/download/graphite Partenaires académiques : Fondation Fourmentin-Guilbert Contact : samuel.hornus@inria.fr
    • HotSpotDetection L’algorithme « HotSpotDetection » permet de détecter des zones d’accumulation de fluorescence au cours du temps en vidéo- microscopie optique. Les cartes de détections cumulées mettent en évidence les régions d’intérêt de manière fiable. En pratique, cette méthode nécessite le réglage que d’un seul paramètre: une probabilité de fausse alarme. Aspects innovants : La régularité de l’intensité au cours du temps est mesurée dans un cadre markovien. Au lieu de considérer des interactions locales ponctuelles entre pixels, une mesure de détection considérant les interactions entre groupes de pixels est choisie. La propriété de redondance et la représentation en groupes de pixels sont exploitées pour détecter des motifs spatio- temporels rares dans la séquence d’images de microscopie de fluorescence. Langage : C++ Mots clés : microscopie de fluorescence, détection, champs aléatoires markoviens Partenaires : Principaux domaines d’applications : microscopie, optique, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : charles.kervrann@inria.fr
    • HullkGround L’algorithme « HullkGround » permet de décomposer une séquence d’images de microscopie optique de fluorescence en 2 sous-séquences: 1) une séquence d’images identifiant les « objets mobiles » 2) une séquence d’images identifiant le « fond » qui varie lentement au cours du temps Aspects innovants : Chaque signal temporel de la sequence est traité individuellement et analysé avec des outils de géométrie computationnelle. L’enveloppe convexe est estimée automatiquement en chaque pixel et soustraite au signal original. La méthode est non- supervisée et ne requiert aucun ajustement de paramètre. Langage : Java, C++ Mots clés : microscopie de fluorescence, séparation objets/fond, enveloppe convexe Numéro du dépôt APP : IDDN.FR.001.400005.000.S.P.2009.000.21000 Partenaires : Principaux domaines d’applications : microscopie, optique, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : charles.kervrann@inria.fr
    • Kbdock Kbdock est une approche fondée sur le raisonnement à partir de cas pour la modélisation des interactions protéine- protéine. Les solutions peuvent être affinées et classées en utilisant notre logiciel de docking “Hex”. Aspects innovants : Kbdock utilise 240 000 interactions domaine-domaine 3D de la Protein Data Bank et les classe par famille Pfam. Il utilise notre nouveau logiciel d'alignement de structures "Kpax" pour trouver des templates hors de portée pour les méthodes basées sur les sequences. Langage, standard, environnement : Construit avec PHP, Prolog, C, MySQL; fonctionne sur tout navigateur web. Licence : gratuit pour une utilisation académique. Principaux domaines d’applications : La modélisation par homologie des interactions de protéines, la proposition des cibles médicamenteuses. http://kbdock.loria.fr Partenaires académiques: Contact : dave.ritchie@inria.fr Mots clés : interactions protéine-protéine, l'amarrage de protéines, la modélisation par homologie des complexes de protéines.
    • Logol Identification de motifs dans des séquences d'ADN/ARN/protéines, à l’aide de patterns très expressifs : combinaison de motifs, structures (tige- boucles, répétitions), indel etc. Logol = «couteau Suisse» du pattern matching Aspects innovants : - Reconnaissance de pseudo-nœuds - Formalisme grammatical puissant (grammaires faiblement contextuelles) - Analyse plein génome Langage, standard, environnement : Langages : Java, Prolog, Ruby Sur : console, environnement web Licence CeCILL v2 Principaux domaines d’applications : - Recherche de sites de fixation mutés - Identification de tige-boucles (e.g. dans les CRISPR cf http://crispi.genouest.org/) http://logol.genouest.org/web/app.php/logol Partenaires académiques : Contact: catherine.belleannee@irisa.fr Mots clés : Reconnaissance de motifs structurés, analyse syntaxique de séquence
    • MLXPlore est un logiciel d’exploration graphique et interactive de modèles complexes, notamment en pharmacométrie. MLXPlore permet d’étudier la variabilité statistique des modèles, et de modéliser différents designs de traitement (planning des doses, dosages, type d’administration…) MLXPlore est développé et distribué par Lixoft, spin-off d’Inria. Aspects innovants : Calcul temps-réel des prédictions des modèles, et des effets des traitements; description et étude des sources de variabilité statistique, graphiques complets, animation de systèmes dynamiques, langage MLXTRAN spécifiquement adapté à la description de modèles. Multiplateformes, développé en C++, 32/64 bits, stations de travail et cluster. Mots clés : Langage MLXTRAN, variations inter-individuelles, modèles à équations différentielles, PKPD, design de traitement. Licence : gratuite pour utilisateurs académiques, commerciale pour entreprises Principaux domaines d’applications : Tout domaine de modélisation de données longitudinales, avec ou sans variabilité statistique, analyse de populations (pharma, vétérinaire, immunologie, agro-alimentaire…). http://www.lixoft.com http://team.inria.fr/popix Contact : marc.lavielle@inria.fr
    • Monolix est un logiciel de référence pour modéliser le médicament, la maladie (modèles pharmacométriques) et les essais cliniques (populations de patients). Il permet de caractériser finement les paramètres de populations et les variations inter- individuelles. Monolix est issu de travaux autour de l’algorithme d’estimation statistique SAEM et est devenu une plateforme complète pour l’industrie pharmaceutique. Monolix est maintenant développé et distribué par Lixoft, spin-off d’Inria. Aspects innovants : Algorithmes d’estimation statistique (SAEM) robustes, performants et adaptés aux modèles complexes, graphiques puissants pour le diagnostic des modèles et des variations inter- individuelles, langage MLXTRAN spécifiquement adapté à la description de modèles Multiplateformes, développé en Matlab et C++ (pas de licence Matlab nécessaire), 32/64 bits, stations de travail et cluster. Mots clés : effets mixtes, SAEM, essais cliniques, pharmacométrie, PKPD, langage MLXTRAN Licence : gratuite pour utilisateurs académiques, commerciale pour entreprises Principaux domaines d’applications : Conduite des essais cliniques: logiciel très répandu dans l’industrie pharmaceutique. Tout domaine combinant modélisation avec analyse statistique des populations (humaine, cellulaire, animale, plantes –semences, engrais, etc.) http://www.lixoft.com http://team.inria.fr/popix Contact : marc.lavielle@inria.fr
    • Motion2D L’algorithme « Motion2D » permet d’estimer le mouvement dominant dans une séquence d’images. L’approche repose sur des techniques d’estimation robuste, multi-résolution et incrémentale de modèles 2D paramétrés de mouvement, exploitant les gradients spatio-temporels de l’intensité d’une paire d’images. Aspects innovants : La méthode Motion2D permet d’estimer plusieurs types de modèles de mouvement: modèle constant (translation), affine et quadratique. Elle tient compte des variations globales d’illumination. Langage : C++ Mots clés : Estimation du mouvement, modèles paramétriques, compensation du mouvement Licence : Inria Principaux domaines d’applications : Vision par ordinateur, vidéo-surveillance, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : patrick.bouthemy@inria.fr Numéro du dépôt APP : IDDN.FR.001.520021.001.S.A.1998.000.21000
    • MS-Detect L’algorithme « MS-Detect » permet de détecter des objets mobiles dans des séquences d’images par soustraction de fond. Cette méthode fournit à chaque instant la carte binaire des objets mobiles et l’image de reconstruction du fond statique. Aspects innovants : Le point-clé est de définir un unique processus aléatoire qui prend en compte deux types de valeurs: un processus symbolique pour la détection de mouvement et un processus numérique pour l’estimation de l’intensité du fond. Nous avons donc considéré un champ aléatoire conditionnel à états mixtes. La séparation objet/fond est obtenue en minimisant la fonction d’énergie résultante. Langage : C++ Mots clés : champ aléatoire conditionnel à états mixtes, détection de mouvement, soustraction de fond Partenaires : Principaux domaines d’applications : vision par ordinateur, vidéo-surveillance, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : patrick.bouthemy@inria.fr
    • ND-SAFIR L’algorithme « ND-SAFIR » est un logiciel de débruitage d'images n-dimensionnelles particulièrement dédié à l'analyse de séquences d'images de microscopie optique de fluorescence et la reduction du bruit Poisson-Gaussien. Aspects innovants : La méthode ND-SAFIR est capable de traiter des images 2D, 3D, 2D+temps, 3D+temps qui présentent un ou plusieurs canaux de couleur. Cette méthode est adaptée aux bruits Gaussien et Poisson-Gaussien qui sont habituellement rencontrés dans l'imagerie photonique. Langage : C++ Mots clés : Débruitage, analyse d’images, imagerie photonique, microscopie de fluorescence Licence : INRIA-INRA Principaux domaines d’applications : microscopie, optique, environnement, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : charles.kervrann@inria.fr APP deposit number: IDDN.FR.001.190033.002.S.A.2007.000.21000 Partenaires :
    • OpticalFlow L’algorithme « OpticalFlow » est une méthode d’estimation du flot optique entre une paire d’images. Aspects innovants : La méthode résulte de la fusion de deux méthodes existantes qui ont montré de bonnes performances en calcul de flot optique. En pré- traitement, une étape d’égalisation d’histogramme ainsi qu’une compensation du mouvement dominant sont proposées de manière optionnelle. Langage: C++ Mots clés : flot optique, analyse d’images, égalisation d’histogramme, compensation de mouvement License : Inria Partenaire : Principaux domaines d’applications : vision par ordinateur, biologie, santé http://mobyle-serpico.rennes.inria.fr Contact : charles.kervrann@inria.fr
    • OSON : outil de simulation en oncologie À partir d'une série d'images médicales (IRM, Scanners), cette méthode permet de construire un modèle mathématique personnalisé du patient qui prend en compte le type de tissus atteints (poumon, cerveau...), le type particulier de tumeur et certains paramètres propres au patient. Aspects innovants : Traitement optimisé des résultats d’imagerie fonctionnelle Outil parallèle donc possibilité d’augmenter le nombre de tests et donc la fiabilité des résultats Méthode d’aide à la décision personnalisée Mots clés : Oncologie, cancer, simulation, logiciel Licence : propriétaire Principaux domaines d’applications : Santé, milieu médical Contact : marianne.lamour@inria.fr
    • PLAST Comparaison de banques de séquences génomiques PLAST est jusqu’à 25 fois plus rapide que BLAST à sensibilité égale. Aspects innovants : Le logiciel PLAST repose sur un moteur de comparaison de séquences innovant et qui exploite de manière optimale tous les niveaux de parallélisme des microprocesseurs récents Principaux domaines d’applications : •Génomique & Métagénomique •Traitement des données NGS •Taxonomie, Phylogénie Langage : C++ Environnement : Linux, Windows, Mac Licence : logiciel libre sous licence CeCILL Mots clé : bioinformatique Partenaires académiques : http://team.inria.fr/genscale/software Contact : dominique.lavenier@inria.fr
    • POGG POGG permet de classifier l’importance et la sensibilité des interactions dans un réseau de régulation vis-à-vis de l’observation temporelle et quantitative d’un phénotype à une échelle supérieure. Mettre une image représentative des fonctions du logiciel Aspects innovants : Résolution de problèmes non linéaires pour apprendre puis explorer la famille des chaines de Markov avec coûts dont le comportement asymptotique est consistant les observations quantitatives à l’échelle biologique supérieure. Langage, environnement : Matlab Mots-clés : Intégration multi-échelle, systèmes biologiques, chaines de Markov. Licence: CeCiLL Principaux domaines d’applications : Biologie des systèmes, interactions sensibles, modèles d’entropie maximale, étude de langages naturels. http://pogg.genouest.org Partenaires académiques : Contact : Jeremie.Bourdon@inria.fr
    • Protomata-Learner Apprentissage de la signature spécifique d'une famille fonctionnelle de protéines à partir de séquences non alignées par alignement multiple « local partiel » et modélisation par automate Aspects innovants : Premier outil de caractérisation syntaxique de protéines identifiant et modélisant l’enchaînement de blocs de conservations sur des sous-ensembles de séquences Principaux domaines d’applications : Recherche de nouveaux membres ou étude (par exemple, pour mutagenèse dirigée) de familles et sous-familles fonctionnelles de protéines non nécessairement homologues : enzymes, signalisation, transport,... Langage, environnement : C++, Python, Linux Mots clés : Bioinformatique, Apprentissage Automatique Licence : Libre Cecill Partenaires académiques : http://tools.genouest.org/tools/protomata Contact : francois.coste@inria.fr
    • SAMSON Plateforme logicielle pour la modélisation et la simulation en temps réel de nanosystèmes, naturels ou artificiels. Langage, standard, environnement : C++, disponible pour Windows, Unix and Mac OS X. Mots clés : Modélisation, Simulation, Nanosystèmes, Biologie Structurale, Chimie. http://nano-d.inrialpes.fr/software/ La spécificité de SAMSON réside en l’intégration de méthodes de simulation pendant la phase de modélisation : les algorithmes de simulation adaptative et interactive fournissent des informations immédiates sur les conséquences des choix de modélisation. Partenaires académiques : Contact : Stephane.Redon@inria.fr
    • SEGSIG est un logiciel de segmentation de signaux et de données longitudinales: enregistrements (géophysique, météo,…), séries financières, signaux médicaux (ECG, EEG, …), données génomiques (puces aCGH), etc. SEGSIG est développé par l’équipe Inria POPIX. Aspects innovants : Différents types de rupture peuvent être détectés (moyenne, variance, spectre,…). Méthode de sélection de modèle pour estimer le nombre de segments. Extension à de très longues séries au moyen d’un algorithme de type LASSO. Développé en Matlab (interface graphique et/ou mode commande). Mots clés : segmentation automatique de signaux, détection de ruptures, sélection de modèle, LASSO. Licence : libre Principaux domaines d’applications : Tout domaine de modélisation de données longitudinales qui présentent des ruptures (bio- médecine, bio-informatique, géophysique, finance,… http://team.inria.fr/popix Contact : marc.lavielle@inria.fr
    • Verdandi est une bibliothèque C++ de méthodes d'assimilation de données. Ces méthodes permettent de coupler un ou plusieurs modèles numériques et des données d'observation. Verdandi propose aussi des outils pour faciliter la mise en place de l'assimilation, notamment pour la gestion des observations et l'estimation des incertitudes a priori. Le logiciel peut être utilisé avec des modèles écrits en Fortran, C, C++ ou Python. Aspects innovants : La généricité de la bibliothèque la rend adaptée à un large spectre de modèles (langage, types des données, parallélisation, ...). Les performances de calcul ne sont pas diminuées par cette généricité. Langage, standard, environnement: Python, C++, Linux/MacOS/Windows Mots clés: Composants Logiciels, HPC Licence GNU LGPL, version 2.1 ou ultérieure Principaux domaines d’applications : Utilisation avec tout modèle, généralement de grande dimension, à coupler avec des observations, pour l'estimation d'état ou la modélisation inverse. http://verdandi.gforge.inria.fr/ Contact : verdandi-help@lists.gforge.inria.fr Concentrations de dioxyde d'azote sur Clermont-Ferrand après assimilation des observations (disques)
    • Ensemble de nœuds KNIME* permettant de paramétrer et d’effectuer un apprentissage par programmation logique inductive (PLI) à partir d’une base de données relationnelle et de stocker les règles logiques obtenues dans la base de données. Aspects innovants : - Faciliter le déploiement de la PLI - Permettre l'enchaînement de plusieurs analyses Langage, standard, environnement : Java, Prolog, KNIME Mots clés : PLI, Workflows Licence : GPL V3 Principaux domaines d’applications : Apprentissage de concepts à partir d’objets, de leurs propriétés, de leurs relations et de la connaissance du domaine (e.g., chémo- informatique, biologie structurale, bio-médical) Partenaires académiques : Contact : malika.smail@inria.fr * KNIME pour Konstanz Information Mine KNIME est une plateforme d’intégration, de préparation, d’analyse et d’exploration des données www.knime.org
    • YALTA est un outil dédié à la stabilité des systèmes à retards classiques et fractionnaires donnés par leur fonction de transfert. Il s’adresse aux systèmes soumis à des retards de communication constants ou distribués ainsi qu’aux systèmes modélisant des problèmes de transport. Aspects innovants : YALTA permet de suivre le déplacement des pôles lorsque le retard varie, fournit les fenêtres de stabilité du système ainsi qu’une approximation du système de dimension finie. ). Licence : propriétaire Principaux domaines d’applications : YALTA permet d’analyser des systèmes de l’ingénierie ou de la médecine (dynamique des populations de cellules par exemple) https://gforge.inria.fr/projects/yalta-toolbox/ Partenaires académiques : Contact : catherine.bonnet@inria.fr Langage, standard, environnement : Matlab Mots clés : retard, stabilité, robustesse