Explore les bases de données parallèles et distribuées, couvrant les architectures, l'optimisation des requêtes, le stockage des données et les transactions distribuées.
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 la dérivation des solutions formelles à l'équation de transfert radiatif et discute de la diffusion isotrope, de l'épaisseur optique et des applications de la méthode Monte Carlo.
Explore l'analyse micro-architecturale de DBMS moderne, en mettant l'accent sur l'optimisation des performances et l'atténuation du décrochage des caches de données.
Couvre les bases de l'analyse des circuits, y compris la définition d'inconnus, l'établissement d'équations, les systèmes de résolution et les circuits d'analyse.
Explore la dynamique des systèmes à trois corps en mécanique céleste, en mettant l'accent sur la stabilité, les points d'équilibre et les interactions gravitationnelles.