Probabilistic verification beyond context-freeness by Li, G

“…Recent advancements, including extensions to higher-order grammars like Probabilistic Higher-Order Recursion Schemes (PHORS), offer enhanced expressiveness but introduce significant challenges, such as the undecidability of Almost Sure Termination (AST). …”

Electronic structure of topological quantum materials probed by angle-resolved photoelectron spectroscopy by Schröter, N

“…Our ARPES studies of those films reveal the existence of multiple Dirac-like bands that can be tuned by changing the film thickness.…”

Lithological controls of the Mg isotope composition of the Lena River across seasons and its impact on the annual isotope flux to the Arctic Ocean by Mavromatis, V, Porcelli, D, Andersson, PS, Korets, MA, Pokrovsky, OS

“…This number coincides with the value of summer baseflow reported in earlier works. Therefore, like in the recently studied Yenisey River basin, the Mg isotope signature of the Lena River water likely stems from a mixture of carbonate (−2.0 ≥ δ²⁶Mg ≥ −2.5 ‰) and silicate (0 ≥ δ²⁶Mg ≥ −0.2 ‰) rocks in its watershed. …”

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. …”

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

大时代小人物的命运: 论新加坡教育改革下华校师生对语言的情意结 = Fate of individuals in a revolutionary era: a study on the language attachment of Chinese school teachers and students under Singapore's education... by 李瑞君 Lee, Rui Jun

Get full text

Conformational design characterization of a truncated diamine oxidase by Razali, Nur Nadia

“…By maintaining the native protein’s pH profile, the mini protein was highly active at 40 °C and stable at pH 7, with a half-life of 80 min at 50 °C. Results from the kinetic studies showed that the Km value for native diamine oxidase was 0.274 mM and 1.3 mM for the mini protein. …”
Get full text

Tropical peat subsidence, nutrient losses and oil palm seedling growth due to different water table depths by Abubakar, Safiyanu Hashim

“…The system was made of exchange chamber of air pump with the flow rate ranges between 1 and 3.5 L min-1, exchange chamber of (2670 mL plastic container) and a trap (250 mL Erlenmeyer flask). …”
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