Results 121 to 130 of about 24,570,426 (223)

Generalized Kripke Models for Epistemic Logic.

, 1991
In this paper a generalization of Kripke models is proposed for systemizing the study of the many different epistemic notions that appear in the literature. The generalized Kripke models explicitly represent an agent's epistemic states to which the epistemic notions refer.
openaire   +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

Perceived Pain Following Hypnotic Deprescribing in Older Adults. [PDF]

J Am Geriatr Soc
Hurtado JG, Erickson AJ, Mitchell MN, Martin JL, Alessi CA, Dzierzewski JM, Ghadimi S, Der-Mcleod E, Perdomo C, Naeem S, Moore AA, Badr MS, Zeidler M, Fung CH.   +13 more
europepmc   +1 more source

Automated characterization of abdominal MRI exams using deep learning. [PDF]

Sci Rep
Kim J, Chae A, Duda J, Borthakur A, Rader DJ, Gee JC, Kahn CE, Penn Medicine BioBank, Witschey WR, Sagreiya H.   +9 more
europepmc   +1 more source

Circadian Regulation and Pain: A Systematic Review of the Association Between Rest-Activity Rhythm and Pain-Related Outcomes. [PDF]

Clocks Sleep
Van Stallen A, De Deyne M, Labie C, De Baets L.   +3 more
europepmc   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

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

Angiographic Burden of Coronary Atherosclerosis Partially Mediates the Association Between ASCVD Risk Factors and Outcomes. [PDF]

Circ Genom Precis Med
Tsao NL, Abramowitz SA, Shakt GE, Judy R, Hilliard AT, Damrauer SM, Assimes TL, Clarke SL, Tcheandjieu C, Levin MG, Penn Medicine Biobank.   +10 more
europepmc   +1 more source

What matters beyond model choice for wearable sleep staging? How personalization, evaluation choices, and easy-to-classify wake impact performance. [PDF]

Sleep Adv
Canton E, Tavella F, Drake C, Walch O, Cheng P.   +4 more
europepmc   +1 more source

A Formal Model for Compliance Verification of Service Compositions

IEEE Transactions on Services Computing, 2018
H. Groefsema, Nick van Beest, Marco Aiello   +2 more
semanticscholar   +1 more source