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.
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.
Couvre le traitement des requêtes avec des opérations relationnelles, en se concentrant sur différentes méthodes de jointure et l'impact de la mise en mémoire tampon.
Couvre l'optimisation des requêtes relationnelles, y compris les plans de requêtes logiques et physiques, l'estimation des coûts, les équivalences et la stratégie du système R.
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.
Explore les bases de la conduction thermique dans les solides, couvrant la loi de Fourier, la conductivité thermique, la conservation de l'énergie et les applications pratiques.