MPhil(Computer Science)

The objective of M.Phil Computer Science programme is to train students to initiate research work. The duration of M.Phil programme is two years (4 semesters)..

MPhil is of 50 credit hours, 24 credit hours for the course work and 26 credit hours for research work. Each course is of 3 credit hours. There are 2 compulsory courses, and 6 optional courses are taken to complete 24 credits. The courses are designed in such a way that during the course work students will be exposed to research activities. The course work will set the basic ground work to start research.

Fee structure

Students will register for a research topic in the 3rd semester and will complete the research work by the end of the 4th semester. The research work will be submitted in the form of a thesis.

• CS-652: Advanced Analysis of Algorithms

  Mathematical foundations for analysis of algorithms; Classification of Algorithms; Analysis of Divide-and-Conquer algorithms; Dynamic Programming; Greedy Algorithms and their analysis; Graph Algorithms and their analysis; Encryption Algorithms and their analysis; String matching Algorithms and their analysis; Parallel Algorithms; NP-completeness; Approximation Algorithms;
  

• CS-702: Advanced Operating Systems

  History and structure of Operating Systems; Inter-process communication (client-server, various flavors of RPC); Resource discovery, naming, and directory services; Group communication; Distributed synchronization (including distributed transactions); Scalable server design (including clusters); Distributed file systems; Distributed object systems; Distributed shared memory; Support for wide-area services; Support for mobile and disconnected services; Fault tolerance

Optional Courses

• CS-601: Theory of Computation

  Models of computations: partial recursive functions, Turing machines, alternative models of computing. Chomsky hierarchy of languages, Basic theory and limitations of computability. reducibility & decidability Un-decidability. primitive & recursive functions and Resource-bounded computational complexity, non-determinism, P, NP, NP-complete classes.
  

• CS-604: Advanced Software Engineering

  Consideration and use of engineering principles to design and implement cost-effective, reliable software; Current software requirements methodologies and design practices, documentation standards, software project management, verification and validation techniques, software security considerations and computer human interfaces; Agent based software engineering; Clean-room process model; Management and evolution; costing and estimation; legacy systems
  

• CS-611: Human and Information Interaction

  Overview of the course and a brief history; Types and structures of information resources; Types and structures of vocabularies; Information Interaction in Search engines, Digital libraries; Search techniques and effectiveness; Advanced searching; Web search and the invisible web; Information seeking behaviour; User modelling; Mediation between search intermediaries and users; Evaluation of search sources and results; Result Presentation to users; Keeping up: sources for life-time learning
   

• CS-614: Software Quality Assurance and Testing

  Basic Concepts and principles of Software Quality; Software Attributes; Quality in general; Quality in Software (Product Vs Process). How to Assure Quality; Software Quality Assurance Plan; Testing: Verification & Validation: Testing concepts; Testing principles; Inspections and Formal Technical Reviews: Reading Techniques; Automated Software Inspection; Testing Techniques: Black Box and White Box Testing Approaches; Manual Vs Automated Testing: Testing Tools; Test Plan creation and Test Case Generation; Test Development and Test Execution and Evaluation; Website and E-Business Quality and Testing Techniques;
  

• CS-624: Requirements Engineering

  The Requirements Elicitation Process: Joint Application Design, Prototyping, Requirements Inspections, Quality Function Deployment, Scenarios. Organizing and Analyzing the problem. Software Behaviour Specification: State-oriented, Function-oriented, Object-oriented. Formal Methods. Documentation for Software Requirements Specification. Specifying Non-behavioural Requirements. Refinement of Requirements into preliminary design
  

• CS-631: Web Services

  Introduction to the course; foundational web technology and languages: mark-up languages; development frameworks; open source APIs for developing web services; comparison between service oriented architectures and web services; different aspects of web services and associated standards and specifications such as web services description languages; publishing; identification and discovery; services composition and orchestration; service bus; communication protocols and execution environments; web services management: performance, reliability and security

• CS-650: Web Science

  Web history; Research methodology; Research practice in the Web; Conceptual framework for Web Models; Web in society; Information Society: Sociability; identity; trends; Collaboration; Communication: blogging, microblogging; Collective intelligence; Social structures & processes, Groups, identity, globalization, Social capital, power inequality, Virtual communities & politics;  Privacy & trust in the Web; Web & the Law; Web & Linguistics; Web & Life Sciences, Web and Psychology; Web Governance.
  

• CS-651: Advanced Computer Architecture

  Complex instruction set architectures, CISC and RISC Processor implementation, memory hierarchy, pipe-lining, Programming of high-performance supercomputers. Hardware, algorithms, numerical accuracy, compilers. Vector, multiple-instruction multiple-data-stream, and single-instruction single-data- stream machines. Benchmarking techniques. New developments related to single CPU systems.
  

