Roll No |
Name |
Seminar Title
|
Guide |
05305001 |
Bhavana Dalvi | Keyword search on (semi) structured databases. | Sudarshan |
05305002 | Parul Halwe |
????? |
Krithi |
05305003 |
Cirupati Santoshkumar |
Machine Description for Retargetable compilation. | Biswas |
05305004 | Deni George |
Type Systems for Aspects. | Joshi |
05305005 |
Umang Bhaskar |
Entropy Methods |
Sundar |
05305006 | Gupta Manish Satyapal | XML Technologies |
Sarda |
05305007 | Shrirang S Shirodkar | Study of Windows Architecture | Dhamdhere |
05305008 |
Deshmukh Himanshu Madhavrao |
Integrating schema and data from
heterogeneous sources |
Soumen |
05305009 |
Manuj Gupta | Combinatorial Optimization | Diwan |
05305010 |
M Krishna Prasad |
Integrated Query processing on text, XML and Relational data. | Soumen |
05305011 | Anand P V |
Point based Rendering | Sharat |
05305012 | Chaudhari Kamalakar Y | Fine grained Authorization. | Sudarshan |
05305013 |
Girish Vishwanath Joshi |
Dropped semester due to medical
reasons - to be confirmed |
----- |
05305014 | Rishi Raj Gupta |
Testing Database Applications. | Sudarshan |
05305015 |
Soumitra Pal |
Column Generation. | Ranade |
05305016 |
Vibhooti Verma |
Business Process Analysis. | Sarda |
05305017 | Pathak Amit Anantrao | Formal models for distributed system. | Sohoni |
05305019 |
Sanjeev Suman |
Undirected s-t connectivity in log space. | Diwan |
05305020 |
Srinadha Reddy Konda |
Instruction level parallelism & compilation issues. | Bhujade |
05305021 |
Shayer Dudekula |
Instruction scheduling for pipelined Architectures | Biswas |
05305022 | Shrinath Gupta | Aspect mining from object oriented code. | Joshi |
05305023 |
Bhaskar Reddy Guthikonda |
||
05305024 |
Rajarshi Rakshit |
Compiled Code Verification | Sanyal |
05305025 | Mocherla Lakshmi Narasimham |
Partial ordered models concurrent systems. | Krishna |
05305026 |
Gupta Ramesh Jiyalal |
BURS & its Applictions. | Sanyal |
05305027 | Kumar N |
Algorithm for streaming data | Sundar |
05305028 |
Gudhe Ashish Govind |
???? |
Krithi |
05305037 |
Ranjith Kumar Kasukurthi |
Membrane Computing | Krishna |
05305038 |
N S Gangacharan Singh |
Grammatical Inference and Applications | Nagaraja |
05305040 |
Parhar Anand Shivdas |
Self Tuning Systems. | Varsha |
05305041 |
Alok Ashok Jadhav |
Interior Point Methods in Quadratic programming | Sohoni |
05305042 |
Sunkari Sasidhar |
Verification of security protocols. | Sivakumar |
05305043 |
Adarsh Natarajan |
Termination Orderings | Sivakumar |
05305044 |
Vaddadi Murali Kartick |
Connectors in software Architectures. | Joshi |
05305045 |
Ukey Akshay K |
Natural Language Processing | Pushpak |
05305046 |
John Chaitanya Kati |
Interprocedural Constant Propagation | Uday |
05305047 |
Pawan Kumar P |
||
05305201 |
Pham Qui Phoung |
Fuzzy Techniques for Character
Recoginition. |
Nagaraja |
05305202 |
Scholer Alban |
||
05305301 |
Narmawala Zunnun A Raaf |
||
05305401 | Kanika Shrikant Nema | Virtual File Systems |
Dhamdhere |
05305402 | Sandeep Shelke | Knowledge based example & Statistical Methods of Machine Translation. | Pushpak |
05305403 | Aniket B. Dalal |
Evolutionary Programming | Krishna |
05305404 | Vishal Khandelwal | Recognition of Mouse drawn diagrams. | Ranade |
05305405 |
A S Shejwal |
Secure key management in close group communication and security issues. | Sivakumar |
05305601 |
Sameera Deshpande |
Tools and processes for configuring and building GCC | Uday |
05305804 | Katte Vilas Mohanrao | Instruction Level parallelism | Bhujade |
05305805 | Anil Kumar K | Verification of Asynchronously communicating web services | Krishna |
05305901 | Prabhu Sachin |
Verification of Timed Systems. | Supratik |
05305902 |
Yogesh Ashok Powar |
Voice services using WLAN | Varsha |
05305903 |
Sawant Uma Kamlakar |
???? |
Soumen |
05305904 |
Iyengar Suresh Parthasarathy |
Indian Language Technology. | Sivakumar |
05305905 | Verma Kamaljeet
Santhoshkumar |
Meaning based multilingual search engine. | Pushpak |
05305906 | Dhananjay Sadashivrao
Muli |
Groupware collaboration techniques. | Sarda |