𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Satisfiability-Based Approach to Abstraction Refinement in Model Checking

✍ Scribed by Bing Li; Chao Wang; Fabio Somenzi

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
148 KB
Volume
89
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A decision making approach to relevance
A decision making approach to relevance feedback in information retrieval: A model based on soft consensus dynamics
✍ Gabriella Pasi; Ricardo Alberto Marques Pereira πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 232 KB πŸ‘ 2 views

Information retrieval IR can be regarded as a natural instance of multicriteria decision Ε½ . making MCDM . Queries are formulated as selection criteria aggregated by means of appropriate operators. Retrieval is then performed as a MCDM process by evaluating the degrees of satisfaction of the criteri

In vivo cellular imaging of lymphocyte t
In vivo cellular imaging of lymphocyte trafficking by MRI: A tumor model approach to cell-based anticancer therapy
✍ Pierre Smirnov; Elise Lavergne; Florence Gazeau; MaΓ―tΓ© Lewin; Alexandre Boissonn πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 687 KB

## Abstract The aim of this study was to demonstrate the feasibility of in vivo cell tracking to monitor anticancer cell therapy by means of a high‐resolution noninvasive MRI method. Ovalbumin‐specific splenocytes (OT‐1) labeled with anionic γ‐Fe~2~O~3~ superparamagnetic iron oxide (SPIO) nanoparti