Prashantt492: Creating course page via bot

2026-03-04T10:00:53Z

Creating course page via bot

New page

{{Infobox Course
| code = COL886
| name = Special Topics in Operating Systems
| credits = 3
| credit_structure = 3-0-0
| pre_requisites = COL362 OR COL632 OR Equivalent
| overlaps =
}}

== COL886 : Special Topics in Operating Systems ==
Special topic that focuses on the state of the art and research problems of importance in this area. COV876 Special Module on Automated Reasoning Methods for program Analysis Course Categories: DE for CSI. PE for CS5. PE(SS) for MCS. 1 Credit (1-0-0) Through the course students will (1) get exposure to fundamental concepts in building automated reasoning tools to support deployment of formal methods for software and cyber physical systems, (2) get an overview of the advanced state of the art approaches towards building automated reasoning tools, (3) learn about foundational aspects so as to prepare them to pursue these topics and related literature independently for research and use in system design and other applications and (4) become aware of exciting new directions in research on software and system analysis, particularly techniques for automatically generating invariant properties. COV877 Special Module on Visual Computing 1 Credit (1-0-0) The course will be a seminar-based course where the instructor would present topics in a selected theme in the area of visual computing through research papers. Students will also be expected to participate in the seminar. COV878 Special Module in Machine Learning 1 Credit (1-0-0) Contents may vary based on the instructor's expertise and interests within the broader area of Machine Learning. Example topics include (but not limiting to) Statistical Relational Learning, Markov Logic, Multiple Kernel Learning, Multi-agent Systems, Multi-Class Multi-label Learning, Deep Learning, Sum-Product Networks, Active and Semi-supervised Learning, Reinforcement Learning, Dealing with Very High-Dimensional Data, Learning with Streaming Data, Learning under Distributed Architecture. COV879 Special Module in Financial Algorithms 1 Credit (1-0-0) Overlap with: MTL 732 & MTL 733 Special module that focuses on special topics and research problems of importance in this area. COV880 Special Module in parallel Computation 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. Courses of Study 2024-2025 Computer Science and Engineering 169COV881 Special Module in Hardware Systems 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV882 Special Module in Software Systems 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV883 Special Module in Theoretical Computer Science 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV884 Special Module in Artificial Intelligence 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV885 Special Module in Computer Applications 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV886 Special Module in Algorithms 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area. COV887 Special Module in High Speed Networks 1 Credit (1-0-0) The course will be delivered through a mix of lectures and paper reading seminars on advanced topics in Computer Networks. Students will be introduced to topics such as software defined networking, content distribution, advanced TCP methodologies, delay tolerant networking, data center networking, home networking, green networking, clean state architecture for the Internet, Internet of things, etc. COV888 Special Module in Database Systems 1 Credit (1-0-0) Potential topics or themes which may be covered (one topic per offering) include: data mining, big data management, information retrieval and database systems, semantic web data management, etc. COV889 Special Module in Concurrency 1 Credit (1-0-0) Special module that focuses on special topics and research problems of importance in this area.

COL886 - Revision history

Prashantt492: Creating course page via bot