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

Systèmes de règles, simulations et mondes parallèles

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (34)

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.

Propositions inductives : Techniques de raisonnement et d’évaluation Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Systèmes multiagents distribués : coordination et apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la coordination et l'apprentissage dans des systèmes multiagents distribués, couvrant les lois sociales, l'échange de tâches, la satisfaction des contraintes et les algorithmes de coordination.

Vision informatique: Historique Récapitulation & Logistique Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu de l'historique de la vision informatique et de la logistique, en mettant l'accent sur les réseaux neuronaux et le raisonnement logique.

Représentations neuro-symboliques: Connaissances communes et Raisonnement Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans des représentations neuro-symboliques pour la connaissance du sens commun et le raisonnement dans les applications de traitement du langage naturel.

Représentations neuro-symboliques: Connaissances communes et Raisonnement Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les représentations neuro-symboliques pour comprendre les connaissances et le raisonnement communs, en mettant l'accent sur les défis et les limites de l'apprentissage profond dans le traitement du langage naturel.

Les transformations du lieu Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'intuition derrière les transformations du lieu et répond aux questions du public sur les calculs intégraux et les choix de fonctions.

Introduction à la mécanique structurale Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les systèmes hyperstatiques-hypostatiques, l'équilibre et les contraintes en mécanique structurale.

Intelligence visuelle: Machines et esprits Connectez-vous à Mediaspace pour regarder cette vidéo

S’intéresse à l’intelligence visuelle, aux jeux de données, aux simulations et aux défis de la généralisation de la perception des machines.

Applications de la théorie des jeux: propositions de projet et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit des conseils sur les propositions de projets en théorie des jeux, en présentant des exemples passés et en mettant laccent sur la formulation des problèmes et la modélisation mathématique.

Programmation FPGA avec Speedgoat : traitement du signal en temps réel Connectez-vous à Mediaspace pour regarder cette vidéo

Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.

Modélisation des interactions et des assemblages Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la modélisation des interactions et des assemblages dans les simulations d'ingénierie à l'aide du logiciel Abaqus.

Mécanique des structures FEM : un premier modèle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la modélisation des éléments finis en mécanique structurale, en construisant un premier modèle pour analyser un micro-cantilever en silicium polycristallin et comprendre les types de charge.

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.

Page 2 sur 2