Catalogue de tuit

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

49 366 tuit · 936 chaînes · 42 domaines · Mise à jour : 14 oct. 2026
Thema granulaire (1 897)
49366 tuit · page 76/1235
Sciences humaines, sociales & pensée Histoire
FR

Minute-By-Minute: 9/11 As It Happened Uncensored

Minute par minute : Le 11 septembre tel qu'il s'est déroulé, sans censure

Timeline - World History Documentaries
55 min
★ ★ ★ ★ ☆ 4/5
11 SeptembreAttentatsDocumentaire
Sciences du vivant & de la nature Biologie
FR

MGV3702 - Genética de Populações Aula4

MGV3702 - Génétique des populations Cours4

Genes News - Genética e Processamento de Dados
159 min
★ ★ ★ ★ ☆ 4/5
Génétique Des PopulationsTest Du Chi-CarréÉquilibre De Hardy-Weinberg
Sciences humaines, sociales & pensée Économie & Finance
FR

Líder vs Jefe | Luis Enrique Castillo Fernández | TEDxUMAE34

Leader vs Chef | Luis Enrique Castillo Fernández | TEDxUMAE34

Luis Enrique Castillo Fernández
16 min
★ ★ ★ ☆ ☆ 3/5
LeadershipGestion D'équipeDéveloppement Personnel
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 46: Equivalence Checking with SMT Solvers

Lec 46 : Vérification d'équivalence avec les solveurs SMT

Chandan Karfa
39 min
★ ★ ★ ★ ☆ 4/5
Vérification FormelleSMT SolversÉquivalence De Programmes
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 45: Translation Validation of Loop Invariant Code Optimizations

Lec 45 : Validation de traduction des optimisations de code à invariant de boucle

Chandan Karfa
34 min
★ ★ ★ ★ ☆ 4/5
Validation De TraductionOptimisations De CodeInvariant De Boucle
Sciences du vivant & de la nature Médecine & Santé
FR

Lec 44: Immune-Mediated Tissue Injury and Repair

Lec 44: Lésion et réparation tissulaires à médiation immunitaire

Sachin Kumar
33 min
★ ★ ★ ★ ☆ 4/5
ImmunologieVIHDengue
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 44: Equivalence Checking between Programs

Lec 44 : Vérification d'équivalence entre programmes

Prof. Chandan Karfa
50 min
★ ★ ★ ★ ☆ 4/5
Vérification FormelleÉquivalence De ProgrammesCompilateurs
Sciences formelles & physiques IA — Modèles & Recherche
FR

Lec 43: Quantization & LLM Inference Optimization

Lec 43 : Quantification et optimisation de l'inférence des LLM

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
23 min
★ ★ ★ ★ ☆ 4/5
QuantificationInférence LLMOptimisation
Sciences du vivant & de la nature Médecine & Santé
FR

Lec 43: Immune Basis of Autoimmune Disorders

Lec 43 : Base immunitaire des troubles auto-immuns

Prof. Sachin Kumar (IIT Guwahati)
34 min
★ ★ ★ ★ ☆ 4/5
ImmunologieMaladies Auto-ImmunesDiabète De Type 1
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 43: Equivalence Checking Problems in Embedded Systems

Lec 43 : Problèmes de vérification d'équivalence dans les systèmes embarqués

Prof. Chandan Karfa (IIT Guwahati, NPTEL)
39 min
★ ★ ★ ★ ☆ 4/5
Vérification FormelleÉquivalenceSystèmes Embarqués
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 42: Tutorial on NuSMV Model Checking Tool

Lec 42 : Tutoriel sur l'outil de vérification de modèles NuSMV

Chandan Karfa (NPTEL IIT Guwahati)
20 min
★ ★ ★ ★ ☆ 4/5
NuSMVVérification De ModèlesCTL
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 42: TrnsorRT & Hardware Acceleration