• CS-65X: Intelligent Information System

• CS-654: Disciplined Software Processes

  Course overview; Introduction to the PSP, PSP0; Planning overview Student workbook, PSP0.1; Size estimating; The PROBE method PSP1; Resource & schedule planning PSP1.1; 6A workshop; R4 report Software quality; Design & code reviews PSP2; Software design PSP2.1; Design Verification; Scaling up the PSP & TSP Overview; R5 report;
  

• CS-660: Research Methods

  Overview of computer science sub-areas, Introduction to research methods. The objectives and dimensions of research. Tools of research. Key research areas of interest. The research problems: Finding a problem, stating the problem, identifying sub-problems. Review of related literature: Survey paper presentation. Planning the research project. The scientific method, Research planning, Data analysis and Statistical Methods. Conducting research in computer science. Proposal presentation. Research methodology: Quantitative and qualitative approach

• CS-664: Knowledge Management for Software Engineering

  Knowledge Management and tools supporting KM; The social construction of knowledge; Organizational memory and organizational learning techniques; Case-based and knowledge-based approaches to knowledge management; Software reuse and the "Domain Lifecycle"; Software process methodologies; Use of usability guidelines in the software development process; Domain-Oriented Design Environments; Metrics and assessment techniques
  

• CS-665: Cloud Computing

• CS-667: Wireless Sensor Networks

• CS-668: Advanced Computer Networks

