Catalogue de tuit

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

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

Lec 33: Büchi Automata

Lec 33: Automates de Büchi

Prof. Chandan Karfa
27 min
4/5
Automates De BüchiVérification FormelleLTL
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 32: Introduction to LTL Model Checking

Lec 32 : Introduction au model checking LTL

Prof. Chandan Karfa
26 min
4/5
LTLModel CheckingBüchi Automaton
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 32: Foundations of Usability Evaluation

Lec 32: Fondements de l'évaluation de l'utilisabilité

Prof. Sharmistha Banerjee
13 min
4/5
UtilisabilitéÉvaluationISO 9241
Sciences humaines, sociales & pensée Arts & Architecture
FR

Lec 31: Participatory Design & Co-Design

Lec 31: Conception participative & Co-conception

Prof. Sharmistha Banerjee
41 min
4/5
Conception ParticipativeCo-DesignMéthodes De Recherche Utilisateur
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 31: Correctness of CTL Model Checking Algorithms

Lec 31: Exactitude des algorithmes de vérification de modèles CTL

Prof. Chandan Karfa (IIT Guwahati)
36 min
4/5
CTLModel CheckingVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 30: CTL Model Checking Algorithms

Lec 30 : Algorithmes de vérification de modèles CTL

Prof. Chandan Karfa
36 min
4/5
Model CheckingCTLLogique Temporelle
Sciences formelles & physiques Astronomie & Cosmologie
FR

La véritable taille d’Andromède

Orbite Silencieuse
51 min
4/5
AndromèdeGalaxieAstrophysique
Sciences formelles & physiques Physique
FR

L1B: A Very Short Overview of Quantum Computing

L1B : Un très bref aperçu de l'informatique quantique

Hiu-Yung Wong
16 min
4/5
Informatique QuantiqueSuperpositionIntrication
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

L1A: How to use AI and LLM in this Quantum Computing Class

L1A : Comment utiliser l'IA et les modèles de langage dans ce cours d'informatique quantique

Hiu-Yung Wong
12 min
3/5
LLMChatGPTPédagogie
Sciences humaines, sociales & pensée Société & Culture
FR

Jay Hsu 許捷元 | 捷元 許 | TEDxYLSH Youth

Jay Hsu 許捷元 | 捷元 許 | TEDxYLSH Youth

Jay Hsu 許捷元
14 min
3/5
RegretCroissance PersonnelleDébat
Sciences du vivant & de la nature Astronomie & Cosmologie
FR

Hunting $50,000 Meteorites in Sweden's Arctic Circle

À la recherche de météorites à 50 000 $ dans le cercle polaire suédois

Progress - Science Documentaries
48 min
4/5
MétéoritesMuonionalustaChasse Aux Météorites
Sciences humaines, sociales & pensée Climat & Écologie
FR

How to live in extreme heat | V. Kelly Turner | TEDxUCLA

Comment vivre dans une chaleur extrême | V. Kelly Turner | TEDxUCLA

V. Kelly Turner
10 min
4/5
Chaleur ExtrêmeAdaptation ClimatiqueSanté Publique
Sciences appliquées & ingénierie Ingénierie & Technologies
FR

Explaining Confusing Materials Science To Help You Sleep

Expliquer la science des matériaux déroutante pour vous aider à dormir

Cosmo Explains
127 min
4/5
Science Des MatériauxMétallurgieCristallographie
Sciences du vivant & de la nature Climat & Écologie
FR

El Niño is coming

El Niño arrive

Renew Economy
61 min
4/5
El NiñoMétéorologieAustralie