NPTEL IIT Guwahati

Lec 43: Convective and Liquid–Solid Mass Transfer in Bioprocess Engineering

Lec 43 : Transfert de masse convectif et liquide-solide en ingénierie des bioprocédés

Lec 42: Interphase Mass Transfer and Convective Transport in Bioprocess Engineering

Lec 42 : Transfert de masse interfacial et transport convectif en ingénierie des bioprocédés

Lec 41: Fundamentals of Mass Transfer and Molecular Diffusion in Bioprocess Engineering

Lec 41 : Fondamentaux du transfert de masse et de la diffusion moléculaire en génie des bioprocédés

Lec 46: Equivalence Checking with SMT Solvers

Lec 46 : Vérification d'équivalence avec les solveurs SMT

Lec 45: Translation Validation of Loop Invariant Code Optimizations

Lec 45 : Validation de traduction des optimisations de code à invariant de boucle

Lec 44: Immune-Mediated Tissue Injury and Repair

Lec 44: Lésion et réparation tissulaires à médiation immunitaire

Lec 44: Equivalence Checking between Programs

Lec 44 : Vérification d'équivalence entre programmes

Lec 43: Quantization & LLM Inference Optimization

Lec 43 : Quantification et optimisation de l'inférence des LLM

Lec 43: Immune Basis of Autoimmune Disorders

Lec 43 : Base immunitaire des troubles auto-immuns

Lec 43: Equivalence Checking Problems in Embedded Systems

Lec 43 : Problèmes de vérification d'équivalence dans les systèmes embarqués

Lec 42: Tutorial on NuSMV Model Checking Tool

Lec 42 : Tutoriel sur l'outil de vérification de modèles NuSMV

Lec 42: TrnsorRT & Hardware Acceleration

Lec 42 : TrnsorRT et accélération matérielle

Lec 42: Immune Basis of Autoimmune Disorders

Lec 42: Base immunitaire des troubles auto-immuns

Lec 41: ONNX Runtime

Lec 41: Hypersensitivity as Maladaptive Immune Responses

Lec 41: Hypersensibilité comme réponses immunitaires inadaptées

Lec 41: Bounded Model Checking

Lec 41 : Vérification de modèles bornée

Lec 40: SAT based Symbolic Model Checking

Lec 40 : Vérification de modèles symboliques basée sur SAT

Lec 40: Hypersensitivity as Maladaptive Immune Responses

Lec 40 : Hypersensibilité en tant que réponses immunitaires inadaptées

Lec 40: Graph Tracing, Batching & Concurrency

Lec 40 : Tracé de graphes, traitement par lots et concurrence

Lec 39: Inference Fundamentals

Lec 39: Fondements de l'inférence

Lec 39: Backward Reachability in BDD based Symbolic Model Checking

Lec 39: Accessibilité en arrière dans la vérification de modèles symboliques basée sur BDD

Lec 41: JPEG-1 Compression Standard

Lec 41 : Norme de compression JPEG-1

Lec 40: Heat Transfer and Thermal Sterilisation in Bioprocess Engineering

Lec 40 : Transfert de chaleur et stérilisation thermique en ingénierie des bioprocédés

Lec 40: Heat Transfer and Thermal Sterilisation in Bioprocess Engineering

Lec 40 : Transfert de chaleur et stérilisation thermique en ingénierie des bioprocédés

Lec 40: H.261 Video Compression Standard

Lec 40: Norme de compression vidéo H.261

Lec 39: Data Compression & JPEG Standard

Lec 39 : Compression de données et norme JPEG

Lec 38: Processes with Electroweak Interactions

Lec 38 : Processus avec interactions électrofaibles

Lec 38: Digital Audio & Video representation

Lec 38 : Représentation de l'audio et de la vidéo numériques

Lec 37: MPEG Standard

Lec 37: Norme MPEG

Lec 32: Numerical and results interpretation Part 2

Lec 32 : Interprétation numérique et des résultats Partie 2

Lec 31: Numerical and results interpretation Part 1

Lec 31 : Interprétation numérique et des résultats Partie 1

Lec 29: Variational Auto - Encoder

Lec 29 : Auto - Encodeur Variationnel

Lec 28: Vision Transformers

Lec 28 : Transformateurs de vision

Lec 59: Evaluation of improper integrals of rational functions (Type-II)

Lec 59 : Évaluation d'intégrales impropres de fonctions rationnelles (Type-II)

Lec 58: Definition of improper integrals of rational functions and the Cauchy principal value

Lec 58 : Définition des intégrales impropres de fonctions rationnelles et la valeur principale de Cauchy

Lec 57: Evaluation of definite integrals of trigonometric functions (Type-I)

Lec 57: Évaluation des intégrales définies de fonctions trigonométriques (Type-I)

Lec 57: Curtain

Lec 57: Rideau

Lec 56: Statement and proof of the Casorati-Weierstrass theorem

Lec 56: Énoncé et preuve du théorème de Casorati-Weierstrass

Lec 56: Fundamental limits on Communication

Lec 56: Limites fondamentales sur la communication

Lec 55: Statement and proof of Open Mapping Theorem

Lec 55 : Énoncé et preuve du théorème de l'application ouverte