Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Vérification de modèles

Séances de cours associées (25)

Le paradoxe du bus rouge bleu bourgeon MOOC: Sujets choisis sur le choix discret

Discute du paradoxe du bus rouge bleu bourgeon dans la modélisation des choix de mode et de ses implications politiques.

Élimination de l'arithmétique et des quantificateurs de Presbourg

Couvre l'arithmétique de Presbourg, l'élimination des quantificateurs et la transformation des formules en forme normale disjonctive.

Méthode de tarification hédoniste : Logement et biens environnementaux Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Fondations algorithmiques pour la certification des systèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans la conception de systèmes avec des composants non fiables, en mettant l'accent sur la vérification, le contrôle et l'interaction dans des systèmes peu fiables.

Régression linéaire: Multicolinéarité, Outliers, Spécification du modèle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la multicolinéarité, les valeurs aberrantes, la spécification du modèle et les stratégies pratiques en régression linéaire.