Home
Programs
Your Visit
Videos
About
Support ICERM
Search
Loading...
Video Archive
Submit
Reset
Introduction to the software package 'Dynamics Explorer' for exploration of...
Suzanne Lynch Boyd
University of Wisconsin-Milwaukee
April 7, 2016 • 12:00 AM
Computation in Dynamics
Rigorous estimation of the speed of convergence to equilibrium
Stefano Galatolo
University of Pisa
April 7, 2016 • 12:00 AM
Computation in Dynamics
Periodic solutions for some hyperbolic PDEs
Hans Koch
University of Texas at Austin
April 7, 2016 • 12:00 AM
Computation in Dynamics
Conformal maps: Computability and Complexity
Ilia Binder
University of Toronto
April 6, 2016 • 12:00 AM
Computation in Dynamics
On rigorous verification of the crossed mapping condition
Zin Arai
Hokkaido University
April 6, 2016 • 12:00 AM
Computation in Dynamics
Transition chains of invariant tori around L1 in the Sun-Earth system
Pablo Roldán González
Instituto Tecnológico Autónomo de México
April 6, 2016 • 12:00 AM
Computation in Dynamics
Conley Index Theory, Symbolic Dynamics, and Entropy
Sarah Day
College of William and Mary
April 5, 2016 • 12:00 AM
Computation in Dynamics
Dynamic Signatures Generated by Regulatory Networks
Konstantin Mischaikow
Rutgers University
April 5, 2016 • 12:00 AM
Computation in Dynamics
Computability and computational complexity in dynamical systems.
Cristóbel Rojas
Universidad Andrés Bello (Santiago)
April 5, 2016 • 12:00 AM
Computation in Dynamics
On computational aspects of the Feigenbaum fixed point of the period doubli...
Artem Dudko
Stony Brook University
April 5, 2016 • 12:00 AM
Computation in Dynamics
On the bifurcation of hyperbolic invariant manifolds - From Numerics to Rig...
Jordi-Lluís Figueras
University of Uppsala
April 5, 2016 • 12:00 AM
Computation in Dynamics
Interactive theorem proving, automated reasoning, and dynamical systems
Jeremy Avigad
Carnegie Mellon University
April 5, 2016 • 12:00 AM
Computation in Dynamics
«
First
‹
Previous
241
242
243
244
(current)
245
246
247
›
Next
»
Last