Symbolic model checking quantum circuits in Maude. [PDF]
Minh Do C, Ogata K.
europepmc +1 more source
Actigraphy-derived time in bed: it's time to put this issue to bed. [PDF]
Hand LK, Siengsukon CF.
europepmc +1 more source
Study protocol for evaluating integrated urban development plans: impacts on health, social equity, and environmental sustainability in Germany. [PDF]
Tönnies J +9 more
europepmc +1 more source
Objective sleep monitoring at home in older adults: A scoping review. [PDF]
Ghazi SN +4 more
europepmc +1 more source
Evaluating Performance and Agreement of Coronary Heart Disease Polygenic Risk Scores.
Abramowitz SA +17 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]
Duan D +6 more
europepmc +1 more source
Deciphering organotropism reveals therapeutic targets in metastasis. [PDF]
Bautista J, López-Cortés A.
europepmc +1 more source
Proteomic risk score for early prediction of kidney disease progression in individuals with APOL1 high-risk genotypes. [PDF]
Li C +24 more
europepmc +1 more source
PrEP choice in the real world: Results of a prospective cohort study describing uptake and use patterns of oral PrEP and the dapivirine vaginal ring among women in sub-Saharan Africa. [PDF]
Fonner VA +34 more
europepmc +1 more source

