logo inria

Retour à la page d'accueil

rapport annuel 2007 Le rapport annuel 2007

-----------------------
INRIA - Rapports d'activité 2007

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

Liste alphabétique

Abs - Algorithms, Biology, Structure
Abstraction - Abstract Interpretation
Aces - Ambient Computing and Embedded Systems
Adam - Adaptive Distributed Applications and Middleware
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 - Models and Methods in Biomathematics, Tools of automatic control and scientific computing
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
Apis - Analysis of irregular Processes, Images and Signal, applications in biology and medicine
Arenaire - Computer Arithmetic
Ares - Architecture de réseaux de services
Ariana - Inverse Problems in Earth Observation and Cartography
Arles - Software Architectures and Distributed Systems
Arobas - Advanced Robotics and Autonomous Systems
Artis - Acquisition, Representation and Transformations for Image Synthesis
Asap - As Scalable As Possible: Foundations of large-scale dynamic systems
Asclepios - Analysis and Simulation of Biomedical Images
Aspi - Applications of interacting particle systems to statistics
Atlas - Complex Data Management in Distributed Systems
Aviz - Analysis and Visualization
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
Bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments
Cacao - Curves, Algebra, Computer Arithmetic, and so On
Calligramme - Linear Logic, Proof Nets and Categorial Grammars
Calvi - Scientific Computing and Visualization
Caps - Compilation, architectures des processeurs superscalaires et spécialisés
Carte - Theoretical Adverse Computations, and Safety
Cassis - Combining approaches for the security of infinite state systems
Cepage - Chercher et Essaimer dans les Plates-formes À Grande Échelle
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
Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
Comore - Modelling and Control of Renewable Resources
Compsys - Compilation and Embedded Computing Systems
Concha - Complex flow simulation Codes based on High-order and Adaptive methods
Contraintes - Constraint Programming
Coprin - Constraints solving, OPtimization, Robust INterval analysis
Corida - Robust Control Of Infinite Dimensional Systems and Applications
Cortex - Neuromimetic Intelligence
Costeam - Optimal and secure management of manufacturing systems
Cqfd - Contrôle de Qualité & Fiabilité Dynamique
Dart - Dataparallelism for Real-Time
Defi - Shape Reconstruction and Identification
Demar - DEambulation et Mouvement ARtificiel
Digiplante - Stochastic, functional and interactive models for plant growth and architecture
Dionysos - Dependability, Interoperability and PerfOrmaNce analYsiS of netwOrkS
Distribcom - Distributed Models and Algorithms for the Management of Telecommunication Systems
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
Edelweiss - Exchanges Documents Extraction Languages Web Ergonomics Interaction Semantics Servers
Eiffel2 - Cognition and Cooperation in Design
E-motion - Geometry and Probability for Motion and Action
Espresso - Modélisation de systèmes réactifs polychrones
Estime - Parameter Estimation and Modeling in Heterogeneous Media
Evasion - Virtual environments for animation and image synthesis of natural objects
Everest - Vérification et sécurité du logiciel
Exmo - Computer-mediated communication of structured knowledge
Galaad - Géométrie, Algèbre, Algorithmes
Gallium - Programming languages, types, compilation and proofs
Gamma - Génération Automatique de Maillages et Méthodes d'Adaptation
Gang - Graphs, networks and algorithms
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
Gravite - Graph Visualization and Interactive Exploration
Helix - Informatics and genomics
Hipercom - HIgh PERformance COMmunication
I3d - 3D Interaction and Virtual Reality
Ihe - Integrating the Healthcare Enterprise (IHE) Development
Imara - Informatique, Mathématiques et Automatique pour la Route Automatisée
Imedia - Images and Multimedia: Indexing, Retrieval and Navigation
In-situ - Situated Interaction
Iparla - Computer Graphics and 3D Interaction for Mobile Users
Ipso - Invariant Preserving Solvers
Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Lande - Logiciel : ANalyse et DEveloppement
Lear - Learning and Recognition in Vision
Logical - Logic and Computation
Macs - Modeling, Analysis and Control for Computational Structural Dynamics
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
Magnome - Models and Algorithms for the Genome
Magrit - Visual Augmentation of Complex Environments
Maia - Autonomous 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.
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
Moise - Modelling, Observations, Identification for Environmental Sciences
Moscova - Mobility, Security, Concurrency, Verification and Analysis
Mosel - Proof-oriented development of computer-based systems
Mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
Nachos - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
Necs - Networked Control Systems
Oasis - Objets Actifs, Sémantique, Internet et Sécurité
Obasco - OBjects, ASpects, and COmponents
Odyssee - Computer and biological vision
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 Discovery guided by Domain Knowledge
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
Perception - Interpretation and Modelling of Images and Videos
Phoenix - Programming Language Technology For Communication Services
Planete - Protocoles et Applications pour l'Internet
Poems - Wave propagation: Mathematical Analysis and Simulation
Pop_art - Programming languages, Operating systems, Parallelism, and Aspects for Real-Time
Pops - System & Networking for Portable Objects Proved to be Safe
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
Realopt - Reformulation based algorithms for Combinatorial Optimization
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
Sequel - Sequential Learning
Sequoia - Algorithms for large-scale sequence analysis for molecular biology
Signes - Linguistic signs, grammar and meaning: computational logic for natural language
Simpaf - SImulation and Modelling for PArticles and Fluids
Sisthem - Statistical Inference for STructural HEalth Monitoring
Sisyphe - SIgnals and SYstems in PHysiology and Engineering
Smash - Simulation, Modeling and Analysis of Heterogeneous Systems in Continuum Mechanics
Smis - Secured and Mobile Information Systems
Symbiose - SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
Talaris - Traitement Automatique des Langues: Représentations, Inférences et Sémantique
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
Tosca - TO Simulate and CAlibrate stochastic processes
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
Virtual_plants - Modeling plant morphogenesis at different scales, from genes to phenotypes
Visages - Vision Action et Gestion d'informations en Santé
Vista - Vision Spatio-Temporelle et Apprentissage
Wam - Web, Adaptation and Multimedia
Willow - Models of Visual Object Recognition and Scene Understanding