Abstract We present Probabilistic Total Store Ordering (PTSO) – a probabilistic extension of the classical TSO semantics. For given (finite-state) program, operational semantics PTSO induces an infinite-state Markov chain. resolve inherent non-determinism due to process schedulings and memory updates according probability distributions. provide comprehensive set results showing decidability sev...

Specialized stores for RDF data are essential parts of many Semantic Web applications. Current RDF stores have primarily focused on efficiently storing and querying large volumes of data and little attention has been given other features common to many database systems, including how information can updated and maintained or access to data controlled. The problem is complicated by the fact that...

Objective To review and assess the current selection of sleep analysis smartphone applications (apps) available for download. Methods The iOS and Google Play mobile app store were searched for sleep analysis apps targeted for consumer use. Alarm clock, sleep-aid, snoring and sleep-talking recorder, fitness tracker apps, and apps geared towards health professionals were excluded. App informati...