Laboratoire lorrain de recherche en informatique et ses

Sujets

• informatique
• Marketing et communication

Informations

• Publié par: oeufdepaques
• Nombre de lectures: 111
• Langue: Français
• Poids de l'ouvrage: 7 Mo

Extrait

LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS RAPPORT D’ACTIVITE AnnŽe 2003DIRECTOR’S COMMENT LORIA is a unit research laboratory shared by ve organizations (CNRS, INRIA, University Henri Poincare-Nancy 1, University Nancy 2, Institut National Polytechnique of Lorraine) and gathers together around 450 persons, including 63 permanent research scientists, 90 university professors, 73 ETA and 120 PhD students. The research, both theoretical and applied, is centered around ve major themes :  high-performance computing, networks and visualization,  teleoperations and intelligent assistants,  language engineering, document engineering, scientic and technical information engi- neering,  sofware and computer system quality and safety,  bioinformatics and applications in genomics. Research activity is performed by 25 research teams including 15 INRIA project teams, with the assistance of 8 research support services. In 2003, three new research teams have been created: Design on object-oriented langages and systems, Madynes on management of dynamic networks and services, and Algorille on algorithms for the Grid. The research teams Cassis et Modbio became INRIA project teams. In autumn 2003, 4 INRIA and 3 CNRS permanent researchers, 5 assistant professors joined the research teams. More than half of them are coming from outside Lorraine. Detailled activities and results are described in this annual report. Without attempting any ex- haustivity,someofthemmentionedbelowillustrateapplicativepotentialandscienticrelevance of our research.  The Virtual Reality Center has served as platform to develop pluridisciplinary projects in fusion plasmas with physicists, in forest growth simulation with INRA, in molecular docking with chemists, in geology. Several applications rely on research results obtained by the Isa research team in numerical simulation and visualization and in geometric com- puting for rendering complex scenes. In 2003, Isa has in particuler distributed Graphite, which is a software toolbox for computer graphics, 3D modeling and numerical geometry.  Inthedomainofqualityandsafetyofsoftware,successeshavebeenobtainedinverication of security protocols designed for establishing the condence of electronic transactions. Casrul is a system developed by Cassis, that encompasses several techniques for automat- ing protocol analysis and for checking whether they are exposed to aws. Protheo has designed a calculus that unies higher-order functions and rewrite rules together with a powerful type system, particularly adapted for formalizing the foundations of program- ming languages and proof assistants. In the context of a cooperation with PSA, Trio has studied fault tolerant services for X-by-Wire technology in car critical function as braking or steering.  EcoodevelopsmiddlewareforsupportingcooperativeworkthroughInternet. Severaltools have been designed and distributed in 2003: Coopera provides services for hosting virtual teams and cooperative work, with a simple interface and architecture used for education purposes. Bonita is a exible work ow management system available as an ObjectWeb