Skip to Main content
Skip to Navigation
New interface
-
Browse
-
By research team
- Design, study and implementation of languages for proofs and programs
- Dynamics of Geometric Networks
- InBio - Méthodes Expérimentales et Computationnelles pour la Modélisation des Processus Cellulaires / Experimental and Computational Methods for Modeling Cellular Processes
- Modelling and Analysis for Medical and Biological Applications
- Models and methods of analysis and optimization for systems with real-time and embedding constraints
- Parallélisme de Kahn Synchrone
- Secured and Mobile Information Systems
- Well Honed Infrastructure Software for Programming Environments and Runtimes
- 3 dimensional interaction
- 3D interaction with virtual environments using body and mind
- ALGorithmes et Optimisation pour Réseaux Autonomes
- ANJA
- Acquisition, representation and transformations for image synthesis
- Active objects, semantics, Internet and security
- Adapter le raisonnement pire cas à différentes criticités
- Adaptive Distributed Applications and Middleware
- Advanced 3D Numerical Modeling in Geophysics
- Advanced Image Understanding and Autonomous Systems
- Advanced Learning Evolutionary Algorithms
- Advanced Robotics and Autonomous Systems
- Advanced analysis to code optimization
- AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
- Algebra for Digital Identification and Estimation
- Algebraic Formal Systems for Industry and Research
- Algebraic Systems, Geometry and Applications
- Algorithmic number theory for cryptology
- Algorithmics for computationally intensive applications over wide scale distributed platforms
- Algorithms and Models for Integrative BIOlogy
- Algorithms and Models for Integrative Biology
- Algorithms and Scheduling for Distributed Heterogeneous Platforms
- Algorithms and Software Architectures for Distributed and HPC Platforms
- Algorithms and high performance computing for grand challenge applications
- Algorithms and parallel tools for integrated numerical simulations
- Algorithms for Modeling and Simulating Nanosystems [2018-...]
- Algorithms for Modeling and Simulation of Nanosystems
- Algorithms for large scale sequence analysis
- Algorithms for the Grid
- Algorithms, Biology, Structure
- Algorithms, models and methods for images and signals of the human brain
- Algorithms, simulation, combinatorics and optimization for telecommunications
- Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
- Ambient computing and embedded systems
- Amdahl's Law is Forever
- An algorithmic view on genomes, cells, and environments
- Analyse Linguistique Profonde à Grande Echelle ; Large-scale deep linguistic processing
- Analyse Statique par Interprétation Abstraite
- Analyse d’interactions stochastiques intelligentes et coopératives
- Analyse fonctionnelle pour la conception et l'analyse de systèmes
- Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
- Analyse sémantique et compilation pour la sécurité des environnements d'exécution
- Analyse, ingénierie et contrôle des micro-organismes
- Analyses and Languages Constructs for Object-Oriented Application Evolution
- Analysis and Control of Unsteady Models for Engineering Sciences
- Analysis and Problems of Inverse type in Control and Signal processing
- Analysis and Simulation of Biomedical Images
- Analysis and Transformation based on rEliAble tool coMpositionS
- Analysis and Visualization
- Analysis and modeling of neural systems by a system neuroscience approach
- Analysis of irregular Processes, Images and Signal,applications in biology and medicine
- Analysis representation, compression and communication of visual data
- Analysis, perception and recognition of speech
- Analysis-Synthesis Approach for Virtual Human Simulation
- Applications of interacting particle systems to statistics
- Apprentissage de modèles à partir de données massives
- Apprentissage de modèles à partir de données massives
- Apprentissage machine et développement cognitif
- Architectures matérielles spécialisées pour l’ère post loi-de-Moore
- Architectures of networks of services
- Architectures, Languages and Compilers to Harness the End of Moore Years
- Arithmetic and Computing
- Artificial Evolution and Computational Biology
- Artificial movement and gait restoration
- As Scalable As Possible: foundations of large scale dynamic distributed systems
- Aspect and Composition Languages
- Aspect and composition languages
- Augmentation visuelle d'environnements complexes
- Augmenting human comfort in the factory using cobots
- Authoring and directing story worlds
- Automatic Language Modelling and ANAlysis & Computational Humanities
- Automatic Programming and Decisional Systems in Robotics
- Automatic mesh generation and advanced methods
- Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
- Autonomic Advanced & Applied Architectures for wiREless networks & Systems
- Autonomous intelligent machine
- Beyond Moore
- Bioinformatics and Sequence Analysis
- Biological control of artificial ecosystems
- Biological systems and models, bioinformatics and sequences
- Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
- Biology, genetics and statistics
- Biped Robot
- CASH - Compilation and Analysis, Software and Hardware
- COMputational BIology and data miNING
- COmplex Flows For Energy and Environment
- COmposabilité Numerique and parallèle pour le CAlcul haute performanCE
- COmputational Mathematics for bio-MEDIcal Applications
- Calcul formel, mathématiques expérimentales et interactions
- Capture and Analysis of Shapes in Motion
- Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
- Collaborative interactive virtual environment
- Combination of approaches to the security of infinite states systems
- Combinatorics, Optimization and Algorithms for Telecommunications
- Compilation and embedded computing systems
- Compilation pour les Architectures MUlti-coeurS
- Compilation, parallel architectures and system
- Compiler Optimization and Run-time Systems
- Complex Flow Simulation Codes based on High-order and Adaptive methods
- Complex data management in distributed systems
- Computational AGility for internal flows sImulations and compaRisons with Experiments
- Computational Algorithms for Protein Structures and Interactions
- Computational Anatomy and Simulation for Medicine
- Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
- Computational Imaging of the Central Nervous System
- Computational systems biology and optimization
- Computer Vision and Robotics
- Computer algebra and functional equations
- Computer and biological vision
- Computer arithmetic
- Computer mediated exchange of structured knowledge
- Computer science and genomics
- Computing tools to empower users
- Concurrency, Mobility and Transactions
- Concurrency, Synchronization and Real-time Programming
- Confidentialité, Intégrité, Disponibilité et Répartition
- Constraints solving, optimization and robust interval analysis
- Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- Construction of verified concurrent systems
- Construction of verified concurrent systems
- Contributions of the Data parallelism to real time
- Control And GEometry
- Control for Autonomic computing systems
- Control of Artificial Movement and Intuitive Neuroprosthesis
- Control, Analysis and Simulations for TOkamak Research
- Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
- Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
- Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
- Coupling environmental data and simulation models for software integration
- Coupling environmental data and simulation models for software integration
- Creating and exploiting explicit links between multimedia fragments
- Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
- Cryptology, Arithmetic: Hardware and Software
- Cryptology, arithmetic : algebraic methods for better algorithms
- DECENTRALISE
- Data Aware Large Scale Computing
- Data Aware Large Scale Computing
- Data on the Internet at the Core of the Economy
- Database optimizations and architectures for complex large data
- Deduction modulo, interopérabilité et démonstration automatique
- Deformable Robots Simulation Team
- Dependability Interoperability and perfOrmance aNalYsiS Of networkS
- Design and Implementation of Autonomous Distributed Systems
- Design and Implementation of Programming Tools
- Design and development of adaptive programs and systems
- Design, Implementation and Analysis of Networking Architectures
- Design, study and implementation of languages for proofs and programs
- Designing the Future of Computational Models
- Diagnosing, Recommending Actions and Modelling
- Digital image processing, modeling and communication
- DistributEd aLgorithms and sYStems
- Distributed Systems for Cooperative Applications
- Distributed and Iterative Algorithms for the Management of Telecommunications Systems
- Distributed and heterogeneous data and knowledge
- Diversity-centric Software Engineering
- Dynamic Networks
- Dynamic Networks : Temporal and Structural Capture Approach
- Dynamic Networks : Temporal and Structural Capture Approach
- Dynamic Reconfigurable Massively Parallel Architectures and Languages
- Dynamical Interconnected Systems in COmplex Environments
- Dynamics and Control of Networks
- Dynamics, Logics and Inference for biological Systems and Sequences
- Dynamique du pouvoir dans l'anthropocene
- Dynamiques de populations multi-échelles pour des systèmes physiologiques
- E-Patient : Images, données & mOdèles pour la médeciNe numériquE
- Effective Geometric Algorithms for Surfaces and Visibility
- Efficient STAtistical methods in SYstems of systems
- Efficient runtime systems for parallel architectures
- Embedded computer Vision sOLUTION
- Empenn
- Enabling Affordable Smarter Environment
- Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
- Environments for Verification and Security of Software
- Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
- Evolution de la connaissance
- Evolution de la connaissance
- Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers
- Expert Systems and Design of Tools for Artificial Intelligence
- Extreme Interaction
- Extreme Situated Interaction
- Finite-time control and estimation for distributed systems
- Flowing Epigenetic Robots and Systems
- Fluid Flow Analysis, Description and Control from Image Sequences
- Formal islands: foundations and applications
- Formally Verified Programs, Certified Tools and Numerical Computations
- Formally Verified Programs, Certified Tools and Numerical Computations
- Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation
- Foundations of Component-based Ubiquitous Systems
- GRAPHics and DEsign with hEterogeneous COntent
- Gallinette : vers une nouvelle génération d'assistant à la preuve
- Geometric Algorithms and Models Beyond the Linear and Euclidean realm
- Geometric Control Design
- Geometric Modeling of 3D Environments
- Geometric computing
- Geometry and Lighting
- Geometry and Probability for Motion and Action
- Geometry and Statistics in acquisition data
- Geometry, Algorithms and Robotics
- Geometry, algebra, algorithms
- Geometry, arithmetic, algorithms, codes and encryption
- Global parallel and distributed computing
- Graph Visualization and Interactive Exploration
- Graphs for Inferences on Knowledge
- Grenoble's Compiler Group
- Génération Adaptative de Maillage et Méthodes numériques Avancées
- Géometrie et Lumière
- Géométrie , Algèbre, Algorithmes
- Géométrie, Algèbre, Informatique, Applications
- HExapode, PHysiologie, AssISTance et Objets de Service
- Health data- and model- driven Knowledge Acquisition
- High Speed Networks, Open Networks
- High performance communication
- High-End Parallel Algorithms for Challenging Numerical Simulations
- IA coopérative : équité, vie privée, incitations
- INFormation NEtworks
- InBio - Méthodes Expérimentales et Computationnelles pour la Modélisation des Processus Cellulaires / InBio - Experimental and Computational Methods for Modeling Cellular Processes
- Informatique et Apprentissage des Mathématiques
- Instrumentation, control and architecture of advanced robots
- Integrated Optimization with Complex Structure
- Integration of data and knowledge distributed over the web
- Intelligence artificielle et algorithmes efficaces pour la robotique autonome
- Intelligent environments for the resolution of problems for autonomous systems
- Interacting with Large Data
- Interaction située avec les objets et environnements intelligents
- Interaction située avec les objets et environnements intelligents
- Interpretation and Modelling of Images and Videos
- Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
- Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
- Invariant Preserving SOlvers
- Inverse problems in earth monitoring
- Inversion of Differential Equations For Imaging and physiX
- Kinetic models AppLIed for Future of Fusion Energy
- Knowledge representation, reasonning
- Knowledge Management For Cooperative Design
- Knowledge acquisition for aided design through agent interaction
- La Géometrie au Service du Numérique
- Langages de programmation : systèmes de types, concurrence, preuve de programme
- Langages de programmation, types, compilation et preuves
- Large Scale Collaborative Data Mining
- Large-Scale Distributed Systems and Applications
- Learning and recognition in vision
- Legal Issues in Communication and Information Technologies
- Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
- Linguistic signs, grammar and meaning: computational logic for natural language
- Linking Dynamic Data
- Lithe and fast algorithmic number theory
- Littoral, Environment: MOdels and Numerics
- Logic and computing
- Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
- Logical Time for Formal Embedded System Design
- Logiciel : ANalyse et DEveloppement
- MATHematics for MatERIALS
- MEFISTO
- MOdel for Data Analysis and Learning
- Machine Learning and Optimisation
- Machine Learning in Information Networks
- Management of dynamic networks and services
- Mathematical Risk Handling
- Mathematical and Computational Neuroscience
- Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
- Mathematical, Reasoning and Software
- Mathematics and Computing in Automatic Control and Optimization for the User
- Mathematics and computing applied to oceanic and atmospheric flows
- Mathematics for Control, Transport and Applications
- Mathématiques pour les Neurosciences
- Matter from Graphics
- Max-plus algebras and mathematics of decision
- Measuring networks for enhancing USer Experience
- Medical imaging and robotics
- Melting the frontiers between Light, Shape and Matter
- Methods and Tools for Integrated Engineering Systems
- Methods and tools for gestural interactions
- Méthodes computationnelles pour la prise en charge thérapeutique en oncologie : Optimisation des stratégies par modélisation mécaniste et statistique
- Middleware efficiently scalable
- Middleware on the Move
- Migration and mobility : semantics and applications
- Mise en réseau fiable, sans fil à faible consommation et micro-robotique
- Mnemonic Synergy
- ModELisation de l'apparence des phénomènes Non-linéaires
- Model selection in statistical learning
- Modeling Enablers for Multi-PHysics and InteractionS
- Modeling Technologies for Software Production, Operation, and Evolution
- Modeling Tree Structures, Machine Learning, and Information Extraction
- Modeling and Exploitation of Interaction and Concurrency
- Modeling and Exploitation of Interaction and Concurrency
- Modeling and Performance Evaluation of Computer Systems
- Modeling and Verification of Distributed Algorithms and Systems
- Modeling and control of renewable resources
- Modeling of Computer Systems and Telecommunication Networks : Research and Software Development
- Modeling plant morphogenesis at different scales, from genes to phenotype
- Modeling, analysis and control in computational structural dynamics
- Modeling, localization, recognition and interpretation in computer vision
- Modeling, simulation, measurement, and control of bacterial regulatory networks
- Modelling and Inference of Complex and Structured Stochastic Systems
- Modelling and Inference of Complex and Structured Stochastic Systems
- Modelling and Inference of Complex and Structured Stochastic Systems [?-2006]
- Modelling and Optimisation of the Dynamics of Ecosystems with MICro-organisme
- Modelling brain structure, function and variability based on high-field MRI data
- Modelling, Observations, Identification for Environmental Sciences
- Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems
- Models and Algorithms for Visualization and Rendering
- Models and Algorithms for the Genome
- Models and methods of analysis and optimization for systems with real-time and embedded contraints
- Models and methods of analysis and optimization for systems with real-time and embedding constraints
- Models for a Structured Programming of Space and Time
- Models for the performance analysis and the control of networks
- Models of spatio-temporal structure for high-resolution image processing
- Models of visual object recognition and scene understanding
- Models, Algorithms and Geometry for Computer Generated Image Graphics
- Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension
- Modèle et algorithmes pour des systèmes de communication fiables
- Modèles et algorithmes pour l’intelligence artificielle
- Modèles et inférence pour les données de Neuroimagerie
- Modélisation Mathématique pour l'Oncologie
- Modélisation de la croissance et de l'architecture des plantes
- Modélisation en pharmacologie de population
- Modélisation et calculs pour l'électrophysiologie cardiaque
- Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
- Modélisation et simulation de la propagation des ondes fondées sur des mesures expérimentales pour caractériser des milieux géophysiques et héliophysiques et concevoir des objets complexes
- Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
- Modélisation, contrôle et calcul
- Modélisation, simulation et commande des systèmes dynamiques non lisses
- Modélisation, simulation et commande des systèmes dynamiques non lisses
- Morphologie et Images
- Multi-scale modelling of cell dynamics : application to hematopoiesis
- Multi-scale numerical geometric schemes
- Multimedia content-based indexing
- Multiscale dYnamiCs in neuroENdocrine AxEs
- Médecine de précision par intégration de données et inférence causale
- Méthodes avancées d’apprentissage statistique et de contrôle
- Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données
- Méthodes et outils pour l'Interaction à gestes
- Méthodes numériques pour le problème de Monge-Kantorovich et Applications en sciences sociales
- Méthodes quantitatives pour les modèles aléatoires de la physique
- NEUROMATHCOMP
- Natural Language Processing: representation, inference and semantics
- Network Engineering and Operations
- Networked Controlled Systems
- Networked Controlled Systems
- Networks, Algorithms and Probabilities
- Networks, Graphs and Algorithms
- Neuroimagerie: méthodes et applications
- Neuromimetic intelligence
- Non-Asymptotic estimation for online systems
- Nous, virtuels
- Numerical Analysis, Geophysics and Ecology
- Numerical Medicine
- Numerical Optimization
- Numerical Simulation for the Engineering Sciences
- Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
- Numerical simulation of biological flows
- OPtimisation Imagerie et Santé
- OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- Object Knowledge Bases
- Objects, aspects and components
- Objects, types and prototypes : semantics and validation
- Océan Dynamique Observations Analyse
- Optimal and secure management of manufacturing systems
- Optimisation de grande taille et calcul large échelle
- Optimisation des ressources : modèles, algorithmes et ordonnancement
- Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
- Orchestron : from neuronal rhythms to rhythmic brain functions
- Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
- Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
- PERVASIVE INTERACTION
- Parallel Cooperative Multi-criteria Optimization
- Parallel algorithms and load sharing
- Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems
- Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
- Perception Understanding Learning Systems for Activity Recognition
- Perception, decision and action of real and virtual humans in virtual environments and impact on real environments
- Perception, recognition and integration for observation of activity
- Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement
- Performance analysis and optimization of LARge Infrastructures and Systems
- Performance analysis and optimization of LARge Infrastructures and Systems
- Personal Trusted cloud
- Plasma, tUrbulence, Modeling, Approximation and Simulation
- Plateforme bioinformatique GenOuest [Rennes]
- Polynomial Systems
- Popular interaction with 3d content
- Privacy Models, Architectures and Tools for the Information Society
- Probabilistic modelling of irregularity and application to uncertainties management
- Probabilistic numerical methods
- Processus aléatoires spatio-temporels et leurs applications
- PrograMming and scheduling design fOr Applications in Interactive Simulation
- Program transformations for scientific computing
- Programming Language Technology For Communication Services
- Programming distributed parallel systems for large scale numerical simulation
- Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
- Programming securely with cryptography
- Proof of Programs
- Proof search and reasoning with logic specifications
- Proof techniques for security protocols
- Propagation des Ondes : Étude Mathématique et Simulation
- Protocols and applications for the Internet
- Protocols and softwares for very high-performance network
- Prévention et prise en charge des traumatismes [Bordeaux]
- Pushing Architecture and Compilation for Application Performance
- QUANTum Information Circuits
- Quality control and dynamic reliability
- Quantitative methods for stochastic models in physics
- Quantum Computation Structures
- Randomized Optimisation
- Real time and interoperability
- Recalage visuel avec des modèles physiquement réalistes
- Reformulations based algorithms for Combinatorial Optimization
- Regularity and massive parallel computing
- Reliable and efficient component based software engineering
- Reliable numerical approximations of dissipative systems
- Rendering and virtual environments with sound
- Representation and Languages
- Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données
- Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
- Rich Data Analytics at Cloud Scale
- Robotics & Intelligent Transportation Systems
- Robots collaboratifs et hétérogènes interagissant dans des environnements vivants
- Robots coopératifs et adaptés à la présence humaine en environnements
- Robots coopératifs et adaptés à la présence humaine en environnements dynamiques
- Robust control of infinite dimensional systems and applications
- Réseaux capillaires urbains
- SIMulation pARTiculaire de Modèles Stochastiques
- SImulations and Modeling for PArticles and Fluids
- SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires
- STatic Optimizations, Runtime Methods
- SUpervision of large MOdular and distributed systems
- Safe Composition of Autonomous applications with Large-SCALE Execution environment
- Scalable Storage for Clouds and Beyond
- Scalable, Optimized and Parallel Algorithms for Genomics
- Scene Analysis and Symbolic Image Processing
- Scientific Data Management
- Scientific computation and visualization
- Scientific computing, modeling and numerical analysis
- Scool
- Secure Diffuse Programming
- Security of information systems
- Security, Cryptology and Transmissions
- Self-adaptation for distributed services and large software systems
- Self-organizing Future Ubiquitous Network
- Semantic Analysis of Natural Language
- Sensor-based and interactive robotics
- Sequential Learning
- Services and Cooperation
- Shape reconstruction and identification
- Simulation et Analyse de la morphogenèse in siliCo
- Simulation for the Environment: Reliable and Efficient Numerical Algorithms
- Simulation in Healthcare for Advanced Medical ApplicatioNs
- Simulation in Healthcare using Computer Research Advances
- Simulation, Object Oriented Languages and Parallelism
- Simulation, modeling and analysis of heterogeneous systems
- Simulations and Algorithms on Grids for Environment
- Simuler et calibrer des modèles stochastiques
- Situated interaction
- Smart Wireless Networking
- Software Stack for Massively Geo-Distributed Infrastructures
- Software and Cognitive radio for telecommunications
- Software and mathematics
- Software certification with semantic analysis
- Sound Programming of Adaptive Dependable Embedded Systems
- Sound Programming of Adaptive Dependable Embedded Systems
- Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
- Spatio-Temporal Activity Recognition Systems
- Spatio-Temporal Vision and Learning
- Specification and Programming of Communicating Real-Time Systems
- Speech Modeling for Facilitating Oral-Based Communication
- Speech and sound data modeling and processing
- Statistical Inference for Industry and Health
- Statistical Inference for STructural HEalth Monitoring
- Statistical Inference for Structural Health Monitoring
- Statistical Machine Learning and Parsimony
- Statistics In System biology and Translational Medicine
- Statistics In System biology and Translational Medicine
- Statistique mathématique et apprentissage
- Stochastic Approaches for Complex Flows and Environment
- Stochastic Dynamical Systems
- Structurer des formes géométriques
- Surgery, Informatics and Robotics
- Sustainability transition, environment, economy and local policy
- Symbolic Special Functions : Fast and Certified
- Synchronous Realtime Processing and Programming of Music Signals
- Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- System and Networking for Portable Objects Proved to be Safe
- System architecture for reflective distributed computing environments
- System identification and optimization in physics and environment
- System synthesis and supervision, scenarios
- System validation - Research and applications
- Systems with physical heterogeneities : inverse problems, numerical simulation, control and stabilization
- Système Multi-Expert de Conception en Ingénierie
- Systèmes Commandés en Réseau
- Systèmes Informatiques Didactiques
- Systèmes de particules et systèmes dynamiques
- Systèmes de transport automatisés et sécurisés
- Systèmes et jeux en dimension finie
- Sélection de modèles en apprentissage statistique
- Sûreté du logiciel et Preuves Mathématiques Formalisées
- TAckling the Underspecified
- TAckling the Underspecified
- TAngible COMputing Architectures
- TO Simulate and CAlibrate stochastic models
- TOSCA
- TOkamaks and NUmerical Simulations
- TROPICAL
- Technologie des langages de programmation pour les services de communication
- Technology and knowledge for interaction
- The ReDICE Consortium
- Theoretical adverse computations, and safety
- Theory and Practice of Nanoscale Computing Engines
- Theory and Practice of Synchronous Reactive Systems
- Theory, Algorithms and Systems for Constraints
- Threat Analysis and Mitigation for Information Security
- Tim, Events and Architectures
- Tools and models of nonlinear control theory for epidemiology and immunology
- Tools for Electronic Documents, Research and applications
- Tools of automatic control for scientific computing, Models and Methods in Biomathematics
- Topology-Aware System-Scale Data Management for High-Performance Computing
- Traitement optimal de l'information avec des dispositifs quantiques
- Transformations et outils informatiques pour le calcul scientifique
- Types and Reasoning for the Web
- Types and Reasoning for the Web
- Types, Logic and computing
- Télédetection et IA embarqués pour le ”New Space”
- Uncertainty Quantification in Scientific Computing and Engineering
- Understanding the Shape of Data
- Usage-centered design, analysis and improvement of information systems
- VERIfication pour les systèmes DIStribués
- Value from Data
- Verification in databases
- Verification models and techniques applied to testing and control of reactive systems
- Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande
- Virtual Reality for Improved Innovative Immersive Interaction
- Virtual environments for animation and image synthesis of natural objects
- Vision spatio-temporelle et active
- Vision, Action et Gestion d'informations en Santé
- Vision, Action et Gestion d'informations en Santé
- Visual Augmentation of Complex Environments
- Visual servoing in robotics, computer vision, and augmented reality
- Visualization and manipulation of complex data on wireless mobile devices
- Water Resource Modeling
- Weaving of Software Components
- Web Scale Trustworthy Collaborative Service Systems
- Web, adaptation and multimedia
- Web-Instrumented Man-Machine Interactions, Communities and Semantics
- Well Honed Infrastructure Software for Programming Environments and Runtimes
- Wireless Networking for Evolving & Adaptive Applications
- from patterns to models in computational biodiversity and biotechnology
- inTeRnet BEyond the usual
- mEasuRing and ManagIng Network operation and Economic
- the World Is Distributed Exploring the tension between scale and coordination
