Inria
Sciences fondamentales
-
Sciences fondamentales
Conférences
48 min
Knowledge transfer and human-machine collaboration for training object class detector
-
Sciences fondamentales
Conférences
49 min
LABEL UNT
Des besoins en calcul de plus en plus performant
-
Sciences fondamentales
Conférences
43 min
LABEL UNT
Optimisation et Incertitudes sont-elles compatibles ?
-
Sciences fondamentales
Conférences
34 min
LABEL UNT
Les mathématiques cachées du trafic routier
-
Sciences fondamentales
Conférences
37 min
LABEL UNT
Rendre l’informatique plus verte
-
Sciences fondamentales
Conférences
45 min
LABEL UNT
La linguistique expérimentale sur le web
-
Sciences fondamentales
Conférences
32 min
LABEL UNT
Architecture de calcul stochastique
-
Sciences fondamentales
Conférences
65 min
Biological Networks Entropies: examples in neural, genetic and social networks
-
Sciences fondamentales
Conférences
75 min
A l’écoute du bruit – L’imagerie par corrélations croisées
-
Sciences fondamentales
Conférences
75 min
A l’écoute du bruit – L’imagerie par corrélations croisées
-
Sciences fondamentales
Conférences
75 min
A l’écoute du bruit – L’imagerie par corrélations croisées
-
Sciences fondamentales
Conférences
71 min
Folding Turing is hard but feasible
-
Sciences fondamentales
Conférences
71 min
Folding Turing is hard but feasible
-
Sciences fondamentales
Conférences
71 min
Folding Turing is hard but feasible
-
Sciences fondamentales
Conférences
38 min
Tasks, algorithms, and models of distributed computing with Michel (together with other colleagues)
-
Sciences fondamentales
Conférences
50 min
Indistinguishability, Duality and Necessary Conditions
-
Sciences fondamentales
Conférences
45 min
Détecteurs de défaillance
-
Sciences fondamentales
Conférences
34 min
A brief history of atomic commitment
-
Sciences fondamentales
Conférences
40 min
Distributed data structures and consistency criteria
-
Sciences fondamentales
Conférences
41 min
The Bakery Algorithm in 2015
-
Sciences fondamentales
Conférences
45 min
Adding Concurrency to Smart Contracts
-
Sciences fondamentales
Conférences
62 min
An extensionalist analysis of computer simulations
-
Sciences fondamentales
Conférences
62 min
An extensionalist analysis of computer simulations
-
Sciences fondamentales
Conférences
59 min
Safety Verification of Deep Neural Networks
-
Sciences fondamentales
Conférences
59 min
Safety Verification of Deep Neural Networks
-
Sciences fondamentales
Conférences
59 min
Safety Verification of Deep Neural Networks
-
Sciences fondamentales
Conférences
40 min
LABEL UNT
L’analyse non lisse pour la modélisation et la simulation
-
Sciences fondamentales
Conférences
69 min
LABEL UNT
Les réseaux WiFi : principes et performances
-
Sciences fondamentales
Conférences
69 min
LABEL UNT
L'intelligence ambiante
-
Sciences fondamentales
Conférences
37 min
LABEL UNT
Probabilité et Informatique : du modèle à l'algorithme
-
Sciences fondamentales
Conférences
63 min
Proofs assistants : from symbolic logic to real mathematics
-
Sciences fondamentales
Conférences
63 min
Proofs assistants : from symbolic logic to real mathematics
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
1.1. The cell, atom of the living world
-
Sciences fondamentales
Vidéocours
5 min
LABEL UNT
1.2. At the heart of the cell: the DNA macromolecule
-
Sciences fondamentales
Vidéocours
8 min
LABEL UNT
1.3. DNA codes for genetic information
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
1.4. What is an algorithm?
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
1.5. Counting nucleotides
-
Sciences fondamentales
Vidéocours
5 min
LABEL UNT
1.6. GC and AT contents of DNA sequence
-
Sciences fondamentales
Vidéocours
7 min
LABEL UNT
1.7. DNA walk
-
Sciences fondamentales
Vidéocours
7 min
LABEL UNT
1.8. Compressing the DNA walk
