Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds by Zaiser, F

“…Crucially, these bounds are fully automated and require no user-provided auxiliary information like loop invariants. Thus they can serve as a ground truth to verify and debug approximate inference. …”

The paradoxes of wind power by Keay, M

“…Wind is argued by its proponents to be nearly competitive with fossil sources – and fully competitive once environmental externalities like CO2 emissions are taken into account in prices. …”

Comparative effectiveness of sodium-glucose cotransporter-2 inhibitors for new-onset gastric cancer and gastric diseases in patients with type 2 diabetes mellitus: a population-bas... by Chou, OHI, Chauhan, VK, Chung, CTS, Lu, L, Lee, TTL, Ng, ZMW, Wang, KKW, Lee, S, Liu, H, Pang, RTK, Kaewdech, A, Cheung, BMY, Tse, G, Zhou, J

“…<p><strong>Objective: </strong>To compare the risks of gastric cancer and other gastric diseases in patients with type-2 diabetes mellitus (T2DM) exposed to sodium-glucose cotransporter 2 inhibitors (SGLT2I), dipeptidyl peptidase-4 inhibitors (DPP4I) or glucagon-like peptide-1 receptor agonists (GLP1a).</p> <p><strong>Design: </strong>This was a population-based cohort study of prospectively collected data on patients with T2DM prescribed SGLT2I, DPP4I or GLP1a between January 1st 2015 and December 31st 2020 from Hong Kong. …”

A comprehensive study of laser irradiated hydrothermally synthesized 2D layered heterostructure V2O5(1−x)MoS2(x) (X = 1–5%) nanocomposites for photocatalytic application by Jameel, Muhammad Hasnain, Yasin, Aqeela, Samia, Mayzan, Mohd Zul Hilmi, Roslan, Muhammad Sufi, Esa, Fahmiruddin, Agam, Mohd Arif, Mohd Zaid, Mohd Hafiz, Althubeiti, Khaled, Aljohani, Mohammed

“…Furthermore, dielectric findings like the complex dielectric function, tangent loss, electrical conductivity, quality factors, and impedance of V2O5(1−x)MoS2(x) (X = 1–5% w/w) nanocomposites are studied. …”
Get full text

ranscriptome profile and gene expression during different ovarian maturation stages of Macrobrachium rosenbergii (De Man, 1879) by Mardhiyyah, Mohd Pauzi, Zakaria, Muhammad Faiz, Amin-Safwan, Adnan, Nur-Syahirah, Mamat, Sung, Yeong Yik, Ma, Hongyu, Ikhwanuddin, Mhd

“…Nevertheless, some M. rosenbergii ovarian maturation-related genes, such as small ubiquitin-like modifier (SUMO)-activating enzyme subunit 1, E3 ubiquitin-protein ligase RNF25, and neuroparsin, were first identified in this study. …”
Get full text

Inhibition of endoplasmic reticulum stress using 4-phenyl butyrate mitigates osteoporosis in a mouse model of hindlimb suspension by Al-Daghestani, Hiba Saad Subhi

“…The tibiae bones of the untreated HLS group demonstrated lower osteocyte density, numerous multinucleated osteoclast-like cells, and adipocyte infiltration within the marrow, while micro-CT revealed lower bone volume fraction, reduced trabecular thickness, along with fewer trabeculae striations with increased trabecular separation. …”
Get full text

Using brain structural neuroimaging measures to predict psychosis onset for individuals at clinical high-risk by Zhu, Yinghan, Maikusa, Norihide, Radua, Joaquim, Sämann, Philipp G., Fusar-Poli, Paolo, Agartz, Ingrid, Andreassen, Ole A., Bachman, Peter, Baeza, Inmaculada, Chen, Xiaogang, Choi, Sunah, Corcoran, Cheryl M., Ebdrup, Bjørn H., Fortea, Adriana, Garani, Ranjini Rg, Glenthøj, Birte Yding, Glenthøj, Louise Birkedal, Haas, Shalaila S., Hamilton, Holly K., Hayes, Rebecca A., He, Ying, Heekeren, Karsten, Kasai, Kiyoto, Katagiri, Naoyuki, Kim, Minah, Kristensen, Tina D., Kwon, Jun Soo, Lawrie, Stephen M., Lebedeva, Irina, Lee, Jimmy, Loewy, Rachel L., Mathalon, Daniel H., McGuire, Philip, Mizrahi, Romina, Mizuno, Masafumi, Møller, Paul, Nemoto, Takahiro, Nordholm, Dorte, Omelchenko, Maria A., Raghava, Jayachandra M., Røssberg, Jan I., Rössler, Wulf, Salisbury, Dean F., Sasabayashi, Daiki, Smigielski, Lukasz, Sugranyes, Gisela, Takahashi, Tsutomu, Tamnes, Christian K., Tang, Jinsong, Theodoridou, Anastasia, Tomyshev, Alexander S., Uhlhaas, Peter J., Værnes, Tor G., van Amelsvoort, Therese A. M. J., Waltz, James A., Westlye, Lars T., Zhou, Juan H., Thompson, Paul M., Hernaus, Dennis, Jalbrzikowski, Maria, Koike, Shinsuke

