Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.
Couvre les concepts fondamentaux de l'apprentissage profond et de l'architecture Transformer, en se concentrant sur les réseaux neuronaux, les mécanismes d'attention et leurs applications dans les tâches de modélisation de séquence.
Explore la logique de la fonction neuronale, le modèle Perceptron, les applications d'apprentissage profond et les niveaux d'abstraction dans les modèles neuronaux.
Explore les relations de symétrie, la modulation, les propriétés de transformation de Fourier et les méthodes d'intégration dans les signaux et les systèmes.
Explore les techniques d'imagerie quantitative pour le génie civil, couvrant les capteurs ToF, la technologie LIDAR, les capteurs à ultrasons, la lumière structurée, les caméras stéréo et l'estimation de la profondeur via l'apprentissage en profondeur.
Couvre les bases de l'apprentissage profond, y compris les représentations de données, le sac de mots, le prétraitement des données, les réseaux de neurones artificiels et les réseaux de neurones convolutifs.
