Past Events

Perturbations of Non-linear Systems of Differential Equations

Speaker: 
Gugan Thoppe, TIFR

Organisers: 

Naqueeb Ahmad Warsi

Time: 

Friday, 11 January 2013, 15:00 to 16:30

Venue: 

Webpage: 

https://sites.google.com/site/gugancth/

The method of variation of parameters, credited to J.L. Lagrange, expresses each solution of the perturbed system of differential equations, $x' = A(t)x + f(t)$, in terms of the solution of the associated homogeneous system, $y' = A(t)y$.

Designing High-Confidence Interactive Systems: Electronic Voting, Self-Driving Cars, and Beyond

Speaker: 

Sanjit A. Seshia

Organisers: 

R K Shyamasundar

Time: 

Wednesday, 9 January 2013, 16:00 to 17:00

Venue: 

Webpage: 

http://www.eecs.berkeley.edu/~sseshia/

Human interaction is central to many computing systems that require a high level of assurance. We term such systems as "high-confidence interactive systems".

Coordination over Networks: Simulation of Joint Distributions

Speaker: 

Venkat Ananatharam

Organisers: 

Sandeep K Juneja

Time: 

Tuesday, 8 January 2013, 14:30 to 15:30

Venue: 

Webpage: 

http://www.eecs.berkeley.edu/Faculty/Homepages/anantharam.html

Networks are largely viewed as a medium for communication from transmitters to receivers. More generally a network can be used as a medium to enable coordinated action between the entities represented by its nodes.

Pages