Sites Inria

There are 4144 Results for : ""

Research team

CASTOR

Control, Analysis and Simulations for TOkamak Research

Home > Domains > Digital Health, Biology and Earth > Earth, Environmental and Energy Sciences > CASTOR

More

Research team

CASH

Compilation and Analyses for Software and Hardware

Home > Domains > Algorithmics, Programming, Software and Architecture > Architecture, Languages and Compilation > CASH

More

Research team

CASCADE

Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities

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

More

Research team

CARMEN

Modélisation et calculs pour l'électrophysiologie cardiaque

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

More

Research team

CARDAMOM

Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts

Home > Domains > Applied Mathematics, Computation and Simulation > Numerical schemes and simulations > CARDAMOM

More

Research team

CARAMBA

Cryptology, arithmetic : algebraic methods for better algorithms

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

More

Research team

CAPSID

Computational Algorithms for Protein Structures and Interactions

Home > Domains > Digital Health, Biology and Earth > Computational Biology > CAPSID

More

Research team

ANTIQUE

Static Analysis by Abstract Interpretation

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

More

Research team

ARAMIS

Algorithms, models and methods for images and signals of the human brain

Home > Domains > Digital Health, Biology and Earth > Computational Neuroscience and Medicine > ARAMIS

More

Top