NPTEL IIT Guwahati

@npteliitguwahati8283

522 tuit · page 4/14
Lec 44: Equivalence Checking between Programs
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 44: Equivalence Checking between Programs

Prof. Chandan Karfa
50 min
★ ★ ★ ★ ☆ 4/5
Equivalence CheckingFormal VerificationCompiler Optimization
Lec 43: Quantization & LLM Inference Optimization
Formal & Physical Sciences AI — Models & Research
EN

Lec 43: Quantization & LLM Inference Optimization

Dr. Satyajit Das and Prof. Satyadhyan Chickerur (NPTEL IIT Guwahati)
23 min
★ ★ ★ ★ ☆ 4/5
QuantizationLLM InferencePost-Training Quantization
Lec 42: TrnsorRT & Hardware Acceleration
Applied Sciences & Engineering AI — Models & Research
EN

Lec 42: TrnsorRT & Hardware Acceleration

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
24 min
★ ★ ★ ★ ☆ 4/5
TensorRTInferenceGPU
Lec 41: ONNX Runtime
Applied Sciences & Engineering AI — News & Applications
EN

Lec 41: ONNX Runtime

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
29 min
★ ★ ★ ★ ☆ 4/5
ONNX RuntimeModel ServingInference Optimization
Lec 41: Bounded Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 41: Bounded Model Checking

Prof. Chandan Karfa, IIT Guwahati
39 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationBounded Model CheckingSAT Solver
Lec 40: SAT based Symbolic Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 40: SAT based Symbolic Model Checking

Prof. Chandan Karfa
37 min
★ ★ ★ ★ ★ 5/5
SATSymbolic Model CheckingBounded Model Checking
Lec 40: Graph Tracing, Batching & Concurrency
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 40: Graph Tracing, Batching & Concurrency

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
28 min
★ ★ ★ ★ ☆ 4/5
AI InferenceCUDA GraphsBatching
Lec 39: Inference Fundamentals
Formal & Physical Sciences Mathematics
EN

Lec 39: Inference Fundamentals

Satyajit Das, Satyadhyan Chickerur (IIT Guwahati)
40 min
★ ★ ★ ★ ☆ 4/5
LLM InferenceKV CachePerformance Metrics
Lec 41: JPEG-1 Compression Standard
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 41: JPEG-1 Compression Standard

Prof. Samit Bhattacharya
21 min
★ ★ ★ ★ ☆ 4/5
MPEG-1JPEGVideo Compression
Lec 40: H.261 Video Compression Standard
Formal & Physical Sciences Engineering & Technology
EN

Lec 40: H.261 Video Compression Standard

Prof. Samit Bhattacharya
25 min
★ ★ ★ ★ ☆ 4/5
H.261Video CompressionMotion Compensation
Lec 37: MPEG Standard
Applied Sciences & Engineering Arts & Architecture
EN

Lec 37: MPEG Standard

Prof. Samit Bhattacharya
31 min
★ ★ ★ ☆ ☆ 3/5
MultimediaHypermediaHTML
Lec 29: Variational Auto - Encoder
Formal & Physical Sciences AI — Models & Research
EN

Lec 29: Variational Auto - Encoder

Prof. Arijit Sur
55 min
★ ★ ★ ★ ☆ 4/5
Variational AutoencoderGenerative ModelsLatent Space
Lec 28: Vision Transformers
Formal & Physical Sciences AI — Models & Research
EN

Lec 28: Vision Transformers

Prof. Arijit Sur
43 min
★ ★ ★ ★ ☆ 4/5
Vision TransformerDETRSwin Transformer
Lec 57: Curtain
Formal & Physical Sciences Arts & Architecture
EN

Lec 57: Curtain

Prof. Ribhu (NPTEL IIT Guwahati)
41 min
★ ★ ★ ★ ☆ 4/5
Digital CommunicationChannel CodingWireless Communication