Videos

Start date cannot be after end date.
Neural network verification as piecewise linear optimization Thumbnail

Neural network verification as piecewise linear optimization

Presenter
  • Joseph Huchette
February 23, 2021
IPAM
Design of cyberphysical autonomous mobility platforms Thumbnail

Design of cyberphysical autonomous mobility platforms

Presenter
  • Joseph Chow
November 16, 2020
IPAM

Abelian Divisibility Sequences

Presenter
  • Joseph Silverman
June 4, 2019
ICERM

Hide-and-Seek with Quadratic Forms and Finite Field Isomorphisms

Presenter
  • Joseph Silverman
November 13, 2018
ICERM
On the proof of the conservativity conjecture Thumbnail

On the proof of the conservativity conjecture

Presenter
  • Joseph Ayoub
September 14, 2018
IAS
Parallelotope tilings for symmetric groups Thumbnail

Parallelotope tilings for symmetric groups

Presenter
  • Joseph Chuang
April 11, 2018
SLMath

Snow Business: Scientific Computing in the Movies and Beyond

Presenter
  • Joseph Teran
December 5, 2017
IMA
How to modify the Langlands' dual group Thumbnail

How to modify the Langlands' dual group

Presenter
  • Joseph Bernstein
November 20, 2017
IAS

Analysis of Power-law Fit Exponent Produced by a Stochastic Competitive Graph Model

Presenters
  • Joseph Ballardo
  • Andre Hernandez-Espiet
August 9, 2016
MBI

Dual Channels and Dual Codes- Using Heisenberg uncertainty to achieve Shannon capacity

Presenter
  • Joseph Renes
June 16, 2016
ICERM

ODE Models of a Novel Second Messenger in the 5HT1A Autoreceptor

Presenter
  • Joseph Tharayil
August 11, 2015
MBI

Conjecture on Motives and Algebraic Cycles

Presenter
  • Joseph Ayoub
July 27, 2015
ICERM