• CS-671: Theory of Programming Languages

  Classical formal methods: Formal specification and program correctness, Axiomatic proof systems (both Floyd-Hoare and Dijkstra's predicate transformers), Mills' functional correctness approach, abstract data types (both abstract model and algebraic specifications), and Scott-style denotational semantics based on least fixed points; Modern methods: Cleanroom, Model checking, Z, VDM; Case studies of formal methods in practice: PVS, Cleanroom use at IBM and NASA, Ariane 5, others
  

• CS-672: Data Compression

  Document databases, Information Theory fundamentals: entropy, information, channels; Compression models: static and adaptive; Arithmetic coding; Context modeling, PPM; Dictionary techniques (Ziv-Lempel variants); Synchronization, performance; Indexing and compression, signature files, bitmaps; Lexicon structures, perfect hashing; Querying: Access structures, string matching, ranking, cosine measures; Index construction; Bilevel image compression, JBIG, JPEG-LS; Lossy image compression, JPEG; Q-Coder and vector quantization
  

• CS-673: Multimedia Technology

  Multimedia: Image acquisition and manipulation; Still Imaging; 3D & Animation: Moving image creation and manipulation; Video: acquisition and manipulation; Audio: acquisition and manipulation; Multimedia Platforms: Unix/SG, PC, Mac, Linux; Convergence, Internet & Interactive Media; Technical Issues and future trends
  

• CS-674: Advanced Human-Computer Interaction

  Introduction to the Course, Usability Issues of Interactive Systems; Interface Styles for diverse media types; Interaction Design Techniques and Tools; New and Emerging HCI Concepts; Role of HCI in the development of new and emerging technologies; Intelligent User Interfaces; Interfaces for Mobile Devices; HCI and Ubiquitous Computing; HCI and Computer Supported Cooperative Work; HCI and Agents; HCI and Information Exploration; HCI and Digital Libraries; HCI for Elderly and Children; Ethical and Social Issues surrounding HCI
  

• CS-675: Information Retrieval Systems

  Structure of IR Systems; Vector Space Models; Language Models; Evidence from Behavior; Evidence from Metadata; User Interaction; Indexing; Cross-Language Retrieval; Document Image Retrieval; Speech and Music retrieval; Photograph and Video Retrieval
  

• CS-677: Wolrd Wide Web and Society 

  Introduction and Overview of the course. The Internet Revolution. Placing Technologies in Perspectives. World Wide Web, Social Web. Mobile Web. Relationships on the Internet. Collaboration and Communication in Online Spaces. Blogging; microblogging. Gaming; photo/file sharing. Digital Authority and Knowledge. Digital Divide. Democracy & Politics. Privacy. Censorship. Groups and Technologies of Mediation. Networked Community. Copyright; Creative commons.
  

• CS-714: Software Architectures

  Overview of software engineering principles; Origins of Software Architectures; Introduction to Software Architectures; Scope of Software Architectures: Canonical Case Studies; Software Architectures: People and Teams; Architecture Description Languages (ADL; ADL Examples; Domain-Specific Software Architectures (DSSA); Architectural Styles; Software Connectors; Dynamism in Software Architectures; Architecture-Based Testing and Analysis; From Architecture to Design, Role of UML; From Architecture to Implementation; Middleware - CORBA; Software Interconnection Technologies; Middleware - JavaBeans and Enterprise JavaBeans; Middleware - COM/DCOM;
  

• CS-724: Software Patterns

  HOverview of software patterns. Introduction to frameworks and relation to software patterns. Patterns during the development process, Design patterns: creational, structural, behavioral, Architectural patterns: pipes and filters, data repository, layered, call and return: HCI patterns, Re-engineering patterns, Refactoring, Antipatterns, organizational patterns, analysis patterns
  

• CS-751: Distributed Systems

  Introduction to Distributed Systems; Communication, Processes; Naming; Synchronization; Consistency and replication; Fault tolerance; CORBA platform; .NET platform; Distributed File Systems; Distributed coordination-based systems; Distribution in WWW
  

• CS-752: Network Performance Evaluation

• CS-771: Design and Analysis of Programming languages

  Course Overview and Motivation; A Simple Language of Arithmetic Expressions; A Simple Imperative Language. Operational Semantics; Proof Techniques for Operational Semantics; Intro to Denotational Semantics and Domain Theory; Intro to Axiomatic Semantics; Verification Conditions; Abstract Interpretation Lambda Calculus and Functional Programming; Simply Typed Lambda Calculus;Monomorphic Type Systems; Recursive Types, Subtyping; Polymorphism; Calculi for Concurrency: Pi Calculus; Calculi for Object-Oriented Languages; A Formalization of the Java Virtual Machine;
  

• CS-772: Data Mining

  The data mining process, Data preprocessing: Cleaning, Transformation, Reduction. Data warehousing: Multidimensional data modeling, OLAP. Classification: Bayesian, Decision tree. Prediction, Mining association rules: Association rules and types, Interestingness measures, multidimensional rules, Apriori algorithm. Cluster analysis: Partitional, Hierarchical, Density based. Mining complex data.
  

• CS-773: Semantic Web

  Introduction to Semantic Web, its vision and architecture; Resource Description Framework (RDF; RDF Semantics (RDFS), Web Ontology language (OWL); First order logic; Description Logics, Ontology Reasoning; Semantic Web Query Languages; Semantic Web Services; Semantic Web Challenges (Ontology Merging, Alignment, Versioning, etc.). Research Trends in Semantic Web.
  

• CS-774: HCI Models and Theories

  HCI models and theories: Human performance, Interaction models, Task models, Group interaction models; Observing users: Ethnographic techniques; Empirical evaluation: Experimental design, Data collection, Data interpretation
  

• CS-775: Digital Libraries

  Introduction to digital libraries; A brief history of Digital Library development.; Planning a Digital Library; Presenting documents; Digital Document Formats: Markup and Metadata; Metadata standards; Interoperability; Digital Preservation, new media; Case Studies of Digital Libraries; Research Issues in Digital Libraries
  

• CS-776: Enterprise Architecture

  Enterprise vision and objectives, Enterprise architecture principles and purpose; modeling approaches for enterprise architecture definition and communication; key enterprise architecture approaches, standards, and frameworks; Overview and use of Service Oriented Architecture (SOA). business architectures, data and information architectures, application & security architectures, Technical architectures, Middleware: CORBA, .Net, DCOM, EJB
  

• CS-778: Ontology Design and Development 

  Overview of ontologies; Ontology categorizations; Modeling ontologies; Ontology building methodologies; Ontology tools; Ontology design patterns; Ontology languages; Knowledge discovery for ontology construction; Role of annotations and Web in ontology development; Ontology evaluation; Ontology reuse: Ontology mediation, merging, alignment, integration; Ontology evolution.
  

• CS-821: Design for Usability

  Principles for designing the product; Development process for user interaction; Usability specifications; Design representation techniques; Prototyping; Formative user-based evaluation; Usability methods; User interaction development process.
  

• CS-822: Modeling of Web Information Systems

  Web modeling concepts; Modeling the Web applications for requirements engineering; Content modelling; Navigation modeling (Hypertext, Access structure); Modeling the presentation for the end user; Model driven development and model driven architecture; Evolution of the Web, Web 1.0 (visual Web), Web 2.0 (Social Web), and Semantic Web (the Web of metadata); Hypertext patterns; Persistence of HT patterns; O&M of Web applications.

• CS-823: Data Warehousing

  Overview of the course and a brief history; Data Warehouse Architecture; Extract Transform Load; Data Cleansing Algorithms; Hot and Cold Data; Data Warehouse support for OLAP and Data Mining; Active Data warehousing; Semantic Data warehousing; Oracle solution
  TeraData solution; Case Studies.

• CS-824: Peer-To-Peer Systems

  Overview of P2P Systems and brief history; Taxonomy of P2P Networks/Systems and Analysis of popular P2P Systems; Analysis of unstructured P2P Systems; Analysis of structured P2P Systems; Search Efficiency; P2P-based content delivery; Security and Reliability; Replication in peer-to-peer systems; Anonymity in peer-to-peer systems; Social, Legal and Privacy aspects of P2P Systems.

• CS-825: Machine Learning

  Introduction: Overview of machine learning, Machine learning applications and examples, inductive learning, inductive bias; Decision tree learning: Representation, algorithm, hypothesis space, rule extraction, pruning; Neural networks: Representation, perceptrons, multilayer networks, backpropagation algorithm, Training procedures; Bayesian learning: Bayes theorem, maximum likelihood hypothesis, Bayes classifiers, Baysian belief networks; Instance-based learning: K-nearest neighbours, lazy and eager learning; Evaluating Hypothesis: Hypothesis accuracy, sampling theory, hypothesis testing; Computational learning theory: Probably learning an approximately correct hypothesis, sample complexity for finite and infinite hypothesis, VC dimension; Unsupervised learning: Clustering, types, steps

• CS-826: Pattern Recognition

  Introduction: Overview of pattern recognition, review of matrix algebra, probability distributions and probability; Bayesian Decision Theory: Classifiers, discriminant functions and decision surfaces, normal density and discriminant functions for normal density, error bounds for normal densities; Bayesian Parameter Estimation: Univariate and Multivariate cases for the Gaussian distribution, bias, class-conditional densities; Maximum Likelihood Estimation: The general principle, Unknown parameter cases for Gaussian distribution; Problems of dimensionality: Accuracy and training sample size, computational complexity, overfitting; Component Analysis: Principle Component Analysis, Fisher Linear discriminant; Non-Parametric Techniques: Parzen windows, K-Nearest neighbour rule and estimation.

• CS-827: Social Network Analysis

  Introduction to social networks, random network models, identifying connected components, giant component, average shortest path, diameter, preferential attachment, network centrality, betweenness, closeness, clustering, community structure, modularity, overlapping communities, small world network models, contagion, opinion formation, applications of social network analysis, social media networks.

• CS-831: Multimedia Retrieval Techniques

  Multimedia content and motivations for multimedia retrieval; Issues of multimedia Retrieval. Multimedia retrieval models; Content-based image retrieval; Content-based video retrieval; Content-based audio retrieval: audio representations, audio feature extraction; Query modalities and similarity measures; Analysis of existing multimedia retrieval systems, retrieval evaluation criteria, relevance feedback; current trends in Multimedia Retrieval.

• CS-832: Metadata for Information Resources

  Overview of the course and Metadata; History of schemes and metadata communities; Functions and Types of metadata; Metadata Structure and Characteristics: Semantics, syntax, and structure; Metadata creation process models; Interoperability; Metadata Integration and Architecture: Warwick Framework; Resource Description Framework; Open Archives Initiative; Encoding Standards (Markup Languages): Introduction and history of markup; Metadata use of markup languages; Document Type Definitions (DTD); Structural metadata Data Control Standards: Resource Identifiers; Data Registries; Controlled vocabularies; Name authority control (ISAAR and FRANAR); A-Core; Encoded Archival Description (EAD), Text Encoding Initiative (TEI); Metadata Evaluation: User needs; Quality control issues; Evaluation methods; Educational Metadata: Instructional Management Systems (IMS); Learning Object Metadata (LOM); Gateway to Educational Materials (GEM); Government Information Locator Service (GILS); Visual Resources Metadata: Categories for the Description of Works of Art (CDWA); Visual Resources Association (VRA) Core; Computer Interchange of Museum Information (CIMI)

• CS-833: Information Privacy and Access Control

  Privacy, Privacy policies; Privacy enforcement; Adaptive privacy management; Access control mechanisms; Different access control models such as Mandatory, Discretionary, Role-Based and Activity-Based; Access control matrix model; Harrison-Russo-Ullman model and undecidability of security; Confidentiality models such as Bell-LaPadula; Integrity models such as Biba and Clark-Wilson; Conflict of interest models such as the Chinese Wall

• CS-834: Multimedia Communications

  Introduction and Recent history of multimedia technologies; Digital Image, Video and Audio Compression in Multimedia Communications; Networking Technology for Multimedia; Multimedia and the Internet; IETF Standard Protocols for Multimedia Transport; Multimedia Synchronization; Quality of Service (QoS) and Resource Management for Multimedia; Research Challenges in Real-time Multimedia transport; Multimedia conferencing and collaboration tools; Multimedia Security.

• CS-835: Ubiquitous Information Interaction

  information Interaction; Seminal ideas of ubiquitous computing;
  Tangibility and Embodiment; Social computing; Privacy; Critical and cultural perspectives;
  Mobility and Spatiality; Mobile Technology in the Messy Now; Infrastructure;
  Seams, seamlessness, seamfulness; Evaluating Interaction of Ubicomp systems