𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Local Distributed Model Checking of Reg CTL

✍ Scribed by Tomáš Brázdil; Ivana Černá

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
206 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Persistence of Multispecies Host–Parasit
Persistence of Multispecies Host–Parasitoid Interactions in Spatially Distributed Models with Local Dispersal
✍ H.N. Comins; M.P. Hassell 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 366 KB

Recent theoretical studies have shown that dispersal between neighbouring local populations can promote the persistence of interacting metapopulations, even when the local dynamics are unstable and the environment is uniform. This persistence is associated with striking and self-organized spatial pa

Space and time localization for the esti
Space and time localization for the estimation of distributed parameters in a finite element model
✍ Fabio Marcuzzi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 226 KB

In this paper we study the problem of estimating the possibly non-homogeneous material coefficients inside a physical system, from transient excitations and measurements made in a few points on the boundary. We assume there is available an adequate Finite Element (FEM) model of the system, whose dis