## Search

Now showing items 1-10 of 10

#### Probability and Stochastic Processes

(Virtual University of Pakistan (VUP), 2014-01)

This is a graduate level course. The course will start by presenting fundamental concepts of probability theory. It will then develop mathematically sound concepts of random variables and their processing through PDF and CDF.

#### Performance Evaluation of Computer Systems

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

Modules / Lectures :
Introduction to performance evaluation of computer systems ;
How to avoid common mistakes ;
Selection of techniques and metrics ;
Case study: Selection of techniques and metrics ;
Random ...

#### NOC: Model Checking

(National Programme on Technology Enhanced Learning (NPTEL), 2015-07)

Embedded software control many of the safety-critical systems that we deal with in everyday life: for instance, modern cars are equipped with software to automatically change gears; pacemakers come with a software controller ...

#### Computer Science Theory

(Universiti Teknologi Malaysia, 2013)

This course introduces students to a formal language and automata theory. It will emphasize on grammar, language and abstract machine such as context Free Grammar, Finite Automata, Push Down Automata, and Turing Machine. ...

#### Communications Source and Channel Coding with examples

(University of Edinburgh, 2013-04)

Huffman variable length source coder is first described then systematic channel coding block coder design is introduced for forward error correction coding (FECC). Nearest neighbour decoding and the Hamming bound is used ...

#### Computational Number Theory & Cryptography

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

Modules / Lectures :
Computational Complexity ;
GCD Computation ;
Finite Groups ;
Modular Arithmetic ;
Key Exchange ;
Public Key Cryptosystem ;
Factorization ...

#### Computer Algorithms - 2

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

This course assumes the knowledge of data-structures.
It also assumes the knowledge big-O notation and the concept of time and space complexity of an algorithm.
The course also will not introduce divide and conquer, ...

#### Logic for CS

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

Modules / Lectures: Propositional Logic Syntax; Semantics of Propositional Logic; Logic and algebraic concepts; Identities and normal forms; Tautology checking; Propositional Unsatisfiability; Analytic Tableaux; Consistency ...

#### Numerical Optimization

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

Modules / Lectures :
Introduction ;
Mathematical Background ;
Unconstrained Optimization ;
Convex Sets ;
Convex Functions ;
Unconstrained Optimization ;
Constrained ...

#### Discrete Mathematical Structures

(National Programme on Technology Enhanced Learning (NPTEL), 2014-01)

Modules / Lectures :
Propositional Logic ;
Predicates & Quantifiers ;
Logical Inference ;
Resolution Principles & Application to PROLOG ;
Methods of Proof ;
Normal Forms ;
Proving programs correct ; ...