Mixing time and expanders STCS Colloquium Speaker: Debsoumya ChakrabartiOrganisers: Jaikumar RadhakrishnanTime: Tuesday, 17 May 2022, 16:00 to 17:00 Venue: A-201 (STCS Seminar Room) Webpage: https://dimag.ibs.re.kr/home/debsoumya/ Read more about Mixing time and expanders
Hilbert Schmidt Independence Criterion (HSIC) STCS Student Seminar Speaker: Jatin Batra, TIFR Organisers: Eeshan ModakTime: Friday, 13 May 2022, 16:00 to 17:00 Venue: A-201 (STCS Seminar Room) Read more about Hilbert Schmidt Independence Criterion (HSIC)
Batch Asynchronous Stochastic Approximation and Applications to Temporal Difference Learning STCS Colloquium Speaker: M. VidyasagarOrganisers: Sandeep K JunejaTime: Wednesday, 11 May 2022, 11:00 to 12:00 Venue: In person @ A-201 and also via Zoom Read more about Batch Asynchronous Stochastic Approximation and Applications to Temporal Difference Learning
A Simple Convergence Proof for A Simple Convergence Proof Stochastic Approximation and Applications to Reinforcement Learning STCS Colloquium Speaker: M. VidyasagarOrganisers: Sandeep K JunejaTime: Tuesday, 10 May 2022, 16:00 to 17:00 Venue: In person @ A-201 and also via Zoom Read more about A Simple Convergence Proof for A Simple Convergence Proof Stochastic Approximation and Applications to Reinforcement Learning
Shift, scale and restart smaller models to estimate larger ones: Agent based simulators in epidemiology STCS Student Seminar Speaker: Daksh MittalOrganisers: Eeshan ModakTime: Friday, 6 May 2022, 16:30 to 17:30 Venue: A-201 (STCS Seminar Room) Read more about Shift, scale and restart smaller models to estimate larger ones: Agent based simulators in epidemiology
Power-laws and weak convergence of the Kingman coalescent STCS Seminar Speaker: Henrik HultOrganisers: Sandeep K JunejaTime: Friday, 29 April 2022, 16:00 to 17:00 Venue: A-201 Seminar Room Read more about Power-laws and weak convergence of the Kingman coalescent
Improved Quantum Query Upper Bounds Based on Classical Decision Trees STCS Colloquium Speaker: Nikhil S. MandeOrganisers: Arkadev ChattopadhyayTime: Tuesday, 26 April 2022, 16:00 to 17:00 Venue: A-201 (STCS Seminar Room) Read more about Improved Quantum Query Upper Bounds Based on Classical Decision Trees
An Algorithmic Approach to Uniform Lower Bound Conjectures STCS Seminar Speaker: Rahul SanthanamOrganisers: Arkadev ChattopadhyayTime: Friday, 8 April 2022, 16:00 to 17:00 Venue: AG-69 We describe an algorithmic approach to uniform lower bound conjectures such as NP != P and PSPACE != P. Read more about An Algorithmic Approach to Uniform Lower Bound Conjectures
Sketching and Streaming Complexity of Constraint Satisfaction Problems STCS Seminar Speaker: Madhu SudanOrganisers: Jaikumar RadhakrishnanTime: Friday, 8 April 2022, 10:00 to 11:00 Venue: A-201 (STCS Seminar Room) Read more about Sketching and Streaming Complexity of Constraint Satisfaction Problems
Context-Bounded Verification of Multithreaded Shared Memory Programs STCS Seminar Speaker: Ramanathan Thinniyam Organisers: Shibashis GuhaTime: Tuesday, 5 April 2022, 16:00 to 17:00 Venue: Via Zoom Read more about Context-Bounded Verification of Multithreaded Shared Memory Programs
