Start date cannot be after end date.
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Some structural issues in coupled climate model comparisons and evaluations
Presenter
- Gavin Schmidt
September 22, 2022
IMSI
Tensor numerical modeling of the collective electrostatic potentials in many-particle systems
Presenter
- Venera Khoromskaia
May 4, 2021
IPAM
Modeling and cancellation of noise in semiconductor quantum dot spin qubits
Presenter
- Edwin Barnes
August 27, 2018
IPAM
Constant-round interactive-proofs for delegating computations
Presenter
- Ron Rothblum
February 1, 2016
IAS
A Control Theoretic Framework for Compositional Analysis and Design of Biomolecular Networks
Presenter
- Domitilla Del Vecchio
September 30, 2015
IMA
Network topology as a source of biological information
Presenter
- Natasha Przulj
February 28, 2012
IMA
Network topology as a source of biological information
Presenter
- Natasha Przulj
February 14, 2012
IMA
Analysis, prediction, and design of viral RNA secondary structures
Presenter
- Christine Heitsch
April 25, 2011
MBI
