Inria
Sciences fondamentales
-
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
-
Sciences fondamentales
Vidéocours
10 min
LABEL UNT
1.9. Predicting the origin of DNA replication?
-
Sciences fondamentales
Vidéocours
8 min
LABEL UNT
1.10. Overlapping sliding window
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
2.1. The sequence as a model of DNA
-
Sciences fondamentales
Vidéocours
5 min
LABEL UNT
2.2. Genes: from Mendel to molecular biology
-
Sciences fondamentales
Vidéocours
7 min
LABEL UNT
2.4. A translation algorithm
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
2.5. Implementing the genetic code
-
Sciences fondamentales
Vidéocours
6 min
LABEL UNT
2.6. Algorithms + data structures = programs
-
Sciences fondamentales
Vidéocours
7 min
LABEL UNT
2.7. The algorithm design trade-off
