Catalogue de tuit

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

56 121 tuit · 976 chaînes · 42 domaines · Mise à jour : 11 nov. 2026
Thema granulaire (1 950)
56121 tuit · page 183/1404
Sciences formelles & physiques Ingénierie & Technologies
FR

Lec 49: C to RTL Equivalence Checking

Lec 49 : Vérification d'équivalence de C à RTL

Prof. Chandan Karfa
36 min
★ ★ ★ ★ ☆ 4/5
Synthèse De Haut NiveauVérification D'équivalenceC Vers RTL
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 48: Verification of Sequential to Concurrent Code Transformations

Lec 48 : Vérification des transformations de code séquentiel en code concurrent

Prof. Chandan Karfa
41 min
★ ★ ★ ★ ☆ 4/5
Vérification FormelleTransformations De CodeRéseaux De Processus
Sciences formelles & physiques Mathématiques
FR

Lec 48: Mathematical Background II - Matrix & Matrix Operations

Lec 48: Contexte mathématique II - Matrice et opérations matricielles

Prof. Samit Bhattacharya (IIT Guwahati, Department of Computer Science and Engineering)
35 min
★ ★ ★ ★ ☆ 4/5
MatricesAlgèbre LinéaireOpérations Matricielles
Sciences appliquées & ingénierie Ingénierie & Technologies
FR

Lec 35: Ground Penetrating Radar Part 1

Lec 35: Radar à pénétration de sol Partie 1

Prof. Abhishek Kumar
31 min
★ ★ ★ ★ ☆ 4/5
GéoradarExploration Du Sous-SolGéophysique
Sciences du vivant & de la nature Sciences de la Terre & Géographie
FR

Lec 34: Seismic Tomography Part 2

Lec 34 : Tomographie sismique Partie 2

NPTEL IIT Guwahati
34 min
★ ★ ★ ★ ☆ 4/5
Tomographie SismiqueSismologieOndes Sismiques
Sciences du vivant & de la nature Sciences de la Terre & Géographie
FR

Lec 33: Seismic Tomography Part 1

Lec 33 : Tomographie sismique Partie 1

Prof. Abhishek Kumar (NPTEL IIT Guwahati)
32 min
★ ★ ★ ★ ☆ 4/5
Tomographie SismiqueGéophysiqueOndes Sismiques
Sciences humaines, sociales & pensée Arts & Architecture
FR

Lec 23: Cultural Dimensions in Design

Lec 23 : Dimensions culturelles dans le design

Prof. Sharmistha Banerjee
31 min
★ ★ ★ ★ ☆ 4/5
DesignCultureHofstede
Sciences humaines, sociales & pensée Économie & Finance
FR

Inside the fight to stop prepaid disconnections

Au cœur de la lutte pour arrêter les coupures prépayées

Renew Economy
46 min
★ ★ ★ ★ ☆ 4/5
ÉnergiePrépayéClimat
Sciences formelles & physiques Astronomie & Cosmologie
FR

Have We Finally Found Dark Matter?

Neil deGrasse Tyson & Katherine Freese
13 min
★ ★ ★ ★ ☆ 4/5
Matière NoireWIMPDétection
Sciences humaines, sociales & pensée Géopolitique & Défense
FR

Former White House Cyber Official on EO 14421 and the Grid

Samantha Becker (hôte), Brian Scott (expert), Dan Gunter (fondateur)
57 min
★ ★ ★ ★ ☆ 4/5
CybersécuritéRéseau ÉlectriqueOrdonnance Exécutive
Sciences formelles & physiques Physique
FR

Elliott Gesteau - Connectivity and Spacetime Emergence

Elliott Gesteau - Connectivité et émergence de l'espace-temps

Elliott Gesteau (MIT et Harvard CMSA)
65 min
★ ★ ★ ★ ☆ 4/5
AdS/CFTÉmergence De L'espace-TempsTrous De Ver