NPTEL IIT Guwahati

Lec 22: Introduction to Model Checking

Lec 22: Introduction à la vérification de modèles

Lec 22: In - Plane switching Mode

Lec 22 : Mode de commutation dans le plan

Lec 22: Fundamentals of Darcy's Law and Packed-Bed Reactor Hydrodynamics

Lec 22 : Fondamentaux de la loi de Darcy et hydrodynamique des réacteurs à lit fixe

Lec 21: Transmissive Liquid Crystal Displays

Lec 21: Écrans à cristaux liquides transmissifs

Lec 21: Graph Execution & TensorFlow Optimization

Lec 21: Exécution de graphe et optimisation de TensorFlow

Lec 21: Fundamentals of Flow Through Porous Media

Lec 21: Fondamentaux de l'écoulement à travers les milieux poreux

Lec 21: Correctness, Consistencies and Completenss of Formal Properties

Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles

Lec 20: Optimization Input Pipelines with tf.data

Lec 20 : Optimisation des pipelines d'entrée avec tf.data

Lec 20: Introduction to Formal Property Verification

Lec 20: Introduction à la vérification formelle de propriétés

Lec 19: TensorFlow Execution Models & Performance Basics

Lec 19: Modèles d'exécution TensorFlow et bases de la performance

Lec 39: ISI

Lec 38: Link Budget

Lec 38: Budget de liaison

Lec 37: Spectral and Energy Efficiency

Lec 37 : Efficacité spectrale et énergétique

Lec 36: Comparison of Modulation Schemes

Lec 36: Comparaison des schémas de modulation

Lec 35: DPSK

Leçon 35 : DPSK

Lec 34: Non-Coherent FSK

Lec 34 : FSK non cohérente

Lec 33: Phase Synchronization

Lec 33 : Synchronisation de phase

Lec 32: Synchronization Issues

Lec 32: Problèmes de synchronisation

Lec 31: Performance of Orthogonal Signalling

Lec 31 : Performance de la signalisation orthogonale

Lec 30: Union Bound II

Lec 30: Union bornée II

Lec 29: Union Bound

Lec 29 : Union liée

Lec 16: Intelligence Testing

Lec 16: Tests d'intelligence

Lec 15: Intelligence: Nature and Theories

Lec 15 : Intelligence : Nature et théories

Lec 14: Thinking and Problem solving

Lec 14: Pensée et résolution de problèmes

Lec 20: Pressure Measurement

Lec 20: Mesure de la pression

Lec 19: Fluid Flow Measurement (Contd.,)

Lec 19 : Mesure du débit de fluide (Suite,)

Lec 18: Fluid Flow Measurement

Lec 18: Mesure du débit de fluide

Lec 17: NPSH and Cavitation: Concepts and Prevention Strategies

Lec 17 : NPSH et cavitation : concepts et stratégies de prévention

Lec 16: Sequential Modelling

Lec 16: Modélisation séquentielle

Lec 16: Pumps in Bioprocess Engineering

Lec 16 : Pompes en ingénierie des bioprocédés

Lec 15: CNN Model Architectures - II

Lec 15: Architectures de modèles CNN - II

Lec 14: CNN with Residual connections - ResNet

Lec 14: CNN avec connexions résiduelles - ResNet

Tutorial 5- Interesting Facts

Tutoriel 5- Faits intéressants

Lec 33: Ideal reactor operation - CSTR

Lec 33 : Fonctionnement du réacteur idéal - CSTR

LEc 29: Cauchy’s Estimate and Liouville’s Theorem

LEc 29 : L'estimation de Cauchy et le théorème de Liouville

Lec 28: Cauchy's integral formula for n-th derivatives and its consequences

Lec 28 : Formule intégrale de Cauchy pour les dérivées d'ordre n et ses conséquences

LEc 27: Cauchy's integral formula and its consequences

LEc 27: Formule intégrale de Cauchy et ses conséquences

Lec 26: Deformation of contours and Cauchy-Goursat theorem for multiply connected domain

Lec 26: Déformation des contours et théorème de Cauchy-Goursat pour un domaine multiplement connexe

Lec 25: Consequence of Cauchy-Goursat Theorem and existence of antiderivatives

Lec 25 : Conséquence du théorème de Cauchy-Goursat et existence de primitives

Lec 23: Monod Equation

Lec 23: Équation de Monod