Results 121 to 130 of about 2,948 (196)

Objective sleep monitoring at home in older adults: A scoping review. [PDF]

J Sleep Res
Ghazi SN, Behrens A, Berner J, Sanmartin Berglund J, Anderberg P.   +4 more
europepmc   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

Topoi (Dordr)
Litland JE.
europepmc   +1 more source

Consensus on high-priority outcomes to be used in the evaluation of services for autistic adults: Results from a "CBPR-Nested Delphi Process". [PDF]

Autism
Nicolaidis C, Scharer M, Raymaker DM, Vera J, Edwards T, Moura I, Baker-Ericzén M, Maslak J, Yang LQ, Kripke-Ludwig R, Kapp SK, Joyce A, Wallington A, Academic Autism Spectrum Partnership in Research and Education (AASPIRE) Outcomes Project Team*.   +13 more
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

Effects of time-restricted eating on actigraphy-derived sleep parameters: post hoc analysis of a randomized, isocaloric feeding study. [PDF]

Sleep
Duan D, Pham LV, Jun JC, Turkson-Ocran RA, Pilla SJ, Clark JM, Maruthur NM.   +6 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

Protocol for a type 3 hybrid implementation cluster randomized clinical trial to evaluate the effect of patient and clinician nudges to advance the use of genomic medicine across a diverse health system. [PDF]

Implement Sci
Raper AC, Weathers BL, Drivas TG, Ellis CA, Kripke CM, Oyer RA, Owens AT, Verma A, Wileyto PE, Wollack CC, Zhou W, Ritchie MD, Schnoll RA, Nathanson KL.   +13 more
europepmc   +1 more source

A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]

J Logic Lang Inf
Olkhovikov GK.
europepmc   +1 more source

Actigraphy-derived time in bed: it's time to put this issue to bed. [PDF]

Sleep Adv
Hand LK, Siengsukon CF.
europepmc   +1 more source

Connexive Exclusion. [PDF]

Erkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source