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