The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins
and other biological macro-molecules could in principle provide answers to some of the …

Anton 2 is a second-generation special-purpose supercomputer for molecular dynamics
simulations that achieves significant gains in performance, programmability, and capacity …

The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins
and other biological macro-molecules could in principle provide answers to some of the …

Anton 3 is the newest member in a family of supercomputers specially designed for atomic-level
simulation of molecules relevant to biology (eg, DNA, proteins, and drug molecules). …

Hybrid dynamic systems include both continuous and discrete state variables. Properties of
hybrid systems, which have an infinite state space, can often be verified using ordinary …

An e cient package for construction of and operation on ordered Kronecker Functional Decision
Diagrams (OKFDD) is presented. OKFDDs are a generalization of OBDDs and OFDDs …

The greater availability of daily data in the US has led to a number of studies of the
seasonality of daily stock (index) returns. While the studies recognized the potential impacts of …

Hybrid dynamic systems include both continuous and discrete state variables. Properties of
hybrid systems, which have an infinite state space, can often be verified using ordinary …

Integer addition is one of the most important operations in digital computer systems because
the performance of processors is significantly influenced by the speed of their adders. This …

Value-at-risk (VaR) measures are generated using extreme value theory by modelling the
tails of the return distributions of six Asian financial markets during the recent volatile market …