Results 201 to 210 of about 48,451 (258)

From exchangeability to rational belief: a cognitive interpretation of de Finetti's theorem. [PDF]

Front Psychol
Costa T.
europepmc   +1 more source

A functionally complete logic gate in a soft photoresponsive hydrogel. [PDF]

Nat Commun
Mahmood F, Yashin VV, Balazs AC, Saravanamuttu K.   +3 more
europepmc   +1 more source

Alzheimer's disease as a systems-level timing disorder: Circadian disruption of glial immunometabolism, brain clearance, and therapeutic responsiveness. [PDF]

Neurobiol Sleep Circadian Rhythms
Bach DH, Nguyen TL.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Elective temporal logic

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, 2011
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
COSTA, GABRIELE, I. Matteucci
openaire   +5 more sources

Temporal Logic

1994
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay, Ian Hodkinson, Mark Reynolds   +2 more
openaire   +2 more sources