
NPTEL IIT Guwahati
@npteliitguwahati8283




Lec 38: ROBDD based State Traversal in Symbolic Model Checking
Lec 38 : Traversée d'états basée sur ROBDD dans la vérification symbolique de modèles

Lec 37: BDD based Symbolic Model Checking - ROBDD Construction
Lec 37: Vérification de modèles symboliques basée sur BDD - Construction de ROBDD

Lec 36: GNBA Construction from LTL Formula - Transitions
Lec 36: Construction de GNBA à partir de la formule LTL - Transitions

Lec 35: GNBA Construction from LTL Formula - States
Lec 35: Construction de GNBA à partir de la formule LTL - États

Lec 34: Parity Violation in Beta decay
Lec 34: Violation de la parité dans la désintégration bêta

Lec 34: Mechanisms of Immune Suppression and Resolution
Lec 34: Mécanismes de suppression et de résolution immunitaires

Lec 34: Generalized Nondeterministic B¨uchi Automata (GNBA)
Leçon 34 : Automates de Büchi non déterministes généralisés (GNBA)

Lec 33: Interactions in SU(2) Gauge Theory
Lec 33 : Interactions dans la théorie de jauge SU(2)

Lec 32: Construction of Non-Abelian SU(2) Gauge Theory
Lec 32 : Construction de la théorie de jauge SU(2) non abélienne



Lec 27: "Classification of psychological disorders"
Lec 27 : "Classification des troubles psychologiques"


Lec 26: "Abnormal behaviour: Definition, criteria and history"
Lec 26: "Comportement anormal : Définition, critères et histoire"










Lec 40: Depth Cues & Stereoscopic Displays
Lec 40 : Indices de profondeur et affichages stéréoscopiques


Lec 39: Compensation Films & Color Filters
Lec 39 : Films de compensation et filtres de couleur



Lec 37: LCD Components I — Light Management
Lec 37 : Composants LCD I — Gestion de la lumière


Lec 36: Polymer Dispersed Liquid Crystals (PDLCs)
Lec 36: Cristaux Liquides Dispersés dans un Polymère (PDLCs)

Lec 35: Heat Transfer in Different Geometries
Lec 35 : Transfert de chaleur dans différentes géométries

Lec 34: Principle of Heat Transfer: Condensation and Evaporation
Leçon 34 : Principe du transfert de chaleur : condensation et évaporation

Lec 33: Heat Transfer Between Two Fluids
Lec 33 : Transfert de chaleur entre deux fluides

Lec 32: Convection and Radiation Heat Transfer
Lec 32 : Transfert de chaleur par convection et rayonnement

Lec 31: Heat Transfer in Different Geometries
Lec 31 : Transfert de chaleur dans différentes géométries
