Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Moteurs d'inférence : Clauses de résolution et de corne

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (37)

Dispersion inélastique dans la microscopie électronique de transmission Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la diffusion inélastique en microscopie électronique à transmission, en se concentrant sur les principes et les applications de la spectroscopie de perte d'énergie électronique.

Confiance en nombres : Quantifier le monde Connectez-vous à Mediaspace pour regarder cette vidéo

S'insère dans le développement historique de la quantification en physique et en société, contrastant le positivisme avec le réalisme hypothétique.

États de surface dans la construction mécanique Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'importance des états de surface dans la construction mécanique et de leur impact sur la fonctionnalité.

Logique principale : quantificateurs et formulaires normaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

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.

Contrôle numérique : introduction et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases du contrôle numérique et de sa mise en œuvre à l'aide d'un microprocesseur.

NMF guidé par la physique pour l'analyse des données STEM/EDXS Connectez-vous à Mediaspace pour regarder cette vidéo

Explore NMF guidé par la physique pour l'analyse de données STEM/EDXS, couvrant les défis, l'optimisation, les contraintes et les avantages de la modélisation.

Introduction aux scripts de preuve: bases de Ltac Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.

Équations de Maxwell et courant de déplacement Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les équations de Maxwell et le courant de déplacement pour une meilleure compréhension de l'électrodynamique.

Introduction à NumPy: Opérations arithmétiques et Arrays Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les opérations arithmétiques NumPy, les opérations logiques, l'indexation, les tableaux multidimensionnels, les opérations matricielles et l'importation/exportation de données.

Spectrométrie de masse des protéines et protéomique: Techniques et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les techniques de spectrométrie de masse des protéines, y compris les méthodes de marquage, la quantification et la découverte de biomarqueurs.

Détermination de l'épaisseur de film: Analyse XPS Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la détermination de l'épaisseur du film à l'aide de techniques XPS et AES, couvrant les principes, l'instrumentation et les comparaisons analytiques.

Pertes dynamiques dans les inverseurs CMOS: analyse et conception Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les pertes dynamiques dans les onduleurs CMOS, en se concentrant sur la dissipation d'énergie et les considérations de conception pour un fonctionnement efficace.

Les peaux électroniques neuromorphes : progrès et défis Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les progrès et les défis dans les peaux électroniques neuromorphes, visant à permettre une utilisation intuitive des membres de remplacement et des robots autonomes.

Formule sans quantificateur Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la transformation des formules sans quantificateur en formules équisatisfaisantes et la réduction pour résoudre l'arithmétique modulo.

Introduction à l'analyse Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de l'analyse, y compris les preuves, les ensembles, les nombres rationnels et réels, et le concept d'infimum.

Reconstruire les images en couleur: Techniques et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les techniques de reconstruction d'images en couleur à l'aide de la détection optique et de l'intelligence artificielle pour améliorer la qualité de l'image et réduire le bruit.

Page 2 sur 2