Catalogue de tuit

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

43 922 tuit · 901 chaînes · 42 domaines · Mise à jour : 8 sept. 2026
Thema granulaire (1 834)
43922 tuit · page 1072/1099
Sciences formelles & physiques Informatique & Cybersécurité
FR

Inheritance Hierarchies:

Hiérarchies d'héritage :

Artificial Intelligence (chaîne)
33 min
4/5
HéritageReprésentation Des ConnaissancesRaisonnement Non Monotone
Sciences formelles & physiques IA — Actualité & Applications
FR

Beliefs

Croyances

Artificial Intelligence
25 min
4/5
Représentation Des ConnaissancesHiérarchies D'héritageLogique Non Monotone
Sciences formelles & physiques IA — Modèles & Recherche
FR

Taxonomies and Inheritance

Taxonomies et héritage

Artificial Intelligence (chaîne)
31 min
4/5
HéritageRéseaux SémantiquesTaxonomie
Sciences formelles & physiques Mathématiques
FR

Correlation (english)

Correlation (english)

Thierry Ancelle
27 min
4/5
CorrélationStatistiquePearson
Sciences formelles & physiques Physique
FR

Quantum Entanglement: Faster Than Light Technologies

Intrication quantique : des technologies plus rapides que la lumière

Isaac Arthur
14 min
4/5
Intrication QuantiqueRelativité RestreinteVitesse De La Lumière
Sciences du vivant & de la nature Médecine & Santé
FR

How to Make New Drugs? Start with Basic Research!

Comment fabriquer de nouveaux médicaments ? Commencez par la recherche fondamentale !

Mark Fishman
25 min
4/5
Recherche FondamentaleDécouverte De MédicamentsCancer
Sciences formelles & physiques Ingénierie & Technologies
FR

Black Hole Starships

Vaisseaux spatiaux à trous noirs

Isaac Arthur
19 min
4/5
Trou NoirVaisseau SpatialPropulsion
Sciences formelles & physiques Physique
FR

Honors Physics Colloquium (2016Sp) - Lecture #18

Colloque de physique avec mention (2016Sp) - Conférence #18

William G. Harter
77 min
4/5
Mécanique QuantiqueMatricesQuaternions
Sciences formelles & physiques Physique
FR

Honors Physics Colloquium (2016Sp) - Lecture #17

Colloque de Physique avec Distinction (2016Sp) - Conférence #17

William G. Harter
74 min
4/5
Oscillateur HarmoniqueMécanique QuantiqueMatrices
Sciences formelles & physiques Physique
FR

Honors Physics Colloquium (2016Sp) - Lecture #16

Colloque de physique avec distinction (2016Sp) - Conférence #16

William Harter (University of Arkansas, Physics Dept.)
76 min
4/5
Mécanique ClassiqueRésonanceOscillateur Harmonique
Sciences formelles & physiques IA — Actualité & Applications
FR

The Resolution Method for FOL

La méthode de résolution pour FOL

Artificial Intelligence
31 min
4/5
Logique Du Premier OrdreRésolutionForme Clausale
Sciences humaines, sociales & pensée Arts & Architecture
FR

Spider: what's Varys up to?

Spider : que fait Varys ?

Alt Shift X
19 min
5/5
VarysGame of ThronesASOIAF
Sciences formelles & physiques Astronomie & Cosmologie
FR

Discworlds: Flat Earths & Alderson Discs

Discworlds: Terres plates et disques d'Alderson

Isaac Arthur
22 min
4/5
MégastructuresDisque D'AldersonGravité Artificielle
Sciences formelles & physiques Mathématiques
FR

La régression de Poisson

Thierry Ancelle
38 min
4/5
Régression De PoissonÉpidémiologieAnalyse Multivariée
Sciences formelles & physiques Physique
FR

Honors Physics Colloquium (2016Sp) - Lecture #12

Colloque de physique avec mention (2016Sp) - Conférence #12

William G. Harter
78 min
4/5
Mécanique ClassiqueRelativitéMécanique Quantique
Sciences formelles & physiques Ingénierie & Technologies
FR

Megastructures 05 Shellworlds

Mégastructures 05 Shellworlds

Isaac Arthur
13 min
4/5
MégastructuresMondes-CoquillesGravité Artificielle
Sciences formelles & physiques IA — Modèles & Recherche
FR

Natural Language Semantics

Sémantique du langage naturel

Artificial Intelligence (chaîne)
30 min
4/5
SémantiqueLangage NaturelReprésentation Des Connaissances
Sciences formelles & physiques Informatique & Cybersécurité
FR

