|
Deepak Kapur |
Interpolation Synthesis for Quadratic Polynomial Inequalities and Combination with Theory of Equality with Uninterpreted Function Symbols (EUF) |
22/12/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Rajiv Raman |
Approximation Algorithms for Geometric Covering and Packing Problems |
08/12/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Naveen Garg |
Primal-Dual Algorithms in Scheduling |
17/11/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Rahul Vaze |
Optimal Offline and Competitive Online Strategies for Transmitter-Receiver Energy Harvesting |
06/10/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Supratik Chakraborty |
Hashing Based Almost-uniform Generation and Model Counting |
22/09/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Rahul Roy |
Drainage Networks and the Brownian Web |
08/09/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Ankit Garg |
A Deterministic Polynomial Time Algorithm for Word Problem Over the Free Skew Field |
25/08/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
|
Ragavendran Gopalakrishnan |
Routing and Staffing when Servers are Strategic |
11/08/2015 - 16:00 to 17:00 |
A-212 (STCS Seminar Room) |
