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.
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 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.
Couvre les techniques de traitement de l'image, y compris l'ajout de bruit, le filtrage et l'amélioration de l'image à l'aide de divers filtres et outils.
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.
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 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 les fondamentaux du transfert de chaleur, y compris les propriétés de rayonnement, la conservation de l'énergie et la conductivité thermique, couvrant la conduction, la convection et les milieux participants.
Explore les équations d'advection-diffusion et le schéma explicite à deux niveaux, en mettant l'accent sur la stabilité dans les simulations numériques.
Explore la transition vers les fréquences térahertz et l'efficacité énergétique dans les futurs réseaux sans fil, en mettant l'accent sur l'évolution vers une communication durable et à grande vitesse.
Explore les facteurs de vision spéculaire et l'échange radiatif entre les surfaces grises partiellement spéléculaires, y compris les taux de transfert d'énergie et l'échange de surface non gris.
Explore l'hydroacoustique pour les installations hydroélectriques, en mettant l'accent sur les méthodes de caractéristiques et l'analyse des caractéristiques sonores.