Access content directly
-
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
-
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
-
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
-
Les assistants à la démonstration au cœur du raisonnement mathématique
-
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
