Established in 1967, Inria is the only public research body fully dedicated to computational sciences.Combining computer sciences with mathematics, Inria’s 3,400 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate...
Environnement Directeur de thèse: Bruno Sericola Contact: Bruno.Sericola@irisa.fr Missions L’évolution technologique et l’importance croissante des réseaux de communication conduisent à des difficultés nouvelles dans le domaine de l’évaluation des performances des réseaux. L’évaluation...
Equipe : DIONYSOS Directeur de thèse : Bruno Sericola Encadrant(s) : Bruno Sericola Contact(s) Bruno.Sericola@irisa.fr, +33 (0) 2 99 84 72 97 Description du sujet Un système distribué peut être représenté par un graphe dont les nœuds sont les ressources de calcul et les arêtes sont les canaux...
Il a fallu plus de 10 annéesd’efforts pour séquencer le premier génome humain. Ce travail s’est achevé audébut des années 2000, a coûté environ 3 x 109 dollars et amonopolisé entre 400 et 500 laboratoires à travers le monde. Aujourd’hui, avec les progrès drastiques des biotechnologies,ces...
The project will conduct research into new data structures and algorithms for real-time compositional model checking. When model checking systems with timing information, one has to have good data structures for symbolic analysis. One such data structure is difference-bound matrices, which are used in...
A propos d'Inria et du poste Créé en 1967, Inria est le seul institut public de recherche entièrement dédié aux sciences du numérique. A l’interface des sciences informatiques et des mathématiques, les 3400 chercheurs d’Inria inventent les technologies numériques de demain. Issus des plus...
Description du sujet Version: 1.0 StartHTML:0000000167 EndHTML:0000003037StartFragment:0000000454EndFragment:0000003021 Graphs, which are essentially a mathematical(and intuitive) representation of relationships between objects, findapplications in such diverse domains as molecular biology, epidemiology,transportation,...
Description du sujet Le projet I4S travaille sur les problèmes d’identification et de détection des caractéristiques vibratoires des structures civiles en phase d’excitation inconnue. Des exemples concrets sont la surveillance de l’état des structures de génie civil ou le suivi de l’évolution...
Description du sujet Analyser automatiquement les flux de télévision, c'est se donner la possibilité de réutiliser ces flux, et donc de développer de nouveaux services basés sur ces contenus : créer des résumés, des parcours ne suivant pas la stricte séquentialité temporelle des vidéos......
L'AFNIC a pour missions la gestion et l'attribution des domaines internet de premier niveau (Top Level Domains ou TLD) correspondant au territoire français : .fr, .re ainsi que .pm, .tf, .wf et .yt.Créée en 1997, par la volonté conjointe de lINRIA et de lEtat, représenté par les ministères chargés...
