Model checking for hidden Markov models
Hidden Markov models (HMMs) were first introduced in the late 1960s, and later applied widely in areas including speech recognition, bioinformatics, finance and seismology. Read more
The Echo Index and multistability in input-driven recurrent neural networks
Recurrent neural networks (RNNs) are non-autonomous dynamical systems driven by input, the behaviour of which depend on both model parameters and inputs to the system. Read more
The SAFER geodatabase for the Kathmandu Valley: Geotechnical and geological variability
The Kathmandu Valley — the most developed and populated region in Nepal – is seismically active and has experienced recurring destructive earthquakes. Read more
Nonstationary Background Seismicity Rate and Evolution of Stress Changes in the Changning Salt Mining and Shale-Gas Hydraulic Fracturing Region, Sichuan Basin, China
Many earthquakes have been induced by human activities, including wastewater disposal, geothermal production, gas injection and hydraulic fracturing (HF). Read more
Non-Equilibrium Dynamics and Weakly Broken Integrability
Scientists still lack a fundamental understanding of how and when complex many-body systems out of equilibrium will relax back to thermal equilibrium. Empirically, many systems do relax readily, justifying many of the core approximations of thermodynamics. Read more
CONTACT
London Mathematical Laboratory
8 Margravine Gardens
London
W6 8RH
