logo inria

Retour à la page d'accueil

rapport annuel 2005 Le rapport annuel 2005

-----------------------
INRIA - Rapports d'activité 2005

-----------------------

Liste alphabétique

Acacia - Acquisition des Connaissances pour l'Assistance à la Conception par Interaction entre Agents
Aces - Ambient Computing and Embedded Systems
Adage - Applying Discrete Algorithms to GEnomics Algorithmique Discrète et ses Applications à la GÉnomique
Adept - Algorithms for Dynamic Dependable Systems
Alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years
Alcove - Interacting with complex objects in collaborative virtual environments
Algo - Algorithms
Algorille - Algorithms for the Grid
Alice - Geometry and Lighting
Alien - ALgèbre pour Identification et Estimation Numériques
Anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics
Aoste - Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
Apics - Analysis and Problems of Inverse type in Control and Signal processing
Arenaire - Computer Arithmetic
Ares - Architecture de réseaux de services
Ariana - Inverse Problems in Earth Observation and Cartography
Arles - Software Architectures and Distributed Systems
Armor - Architectures et Modèles de Réseaux
Artis - Acquisition, Representation and Transformations for Image Synthesis
Asclepios - Analysis and Simulation of Biomedical Images
Aspi - Applications statistiques des systèmes de particules en interaction
Atlas - Complex Data Management in Distributed Systems
Atoll - Atelier d'Outils Logiciels pour le Langage naturel
Axis - User-Centered Design, Improvement and Analysis of Information Systems
Bang - Biophysique, Analyse Numérique et Géophysique
Bipop - Modeling, Simulating, Controlling Non-Regular Dynamical Systems
Cafe - Calcul Formel et Équations
Caiman - Calcul scientifique, modélisation et analyse numérique
Calligramme - Linear Logic, Proof Nets and Categorial Grammars
Calvi - Scientific Computing and Visualization
Caps - Compilation, architectures des processeurs superscalaires et spécialisés
Cassis - Combining approaches for the security of infinite state systems
Clime - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
Codes - Codage et cryptographie
Comete - Concurrence, Mobilité et Transactions
Comore - Modelling and Control of Renewable Resources
Complex - Evolution Artificielle et Fractales
Compsys - Compilation and Embedded Computing Systems
Conge - Geometric control for nonlinear systems
Contraintes - Constraint Programming
Coprin - Constraints solving, OPtimization, Robust INterval analysis
Cordial - Man-machine oral and multimodal communication
Corida - Robust Control Of Infinite Dimensional Systems and Applications
Cortex - Neuromimetic Intelligence
Cristal - Type-safe programming, modularity and compilation
Dart - Dataparallelism for Real-Time
Demar - DEambulation et Mouvement ARtificiel
Digiplante - Modeling plants growth and plants architecture
Distribcom - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
Dolphin - Discrete multi-objective Optimization for Large scale Problems with Hybrid dIstributed techNiques
Dream - Diagnosis, REcommending Actions and Modeling
Ecoo - Middleware for supporting cooperative work through Internet
Eiffel2 - Cognition and Cooperation in Design
E-motion - Geometry and Probability for Motion and Action
Espresso - Environnement de spécification de programmes réactifs synchrones
Estime - Parameter Estimation and Modeling in Heterogeneous Media
Evasion - Virtual environments for animation and image synthesis of natural objects
Everest - Environnements de vérification et sécurité du logiciel
Exmo - Computer-mediated communication of structured knowledge
Galaad - Géométrie, Algèbre, Algorithmes
Gamma - Génération Automatique de Maillages et Méthodes d'Adaptation
Gemo - Management of Data and Knowledge Distributed Over the Web
Geometrica - Geometric Computing
Graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms
Grand-large - Calcul parallèle et distribué à grande échelle
Gyroweb - Dynamic graphs and large networks
Helix - Informatics and genomics
Hipercom - HIgh PERformance COMmunication
I3d - 3D Interaction and Virtual Reality
Icare - Instrumentation, Commande et Architecture des Robots Évolués
Idopt - Systems optimization and identification in physics and environment
Imara - Informatique, Mathématiques et Automatique pour la Route Automatisée
Imedia - Images and Multimedia : Indexing, Retrieval and Navigation
In-situ - Situated Interaction
Iparla - Visualization and interaction for complex data on mobile and connected devices
Ipso - Invariant Preserving Solvers
Jacquard - Weaving of Software Components
Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Lande - Logiciel : ANalyse et DEveloppement
Lear - Learning and Recognition in Vision
Led - Language and Dialog
Logical - Logic and Computation
Macs - Modeling, Analysis and Control for Computational Structural Dynamics
Macsi - Modeling, Analysis and Control of Industrial Systems
Madynes - Ma nagement of Dy namic Ne tworks and S ervices
Maestro - Models for Performance Analysis and Control of Networks
Magique-3d - Modélisation avancée en Géophysique 3D
Magrite - Visual Augmentation of Complex Environments
Maia - Autnomous and Intelligent MAchine
Marelle - Mathematics, Reasoning, and Software
Mascotte - Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications
Mathfi - Financial Mathematics
Maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision
Mc2 - Modeling, control and computations : applications to fluid mechanics and laser-plasma interaction.
Mere - Modelling and Water Resources
Merlin - Methods for Interactive Software Ergonomics
Mescal - Middleware Efficiently SCALable
Metalau - Méthodes, algorithmes et logiciels pour l'automatique
Metiss - Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores
Micmac - Methods and Engineering of Multiscale Computing from Atom to Continuum
Mimosa - Migration et Mobilité: Sémantique et Applications
Mirages - Object Manipulation in Image Sequences for Augmented Reality and Special Effects
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Moais - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation
Modbio - Computational Models in Molecular Biology
Moscova - Mobility, Security, Concurrency, Verification and Analysis
Mosel - Proof-oriented development of computer-based systems
Mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
Movi - Computational models for computer vision
Oasis - Objets Actifs, Sémantique, Internet et Sécurité
Obasco - OBjects, ASpects, and COmponents
Odyssee - Biological and Computer Vision
Omega - Méthodes numériques probabilistes pour les équations aux dérivées partielles et les mathématiques financières
Opale - Optimization and Control, Numerical Algorithms and Integration of Multidisciplinary Complex P.D.E. Systems
Orion - Intelligent Environments for Problem Solving by Autonomous Systems
Orpailleur - Knowledge Extraction
Paris - Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
Parole - Analysis, Perception and Speech Recognition
Parsifal - Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques
Phoenix - Programming Language Technology For Communication Services
Planete - Protocoles et Applications pour l'Internet
Poems - Wave propagation: Mathematical Analysis and Simulation
Popart - Programming and OPerating Systems for Applications in Real-Time
Pops - System & Networking for Portable Objects Proved to be Safe
Preval - Probabilités, modélisation et évaluation de systèmes
Prima - Perception, recognition and integration for interactive environments
Protheo - Constraints, Mechanized Deduction and Proofs of Software Properties
Proval - Proof of programs
Qgar - Querying Graphics Through Analysis and Recognition
R2d2 - Reconfigurable and Retargetable Digital Devices
Rap - Réseaux, Algorithmes et Probabilités
Regal - Resource management in large scale distributed systems
Reo - Numerical simulation of biological flows
Reso - Optimized protocols and software for high performance networks
Reves - Rendering and Virtual Environments with Sound
Runtime - Efficient Runtime Systems for Parallel Architectures
S4 - System Synthesis and Supervision, Scenarios
Sage - Simulations and Algorithms on Grids for Environmental Applications
Salsa - Solvers for ALgebraic Systems and Applications
Sardes - System Architecture for Reflective Distributed Computing Environments
Scalapplix - High Performance Schemes and Algorithms for Complex Scientific Applications
Scilab - Equipe opérationnelle du consortium Scilab
Secsi - Sécurité des systèmes d'information
Select - Model Selection and Statistical Learning
Siames - Image Synthesis, Animation, Modeling and Simulation
Signes - Linguistic signs, grammar and meaning: computational logic for natural language
Sisthem - Statistical Inference for STructural HEalth Monitoring
Smash - Simulation, Modelling and Analysis of Heterogeneous Systems in mechanical engineering
Smis - Secured and Mobile Information Systems
Sosso2 - Applications and tools for automatic control
Spaces - Solving Problems through Algebraic Computation and Efficient Software
Sydoco - SYstèmes Dynamiques, Optimisation et Commande Optimale
Symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
Tanc - Théorie Algorithmique des Nombres pour la Cryptologie
Tao - Thème apprentissage et optimisation
Temics - TraitEment, Modélisation d'Images et CommunicationS
Texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases
Trec - Network Theory and Communications
Trio - Temps Réel et InterOpérabilité (Real Time and InterOperability)
Triskell - Model Driven Engineering for Component Based Software
Tropics - Transformations et Outils Informatiques pour le Calcul Scientifique
Vasy - Validation of Systems
Vegas - Effective Geometric Algorithms for Visibility and Surfaces
Vertecs - Verification models and techniques applied to the Testing and Control of reactive Systems
Virtualplants - Modeling plant morphogenesis from genes to phenotype
Visages - Vision Action et Gestion d'informations en Santé
Vista - Vision Spatio-Temporelle et Apprentissage
Wam - Web, Adaptation and Multimedia