✦ LIBER ✦

A case study in pathway knowledgebase verification

✍ Scribed by Stephen A Racunas; Nigam H Shah; Nina V Fedoroff

Book ID: 115000310
Publisher: BioMed Central
Year: 2006
Tongue: English
Weight: 277 KB
Volume: 7
Category: Article
ISSN: 1471-2105
DOI: 10.1186/1471-2105-7-196

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A case study in hybrid process safety ve

A case study in hybrid process safety verification

✍ V.D. Dimitriadis; J. Hackenberg; N. Shah; C.C. Pantelides 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 501 KB

Measurement & Verification Applications:

Measurement & Verification Applications: Option “A” Case Studies

✍ Roosa, Stephen A. 📂 Article 📅 2002 🏛 Taylor and Francis Group 🌐 English ⚖ 338 KB

Verification of landslide susceptibility

Verification of landslide susceptibility mapping: a case study

✍ Fernández, Clemente Irigaray; Del Castillo, Tomás Fernández; Hamdouni, Rachid El 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB 👁 1 views

A methodology is proposed for mapping susceptibility to landsliding and validating the results. Heavy rains in late 1996 and early 1997 led to a large number of landslides in the Rute sector (CoÂ rdoba, Southern Spain), where landslide susceptibility mapping had previously been carried out using a `

Automated verification of design pattern

Automated verification of design patterns: A case study

✍ Nicholson, Jon; Eden, Amnon H.; Gasparis, Epameinondas; Kazman, Rick 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 1013 KB

A case study in class library verificati

A case study in class library verification: Java’s vector class

✍ Marieke Huisman; Bart Jacobs; Joachim van den Berg 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 330 KB

Pathway Databases: A Case Study in Compu

Pathway Databases: A Case Study in Computational Symbolic Theories

✍ Karp, P. D. 📂 Article 📅 2001 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 424 KB