Met en lumière les gagnants du Jucker Price 1999 et du Bug de l'année 2000, soulignant l'importance des aspects humanistes et les risques associés aux complexités logicielles.
Explore la simulation de pannes dans les tests VLSI, couvrant la couverture des pannes, les modèles de pannes, les algorithmes, les types de simulateurs, la simulation déductive et les règles de propagation des pannes.
Introduit le Latex, un système de préparation de documents pour les domaines scientifiques et techniques, axé sur le contenu plutôt que sur le formatage.
Discute de la nécessité d'un nouveau système d'évaluation pour améliorer les normes d'enseignement et souligne l'importance de la rétroaction des élèves et des enseignants.
Présente les principales perspectives pour l'analyse des systèmes d'infrastructure urbaine, en mettant l'accent sur les services publics et les principes économiques.
Discute du facteur de qualité et du stress dans les dispositifs micro/nanomécaniques, explorant les effets du stress sur les performances des dispositifs.
Explore la qualité des données dans l'analyse du cycle de vie, couvrant le format de l'inventaire, le contrôle, les procédures de mesure, les facteurs d'incertitude et le système d'évaluation de la qualité des données.
Couvre la méthode de tarification hédoniste pour l'évaluation des prix implicites des marchandises et introduit la méthode d'évaluation éventuelle pour l'estimation de la valeur des marchandises environnementales.
Examine la répartition et la coordination des tâches dans les systèmes intelligents distribués, en comparant les algorithmes fondés sur le marché et les algorithmes fondés sur des seuils d'efficacité.
Discute des techniques d'optimisation des requêtes pour le traitement des données à grande échelle, en comparant les stratégies d'optimisation et les possibilités de partage pour réduire les coûts de traitement.
