archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Démos - Inria
    par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Edition de logiciels systèmes embarqués Démos Edito Logiciels Démos Showroom des démos Showroom des démos Astrée Preuve d Absence d Erreurs à l Exécution Astrée est un analyseur statique permettant la preuve d absence d erreurs à l exécution dans des programmes C critiques embarqués Cette preuve est entièrement automatique et est effectuée au niveau du code source vis à vis de la sémantique du langage Astrée a analysé avec succès des applications de taille industrielle dans le domaine aéronautique et spatial L analyseur Astrée a été conçu et développé au sein de l équipe Abstraction Il est actuellement diffusé par l entreprise Absint Angewandte Informatik Mots clés Qualitification Sûreté Systèmes critiques embarqués Analyse statique Vérification Aéronautique Défense Spatial Sécurité ABSTRACTION Lire la suite Showroom des démos L exploration d architecture dans le domaine aéronautique et spatial par la technologie synchrone Application de gestion des modes de distribution d énergie d un satellite en orbite avec optimisation de sa charge en mode survie Evaluation de performance des systèmes embarqués distribués via la technologie synchrone Mots clés Synchrone SIGNAL RT Builder Polychrony Temps réel Aéronautique Défense Spatial Sécurité

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/edition-de-logiciels-systemes-embarques/demos (2015-12-30)
    Open archived version from archive


  • Démos - Inria
    Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Energie transport développement durable Démos Edito Logiciels Démos 1 Page 2 Suivant Showroom des démos Showroom des démos Outils d aide à la décision pour l exploitation des routes Nous présentons lors de cette démonstration les travaux effectués avec l équipe NeCS dans le cadre de nos collaborations avec l Inria simulation de l évolution du trafic algorithmes de diagnostic et de contrôle à base de modèles expérimentations sur la Rocade Sud de Grenoble Mots clés NECS Aide à la décision Trafic Réseaux de capteurs Régulation Congestions Énergie Transport Développement durable Lire la suite Showroom des démos Fusion de capteur et détection de comportement pour l assistance à la conduite et le calcul du risque Une bande vidéo montrant l évaluation du risque basé sur la détection des véhicules environnants et le regard du conducteur Mots clés E MOTION Vidéos Énergie Transport Développement durable Sécurité Lire la suite Showroom des démos ArosDyn Analyse robuste de scène dynamiques pour l assistance à la conduite automobile L

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/energie-transport-developpement-durable/demos (2015-12-30)
    Open archived version from archive

  • Démos - Inria
    Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Santé sciences de la vie biotechnologie Démos Edito Logiciels Démos 1 Page 2 Suivant Showroom des démos Showroom des démos IGNSPlanner un système d aide à la préparation d interventions en neurochirurgie IGNSPlanner permet au neurochirurgien de préparer une intervention chirurgicale à partir de plusieurs modalités d images IRM du patient Cette application gère une base de données de plannings chirurgicaux s intègre dans un système d information hospitalier traite les images et affiche les informations extraites de celles ci lésions sillons corticaux fibres zones d activation cérébrales dans une scène 3D Elle aide le neurochirurgien à planifier son intervention et à anticiper la zone à enlever les zones à éviter absolument et la trajectoire à suivre Mots clés Neurochirurgie Segmentation Visualisation 3D Images 3D Lire la suite Showroom des démos Programmation visuelle d applications d assistance à la personne L assistance aux personnes déficientes repose grandement sur les connaissances des travailleurs sociaux qui les accompagnent Aujourd hui les technologies de plus en plus mobiles et communicantes sont à même de leur apporter un support complémentaire L approche Pantagruel propose un outil graphique permettant de réaliser des applications d orchestration d objets communicants Pantagruel vise à concilier l adaptabilité nécessaire pour réaliser des applications d aide à la personne avec une ergonomie permettant aux aidants de créer et de faire évoluer des applications Mots clés PHOENIX Langage dédié Langage visuel Langage Assistance à la personne Santé Aide à la personne Lire

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/sante-sciences-de-la-vie-biotechnologie/demos (2015-12-30)
    Open archived version from archive

  • Démos - Inria
    confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Télécoms réseaux multimedia Démos Edito Services Mobiles Logiciels Démos Showroom des démos Showroom des démos Solutions logicielles de localisation par vision Robocortex est une spin off d Inria Sophia Antipolis Elle développe et commercialise des solutions logicielles de localisation par la vision pour développer des applications de réalité augmentée sur des plateformes mobiles comme l

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/telecoms-reseaux-multimedia/demos (2015-12-30)
    Open archived version from archive

  • Logiciels & technologies à suivre - Inria
    depuis les années 2000 du domaine des maths bio Sa modélisation mathématique de la théorie de l évolution de Darwin ses études sur le cancer ou l organisation de communauté cellulaires illustrent sa capacité à inventer de nouveaux concepts et à développer des outils d analyse appliqués aux sciences du vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/aeronautique-defense-spatial-securite/logiciels (2015-12-30)
    Open archived version from archive

  • Logiciels & technologies à suivre - Inria
    Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Edition de logiciels systèmes embarqués Logiciels Edito Logiciels Démos Edition de logiciels systèmes embarqués Logiciels technologies à suivre Quelques exemples de start up et de technologies issues des travaux scientifiques Inria à suivre de près dans le secteur édition de logiciels et systèmes embarqués SynDEx Logiciel d aide à la conception et à l implantation optimisée de systèmes distribués critiques temps réel embarqués SynDEx trouve son application sur les marchés suivants avionique spatial automobile ferroviaire robotique Le logiciel couvre la plus grande partie du cycle de développement de la spécification au code embarqué ce qui en fait un outil sans équivalent En effet SynDEx permet d aller au delà de la simulation les modèles servant à la simulation et à l implémentation Le logiciel concrétise la méthodologie AAA Il permet la mesure de performances temps réels la génération d exécutifs temps réels distribués la distribution et l ordonnancement statiques l interfaçage avec des langages orientés métiers l édition de graphe algorithme et architecture la visualisation de diagrammes temps réel prédit SynDEx est robuste et tourne sur les 3 plateformes Mac Windows et Linux Le logiciel n a pas de vrai produit équivalent à ce jour Polychrony Un modèle pivot pour l exploration d architecture et la co modélisation pour le développement de systèmes embarqués critiques temps réels commande de processus triatement du signal De plus en plus l architecte logiciel se tourne vers des environnements de conception dédiés automatisant le maximum de tâches de programmation dans un environnement ad hoc d un point de vue programmatique et formel d un point

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/edition-de-logiciels-systemes-embarques/logiciels (2015-12-30)
    Open archived version from archive

  • Logiciels & technologies à suivre - Inria
    vivant Lire la suite Inria D Grandmougin Prix Inria 2015 Véronique Cortier Prix Inria Académie des sciences du jeune chercheur AB Spécialiste des protocoles de sécurité Véronique Cortier imagine aujourd hui les solutions qui permettront demain de sécuriser notre vie numérique Elle développe notamment un système de vote électronique open source appelé Belenios Son credo faire confiance à son ordinateur est globalement une mauvaise idée Lire la suite Inria C Tourniaire Prix Inria 2015 Marc Lavielle Prix de l innovation Inria Académie des sciences Dassault Systèmes AB 24 09 2015 Utiliser la statistique comme un outil moderne pour mieux aborder les grands enjeux de santé de notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/energie-transport-developpement-durable/logiciels (2015-12-30)
    Open archived version from archive

  • Logiciels & technologies à suivre - Inria
    un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Secteurs industriels Accueil Innovation Secteurs industriels Santé sciences de la vie biotechnologie Logiciels Edito Logiciels Démos Santé sciences de la vie biotechnologie Logiciels technologies à suivre OpenVibe logiciel pour les interfaces cerveau ordinateur Inria Photo Kaksonen Le transfert industriel en sciences de la vie et de la santé présente une particularité Il doit composer avec des cycles beaucoup plus longs que dans les autres secteurs Les réalisations doivent être validées elles nécessitent des autorisations de mises sur le marché et dépendent de modèles économiques souvent liés au remboursement par les assurances maladies et les mutuelles Pourtant les applications potentielles des technologies développées au sein d Inria sont nombreuses Le volume et la diversité des informations stockées et transmises en médecine est en progression constante et la demande d outils pour les traiter s est accentuée avec l accroissement de l espérance de vie et la légitime exigence de vivre mieux et plus longtemps Quelques exemples de technologies et de start up issues des travaux scientifiques d Inria à suivre de près SAMSON une plateforme logicielle pour la modélisation et la simulation de nanosystèmes naturels ou artificiels Le logiciel SAMSON peut trouver des applications dans tout ce qui touche les nanostructures notamment dans le domaine de la modélisation des protéines et de leurs interactions avec les médicaments Il permet de déformer une molécule en temps réel tout en obtenant des informations immédiates sur les conséquences de ces choix de modélisation Calculer des champs de force au niveau des atomes requiert beaucoup plus de temps sans la méthode de simulation employée par ce logiciel Samson est à l heure actuelle testé par différents industriels de la pharmacie mais nécessite encore une phase développement avant une valorisation prévue pour les années qui viennent Cette technologie a fait l objet d un dépôt de brevet en juin 2007 délivré sous le n 0704414 SOFA une librairie open source dédiée à la simulation temps réel SOFA Simulation Open Framework Architecture est particulièrement adaptée aux applications médicales notamment la simulation et la planification d opérations chirurgicales Avec plus de 70 000 téléchargements SOFA est utilisée aussi bien dans des projets industriels que par des partenaires académiques et est l un des principaux outils pour la simulation physique La

    Original URL path: http://www.inria.fr/innovation/secteurs-industriels/sante-sciences-de-la-vie-biotechnologie/logiciels (2015-12-30)
    Open archived version from archive