Catalogue de tuit

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

56 947 tuit · 982 chaînes · 42 domaines · Mise à jour : 14 nov. 2026
Thema granulaire (1 955)
56947 tuit · page 217/1424
Sciences humaines, sociales & pensée Ingénierie & Technologies
FR

sesión 2 NTE 602

session 2 NTE 602

Pablo Adrián de Vida Juvenal
84 min
★ ★ ★ ☆ ☆ 3/5
Nouvelles TechnologiesSociété De L'informationIntelligence Artificielle
Sciences appliquées & ingénierie Énergie
FR

SAARC Webinar on Scheduling of Wind and Solar Power Projects

Webinaire de la SAARC sur la programmation des projets d'énergie éolienne et solaire

SAARC Energy Centre, Pakistan
107 min
★ ★ ★ ☆ ☆ 3/5
Énergie RenouvelableRéseau ÉlectriqueSolaire
Sciences formelles & physiques IA — Modèles & Recherche
FR

New BEST AI image generator is here

Le nouveau MEILLEUR générateur d'images IA est arrivé

AI Search
32 min
★ ★ ★ ★ ☆ 4/5
GPT Image 2.5IA GénérativeGénération D'images
Sciences humaines, sociales & pensée Histoire
FR

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

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