Start date cannot be after end date.
How difficult is it to certify that a random 3SAT formula is unsatisfiable?
Presenter
- Toniann Pitassi
April 6, 2021
IAS
Subgroup Discovery for Assessing the Domain of Applicability of Machine Learning Models
Presenter
- Chris Sutton
November 21, 2019
IPAM
The cgDNA sequence-dependent coarse-grain model of dsDNA: Bridging the scales from Molecular Dynamics to Bioinformatics
Presenter
- John Maddocks
October 30, 2019
IPAM
The realizability problem for point processes: explicit constructions on the lattice
Presenter
- Maria Infusino
February 14, 2019
IPAM
Inference for dynamical systems: a Bayesian perspective
Presenter
- Oksana Chkrebtii
October 11, 2016
MBI
Reliable analog quantum simulation, or: how I learned to stop worrying and love parameter space compression
Presenter
- Mohan Sarovar
April 12, 2016
IMA
