𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-time refinement in Manna and Pnueli's temporal logic

✍ Scribed by David Scholefield

Publisher
Springer
Year
1996
Tongue
English
Weight
876 KB
Volume
8
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

High spatial and temporal resolution car
High spatial and temporal resolution cardiac cine MRI from retrospective reconstruction of data acquired in real time using motion correction and resorting
✍ Peter Kellman; Christophe Chefd'hotel; Christine H. Lorenz; Christine Mancini; A 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 871 KB

## Abstract Cine MRI is used for assessing cardiac function and flow and is typically based on a breath‐held, segmented data acquisition. Breath holding is particularly difficult for patients with congestive heart failure or in pediatric cases. Real‐time imaging may be used without breath holding o

Selection of reference genes for real-ti
Selection of reference genes for real-time quantitative reverse transcription-polymerase chain reaction in hippocampal structure in a murine model of temporal lobe epilepsy with focal seizures
✍ Fabien Pernot; Frédéric Dorandeu; Claire Beaup; André Peinnequin 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 364 KB

## Abstract Reference genes are often used to normalize expression of data from real‐time quantitative reverse transcription‐polymerase chain reaction (RT‐qPCR), and only a validation of their stability during a given experimental paradigm leads to reliable interpretations. The present study was th