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 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 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.
Explore les technologies de capteurs dans MEMS, en se concentrant sur les capteurs de pression, les accéléromètres et les gyroscopes, et souligne l'importance de la fusion des capteurs.
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 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.
Introduit une architecture axée sur l'entreprise et le service, mettant l'accent sur la compréhension de quoi et pourquoi construire, plutôt que sur la façon de le faire.