tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
INRIA Lorraine 1990
Légende - Résumé :
Présentation de l'Inria Lorraine en 1990.
Nom de fichier :
Inria-173-inrialorraine-fr.mp4
Titre :
INRIA Lorraine 1990
Année :
1990
Durée (min) :
00:05:50
Publications :
https://videotheque.inria.fr/videotheque/doc/173
Autres versions :
Master VF : 173
Master VEN : 173-2
Autre : Lien externe :
Lien Centre de Recherche :
Mots clés :
N° master :
173
Durée :
05 min 50 sec
IsyTag :
aujourd' - chercheur - commande - différent - image - logiciel - lorrain - programme - projet - recherche - ria - scientifique - spécification - système - type - université
Transcription automatiqu :
coeur de la lorraine l'énergie lorraine structure de recherche implantée sur les deux pôles de technologies avancées nancy bras bois ms deux milles de sept projets de recherche commun la plupart à l'energuia au cnrs et aux universités de lorraine line rias lorraine regroupe cent cinquante personnes dont cent trente scientifiques et un tiers de teza dans un cadre accueillant chaque chercheur dispose d'un environnement informatique de choix stations de travail personnels connectés par réseaux à très haut débit à des serveurs unix et un complexe a des calculateurs spécialisés comme le créent deux ou connexion de mushin au réseau de la recherche régionaux nationaux et internationaux c'est avant tout des recherches équipes réparties dans quatre programmes symbolique programmation et génie logiciel intelligence artificielle système cognitifs et interactions hommes et productif scientifiques modélisation et logiciels numériques utilisation l'informatique dans des domaines aussi exigeants que l'aérospatiale nécessite aujourd'hui d'accroître la sûreté des programmes l'objectif du projet erika environnement intégré de spécifications et de preuves il propose différents outils comme ce système de déduction automatique projet progrès très de dérivation de spécifications et de programmes son but maîtriser la qualité du logiciel intègre donc l'ensemble de la démarche de spécifications et de conception qui transforme le cahier des charges initial programme final executé table automatisé aussi certaines étapes comme la preuve interactive de programmes sdl pour des centraux téléphoniques monsieur martin le projet dialogue travaille essentiellement sur la compréhension de la parole et le oral comme ici le décodage acoustique phonétique utilisé pour la commande vocale d'un sonar canaque largement trois cd projet cicot étudie de son côté la représentation des connaissances et différents types de raisonnement ici pour l'aide au diagnostic médical s'intéresse également à l'interprétation d'images là pour la localisation de la signalisation sur les chaussées autre domaine la gestion de production notion qui intéresse aussi bien ce système d'emballage que les images produites par ce satellite de télédétection projet sagem s'occupe en particulier de la gestion hiérarchisée et de la normalisation des systèmes de gestion de production un p alexandre automatique type de phénomène qui intéresse particulièrement le projet congé son domaine d'études le contrôle géométrique et notamment la commande et la stabilisation par observateur des systèmes non linéaires type de t-online est arrêté les problèmes à frontière libre en électromagnétiques fm comme format âge de jets de métaux liquides projet numan interdit dans l'mathématique et le traitement numérique de ces modèles un tel potentiel de recherche à haut niveau a à l'ineris d'organiser une politique fructueuse de partenariat de nombreux chercheurs jouent un rôle actif dans le cursus des deuxième et troisième cycle des universités de nancy ims participent à la formation par la recherche comme dans le cas du fire tech communications commandes qui regroupe plusieurs laboratoires lorrains par des de recherche avec les industriels français des liens privilégiés avec la communauté scientifique internationale autant d'atouts s'intégrer à des projets de grande envergure comme le projet esprit ou eureka industriels et chercheurs européens des actions conjuguées avec les autres laboratoires et des contacts suivis avec les grandes entreprises de la région et les pme lorraine linney rias lorraine aujourd'hui volonté d'enrichir le tissu économique régional
Inria-173-inrialorraine-_HD.MP4

Format : .MP4
214,1 Mo
768 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection