Explore la pratique de l'histoire à l'aide de sources numérisées et numériques nées, heuristique, critique, synthèse et big data pour l'analyse historique.
Examine les aspects théoriques de l'audit UX, de l'évaluation par des experts et de l'analyse comparative, en soulignant l'importance de détecter les problèmes de conception qui ont une incidence sur la facilité d'utilisation et l'expérience des utilisateurs.
Explore la conception de systèmes en réseau pour des performances robustes, en mettant l'accent sur les applications en temps réel et la vérification formelle.
Explore le problème de satisfabilité booléenne et l'algorithme Davis-Putnam-Logemann-Loveland, ainsi que les résolveurs SAT modernes et les techniques de résolution efficaces.
Explore l'optimisation accélérée de l'ordre de jointage GPU dans les grands espaces de recherche, en tirant parti de la topologie graphique pour réduire les frais généraux de calcul.
Explore la division du travail dans les systèmes naturels, la coordination multi-robots, et les défis de l'incertitude dans les algorithmes basés sur le marché.
Couvre les méthodes d'évaluation heuristiques et formatives pour les systèmes interactifs, en mettant l'accent sur la prévention des erreurs, le contrôle de l'utilisateur, la cohérence et la flexibilité dans la conception.
Explore l'Optimiseur System-R, l'optimisation des requêtes, l'estimation des coûts, rejoindre les commandes, et les défis de cardinalité dans les systèmes de base de données.
Couvre la planification avec des adversaires, des algorithmes de recherche heuristique et des stratégies pour les jeux avec le hasard, en soulignant l'importance des agents délibératifs.