Tuit catalog

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

50,424 tuit · 938 channels · 42 domains · Last update: Oct 17, 2026
Granular Thema (1,898)
50424 tuit · page 173/1261
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