منابع مشابه
Joint reality and temporal Bell inequalities
– Some new temporal Bell inequalities are deduced under joint realism assumption, using some perfect correlation property. No locality condition is needed. When the measured system is a macroscopic system, joint realism assumption substitutes the non-invasive measurability hypothesis advantageously, provided that the system satisfies the perfect correlation property. The new inequalities are vi...
متن کاملComparison of temporal lobe epilepsy with hippocampal sclerosis and temporal lobe epilepsies due to other etiologies
Background: This study compares the clinical characteristics of patients with mesial temporal lobe epilepsy with hippocampal sclerosis (mTLE-HS) with those who have temporal lobe epilepsy (TLE) due to other etiologies. Methods : In this retrospective study all patients with a clinical diagnosis of TLE were recruited in a referral outpatient epilepsy clinic at Shiraz University of Medical Sc...
متن کاملTemporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements
We introduce Temporal Action Language (TAL). We design TAL as a key component of our approach that aims to semi-automate the process of consistency checking of natural language temporal requirements. Analysts can use TAL to express temporal requirements precisely and unambiguously. We describe the syntax and semantics of TAL and illustrate how to use TAL to represent temporal requirements.
متن کاملP8: Temporal Lobe Epilepsy and Mitochondrial Dysfunction
لطفاً به چکیده انگلیسی مراجعه شود.
متن کاملThe ForSpec Temporal Logic: A New Temporal Property-Specification Language
In this paper we describe the ForSpec Temporal Logic (FTL), the new temporal property-specification logic of ForSpec, Intel’s new formal specification language. The key features of FTL are as follows: it is a linear temporal logic, based on Pnueli’s LTL, it is based on a rich set of logical and arithmetical operations on bit vectors to describe state properties, it enables the user to define te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Philosophical Quarterly
سال: 2003
ISSN: 0031-8094,1467-9213
DOI: 10.1111/1467-9213.00319