Tuit catalog

Synthesis notes of video analyses, assessed and condensed, in French and English.

40,431 tuit · 879 channels · 42 domains · Last update: Aug 28, 2026
Granular Thema (1,796)
40431 tuit · page 48/1011
Applied Sciences & Engineering Engineering & Technology
EN

Lec 25: Introduction to Reflective LCDs

Prof. Debabrata Sikdar
34 min
4/5
Reflective LCDTransflective LCDDisplay Technology
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 24: LTL Encoding Examples

Prof. Chandan Karfa
19 min
4/5
LTLModel CheckingFormal Verification
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 23: LTL: Syntax and Semantics

Prof. Chandan Karfa
45 min
4/5
LTLFormal VerificationTemporal Logic
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to XLA Compilation

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
21 min
4/5
XLATensorFlowCompiler
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to Model Checking

Prof. Chandan Karfa
30 min
4/5
Model CheckingFormal VerificationFSM
Applied Sciences & Engineering Engineering & Technology
EN

Lec 22: In - Plane switching Mode

Prof. Debabrata Sikdar
35 min
4/5
LCDIn-Plane SwitchingFringe Field Switching
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 21: Introduction to Model Checking

Prof. Chandan Karfa
28 min
4/5
Model CheckingFormal VerificationTemporal Logic
Humanities, Social Sciences & Thought Economics & Finance
EN

Jeff Dean se va de Google

Horizonte Artificial
51 min
3/5
Jeff DeanGoogleAI Startups
Formal & Physical Sciences AI — Models & Research
EN

How abundant are good interpolators?

Ahmed El Alaoui
44 min
4/5
InterpolationGeneralizationLarge Deviations