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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Raisonnement automatisé dans la pratique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (34)

Sans titre

Représentation des connaissances : sémantique et structures de données Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation des connaissances, les structures de données, la sémantique et les défis de la recherche de données sur le Web.

Web sémantique : Ontologies et modélisation RDF Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la création et l'encodage d'ontologies, la modélisation des énoncés RDF, la syntaxe et la classification.

Web sémantique : vue d'ensemble et outils Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le Web sémantique, les ontologies, le mappage de schéma, le RDF et les graphes de connaissances.

Connecter les points dans la gestion circulaire du cycle de vie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion circulaire du cycle de vie, la fabrication sans défaut, l'analyse des mégadonnées et la maintenance prédictive dans les processus industriels.

Web sémantique : Graphiques de connaissances Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation des connaissances, l'extraction de l'information et la vision du Web sémantique, en mettant l'accent sur la normalisation, la cartographie et les ontologies dans la structuration des données.

Web sémantique & Extraction d'information Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le Web sémantique, les ontologies, l'extraction de l'information, les phrases clés, les entités nommées et les bases de connaissances.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

Gestion du cycle de vie en boucle fermée Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les stratégies de gestion du cycle de vie en boucle fermée, d'économie circulaire et de fabrication sans défaut pour le développement durable.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Ressources Web sémantiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les ontologies populaires et les bases de connaissances telles que WordNet, WikiData, Google Knowledge Graph et Schema.org, ainsi que les ensembles de données ouvertes liées.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

GlobalViewer Enterprise : Configuration et gestion du système Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la configuration et la gestion du système GlobalViewer Enterprise.

Page 2 sur 2