The Cut Operator in Prolog

L'opérateur de coupure dans Prolog

Artificial Intelligence
35 min
4/5
PrologCutProgrammation Logique
Sciences formelles & physiques Physique
FR

Honors Physics Colloquium (2016Sp) - Lecture #11

Colloque de physique avec distinction (2016Sp) - Conférence #11

William Harter
74 min
4/5
Mécanique ClassiquePotentielOscillateur Harmonique
Sciences formelles & physiques IA — Actualité & Applications
FR

The Event Calculus: Reasoning About Change

Le calcul des événements : raisonner sur le changement

Artificial Intelligence
36 min
4/5
Calcul Des ÉvénementsReprésentation Des ConnaissancesLogique
Sciences formelles & physiques Physique
FR

Ripple Effects: A Forum on Gravitational Waves

Effets d'entraînement : un forum sur les ondes gravitationnelles

Perimeter Institute for Theoretical Physics
39 min
4/5
Ondes GravitationnellesLIGOTrous Noirs
Sciences formelles & physiques IA — Modèles & Recherche
FR

Resource Description Framework (RDF)

Cadre de description des ressources (RDF)

Artificial Intelligence (chaîne)
33 min
4/5
RDFWeb SémantiqueReprésentation Des Connaissances
Sciences formelles & physiques IA — Modèles & Recherche
FR

English to CD Theory

Théorie de l'anglais au CD

Artificial Intelligence (chaîne)
33 min
4/5
Dépendance ConceptuelleReprésentation Des ConnaissancesAnalyse Sémantique
Sciences formelles & physiques IA — Modèles & Recherche
FR

Top Down and Bottom Up Reasoning

Raisonnement de haut en bas et de bas en haut

Artificial Intelligence
31 min
4/5
PAMRaisonnementCompréhension De Récits
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching - Example

Correspondance de structures - Exemple

Artificial Intelligence (chaîne)
27 min
4/5
Logique De DescriptionsSubsomptionTaxonomie
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching

Correspondance de structure

Artificial Intelligence
27 min
4/5
Logiques De DescriptionSubsomptionRaisonnement
Sciences formelles & physiques IA — Modèles & Recherche
FR

Semantic Nets and Frames

Réseaux et cadres sémantiques

Artificial Intelligence (chaîne)
34 min
4/5
Réseaux SémantiquesFramesReprésentation Des Connaissances
Sciences formelles & physiques IA — Actualité & Applications
FR

Search in Prolog

Recherche en Prolog

Artificial Intelligence
26 min
4/5
PrologRecherche en ProfondeurBackward Chaining
Sciences formelles & physiques Informatique & Cybersécurité
FR

Scripts

Scénarios

Artificial Intelligence
32 min
4/5
ScriptsReprésentation Des ConnaissancesCompréhension Du Langage Naturel
Sciences formelles & physiques IA — Modèles & Recherche
FR

Reification and Abstract Entities

Réification et entités abstraites

Artificial Intelligence (chaîne)
33 min
4/5
RéificationEntités AbstraitesReprésentation Des Connaissances
Sciences formelles & physiques Informatique & Cybersécurité
FR

Prolog

Prolog

Artificial Intelligence (chaîne YouTube)
38 min
4/5
PrologProgrammation LogiqueLogique
Sciences formelles & physiques IA — Actualité & Applications
FR

Plan Applier Mechanism

Mécanisme d'application du plan

Artificial Intelligence (chaîne YouTube)
30 min
4/5
PAMCompréhension De RécitsReprésentation Des Connaissances
Sciences formelles & physiques IA — Modèles & Recherche
FR

Normalisation

Artificial Intelligence
30 min
4/5
Logiques De DescriptionNormalisationSubsomption
Sciences formelles & physiques IA — Modèles & Recherche
FR

Natural Language Semantics

Sémantique du langage naturel

Artificial Intelligence (chaîne)
31 min
4/5
SémantiqueLangage NaturelDépendance Conceptuelle
Sciences formelles & physiques IA — Actualité & Applications
FR

M7 Lec 2 - The Resolution Refutation method for First Order Logic

M7 Lec 2 - La méthode de réfutation par résolution pour la logique du premier ordre

Artificial Intelligence
31 min
2/5
Logique Du Premier OrdreRésolutionIntelligence Artificielle
Sciences formelles & physiques IA — Actualité & Applications
FR

Logic Programming

Programmation logique

Artificial Intelligence (chaîne)
33 min
4/5
LogiqueProgrammationProlog