Catalogue de tuit

Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.

43 901 tuit · 901 chaînes · 42 domaines · Mise à jour : 8 sept. 2026
Thema granulaire (1 834)
43901 tuit · page 1073/1098
Sciences humaines, sociales & pensée Droit & Justice
FR

TTIP – Panel 1 - Increasing the Legitimacy of ISDS

TTIP – Panel 1 - Accroître la légitimité de l'ISDS

Max Planck Institute Luxembourg for Procedural Law
46 min
4/5
ISDSTTIPArbitrage International
Sciences formelles & physiques IA — Actualité & Applications
FR

Proof Systems

Systèmes de preuve

Artificial Intelligence
32 min
4/5
Logique Du Premier OrdreSystèmes De PreuveInférence
Sciences formelles & physiques IA — Actualité & Applications
FR

Unification

Unification

Artificial Intelligence
30 min
4/5
UnificationLogique Du Premier OrdreSubstitution
Sciences formelles & physiques IA — Modèles & Recherche
FR

The Rete Algorithm

L'algorithme Rete

Artificial Intelligence
33 min
4/5
ReteSystèmes ExpertsMoteur D'inférence
Sciences formelles & physiques IA — Modèles & Recherche
FR

The OPS5 Expert System Shell

L'interface du système expert OPS5

Artificial Intelligence
35 min
4/5
OPS5Systèmes ExpertsChaînage Avant
Sciences formelles & physiques IA — Actualité & Applications
FR

Terminological Facts

Faits terminologiques

Artificial Intelligence (chaîne)
29 min
4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesDéduction
Sciences formelles & physiques IA — Modèles & Recherche
FR

Syntax

Syntaxe

Artificial Intelligence
34 min
4/5
Logique Du Premier OrdreSyntaxeFormules
Sciences formelles & physiques IA — Actualité & Applications
FR

Skolemization

Skolémisation

Artificial Intelligence
35 min
4/5
Logique Du Premier OrdreSkolémisationQuantificateurs
Sciences formelles & physiques IA — Modèles & Recherche
FR

Semantics

Sémantique

Artificial Intelligence (chaîne)
24 min
4/5
Logique Du Premier OrdreSémantiqueInterprétation
Sciences formelles & physiques IA — Modèles & Recherche
FR

Rete Algorithm - Example

Rete Algorithm - Exemple

Artificial Intelligence (chaîne)
30 min
4/5
ReteSystèmes De ProductionChaînage Avant
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Valid Arguments and Proof Systems

Logique propositionnelle : Arguments valides et systèmes de preuve

Artificial Intelligence
32 min
4/5
Logique PropositionnelleSystèmes De PreuveRègles D'inférence
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: The Tableau Method

Logique propositionnelle : La méthode des tableaux

Artificial Intelligence
29 min
4/5
Logique PropositionnelleMéthode Des TableauxPreuve Par Contradiction
Sciences formelles & physiques IA — Modèles & Recherche
FR

Propositional Logic: The Resolution Refutation Method

Logique propositionnelle : La méthode de réfutation par résolution

Artificial Intelligence (chaîne)
33 min
4/5
Logique PropositionnelleRésolutionForme Normale Conjonctive
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Syntax and Truth Values

Logique propositionnelle : Syntaxe et valeurs de vérité

Artificial Intelligence
31 min
4/5
Logique PropositionnelleSyntaxeSémantique
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Rules of Inference and Natural Deduction

Logique propositionnelle : Règles d'inférence et déduction naturelle

Artificial Intelligence
28 min
4/5
Logique PropositionnelleRègles D'inférenceDéduction Naturelle
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Language, Semantics and Reasoning

Logique propositionnelle : Langage, Sémantique et Raisonnement

Artificial Intelligence
34 min
4/5
Logique PropositionnelleSyntaxeSémantique
Sciences formelles & physiques Mathématiques
FR

Propositional Logic: Axiomatic Systems and Hilbert Style Proofs

Logique propositionnelle : Systèmes axiomatiques et preuves de style Hilbert

