M Tech Seminar Topics, 2005
Performance Evaluation of Computer Systems and Networks
Varsha-1: Performance analysis of multi-tiered software and
Varsha-2: Admission/Overload Control of Web Servers.
Varsha-3: Self-tuning systems
Varsha-4: QoS for Multimedia in Wireless Networks.
Natural Language Processing, Machine Learning, Web Knowledge
Processing, Neural Nets
Pushpak1: Statistical and Machine Learning Techniques for Natural
Language Processing in the
The web contains mostly
text, making natural language processing in the large an
important task. The traditional methods of
language understanding do not scale up well when
taken to the
web. In this seminar we propose to study basic language
processing techniques and
new ones based on statistical,
knowledge based and machine learning methods. The existing work
going on here will also be critically examined.
Pushpak2 : Knowledge Based, Example Based and Statistical Methods of
MT is and has always been
a key problem for any multilingual setup with vast
amount of text
information like the web and otherwise. At
IITB we have a long tradition and national and
visibility MT research. The manifold techniques of automatic
translation is the focus
of this study.
Pushpak3 : Natural Language Resources for Information Extraction
Retrieval (IR) has become almost standard in today's
satisfactory information extraction (IE) is still
a far cry. Sophisticated natural language
resources and techniques for procssing them- like knowledge rich
ontologies, knowledge networks-are believed to be
crucial for this. This study will focus on
applications of knowledge networks- with emphasis on wordnets.
IITB has been a
major center for this reasearch.
Pushpak4 : Meaning Based Multilingual Search Engine
This has been an
ongoing project for last two years. The goal is to rid
the search process from the
restriction of query and documents
being the same. The search is carried out on the meaning
representation of the query and the retrieved document also is
obtained through search on the
meaning representation. The study
will focu on a survey of techniques for realizing advanced
meaning based multilingual search.
Hardware verification, Neural networks
Bhujade1 : Instruction Level parallelism
Programming Languages, Optimizing and Parallelizing Compilers,
Biswas1 : Insturuction Scheduling for Pipelined
Biswas2 : Machine Descriptions for Retargetable
Biswas3 : Array Liveness Analysis.
Hypertext databases, Data mining
Pl note, at most three topics will be finally offered.
Soumen1 : Integrated query processing for text, XML, and relational data
Soumen2 : Relationship and frame discovery from natural language text
Soumen3 : Statistical language models and applications
Soumen4 : Integrating schema and data from heterogeneous sources
Formal techniques for analysis, verification, validation of digital
systems, Asynchronous timing analysis.
Supratik1 : Verification of timed systems
Supratik2 : Software model checking
Supratik3 : Reachability analysis for sequential circuits
Graphics, Computer Vision, Computational Geometry, Parallel Algorithms,
Sharat1 : Point Based Rendering.
Sharat2 : Fleshing skeletons and Animation systems
Sharat3 : Tracking
Sharat4 : Motion Capture Reconstruction
Sharat5 : Multiprojector multicamera systems
Sharat6 : Rendering Engine
Sharat7 : Medical & Dental Imaging Suite
Sharat8 : Computational Biology
For more information: please visit
Distributed Algorithms, Programming Languages, Operating Systems,
Dhamdhere1 : Virtual file systems (I might change this to something
else or something more specific)
Dhamdhere 2 : Architecture of Windows XP: The device driver interface
Dhamdhere 3 : In-lining and Identification of duplicate code
Algorithms, Theoretical Computer Science
Diwan1 : Graph Theory/Algorithms I
Diwan2 : Graph Theory/Algorithms II
Diwan3 : Graph Theory/Algorithms III
Object Oriented Systems, Distributed Systems, Software Architectures
Joshi1 : Connectors in Software Architectures
Joshi2 : Synchronization Problems and their classification
Joshi3 : Type Systems for Aspects
Joshi4 : Aspect mining from Object Oriented Code
Programming Languages, Compilers, Data Flow Analysis.
Uday1 : Specification Languages for Optimizers.
Uday2 : Interprocedural Constant Propagation.
Uday3 : Tools and Processes for Configuring and Building
Machine Intelligence, Pattern Recognition
Nagaraja1 : Hybrid Approaches to Learning :
This topic is about more than one learning technique and how to combine
learning approaches for specific tasks.
Nagaraja2 : Grammatical Inference and Applications :
This is about learning grammar models such as CFG's from sequence data
application to bio-informatics
Nagaraja 3: Computational Learning Theory :
This topic is about formal computational aspects of Machine Learning
Real time systems, Databases.
Krithi1 : Tracking Dynamic Data
Krithi2 : Data Management in Sensor Networks
Krithi3 : RT SUpport for Automotive EMbedded Systems
Algorithms and Combinatorial Optimization
Ranade1 : RECOGNITION OF MOUSE DRAWN DIAGRAMS
Drawing sketches to explain ideas is a very common activity. How to
use a computer to sketch, and have the computer interprete your
drawings is the subject of this seminar. Unlike a paper on which you
sketch, if you sketch on a computer you can get immediate feedback --
which can perhaps simplify your subsequent drawing. A lot of
interesting programs have been written for doing this, and there is
also some exciting theory.
The prerequisites: competence in continuous mathematics (e.g. image
processing, pattern recognition) will be useful but not essential if
you have very strong motivation to learn these areas when needed.
Could extend to an MTech project. This will also require strong
mathematical abilities as well as good programming skills.
Search: sketching, recognition of hand drawn diagrams
Ranade2 : COLUMN GENERATION
This is a Linear Programming based technique which is used in many
optimization problems such as scheduling and packing. The seminar
will comprise studying the technique including the underlying
mathematics and also some representative applications.
Strong interest in algorithm design is necessary. Familiarity with
linear programming will be useful, but can be compensated by strong
Could extend into an MTech project, either involving the theoretical
aspects of the method or application to real life problems.
Search: column generation
DNA Computing, Membrane Computing,
Grammar Systems, Combinatorics on words, Formal Methods,
calculus and Logics of Time.
Krishna1: Brane Calculi
Krishna2: Verfication of Asynchronously communicating web
Krishna3 : Partial
order based models for concurrent systems
Krishna4 : Evolutionary Programming
Krishna5 : Membrane Computing
For details browse
Functional Programming, Compilers, and Programming Languages
Sanyal1 : BURS and its Applications
Sanyal2 : Theorema Proving Using PVS,
Sanyal3 : Compiled Code Verification
Databases, Information Systems, Software Engineering
Sarda1 : XML Technologies : to study XML technologies, tools, database
features, and its use
in collaboration; how XMl is used in .NET framework, etc.
Sarda2 : Collaboration techniques : to study new products for
structured and unstructured
collaborations, including groupware, messengers, etc.
Sarda3 : Business Process Analysis and Design : to study work flow
/tools for specification, analysis, modeling, design,
Automated Reasoning, Logic Programming, Rewrite Systems, Networks,
Siva1 : Termination Orderings
Proving termination of term rewriting systems (and logic programs)
require design of
well-founded orderings. This seminar will survey various approaches and
focus on recent
efforts to design such orderings for systems with
Starting points- http://citeseer.ist.psu.edu/kapur00proving.html
Siva2 : Inductive Theorem Proving
Proving Associative-Commutative Termination Using RPO-compatible Orderings
Deepak Kapur, G. Sivakumar, Proc. Automated Deduction in Classical and
Siva4 : Indian Language Technologies for Internet
Siva3 : Verifying Security Protocols
starting point- http://portal.acm.org/citation.cfm?id=959026.959029
- dealing with font/unicode
- speech recognition/synthesis
Siva5 :Secure key management in close group communication and security
Combinatorial Optimization, Mathematical Programming, Algorithms
Sohoni1 : Formal models for distributed systems.
Sohoni2 : Topics in Geometric Design
Sohoni3 : Topics in Optimization
Main memory databases, Query processing and optimization
Sudarshan1 : Fine-grained authorization Survey
different approaches to fine-grained authorization
- papers: Rizvi et al (SIGMOD04), Oracle VPD,
Sudarshan2 : Keyword search on (semi)
new papers on finding most relevant answers based on proximity
- papers: Banks VLDB05, Object-Rank (VLDB04), Semex (SIGMOD05)
Sudarshan3 : Testing Database Applications
Survey papers on
database testing and software testing in general.
Algorithms, Combinatorics, Complexity Theory.
Sundar1 : Entropy methods in combinatorics
Sundar2 : Algorithms for streaming data.