List of projects-team in 2004

Team Activity Report Access

160 teams

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: Asynchronous Distributed Environments, Protocols, and Time
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
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
Apache: Algorithmique Parallèle, Programmation et Répartition de Charge
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
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: Biomédical, 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: Calcul Scientifique et Visualisation
Caps: Compilation, architectures des processeurs superscalaires et spécialisés
Cassis: Combinaison d'Approches pour la Sécurité des Systèmes InfiniS
Clime: Couplage de la données 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: Contrôle géométrique des systèmes non linéaires
Contraintes: Constraint Programming
Coprin: Constraints solving, OPtimization, Robust INterval analysis
Cordial: Man-machine oral and multimodal communication
Corida: Contrôle Robuste des Systèmes Infini-Dimensionnels et Applications
Cortex: Neuromimetic Intelligence
Cosivie: COuplage de modèles pour la SImulation numérique de problèmatiques enVIronnementalEs
Cristal: Type-safe programming, modularity and compilation
Dart: Dataparallelism for Real-Time
Demar: DEambulation et Mouvement ARtificiel
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
Eiffel: Cognition and Cooperation in Design
E-motion: Geometry and Probability for Motion and Action
Epidaure: Epidaure, Projet Images, Diagnostic AUtomatique, RobotiquE
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
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
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: Interaction Située
Iparla: Visualization and interaction for complex data, on mobile and connected devices
Ipso: Invariant Preserving Solvers
Isa: Models, algorithms and geometry for computer graphics and vision
Jacquard: Weaving of Software Components
Lagadic: Visual servoing in robotics, computer vision, and computer animation
Lande: Logiciel : ANalyse et DEveloppement
Lear: Learning and Recognition in Vision
Led: Langue et Dialogue
Lemme: Software and mathematics
Logical: Logic and Calculus
Macs: Modeling, Analysis and Control for Computational Structural Dynamics
Macsi: Modeling, Analysis and Control of Industrial Systems
Madynes: Management of Dynamic Networks and Services
Maestro: Models for Performance Analysis and Control of Networks
Maia: MAchine Intelligente Autonome
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
Mere: Modelling and Water Ressources
Merlin: Methods for Interactive Software Ergonomics
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
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
Ondes: Modeling and Simulation of Wave Propagation Phenomena
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: Extraction de connaissances
Paris: Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
Parole: Analysis, Perception and speech recognition
Phoenix: Programming Language Technology For Communication Services
Planete: Protocoles et Applications pour l'Internet
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, Modelization 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
Vertecs: Verification models and techniques applied to the Testing and Control of reactive Systems
Visages: Vision Action et Gestion d'informations en Santé
Vista: Vision Spatio-Temporelle et Apprentissage
Wam: Web, Adaptation and Multimedia