Tuesday, May 18, 2010

Topics in Automata

[@ 3:30pm. 18 May - 1 June, 2010. SIC-305 KReSIT]
Abhishek Sankaran

I will give an overview of some topics related to logic. I will also discuss the problems that I am looking at.

Tuesday, May 11, 2010

Sweep surfaces

[@ 3:30pm. 11 May 2010. SIC-305, KReSIT]
Jinesh Machchhar

Sweeping is a powerful and versatile method for de fining surfaces. It involves moving an n-dimensional manifold along a 1-dimensional manifold and computing the surface traced out during the above operation. We will refer to the 1-dimensional manifold along which the sweep occurs as the trajectory. In this talk we will consider sweeping a 1-dimensional manifold along a given trajectory.

Link to writeup: http://www.cse.iitb.ac.in/~jineshmac/sweep.pdf