Results 91 to 100 of about 6,864,933 (152)

Performance of an automated sleep scoring approach for actigraphy data in children and adolescents. [PDF]

Sleep
Chen PW, Jansen EC, Cielo CM, Williamson AA, Banker M, Kaye M, Song PXK, Peterson KE, Cantoral A, Téllez-Rojo MM, Goldstein C, Zanna K, Sano A, Moreno JP, Kalkwarf H, Zemel BS, Mitchell JA.   +16 more
europepmc   +1 more source

Reduced order computational fluid dynamic simulations in the thoracic aorta are associated with disease recorded in a medical biobank. [PDF]

Sci Rep
Sokolow R, Bhattacharya A, Kissas G, Thompson EW, Beeche C, Swago S, Zhang D, Viswanadha M, Morse C, Chirinos J, Damrauer S, Verma A, Perdikaris P, Rader DJ, Witschey WR, Penn Medicine Biobank.   +15 more
europepmc   +1 more source

Concurrent kripke structures

, 1993
We consider a class of Kripke Structures in which the atomic propositions are events. This enables us to represent worlds as sets of events and the transition and satisfaction relations of Kripke structures as the subset and membership relations on sets.
Vineet Gupta
core  

A Dynamic Epistemic Logic with Lying and Theory of Mind Limitations. [PDF]

J Logic Lang Inf
Top JD, Verbrugge R, de Weerd H.
europepmc   +1 more source

Categorial modal realism. [PDF]

Synthese, 2023
Brunet TDP.
europepmc   +1 more source

Classification Without Reduction: The Epistemology of Clinical Taxonomy Examined Through TCM Constitution Theory. [PDF]

J Eval Clin Pract
Ge S, Zhou X, Shang X.
europepmc   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Study protocol for evaluating integrated urban development plans: impacts on health, social equity, and environmental sustainability in Germany. [PDF]

BMC Public Health
Tönnies J, Krumreihn A, Stelzer F, Senck E, Bongers-Römer S, Stalling I, Gröne K, Bammann K, Köckler H, Bolte G.   +9 more
europepmc   +1 more source