Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content
Skip to Navigation
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 OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs Parallélisme de Kahn Synchrone Secured and Mobile Information Systems Well Honed Infrastructure Software for Programming Environments and Runtimes Wireless Networking for Evolving & Adaptive Applications 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, 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 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 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 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 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é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é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 Neuromimetic intelligence Non-Asymptotic estimation for online systems 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é 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 Paradyse 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 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 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 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 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