“…CHR-PS- and CHR-UNK individuals were more likely to be classified as HC compared to CHR-PS+ (classification rate to HC: CHR-PS+, 30%; CHR-PS-, 73%; CHR-UNK, 80%). …”
Get full text

Nanoscale Origins of Thermal Transport Phenomena for Hybrid Layered Perovskites by Dahod, Nabeel S.

“…This probe identifies the persistence of bulk-like phonons even in the atomically thin 2D LHPs, in addition to identifying coherent acoustic phonons in lead iodide 2D LHPs potentially capable of carrying thermal energy across the organic-inorganic interfaces without scattering. …”
Get full text

Exploring the utility of silane cross-linkers for synthesis of superhydrophobic antibacterial fabrics by Agrawal, Neha

“…Functionalization of the textiles with additional properties like superhydrophobicity and antibacterial activity can greatly improve their performance, especially in clothing and healthcare sectors. …”
Get full text
Get full text

Postprandial glucose, insulin and incretin responses differ by test meal macronutrient ingestion sequence (pattern study) by Sun, Lijuan, Goh, Hui Jen, Govindharajulu, Priya, Leow, Melvin Khee-Shing, Henry, Christiani Jeyakumar

“…Results: There were significant food intake sequence × time interaction effects on plasma glucose, insulin, glucose-dependent insulinotropic polypeptide (GIP) and glucagon-like peptide-1 (GLP-1) concentrations (P < 0.001). …”
Get full text

A general method for the synthesis of hybrid nanostructures using MoSe2 nanosheet-assembled nanospheres as templates by Han, Shikui, Zhou, Kai, Yu, Yifu, Tan, Chaoliang, Chen, Junze, Huang, Ying, Ma, Qinglang, Chen, Ye, Cheng, Hongfei, Zhou, Weijia, Zhang, Hua

Get full text

Towards automated damage detection for in-situ remanufacturing by Nguyen, Keith Wei Liang

“…Remanufacturing is the restoration of used products to a like-new condition, with warranty matching the original product. …”
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

“…Compared to DNA and RNA, peptide nucleic acids (PNAs) are chemically stable and have a neutral peptide-like backbone, and thus, they show significantly enhanced binding to natural nucleic acids. …”
Get full text

Strain-relaxed GeSn-on-insulator (GeSnOI) microdisks by Burt, Daniel, Joo, Hyo-Jun, Jung, Yongduck, Kim, Youngmin, Chen, Melvina, Huang, Yi-Chiau, Nam, Donguk

Get full text

Hodge theory and its applications to molecular data analysis by Koh, Ronald Joon Wei

“…Furthermore, disruption of TAD boundaries are associated with several diseases like cancer. Nevertheless, there are currently many methods to call TADs, all of which are not based on a rigorous topological mathematical model. …”
Get full text

Whence came these plants most foul? Phylogenomics and biogeography of Lowiaceae (Zingiberales) by Niissalo, Matti A., Gardner, Elliot M., Khew, Gillian S., Šída, Otakar, Poulsen, Axel Dalberg, Leong-Škornicková, Jana

“…They are known for possessing orchid-like flowers that are smelly, apparently mimicking dead animals, feces, or mushrooms. …”
Get full text

Waffle-inspired hydrogel-based macrodevice for spatially controlled distribution of encapsulated therapeutic microtissues and pro-angiogenic endothelial cells by Pham, Chi H. L., Zuo, Yicong, Chen, Yang, Tran, Nam M., Nguyen, Dang T., Dang, Tram T.

“…The waffle-inspired grid-like micropattern of the "lock" component effectively entraps insulin-secreting microtissues in controlled locations while the interlocking design places them in a co-planar spatial arrangement with close proximity to vascular-inductive cells. …”
Get full text

Molecular recognition in protein-DNA assemblies by Davey, Curt Alexander

“…This holds significance for genomic activities, like retroviral integration, that exploit extreme distortion of nucleosomal DNA, and provides additional evidence that nucleosomal DNA is rich in conformational character, which we can potentially take advantage of. …”
Get full text

COVID-19 and bilingual children's home language environment: digital media, socioeconomic status, and language status by Sun, He, Tan, Justina, Chen, Wenli

“…The current study focuses on English-Mandarin bilingual children in Singapore and would like to explore (1) whether their conventional and digital media language environments have been affected by the COVID-19 pandemic and (2) whether the societal status of a language and familial socioeconomic status (SES) would affect bilingual children's conventional and digital media input. …”
Get full text

On-surface stereochemical characterization of a highly curved chiral nanographene by noncontact atomic force microscopy and scanning tunneling microscopy by Zhong, Qigang, Barát, Viktor, Csókás, Dániel, Niu, Kaifeng, Górecki, Marcin, Ghosh, Animesh, Björk, Jonas, Ebeling, Daniel, Chi, Lifeng, Schirmeisen, André, Stuparu, Mihaiela Corina

“…The molecule appears to be shaped like a propeller in which the concave side of the bowls face away from the connected [5]helicene motif. …”
Get full text