Retour à la page d'accueil |
|
Liste alphabétique
Adept -Asynchronous Distributed Environments, Protocols, and Time
Air2 -Image processing and dynamic satellite data
Aladin -Advanced Algorithms for Scientific Computing
Alcove -Interacting with complex objects in collaborative virtual environment
Algo -Algorithms
Algorille -Algorithms for the Grid
Apache -Algorithmique Parallèle, Programmation et Répartition de Charge
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
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 -Modelling, 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
Codes -Codage et cryptographie
Comore -Modelling and Control of Renewable Resources
Compose -Design and Development of Adaptive Programs and Systems
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 Infini-Dimensionnel 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
Dream -Diagnosis, REcommending Actions and Modelling
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 Medical Imaging & Robotics
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
Exmo -Computer-mediated communication of structured knowledge
Fractales -Fractals, Complex Models and Artificial Evolution
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
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
Is2 -Inférence statistique pour l'industrie et la santé
Isa -Models, algorithms and geometry for computer graphics and vision
Jacquard -Weaving of Software Components
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
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
Merlin -Methods for Interactive Software Ergonomics
Metalau -Methods, Algorithms and Software for Systems and Control
Metiss -Modélisation et Expérimentation pour le Traitement des Informations et des Signaux Sonores
Miaou -Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur
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
Miro -Objects, Types, and Prototypes: Semantics and Validation
Mistral -Modeling of Computer Systems and Telecommunication Networks: Research and Software Development
Modbio -Modèles Informatiques en Biologie Moléculaire
Moscova -Mobility, Security, Concurrency, Verification and Analysis
Mostrare -Modeling Tree Structures, Machine Learning, and Information Extraction
Movi -Computational models for computer vision
Numopt -Numerical Optimization
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 -Modélisation et Simulation de Phénomènes de Propagation d'Ondes
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
Ostre -Optimization of embedded real-time systems
Paris -Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications
Parole -Analysis, Perception and speech recognition
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
R2d2 -Reconfigurable and Retargetable Digital Devices
Rap -Réseaux, Algorithmes et Probabilités
Regal -Resource management in large scale distributed systems
Remap -Regularity and Massive Parallelism
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
Sagep -Simulation, analysis and management of production systems
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
Siames -Image Synthesis, Animation, Modeling and Simulation
Sigma2 -Signaux, modèles et algorithmes
Signes -Linguistic signs, grammar and meaning: computational logic for natural language
Smash -Simulation, Modelization and Analysis of Heterogeneous Systems in mechanical engineering
Smis -Secured Mediation Systems
Sosso -Applications and tools for automatic control
Spaces -Solving Problems through Algebraic Computation and Efficient Software
Symbiose -SYstèmes et Modèles BIOlogiques, BIOinformatique et SEquences
Tanc -Théorie algorithmique des nombres pour la cryptologie
Temics -TraitEment, Modélisation d'Images et CommunicationS
Texmex -Efficient Exploitation of Multimedia Documents: exploring, indexing and searching in very large databases
Tick -Theory and Practice of Synchronous Reactive Systems
Trec -Network Theory and Communications
Trio -Temps Réel et InterOpérabilité (Real Time and InterOperability)
Triskell -Reliable and efficient component based sofware engineering
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
Vista -Vision Spatio-Temporelle et Active
Wam -Web, Adaptation and Multimedia