Toggle navigation
Création EP
Référentiel Structures
Fiches Equipes
Fiches Projets
BASTRI - Fiches Equipes
Base des structures de recherche Inria
Toggle navigation
Flux RSS
Vie des structures de recherche Inria
CRI BSO : vie des structures de recherche
CRI GRA : vie des structures de recherche
CRI LNE : vie des structures de recherche
CRI LYS : vie des structures de recherche
CRI NGE : vie des structures de recherche
CRI PRO : vie des structures de recherche
CRI RBA : vie des structures de recherche
CRI SAM : vie des structures de recherche
CRI SGE : vie des structures de recherche
CRI SIF : vie des structures de recherche
Equipes-projet, Equipes
Toutes les Equipes-projet, Equipes
Vue par centre
Vue par domaine/thème
Vue par Défi
Défis / Actions Exploratoires (AEx)
Défis en cours
Défis terminés
Actions Exploratoires en cours
Actions Exploratoires terminées
Exports Excel
Export Excel de toutes les structures
Export Excel des structures terminées
Export Excel des structures actives
Thème "Algorithmique, calcul certifié et cryptographie"
Equipes actives uniquement
Merci de patienter ...
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
40 résultats
A
ALADIN (SR0198FR) - Algorithmes adaptés au calcul numérique intensif
ALGORITHMS (SR0094PR) - Algorithmes
API (SR0202LR) - Architectures parallèle intégrées
ARENAIRE (SR0028PR) - Arithmétique des ordinateurs
ARIC (SR0495ZR) - Arithmétiques des ordinateurs, méthodes formelles, génération de code
AS (SR0205ER) - Automatique et signal
B
BIP (SR0208HR) - Robot bipède
C
CACAO (SR0058SR) - Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs
CARAMEL (SR0435BR) - Cryptologie, Arithmétique : Matériel et Logiciel
E
EIFFEL (SR0229NR) - Cognition et coopération en conception
G
GRACE (SR0511VR) - Geometry, arithmetic, algorithms, codes and encryption
I
IDENT (SR0238YR) - Estimation de paramètres et applications industrielles
IPV6 (SR0345HR) - IPv6 - RSVP - ATM
IS2 (SR0242RR) - Inférence statistique pour l'industrie et la santé
J
JACQUARD (SR0244SR) - Tissage de composants logiciels
L
LFANT (SR0347LR) - Théorie algorithmique des nombres rapide et flexible
LOCO (SR0247OR) - Programmation en LOgique avec COntraintes
LORIASI (SR0352ZR) - Loria dans la société de l'information
M
MADE (SR0353BR) - Environnement de développement d'applications multimédia
MEIJE (SR0251CR) - Parallélisme, Synchronisation et Temps-Réel
MIRHO (SR0360CR) - Systèmes à objets, types et prototypes : sémantique et validation
MOCOA (SR0361AR) - Méthodes de l'Optimisation, de la Commande Optimale et Applications
MODEL (SR0256TR) - Modélisation de systèmes aléatoires
MODULEF (SR0257JR) - Méthodes et outils pour le calcul scientifique
N
NUMOPT (SR0263NR) - Optimisation Numérique
O
ONDES (SR0265QR) - Modélisation et simulation de phénomènes de propagation d'ondes
P
POLSYS (SR0488ZR) - Polynomial Systems
PSYCHO ERGO (SR0278KR) - Psychologie ergonomique pour l'informatique
R
R2D2 (SR0371JR) - Exploration, estimation, prototypage pour la conception de systèmes matériels sur des plates-formes sur silicium reconfigurable
REFLECS (SR0280BR) - Génie système et informatique distribuée temps réel tolérant les fautes
REPCO (SR0282FR) - Représentation des connaissances
RODEO (SR0285UR) - Réseaux à haut débit, Réseaux ouverts
RODIN (SR0286AR) - Systèmes de bases de données
S
SAFIR (SR0287UR) - Systèmes algébriques formels pourl'industrie et la recherche
SALSA (SR0096PR) - Résolution de systèmes algébriques et Applications
SIGMA2 (SR0293GR) - Signaux, modèles, algorithmes
SOSSO (SR0299ER) - Applications et outils de l'automatique
SYDOCO (SR0303UR) - Systèmes dynamiques et commande optimale
T
TANC (SR0144PR) - Théorie algorithmique des nombres pour la cryptologie
TRANSREP (SR0387XR) - Transactionnel réparti