Results 131 to 140 of about 24,570,426 (223)

Exclusion-based exome sequencing in critically ill adults 18-40 years old has a 24% diagnostic rate and finds racial disparities in access to genetic testing. [PDF]

Am J Hum Genet
Gold JI, Kripke CM, Regeneron Genetics Center, Penn Medicine BioBank, Drivas TG.   +4 more
europepmc   +1 more source

Empatica E4 wristband assessment of probable REM sleep behavior disorder in people with Parkinson's disease. Results from the DIGI.PARK study. [PDF]

Front Neurol
Aaslestad L, Marty B, Patrascu M, Reithe H, Husebo BS, Nilssen RM, Sheard E, Kverneng S, Tzoulis C, Berge LI.   +9 more
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

Kripke Semantics for Modal Bilattice Logic

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
A. Jung, U. Rivieccio
semanticscholar   +1 more source

Bidirectional Risk Modulator and Modifier Variant of Dilated and Hypertrophic Cardiomyopathy in BAG3. [PDF]

JAMA Cardiol
Park J, Levin MG, Zhang D, Reza N, Mead JO, Carruth ED, Kelly MA, Winters A, Kripke CM, Judy RL, Damrauer SM, Owens AT, Bastarache L, Verma A, Kinnamon DD, Hershberger RE, Ritchie MD, Rader DJ.   +17 more
europepmc   +1 more source

Quantitative Verification of Weighted Kripke Structures

Automated Technology for Verification and Analysis, 2014
P. Bouyer, Patrick Gardy, N. Markey
semanticscholar   +1 more source

Population-scale repeat expansions elucidate disease risk and brain atrophy. [PDF]

Nature
Pounraja VK, Sul JH, Herman J, O'Keeffe S, Rajagopal V, Bai X, Kessler MD, Parikshak N, Landheer K, Zhang X, Yu S, Zhang L, LeBlanc MG, Rico-Varela J, Grau F, Wolf S, Sundaramoorthy S, Sepehrband F, Stahl EA, Huo Y, Ahmed M, Croll S, GHS-RGC DiscovEHR Collaboration, Mayo-RGC Project Generation, Penn Medicine BioBank, Salerno W, Overton JD, Marchini J, Reid J, Lotta LA, Baras A, Regeneron Genetics Center, Abecasis GR, Coppola G, Gelfman S.   +34 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

Validation of actigraphy sleep metrics in children aged 8 to 16 years: considerations for device type, placement and algorithms. [PDF]

Int J Behav Nutr Phys Act
Meredith-Jones KA, Haszard JJ, Graham-DeMello A, Campbell A, Stewart T, Galland BC, Cox A, Kennedy G, Duncan S, Taylor RW.   +9 more
europepmc   +1 more source

Truthmaker Semantics for Intuitionistic Modal Logic. [PDF]

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