Sites Inria

There are 4163 Results for : ""

Research team

DANTE

Dynamic Networks : Temporal and Structural Capture Approach

Home > Domains > Networks, Systems and Services, Distributed Computing > Networks and Telecommunications > DANTE

More

Research team

CTRL-A

Control for safe Autonomic computing systems

Home > Domains > Networks, Systems and Services, Distributed Computing > Distributed Systems and middleware > CTRL-A

More

Research team

CQFD

Quality control and dynamic reliability

Home > Domains > Applied Mathematics, Computation and Simulation > Stochastic approaches > CQFD

More

Research team

COSMIQ

Code-based Cryptology, Symmetric Cryptology and Quantum Information

Home > Domains > Algorithmics, Programming, Software and Architecture > Algorithmics, Computer Algebra and Cryptology > COSMIQ

More

Research team

CONVECS

Construction of verified concurrent systems

Home > Domains > Algorithmics, Programming, Software and Architecture > Proofs and Verification > CONVECS

More

Research team

COMMEDIA

Computational mathematics for bio-medical applications

Home > Domains > Digital Health, Biology and Earth > Modeling and Control for Life Sciences > COMMEDIA

More

Research team

COMMANDS

Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems

Home > Domains > Applied Mathematics, Computation and Simulation > Optimization and control of dynamic systems > COMMANDS

More

Research team

COMETE

Concurrency, Mobility and Transactions

Home > Domains > Algorithmics, Programming, Software and Architecture > Security and Confidentiality > COMETE

More

Top