Results 161 to 170 of about 24,570,426 (223)

Objectively Measured Daytime Napping Patterns and All-Cause Mortality in Older Adults.

JAMA Netw Open
Gao C, Cai R, Zheng X, Gaba A, Yu L, Buchman AS, Bennett DA, Gao L, Hu K, Li P.   +9 more
europepmc   +1 more source

CT imaging-derived phenotypes for abdominal muscle and their association with age and sex in a medical biobank. [PDF]

Sci Rep
Vu PT, Chahine C, Chatterjee N, MacLean MT, Swago S, Bhattaru A, Thompson EW, Ikhlas A, Oteng E, Davidson L, Tran R, Hazim M, Raghupathy P, Verma A, Duda J, Gee J, Luks V, Gershuni V, Wu G, Rader D, Sagreiya H, Witschey WR, Penn Medicine Biobank.   +22 more
europepmc   +1 more source

Polygenic risk score-based phenome-wide association for glaucoma and its impact on disease susceptibility in two large biobanks. [PDF]

J Transl Med
Yun JS, Jung SH, Lee SN, Jung SM, Penn Medicine Biobank, Won HH, Kim D, Choi JA.   +7 more
europepmc   +1 more source

Exploring the Relationship Between General Motor Activity and Optimal Actigraphy Sleep Configurations: A Systematic Review. [PDF]

J Sleep Res
Baarsen AM, van den Broek NAAM, Hilgenkamp TIM, Maes-Festen DAM, Elbers RG, Huisman SA.   +5 more
europepmc   +1 more source

Surgeon Social Jet Lag and Patient Risk of Major Adverse Events.

JAMA Surg
Pascal L, Polazzi S, Skinner SC, Lifante JC, Mazza S, Duclos A, TopSurgeons Study Group.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Model Checking of Variable Petri Nets by Using the Kripke Structure

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022
The properties of dynamic interactions in mobile-interactive systems are still difficult to analyze because of the complexity of systems. Thus, we have proposed a new Petri net called the variable petri net (VPN) recently, which specializes in describing
Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang   +4 more
semanticscholar   +3 more sources

Preservation theorems for Kripke models

Mathematical Logic Quarterly, 2009
AbstractThere are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds Aα and Bα of them, Aα is a subset of Bα and forcing of atomic formulas with parameters in the smaller ...
Mostafa Zaare, Morteza Moniri
exaly   +3 more sources

On the structure of kripke models of heyting arithmetic

Mathematical Logic Quarterly, 1993
AbstractSince in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical structures models of Peano Arithmetic (PA)?
exaly   +3 more sources

A Kripke-Lewis semantics for belief update and belief revision

Artificial Intelligence, 2023
We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function.
Giacomo Bonanno
semanticscholar   +1 more source