✦ LIBER ✦

Model Theoretic Syntax and Parsing: An Application to Temporal Logic

✍ Scribed by Adi Palm

Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 456 KB
Volume: 53
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82588-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of an S-shaped curve model t

Application of an S-shaped curve model to the temporal development of tafoni of salt-weathering origin

✍ Tsuguo Sunamura; Hisashi Aoki 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 403 KB

## ABSTRACT To describe temporal change in tafone development, an S‐shaped curve equation is proposed: __Z__ = __Z__~c~ [1 − (__n__ + 1) exp (− __β t__ ) + __n__ exp (− (1 + 1/__n__) __β t__ )] , where __Z__ is observed tafone depth, __Z__~c~ is ultimate tafone depth, __t__ is time, and __n__ and _

A non-parametric hazard model to charact

A non-parametric hazard model to characterize the spatio-temporal occurrence of large earthquakes; an application to the Italian catalogue

✍ Licia Faenza; Warner Marzocchi; Enzo Boschi 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 821 KB

An Approach to Temporally Disaggregate B

An Approach to Temporally Disaggregate Benzo(a)pyrene Emissions and Their Application to a 3D Eulerian Atmospheric Chemistry Transport Model

✍ Armin Aulinger; Volker Matthias; Markus Quante 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 490 KB