Results 101 to 110 of about 6,864,933 (152)

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

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

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
europepmc   +1 more source

Assessing actigraphy performance for daytime sleep detection following stroke: insights from inpatient monitoring in a rehabilitation hospital. [PDF]

Sleep Adv
Wang JE, Sindorf J, Chen PW, Wu J, Gonzales A, O'Brien MK, Sunderrajan A, Knutson KL, Zee PC, Wolfe L, Arora VM, Jayaraman A.   +11 more
europepmc   +1 more source

Messaging Informed by Behavioral Economics and Representativeness in Clinical Research Enrollment: Four Randomized Clinical Trials.

JAMA Netw Open
Fanaroff AC, Patel N, Whitman C, Lieberman A, Blady S, Morse Kripke C, Naseer N, Weaver J, Ogunniyi M, Kohn R, Morris AA, Stephens-Shields A, Volpp KG, Halpern SD.   +13 more
europepmc   +1 more source

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

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Influences on suicidality and suicide-prevention needs for the autistic community: Qualitative insights from multiple perspectives. [PDF]

Autism
Kirby AV, Feldman K, Clark W, Darlington AN, Atisme A, Duncan-Ishcomer B, Kripke-Ludwig R, Joyce A, Lee W, Rodriguez K, Siddeek Z, Murthi K, Keeshin B, Coon H, Nicolaidis C.   +14 more
europepmc   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

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

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
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