Lec 42 : TrnsorRT et accélération matérielle

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
24 min
★ ★ ★ ★ ☆ 4/5
TensorRTInférenceAccélération Matérielle
Sciences du vivant & de la nature Médecine & Santé
FR

Lec 42: Immune Basis of Autoimmune Disorders

Lec 42: Base immunitaire des troubles auto-immuns

NPTEL IIT Guwahati
38 min
★ ★ ★ ★ ☆ 4/5
Auto-ImmunitéPolyarthrite RhumatoïdeLupus
Sciences appliquées & ingénierie IA — Actualité & Applications
FR

Lec 41: ONNX Runtime

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
29 min
★ ★ ★ ★ ☆ 4/5
ONNXRuntimeDéploiement
Sciences du vivant & de la nature Médecine & Santé
FR

Lec 41: Hypersensitivity as Maladaptive Immune Responses

Lec 41: Hypersensibilité comme réponses immunitaires inadaptées

Prof. Sachin Kumar (IIT Guwahati)
27 min
★ ★ ★ ★ ☆ 4/5
HypersensibilitéImmunologieType III
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 41: Bounded Model Checking

Lec 41 : Vérification de modèles bornée

Prof. Chandan Karfa, IIT Guwahati
39 min
★ ★ ★ ★ ☆ 4/5
Model CheckingSAT SolverLogique Temporelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 40: SAT based Symbolic Model Checking

Lec 40 : Vérification de modèles symboliques basée sur SAT

Prof. Chandan Karfa
37 min
★ ★ ★ ★ ☆ 4/5
Model CheckingSATVérification Formelle
Sciences du vivant & de la nature Médecine & Santé
FR

Lec 40: Hypersensitivity as Maladaptive Immune Responses

Lec 40 : Hypersensibilité en tant que réponses immunitaires inadaptées

Sachin Kumar
36 min
★ ★ ★ ★ ☆ 4/5
ImmunologieHypersensibilitéRéaction Allergique
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 40: Graph Tracing, Batching & Concurrency

Lec 40 : Tracé de graphes, traitement par lots et concurrence

NPTEL IIT Guwahati
28 min
★ ★ ★ ★ ☆ 4/5
Graph TracingBatchingConcurrency
Sciences formelles & physiques Mathématiques
FR

Lec 39: Inference Fundamentals

Lec 39: Fondements de l'inférence

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
40 min
★ ★ ★ ★ ☆ 4/5
IAInférenceLLM
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 39: Backward Reachability in BDD based Symbolic Model Checking

Lec 39: Accessibilité en arrière dans la vérification de modèles symboliques basée sur BDD

Prof. Chandan Karfa (IIT Guwahati)
21 min
★ ★ ★ ★ ☆ 4/5
Model CheckingBDDSymbolic Verification
Sciences humaines, sociales & pensée Économie & Finance
FR

Le SEO est mort

Renaud Dékode
21 min
★ ★ ★ ☆ ☆ 3/5
SEOIntelligence ArtificielleMarketing Digital
Sciences formelles & physiques Astronomie & Cosmologie
FR

Lagrangian Bias as a Gaussian Random Field by Arka Banerjee

Biais lagrangien comme un champ aléatoire gaussien par Arka Banerjee

Arka Banerjee
30 min
★ ★ ★ ★ ☆ 4/5
CosmologieBiais De TraceursChamp Aléatoire Gaussien
Sciences humaines, sociales & pensée Climat & Écologie
FR

Knowledge of the Chango People: Just transition from the sea

Connaissance du peuple Chango : Transition juste depuis la mer

Just Transition in Coal Regions Knowledge Hub
20 min
★ ★ ★ ★ ☆ 4/5
ChangoTransition JusteÉcosystème Marin
Sciences humaines, sociales & pensée Politique & Institutions
FR

Is Democracy Meaningless?

Ce que tout le monde comprend de travers au sujet de la démocratie

Johnny Harris
51 min
★ ★ ★ ★ ☆ 4/5
DémocratieLibéralismeÉlections