Catalogue de tuit

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

56 088 tuit · 975 chaînes · 42 domaines · Mise à jour : 11 nov. 2026
Thema granulaire (1 950)
56088 tuit · page 198/1403
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
Sciences appliquées & ingénierie IA — Modèles & Recherche
FR

Lec 42: TensorRT & Hardware Acceleration

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