Syllabus
Syllabus
Semester 1 Semester 2
Course Course
Code
Course Name L T P C Code Course Name L T P C
Foundations of Advanced Database
CS5101 Computing Science 3 0 0 3 CS5106 Management System 3 0 0 3
CS5102
Advanced Algorithms & High Performance
CS5107 Computing
Data Structure 3 0 0 3 3 0 0 3
CS5103 Linear Optimization 3 0 0 3 CS5108 Internet Protocol 3 0 2 4
CS5104 Computer Systems Lab-I 0 0 3 2 CS5109 Artificial Intelligence 3 0 0 3
CS5105 Seminar-I 0 0 3 2 CS5110 Computer Systems Lab-II 0 0 3 2
CS51XX Elective I 3 0 0 3 CS51XX Elective II 3 0 0 3
Total 16 Total 18
Semester 3 Semester 4
CS6101 Seminar-II 0 0 3 2
CS6099 Project Phase-II 0 0 16 8
CS 6098 Project Phase-I 0 0 12 6
Total 8 Total 8
Elective I Elective II
Course Code Course Name Course Code Course Name
CS5131 Game Theory CS5141 Complex Networks
CS5132 Logic for Computer Science CS5142 Foundation of Cryptography
CS5133 Distributed Systems CS5143 Quantum Computing
CS5134 Information Retrieval CS5144 Kernel Methods
CS5135 Wireless Network CS5145 Cloud Computing
CS5136 Graph Theory CS5146 Cyber Physical Systems
CS5137 Machine Learning CS5147 Reinforcement Learning
CS5138 Information Theory and Coding CS5148 Searching in Big Data
CS5139 Digital Image Processing and its Applications CS5149 Machine Translation
CS5140 Natural Language Processing
CS 5101 Foundations of Computing Science 3-0-0-3
Discrete Structures - Sets, Relations and Functions; Proof Techniques, Algebraic Structures, Morphisms,
Posets, Lattices and Boolean Algebras.
Logic - Propositional calculus and Predicate Calculus, Satisfiabiliy and validity, Notions of soundness
and completeness
Languages & Automata Theory - Chomsky Hierarchy of Grammars and the corresponding acceptors,
Turing Machines, Recursive and Recursively Enumerable Languages; Operations on Languages, closures
with respect to the operations.
Computational Complexity -- Time Complexity -- Measuring Complexity, The class P, The class NP, NP-
Completeness, Reduction, co-NP, Polynomial Hierarchy. Space Complexity -- Savich's Theorem, The
class PSPACE.
Text Books:
Priority queue, Binomial, Fibonacci, and Pairing Heaps, Double‐Ended Priority Queues, Hash tables,
Balanced Binary Search trees, Splay trees, Randomized Dictionary Structures Multidimensional Spatial
Data Structures, Quad trees and Octrees, Binary Space Partitioning Trees, R‐trees, Tries, Suffix Trees and
Suffix Arrays, PQ Trees, Application of data structure in Information retrieval, data mining, image
processing.
Text Books:
Vector Spaces: bases, echelon forms, rank and determinants. Gauss elimination and its complexity, Inner
products, Gram- Schmidt orthogonalization. Linear transformations. Optimization: Modeling and
formulation of optimization problems. Linear costs and convex domains. Mean-square (distance)
minimizations. Linear programming and the Simplex algorithm. Duality and the primal dual method.
Examples from combinatorial optimization. Shortest paths, network flows and matchings. Approximation
and randomized algorithms. Matrix Games.
Text Books:
Games and equilibria, two player Zero-Sum Games, proof of Nash Equilibria, complexity of finding Nash
equilibria, information, strategies, dynamic and repeated games, bargaining, auctions, market equilibria,
algorithmic mechanism design, inefficiency of equilibria, routing games, load balancing games.
Text Books:
Axiomatic Theory: Propositional Calculus, Predicate Calculus, First Order Theories,Peano Arithmetic.
Decision Procedures in First Order Logic: Resolution TheoremProvers: some theoretical issues. Modal
Logic, Temporal Logic: their applications,Model Checking. Model Theory, Proof Theory. mu Calculus,
Lambda Calculus, Non-monotonic Reasoning, Intuitionistic First Order Logic, Fuzzy Logic.
Text Books:
Introduction: Concepts of distributed system and its general architecture, basic design issues in distributed
system
Naming: Naming of entities and concept of name space, name space implementation, locating mobile
entities
Process Management: Basic concepts of process and thread, threads in distributed system, code migration
and its models, migration in heterogeneous environment, Introduction to RPC and RMI
Synchronization: Basic synchronization techniques, physical and logical clocks, clock synchronization
algorithms, global state, election algorithms
Distributed mutual exclusion: Requirements, types and models of mutual Exclusion algorithms,
discussion on mutual exclusion algorithms
Distributed deadlock handling: Introduction to deadlock, deadlock prevention and avoidance techniques,
deadlock detection/ resolution algorithms
Agreement protocols: Basic concept of agreement protocols, different agreement problems, Byzantine
agreement problem, Consensus problem, relations among agreement problems, solution to Byzantine
agreement problem, application of agreement algorithm
Text Books:
1. Distributed Systems: Concepts and Design – Coulouris G., Dollimore J., Kindberg T.
(Pearson)
2. Advanced Concepts in Operating System – Singhal M., Shivaratri N. G. (TMH)
3. Distributed Systems: Principles and Paradigms – Tanenbaum A. S., Steen M. V. (Pearson Ed)
4. Distributed Operating System – Sinha P. K. (PHI)
5. Distributed Operating Systems – Tanenbaum A. S. (Pearson Ed)
CS 5134 Information Retrieval 3-0-0-3
Introduction: Principles of Information Retrieval, Indexing, Zipfs Law, Search. Vector space model,
cosine similarity. Scoring techniques. Stemming, Stop words, Query expansion, Rochhio. Probabilistic
models language. Relevance feedback. Evaluation: Precision, recall, f-measure. TREC Text classification,
clustering, query routing. Advanced topics like summarization and question answering.
Text Books:
Introduction to graphs and their representation, finite and infinite graphs, incidence and degree, path
Directed graph, single source shortest path, all pair shortest path, directed acyclic graph, Euler’s graphs,
Hamiltonian paths and circuits
Basic results of trees, minimum cost spanning tree
Introduction to cut-sets and cut-vertices, connectivity and separability
Basic concepts of vector space of graph, sets with one or two operations, basis vector, circuit and cut-set
subspaces, orthogonal vectors and spaces
Matrix representation of graph, incidence matrix, circuit matrix, path matrix, cut-set matrix and adjacency
matrix.
Text Books:
1. Graph theory with applications to engineering and computer science – Deo N. (PHI)
2. Introduction to Algorithms – Cormen T. H., Leiserson C. E., Rivest R. L., Stein C. (PHI)
3. Algorithmic graph theory – Gibbons A. (Cambridge Univ. Press)
4. Schaum’s outline of theory and problems of Graph theory – Balakrishnan V.K. (TMH)
5. Fundamentals of Data Structures – Horowitz E., Sahni S. (Galgotia Pub.)
6. Handbook of Graph Theory – Gross J. L., Yellen J. (CRC Press)
Introduction, Decision Trees, Probability Primer, Bayes Decision Theory, Maximum-likelihood and
Bayesian Parameter Estimation, Non-parametric Techniques, Bayes Networks, Optimization Primer,
Linear Discriminant Functions, Support Vector Machines, Unsupervised Learning, Semi Supervised
Learning, Reinforcement Learning.
Text Books:
Introduction: Concept of entropy and mutual information, application of entropy in feature extraction
Entropy in stochastic processes: Entropy rates, markov chains, Hidden Markov models
Data Compression: Kraft inequality and optimal coding, Huffman codes and optimality, Shanon-Fano-
Elias coding, Arithmetic codes
Channel capacity and Coding: Different channel models, concept of channel capacity, channel coding
theorem, Fano’s inequality, Huffman codes, channel capacity theorem, Shanon’s limit, Random selection
of codes, noiseless coding
Error control codes: Concept of Linear block codes, cyclic codes, BCH codes, RS codes, Convolution
codes
Error correcting techniques: Short-random-error correction by error-trapping, burst-error correction for
block codes
Coding and Digital Modulation: Trellis coded modulation.
Text Books:
Introduction: Steps in Digital Image Processing – Image sampling and Quantization – Basic
relationships between pixels – Color Fundamentals – File Formats – Image Transforms: DFT, DCT, Haar,
SVD and KL- Introduction to Matlab Toolbox
Image Enhancement: Spatial Domain: Gray level transformations – Histogram processing – Basics of
Spatial Filtering–Smoothing and Sharpening Spatial Filtering – Fuzzy set for spatial filters - Frequency
Domain: convolution and correlation - Introduction to Fourier Transform - Other Separable Image
Transforms, Walsh-Hadamard and K-L transform– Smoothing and Sharpening frequency domain filters –
Ideal, Butterworth and Gaussian filters, Enhancement by point processing, Generation of Spatial Masks
from Frequency Domain Specifications.
Image Restoring and segmentation: Noise models – Mean Filters – Order Statistics – Adaptive filters –
Band reject Filters – Band pass Filters – Notch Filters – Optimum Notch Filtering – Inverse Filtering –
Formulation, Removal of Blur Caused by Uniform Linear Motion - Wiener filtering Segmentation:
Detection of Discontinuities–Edge Linking and Boundary detection – Region based segmentation-
Morphological processing- erosion and dilation – Morphological Water sheds – Description: Boundary
descriptors, Regional Descriptors.
Wavelets and Image compression: Wavelets – Sub-band coding – Multiresolution expansions – Fast
Wavelet Transforms – lifting scheme– Compression: Fundamentals – Image Compression models – Error
Free Compression – Variable Length Coding – Bit-Plane Coding – Lossless Predictive Coding – Lossy
Compression – Lossy Predictive Coding – Compression Standards.
Applications: Image classification, Object recognition, Image fusion, Steganography – Current Trends:
Color Image Processing, Wavelets in Image Processing, Medical Image Processing – Case studies
Text Books:
Introduction, Regular Expressions, Text Normalization, Edit Distance, N-gram Language Models,
Ambiguity, Naive Bayes and Sentiment Classification, Vector Semantics, Neural Networks and Neural
Language Models, RNN, LSTM, GRU, Part-of-Speech Tagging, HMM, Maximum Entropy, CRF,
Sequence Processing with Recurrent Networks, Formal Grammars of English, Treebanks as
Grammars, Syntactic Parsing, Statistical Parsing, PCFG, Dependency Parsing, The Representation of
Sentence Meaning, WSD, Information Extraction, Semantic Role Labeling, Lexicons for Sentiment,
Discourse Coherence, Machine Translation, Question Answering, Dialog Systems and Chatbots,
Speech Recognition and Synthesis
Text Books:
Measures of query costs, selection operation, sorting, join operation, evaluation of expressions
Query optimization: Translation of SQL queries to relational algebra, heuristic approach and cost based
optimization, Serializibility, locking, system log, undoing and redoing, Extended entity relationship
model and object model, object oriented databases, Object relational and extended relational databases,
Parallel and distributed databases, XML and Internet database, Active database.
Text Books:
Text Books:
Overview of IPv4, TCP, IPv6, ICMP, ARP, DHCP; Routing Protocols: OSPF, RIP, BGP, Ad hoc
network routing (AODV, DSR); IP Security: NAT, IPSEC, Socks, SSL; Quality of Service related
protocols: Intserv, Diffserv, Queuing techniques (WFQ, RED, etc.); Multi-Protocol Label Switching
(MPLS) and GMPLS; Virtual Private Network (VPN) Protocols: L2TP, PPTP; Overview of Application
Layer Protocols: DNS, LDAP, SMTP, POP3, IMAP4, SNMP; Voice over IP Protocols (VOIP) and
videoconferencing: SIP, H323. Server Load Balancing Techniques.
Text Books:
Introduction, problems and techniques related to artificial intelligence, Problem spaces and search, state
space graph, production systems BFS and DFS, Introduction to heuristic search, hill climbing, best first
search, A* algorithm, admissibility, AND/OR graph – AO*, Predicate logic, rule-based systems, forward
vs backward reasoning, non-monotonic reasoning, statistical reasoning, Dempster Shafer theory, Min-
Max search, Alpha-Beta cut-offs, Case studies: MYCIN, R1
Text Books:
Socket programming, database creation and update, building large client server applications. Basics of
compiler writing using lex and yacc.
CS 5141 Complex Networks 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Types of network: Social networks, Information networks, Technological networks, Biological networks.
Properties of network: Small world effect, transitivity and clustering, degree distribution, scale free
networks, maximum degree; network resilience; mixing patterns; degree correlations; community
structures; network navigation.
Random Graphs: Poisson random graphs, generalized random graphs, the configuration model,
power-law degree distribution, directed graph, bipartite graph, degree correlations.
Models of network growth: Price's model, Barabasi and Albert's model, other growth models, vertex
copying models.
Processes taking place on networks: Percolation theory and network resilience, Epidemiological
processes.
Applications: Search on networks, exhaustive network search, guided network search, network
navigation; network visualization.
Text Books:
16
CS 5142 Foundation of Cryptography 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Text Books:
1. Introduction to Cryptography: Principles and Applications – Hans Delfs and Helmut Knebl
(Springer)
2. Modern Cryptography, Theory and Practice – Wenbo Mao (Pearson Ed)
3. Foundations of Cryptography, Part 1 & 2 – Oded Goldreich (CRC)
17
CS 5143 Quantum Computing 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Text Books:
18
CS 5144 Kernel Methods 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Introduction: Data representation, similarity, statistical learning theory, hyper-plane classifiers, support
vector classification, support vector regression, kernel principal component analysis
Kernels: Product features, representation of similarities in linear spaces, examples and properties of
kernels
Risk and loss functions: Loss functions, test error, expected risk, statistical perspective, robust estimators
Regularization: Regularized risk functional, representer theorem, regularization operators, translation
invariant kernels, dot product kernels
Support vector machines: Separating hyper-planes, role of margin, optimal margin hyper-planes,
nonlinear support vector classifiers, soft margin hyperplanes, multi-class hyper-planes
Single class problems: introduction, algorithms, optimization, theory
Regression estimation: Linear regression with insensitive loss function, dual problems, -SV regression
Implementation: Tricks of the trade, sparse greedy matrix approximation, subset selection methods,
sequential minimal optimization, iterative methods
Designing kernels: Tricks for constructing kernels, string kernels, natural kernels.
Text Books:
1. Learning with Kernels - support vector machines, regularization, optimization and beyond – B.
SchÖlkopf and A. J. Smola (MIT Press)
2. Kernel Methods for Pattern Analysis – J. Shawe-Taylor and N. Cristianini (Cambridge)
3. Introduction to Support Vector Machines – N. Cristianini and J. Shawe-Taylor (Cambridge)
19
CS 5145 Cloud Computing 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Introduction: Definition, Characteristics, Components, Cloud provider, SAAS, PAAS, IAAS and Others,
Organizational scenarios of clouds, Administering & Monitoring cloud services, benefits and limitations,
Deploy application over cloud, Comparison among SAAS, PAAS, IAAS
Cloud computing platforms: Infrastructure as service: Amazon EC2, Platform as Service: Google App
Engine, Microsoft Azure, Utility Computing, Elastic Computing
Cloud Technologies: Study of Hypervisors, Compare SOAP and REST
Web services: SOAP and REST, SOAP versus REST, AJAX ‐ asynchronous 'rich' interfaces, Mashups ‐
user interface services
Virtualization: Virtual machine technology, virtualization applications in enterprises, Pitfalls of
virtualization
Multitenant software: Multi‐entity support, Multi‐schema approach, Multi‐tenancy using cloud data
stores, Data access control for enterprise applications
Data in the cloud: Relational databases, Cloud filesystems ‐ GFS and HDFS, Big Table, HBase and
Dynamo
Map‐Reduce and extensions: Parallel computing, The map‐Reduce model, Parallel efficiency of
Map‐Reduce, Relational operations using Map‐Reduce, Enterprise batch processing using Map‐Reduce,
Introduction to cloud development, Example/Application of Map reduce, Features and comparisons
among GFS, HDFS etc,
Map-Reduce model Cloud security: Vulnerability assessment tool for cloud, Privacy and Security in
cloud, Architectural Considerations ‐ General Issues, Trusted Cloud computing, Secure Execution
Environments and Communications, Security challenges ‐ Virtualization security management‐ virtual
threats, VM Security Recommendations, VM‐Specific Security techniques, Secure Execution
Environments and Communications in cloud
Issues: Implementing real time application over cloud platform Issues in Inter-cloud environments, QoS
Issues in Cloud, Dependability, data migration, streaming in Cloud. QoS monitoring in a Cloud
computing environment
Text Books:
1. Cloud Computing for Dummies – Hurwitz J., Bloor R., Kanfman M., Halper F. (Wiley India)
2. Enterprise Cloud Computing – Shroff G. (Cambridge)
3. Cloud Security – Krutz R., Vines R. D. (Wiley India)
20
CS 5146 Cyber Physical Systems 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Introduction: Cyber-Physical Systems (CPS) in the real world, Basic principles of design and validation
of CPS, Industry 4.0, AutoSAR, IIOT implications
Components: CPS HW platforms - Processors, Sensors, Actuators, CPS Network – Wireless Hart, CAN,
Automotive Ethernet, CPS Sw stack – RTOS, Scheduling Real Time control tasks
Automated Control Design: Dynamical Systems and Stability, Controller Design Techniques, Stability
Analysis: CLFs, MLFs, stability under slow switching, Performance under Packet drop and Noise
Implementation: Features to software components, mapping software components to ECUs, Performance
Analysis - effect of scheduling, bus latency, sense and actuation faults on control performance, network
congestion, Control, Bus and Network Scheduling using Truetime
Safety Assurance: Automata based modeling and analysis – Introduction, Timed and Hybrid Automata,
Flowpipe construction, reachability analysis
Security: Secure Task mapping and Partitioning, State estimation for attack detection, Case study -
Vehicle ABS hacking, SmartGrids attack
Text Books:
21
CS 5147 Reinforcement Learning 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
The Reinforcement Learning problem: evaluative feedback, non-associative learning, Rewards and
returns, Markov Decision Processes, Value functions, optimality and approximation.
Dynamic programming: value iteration, policy iteration, asynchronous DP, generalized policy iteration.
Monte-Carlo methods: policy evaluation, roll outs, on policy and off policy learning, importance
sampling.
Temporal Difference learning: TD prediction, Optimality of TD(0), SARSA, Q-learning, R-learning,
Games and after states.
Eligibility traces: n-step TD prediction, TD (lambda), forward and backward views, Q (lambda), SARSA
(lambda), replacing traces and accumulating traces
Function Approximation: Value prediction, gradient descent methods, linear function approximation,
ANN based function approximation, lazy learning, instability issues
Policy Gradient methods: non-associative learning – REINFORCE algorithm, exact gradient methods,
estimating gradients, approximate policy gradient algorithms, actor-critic methods
Text Books:
22
CS 5148 Searching in Big Data 3-0-0-3
M.Tech. (CSE), second semester (elective)
Prerequisites, if any:
Queries: range queries, top-k queries, reverse top-k queries, multi-attribute top-k queries, top-k diversity
queries, skyline queries.
Distance measures: LP norm, normalized Euclidean distance, Mahalanobis distance, KL-divergence, earth
movers distance.
Memory, disk and SSD access: the dynamics of data reads based on the underlying storage architecture
and how that affects the index performance. Single-dimensional index structures: B+-tree. Memory-based
index structures: kd-tree, quad trees, interval trees, trie, Voronoi diagrams
Disk-based structures: R-tree, R-tree variants R+-tree and R*-tree, X-tree, SS-tree, VA-files, M-tree
Index structure Vs Hashing in high-dimensional spaces
Hashing: extensible hashing, linear hashing, bloom filters, locality sensitive hashing.
Indexing and Searching non-traditional queries: multi-attribute top-k queries (Fagins algorithm, threshold
algorithm, Onion), indexing skyline queries, indexing diversity queries
Dimensionality reduction: SVD, PCA, Fastmap, Lipschitz embedding Index structures and distance
functions for Non-vector datasets: text Corpus, time-series datasets, graph datasets
Text Books:
23
CS 5149 Machine Translation 3-0-0-3
Introduction: Why MT is hard? Ambiguity, Language Divergence and Typology: Word Order Typology,
Lexical Divergences, Morphological Typology, Referential density. Classical MT and the Vauquois
Triangle: Direct Translation, Transfer, Combined Direct and Tranfer Approaches in Classic MT, The
Interlingua Idea: Using Meaning
Basic concept of Language modeling: n-gram, smoothing techniques, P(F|E): the Phrase-Based
Translation Model, Alignment in MT, IBM Model 1, HMM Alignment, Training Alignment
Models, EM for Training Alignment Models, Symmetrizing Alignments for Phrase-Based MT,
Decoding for Phrase-Based Statistical MT, IBM Model 3 and Fertitlity, Training for Model 3,
Re-Odering Models, Log-linearModels for MT
References
24