✦ LIBER ✦

Reachability results for timed automata with unbounded data structures

✍ Scribed by Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina

Publisher: Springer-Verlag
Year: 2010
Tongue: English
Weight: 717 KB
Volume: 47
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-010-0121-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient verification of timed automata

Efficient verification of timed automata with BDD-like data structures

✍ Farn Wang 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 905 KB

Finding market structure by sales count

Finding market structure by sales count dynamics—Multivariate structural time series models with hierarchical structure for count data—

✍ Nobuhiko Terui; Masataka Ban; Toshihiko Maki 📂 Article 📅 2009 🏛 Springer Japan 🌐 English ⚖ 738 KB

Long-Time Asymptotics for Solutions of t

Long-Time Asymptotics for Solutions of the NLS Equation with a Delta Potential and Even Initial Data: Announcement of Results

✍ Percy Deift; Jungwoon Park 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 195 KB

Structure-based analysis of protein dyna

Structure-based analysis of protein dynamics: Comparison of theoretical results for hen lysozyme with X-ray diffraction and NMR relaxation data

✍ Turkan Haliloglu; Ivet Bahar 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 367 KB 👁 1 views

## An analytical approach based on Gaussian network model (GNM) is proposed for predicting the rotational dynamics of proteins. The method, previously shown to successfully reproduce X-ray crystallographic temperature factors for a series of proteins is extended here to predict bond torsional mobi

The vibrationally averaged molecular str

The vibrationally averaged molecular structure: A comparison of NMR data for oriented benzene with results from electron diffraction and raman spectroscopy

✍ P Diehl; W Niederberger 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 524 KB