Results 101 to 110 of about 20,953 (186)

starMC: an automata based CTL* model checker. [PDF]

PeerJ Comput Sci, 2022
Amparore EG, Donatelli S, Gallà F.
europepmc   +1 more source

Understanding the Evolving Role of Voluntary Medical Male Circumcision as a Public Health Strategy in Eastern and Southern Africa: Opportunities and Challenges. [PDF]

Curr HIV/AIDS Rep, 2022
Bershteyn A, Mudimu E, Platais I, Mwalili S, Zulu JE, Mwanza WN, Kripke K.   +6 more
europepmc   +1 more source

Performance of an automated sleep scoring approach for actigraphy data in children and adolescents. [PDF]

Sleep
Chen PW, Jansen EC, Cielo CM, Williamson AA, Banker M, Kaye M, Song PXK, Peterson KE, Cantoral A, Téllez-Rojo MM, Goldstein C, Zanna K, Sano A, Moreno JP, Kalkwarf H, Zemel BS, Mitchell JA.   +16 more
europepmc   +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

The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. [PDF]

Minds Mach (Dordr), 2023
Cignarale G, Schmid U, Tahko T, Kuznets R.   +3 more
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

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

Verifiable biology. [PDF]

J R Soc Interface, 2023
Konur S, Gheorghe M, Krasnogor N.
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

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

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

The Penn Medicine BioBank: Towards a Genomics-Enabled Learning Healthcare System to Accelerate Precision Medicine in a Diverse Population. [PDF]

J Pers Med, 2022
Verma A, Damrauer SM, Naseer N, Weaver J, Kripke CM, Guare L, Sirugo G, Kember RL, Drivas TG, Dudek SM, Bradford Y, Lucas A, Judy R, Verma SS, Meagher E, Nathanson KL, Feldman M, Ritchie MD, Rader DJ, For The Penn Medicine BioBank.   +19 more
europepmc   +1 more source