Computer Science



Seminar Series


2005

9 March

Dr. Girish K. Palshikar (TRDDC)
Introduction to Kalman Filter

21, 28 March  and 4 April

Dr. Girish K Palshikar (TRDDC)
Lectures on Graph Matching

5 April  and 27 August

Dr. Girish K. Palshikar (TRDDC)
Overview of machine learning

April

Dr. Ashok Sreenivas
Testing tools and technology  

10 May

Mr. R. Venkatesh (TRDDC)
MAP and TRDDC tools 

May

Ashat Shrivastava (Indian Institute of Technology, Mumbai)
Prediction of Oceanic Wave heights using Artificial Neural Networks

6 June

Dr. Ivar Jacobson and Agneta Jacobson (Ivar Jacobson Consulting and Jaczone, Sweden)
Beyond agile: smart
 

24 June

Dr. Girish K. Palshikar (TRDDC)
Fraud detection techniques

June

Dr. P. Sampath (TRDDC)
 Control flow analysis of COBOL programs

13 July

Rohit Kelkar (TRDDC)
Markovian Decision Processes and Reinforcement Learning

29 August

Dr. Sachin Lodha
Logical thinking

8 September

Dr. Girish K. Palshikar (TRDDC)
AI-based diagnosis techniques

September

Dr. Girish K. Palshikar (TRDDC)
How to read research papers

September

Prof. Priti Shankar (IISc., Bangalore)
Integrating a path-based global acyclic scheduling algorithm into an experimental code generation framework

3 October

Ms. Leena Walavalkar and Mr. Nilesh S. Patil (TRDDC)
Business Analytics R&D: Group Overview

October

Mr. Uttam Phulwale (TRRDC)
Exploring various modeling techniques in ‘R’ for a comparative performance evaluation

12-14 December

Dr. Ivar Jacobson (Ivar Jacobson Consulting, Sweden)
Next generation process

22 December 2004

Dr. Sachin Lodha (TRDDC)
Ramanujan – The man who knew infinity
Celebrating Ramanujan’s Birth Anniversary

23 December

Mr. Nilesh S. Patil (TRDDC)
Electricity Load Forecasting using Support Vector Machines

December

Mr. Shibasish Dasgupta (TRDDC)
Comparison of Fisher’s and Support Vector Machines for Classification

December

Mr.Shibasish Dasgupta (TRDDC)
Application of Support Vector Machines in Classification Problems

2004

15 January

Mr. Rajesh Mansharamani.(TRDDC)
Software performance engineering

30 January

Dr. Sachin Lodha (TRDDC)
Mind games to hone problem-solving skills of associates: logic

13 February

Dr. Sachin Lodha (TRDDC)
Godel's incompleteness theorem

27 February

Mr. Dinanath Kholkar (TRDDC)
Operational risk — challenges of running a global IT plant

12 March

Mr. Benny Mathew (TRDDC)
Introduction to software performance engineering

11 and 12 March

Mr. Vivek Balaraman (TRDDC)
Building case-based systems that scale up

25 March

Ms.Meena Mahajan (The Institute of Mathematical Sciences, Chennai)
From potatoes to tomatoes via sorting

5 May

Mr. Sutanu Chakraborti (TRDDC)
Artificial neural networks

11 May

Mr. Arun Bahulkar (TRDDC)
Understanding technology

19 May

Dr. Prahladvardhan Sampath (TRDDC)
Type systems

28 May

Dr. Sachin Lodha (TRDDC)
Pictograms

14 June

Mr. Vinay Kulkarni (TRDDC)
Next-generation model-driven development

21 July

Dr. Larry Clark (USAA, San Antonio, USA)
Impact of data versioning on business objects

6 August

Dr. Sachin Lodha (TRDDC)
Are you a movie buff or bluff

9 September

Dr. Sachin Lodha (TRDDC)
Logical thinking

23 September

Dr. Sachin Lodha (TRDDC)
@Algorithms

8 October

Mr. Vinay Kulkarni (TRDDC)
J2EE development: Meta-data driven aspect-oriented development

4 November

Prof. Uday Khedker (Indian Institute of Technology-Bombay, Mumbai)
Heap Reference Analysis Using Access Graphs

25 November

Dr. Saurabh Sethia (Oregeon University, USA)
Geometric Algorithms for lawns and farms

30 November

Dr. Sarang Aravamuthan (TCS)
Cryptography

22 December

Dr. Sachin Lodha (TRDDC)
Ramanujan:  The man who knew infinity
Celebrating Ramanujan’s Birth Anniversary

2003

7 January

Prof. Amir Pnueli (Weizmann Institute, Israel)
Liveness with counter abstraction

7-8 January

Dr. Natarajan Sankar (SRI, USA)
Type systems for programs and specifications

10 February

Prof. Huzur Saran (Indian Institute of Technology, Delhi)
Strategies for wireless access networks

24 February

Mr. Zahid Ansari (TCS)
Relational algebra

7 March Friday

Prof. Mike Paterson (University of Warwick, UK)
Proportionate fair processor scheduling: worst-case analysis of a simple scheme

20-21 March;
27-28 March

Mr. Girish Palshikar (TCS)
Series of lectures on graph theory

5 May

Mr. Abhishek Bajpai (TCS)
Design patterns

9 June

Dr. Ashok Sreenivas (TCS)
Software testing: A scientific view

1 July

Prof. V.V.S. Sarma (Indian Institute of Science, Bangalore)
Indian logic and artificial intelligence

3 July

Prof. Rajesh Subramanyan (Purdue University, USA)
Scalable SNMP-based monitoring systems for network computing

29 August

Mr. G. Murali Krishanan (TCS)
Webserver on MCA

19 September

Mr. R. Venkatesh (TCS)
Inside C++

23 September

Dr. Sreeranga P. Rajan (Fujitsu America Laboratories, USA)
Research at Fujitsu laboratories, America

24 September

Dr. Sreeranga P. Rajan (Fujitsu America Laboratories, USA)
Research on formal methods at FLA

1 October

Dr. Bhalchandra Puranik (Applied Thermal Technologies, USA)
An experimental investigation of shock-induced interfacial instability

31 October;
5 November

Mr. Arun Bahulkar (TCS)
Extreme programming

7 November

Mr. Mandar Bapat (TCS)
Java class loader

14 November

Dr. Hemant Jain (University of Wisconsin, USA)
Application assembly using business components and web services: The new system development lifecycle.

17 November 

Prof. S.M. Deshpande (Indian Institute of Science, Bangalore)
Contribution of CFD (Computational Fluid Dynamics) to the aerospace program in India

5 December

Mr. Hemant Joshi (TCS)
Datawarehousing fundamentals

18 December

Mr. Sriram Rajamani (Microsoft Research, USA)
Software model checking: Recent advances and future challenges

18 December

Mr. Joseph Sifakis (Verimag Laboratory, France)
Component-based construction of deadlock-free systems

19 December

Mr. Joseph Sifakis (Verimag Laboratory, France)
Scheduler modeling based on the controller synthesis paradigm

19 December

Dr. Rajagopal Natarajan
Quantum information processing

22 December

Prof. Muthu Muthukrishnan (Rutgers University, USA)
Data stream algorithms