Hormone replacement therapy and cancer mortality in women with 17 site-specific cancers: a cohort study using linked medical records by Cardwell, CR, Ranger, TA, Labeit, AM, Coupland, CAC, Hicks, B, Hughes, C, McMenamin, Ú, Mei, XW, Murchie, P, Hippisley-Cox, J

“…Therefore, we systematically examined HRT use and cancer-specific mortality in women with 17 site-specific cancers.…”

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical specifications of elliptic-curve cryptography. …”
Get full text

American Society for Echocardiography Software Suite for Verification and by Claesen, S, Heart, G, Li, W, Bharath, A, Chandra, S, Kitney, R, Dewey, CF Jr, Thomas, JD

Get full text

Contextualizing formal verification for systems security engineering by Shaked, A, Melham, T

Whole-cell phenotypic screening of Medicines for Malaria Venture Pathogen Box identifies specific inhibitors of Plasmodium falciparum late-stage development and egress by Patra, Alok Tanala, Hingamire, Tejashri, Belekar, Meenakshi A., Xiong, Aoli, Subramanian, Gowtham, Bozdech, Zbynek, Preiser, Peter, Shanmugam, Dhanasekaran, Chandramohanadas, Rajesh

“…We report a systematic, cellular phenotype-based antimalarial screening of the Medicines for Malaria Venture Pathogen Box collection, which facilitated the identification of specific blockers of late-stage intraerythrocytic development of Plasmodium falciparum First, from standard growth inhibition assays, we identified 173 molecules with antimalarial activity (50% effective concentration [EC50] ≤ 10 μM), which included 62 additional molecules over previously known antimalarial candidates from the Pathogen Box. …”
Get full text

Divergent acute versus prolonged pharmacological GLP-1R responses in adult β cell-specific β-arrestin 2 knockout mice by Bitsi, Stavroula, El Eid, Liliane, Manchanda, Yusman, Oqua, Affiong I., Mohamed, Nimco, Hansen, Ben, Suba, Kinga, Rutter, Guy A., Salem, Victoria, Jones, Ben, Tomas, Alejandra

“…Here, we have assessed in vivo glycemic responses to the pharmacological GLP-1R agonist exendin-4 in adult β cell-specific β-arrestin 2 knockout (KO) mice. KOs displayed a sex-dimorphic phenotype consisting of weaker acute responses that improved 6 hours after agonist injection. …”
Get full text

The prospective associations of 24-hour movement behaviors and domain-specific activities with executive function and academic achievement among school-aged children in Singapore by Padmapriya, Natarajan, Bernard, Jonathan Y., Tan, Sarah Yi Xuan, Chu, Anne H. Y., Goh, Claire Marie Jie Lin, Tan, Shuen Lin, Shek, Lynette P., Chong, Yap Seng, Tan, Kok Hian, Chan, Shiao-Yng, Yap, Fabian, Godfrey, Keith M., Lee, Yung Seng, Meaney, Michael J., Eriksson, Johan G., Tan, Chuen Seng, Law, Evelyn C., Müller-Riemenschneider, Falk

“…Objective: We investigated the prospective associations of accelerometer-measured 24 h-movement behaviors and domain-specific PA and SB with executive function and academic achievement among school-aged children in Singapore. …”
Get full text

Adenovirus-associated health risks for recreational activities in a multi-use coastal watershed based on site-specific quantitative microbial risk assessment by Kundu, Arti., McBride, Graham., Wuertz, Stefan.

“…We used site-specific quantitative microbial risk assessment (QMRA) to assess the probability of adenovirus illness for three groups of swimmers: adults with primary contact, children with primary contact, and secondary contact regardless of age. …”
Get full text
Get full text

Immuno-protective effect of commercial IBD vaccines against emerging novel variant infectious bursal disease virus in specific-pathogen-free chickens by Aliyu, Hayatuddeen Bako, Hamisu, Tasiu Mallam, Hair-Bejo, Mohd, Omar, Abdul Rahman, Ideris, Aini

“…Objective: This study examined the immune protection of immune-complex (Vaccine A) and attenuated live (Vaccine B) IBD vaccines in specific-pathogen-free (SPF) chickens against a novel Malaysian variant IBD virus (vaIBDV) challenge. …”
Get full text

Sequence- and structure-specific probing of RNAs by short nucleobase-modified dsRNA-binding PNAs incorporating a fluorescent light-up uracil analog by Krishna, Manchugondanahalli Shivakumar, Toh, Desiree-Faye Kaixin, Meng, Zhenyu, Ong, Alan Ann Lerk, Wang, Zhenzhang, Lu, Yunpeng, Xia, Kelin, Prabakaran, Mookkan, Chen, Gang

“…We have successfully developed nucleobase-modified dsRNA-binding PNAs (dbPNAs) to facilitate structure-specific and selective recognition of dsRNA over single-stranded RNA (ssRNA) and dsDNA regions at near-physiological conditions. …”
Get full text

Exploring the induction of preproinsulin-specific Foxp3+ CD4+ Treg cells that inhibit CD8+ T cell-mediated autoimmune diabetes by DNA vaccination by Stifter, Katja, Schuster, Cornelia, Schlosser, Michael, Boehm, Bernhard Otto, Schirmbeck, Reinhold

Get full text
Get full text

Incidence and mortality rates of 14 site-specific infectious diseases in 10 diverse areas of China: findings from China Kadoorie Biobank, 2006-2018 by Huang, R, Kartsonaki, C, Turnbull, I, Pei, P, Chen, Y, Liu, J, Du, H, Sun, D, Yang, L, Barnard, M, Lv, J, Yu, C, Chen, J, Li, L, Chen, Z, Bragg, F

“…The observed burden of, and disparities in, site-specific infections can inform targeted prevention efforts.…”

Expectation vs. reality: towards verification of psychological games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…In this paper, we start to bridge that gap, proposing methods to solve PGs and implementing them within PRISM-games, a formal verification tool for stochastic games. We discuss how to model these games, highlight specific challenges for their analysis and illustrate the usefulness of our approach on several case studies, including human behaviour in traffic scenarios.…”

Experimental verification of breeding performance of fast reactor blankets. by Wu, Shin-Shyong.

Get full text

Discriminative deep metric learning for face verification in the wild by Hu, Junlin, Lu, Jiwen, Tan, Yap Peng

“…Our method achieves very competitive face verification performance on the widely used LFW and YouTube Faces (YTF) datasets.…”
Get full text
Get full text

Robust text-independent speaker verification in environmental noise by Panda, Ashish

“…Automatic speaker verification has many potential applications in security, surveillance and access control. …”
Get full text

Experimental verification of acoustic communication along drill pipes by Lim, Eugene Shizheng.

Get full text

Gain design and verification of autopilot control loops for UVAs by Huang, Qian.

“…In the second part, verifications of designed autopilot system are implemented for both linear and non-linear simulation models. …”
Get full text

Experimental verification of heat and mass transfer in cargo simulation by Chong, Laurel Yun Ning

Get full text

Relative deficiency in interferon-γ-secreting CD4+ T cells is strongly associated with poorer COVID-19 vaccination responses in older adults by Ho, Vanda W. T., Boon, Low Heng, Cui, Jianzhou, Juequn, Zhou, Shunmuganathan, Bhuvaneshwari, Gupta, Rashi, Tan, Nikki Y. J., Qian, Xinlei, Purushotorman, Kiren, Fong, Siew-Wai, Renia, Laurent, Ng, Lisa F. P., Angeli, Veronique, Chen, Jinmiao, Kennedy, Brian K., Ong, Catherine W. M., Macary, Paul A.

Subjects: Get full text