M Tech Seminar Topics, 2005
Varsha
Apte
Research Interests:
Performance Evaluation of Computer Systems and Networks
Varsha-1: Performance analysis of multi-tiered software and
hardware servers.
Varsha-2: Admission/Overload Control of Web Servers.
Varsha-3: Self-tuning systems
Varsha-4: QoS for Multimedia in Wireless Networks.
Pushpak Bhattacharya
Research Interests:
Natural Language Processing, Machine Learning, Web Knowledge
Processing, Neural Nets
Pushpak1: Statistical and Machine Learning Techniques for Natural
Language Processing in the
large- the
web.
The web contains mostly
text, making natural language processing in the large an
extrememly
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
Machine
Translation (MT).
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
international
visibility MT research. The manifold techniques of automatic
translation is the focus
of this study.
Pushpak3 : Natural Language Resources for Information Extraction
While Information
Retrieval (IR) has become almost standard in today's
internet scenerio,
satisfactory information extraction (IE) is still
a far cry. Sophisticated natural language
processing
resources and techniques for procssing them- like knowledge rich
dictionaries,
ontologies, knowledge networks-are believed to be
crucial for this. This study will focus on
theories and
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.
M.R. Bhujade
Research Interests:
Hardware verification, Neural networks
Bhujade1 : Instruction Level parallelism
Bhujade2 :
Bhujade3 :
S. Biswas
Research Interests:
Programming Languages, Optimizing and Parallelizing Compilers,
Distributed systems
Biswas1 : Insturuction Scheduling for Pipelined
Architechres.
Biswas2 : Machine Descriptions for Retargetable
Compilation.
Biswas3 : Array Liveness Analysis.
Soumen Chakrabarti
Research Interests:
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
Supratik
Chakraborty
Research Interests:
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
Sharat Chandran
Research Interests:
Graphics, Computer Vision, Computational Geometry, Parallel Algorithms,
Visualization,
Medical Imaging
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
http://www.cse.iitb.ac.in/~sharat/#forPG
D.M. Dhamdhere
Research Interests:
Distributed Algorithms, Programming Languages, Operating Systems,
Optimizing Compilers
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
A.A. Diwan
Research Interests:
Algorithms, Theoretical Computer Science
Diwan1 : Graph Theory/Algorithms I
Diwan2 : Graph Theory/Algorithms II
Diwan3 : Graph Theory/Algorithms III
R.K. Joshi
Research Interests:
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
Uday Khedker
Research Interests:
Programming Languages, Compilers, Data Flow Analysis.
Uday1 : Specification Languages for Optimizers.
Uday2 : Interprocedural Constant Propagation.
Uday3 : Tools and Processes for Configuring and Building
GCC.
G. Nagaraja
Research Interests:
Machine Intelligence, Pattern Recognition
Nagaraja1 : Hybrid Approaches to Learning :
This topic is about more than one learning technique and how to combine
different
learning approaches for specific tasks.
Nagaraja2 : Grammatical Inference and Applications :
This is about learning grammar models such as CFG's from sequence data
and
application to bio-informatics
Nagaraja 3: Computational Learning Theory :
This topic is about formal computational aspects of Machine Learning
algorithms.
Krithi Ramamritham
Research Interests:
Real time systems, Databases.
Krithi1 : Tracking Dynamic Data
Krithi2 : Data Management in Sensor Networks
Krithi3 : RT SUpport for Automotive EMbedded Systems
Abhiram Ranade
Research Interests:
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
motivation.
Could extend into an MTech project, either involving the theoretical
aspects of the method or application to real life problems.
Search: column generation
Krishna S
Research Interests:
DNA Computing, Membrane Computing,
Grammar Systems, Combinatorics on words, Formal Methods,
Duration
calculus and Logics of Time.
Krishna1: Brane Calculi
Krishna2: Verfication of Asynchronously communicating web
services
Krishna3 : Partial
order based models for concurrent systems
Krishna4 : Evolutionary Programming
Krishna5 : Membrane Computing
For details browse
http://www.cse.iitb.ac.in/~krishnas/seminar.php
A. Sanyal
Research Interests:
Functional Programming, Compilers, and Programming Languages
Sanyal1 : BURS and its Applications
Sanyal2 : Theorema Proving Using PVS,
Sanyal3 : Compiled Code Verification
N.L. Sarda
Research Interests:
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
models, criteria/techniques
/tools for specification, analysis, modeling, design,
integration,
etc.
G. Sivakumar
Research Interests:
Automated Reasoning, Logic Programming, Rewrite Systems, Networks,
Distributed Systems
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
Associative-Commutative operators.
Starting points- http://citeseer.ist.psu.edu/kapur00proving.html
Proving Associative-Commutative Termination Using RPO-compatible Orderings
Deepak Kapur, G. Sivakumar, Proc. Automated Deduction in Classical and
NonClassical Logics
- http://citeseer.ist.psu.edu/keiichirou02termination.html
Siva2 : Inductive Theorem Proving
starting point-
http://citeseer.ist.psu.edu/giesl03deciding.html
http://citeseer.ist.psu.edu/bundy95automation.html
Siva3 : Verifying Security Protocols
starting point- http://portal.acm.org/citation.cfm?id=959026.959029
Siva4 : Indian Language Technologies for Internet
- dealing with font/unicode
- speech recognition/synthesis
Siva5 :Secure key management in close group communication and security
issues.
M. Sohoni
Research Interests:
Combinatorial Optimization, Mathematical Programming, Algorithms
Sohoni1 : Formal models for distributed systems.
Sohoni2 : Topics in Geometric Design
Sohoni3 : Topics in Optimization
S. Sudarshan
Research Interests:
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)
structured data
Explore
new papers on finding most relevant answers based on proximity
aggregation.
- papers: Banks VLDB05, Object-Rank (VLDB04), Semex (SIGMOD05)
Sudarshan3 : Testing Database Applications
Survey papers on
database testing and software testing in general.
Sundar Vishwanathan
Research Interests:
Algorithms, Combinatorics, Complexity Theory.
Sundar1 : Entropy methods in combinatorics
Sundar2 : Algorithms for streaming data.