Artificial Intelligence (chaîne)
33 min
4/5
Logique PropositionnelleSystème AxiomatiquePreuve À La Hilbert
Sciences formelles & physiques IA — Actualité & Applications
FR

Properties and Categories

Propriétés et Catégories

Artificial Intelligence
32 min
4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesRéification
Sciences formelles & physiques IA — Modèles & Recherche
FR

Programming in a Rule Based Language

Programmation dans un langage basé sur des règles

Artificial Intelligence (chaîne)
28 min
4/5
Systèmes ExpertsOPS5Rete
Sciences formelles & physiques IA — Modèles & Recherche
FR

Introduction to Knowledge Representation and Reasoning

Introduction à la représentation des connaissances et au raisonnement

Artificial Intelligence
29 min
4/5
Représentation Des ConnaissancesRaisonnementOntologie
Sciences formelles & physiques IA — Modèles & Recherche
FR

Forward Chaining Rule Based Systems

Systèmes basés sur des règles de chaînage avant

Artificial Intelligence
30 min
4/5
Chaînage AvantSystèmes À Base De RèglesMoteur D'inférence
Sciences formelles & physiques IA — Modèles & Recherche
FR

Forward Chaining

Chaînage avant

Artificial Intelligence
36 min
4/5
Chaînage AvantUnificationLogique Du Premier Ordre
Sciences formelles & physiques IA — Modèles & Recherche
FR

Entailment and Models

Implication et modèles

Artificial Intelligence
34 min
4/5
Logique Du Premier OrdreSémantiqueModèles
Sciences formelles & physiques Mathématiques
FR

An Introduction to Formal Logics

Une Introduction aux Logiques Formelles

Artificial Intelligence (chaîne)
31 min
4/5
Logique FormelleIntelligence ArtificielleReprésentation Des Connaissances
Sciences du vivant & de la nature Biologie
FR

Lecture 9 - Analyzing Genes and Genomes

Lecture 9 - Analyse des gènes et des génomes

Thomas Mennella
81 min
4/5
Séquençage ADNGénomiqueSanger
Sciences du vivant & de la nature Biologie
FR

Lecture 8 - Control of Gene Expression - Part 2

Leçon 8 - Contrôle de l'expression des gènes - Partie 2

Thomas Mennella
71 min
4/5
Expression GéniqueRégulation TranscriptionnelleARN Interférence
Sciences du vivant & de la nature Biologie
FR

Lecture 7 - Control of Gene Expression (Chapter 8, Part 1)

Cours 7 - Régulation de l'expression génique (Chapitre 8, Partie 1)

Thomas Mennella
77 min
4/5
Expression GéniqueFacteurs De TranscriptionOpéron Tryptophane
Sciences du vivant & de la nature Médecine & Santé
FR

Lecture 20 - Cancer

Conférence 20 - Cancer

Thomas Mennella
74 min
4/5
CancerBiologie CellulaireCycle Cellulaire
Sciences du vivant & de la nature Biologie
FR

Lecture 19 - Cell Communities - Part 1 - Chapter 20

Cours 19 - Communautés cellulaires - Partie 1 - Chapitre 20

Thomas Mennella
78 min
4/5
Matrice ExtracellulaireCollagèneJonctions Cellulaires
Sciences du vivant & de la nature Biologie
FR

Lecture 18 - Cell Communication

Cours 18 - Communication cellulaire

Thomas Mennella
71 min
4/5
Communication CellulaireRécepteursTransduction Du Signal
Sciences du vivant & de la nature Biologie
FR

Lecture 17 - The Cell Cycle

Lecture 17 - Le cycle cellulaire

Thomas Mennella
80 min
4/5
Cycle CellulaireMitosePoints De Contrôle
Sciences du vivant & de la nature Biologie
FR

Lecture 15 - Cytoskeleton - Part 1 - Chapter 17

Cours 15 - Cytosquelette - Partie 1 - Chapitre 17

Thomas Mennella
66 min
4/5
CytosqueletteFilaments IntermédiairesMicrotubules