Probabilistic verification beyond context-freeness by Li, G

“…Originating from the Restricted Tree-Stack Automaton (rTSA), the rPTSA model inherits broad connections to various fields, including linguistics and higher-order verification. Building on these connections, the research also introduces Probabilistic Additive HORS (PAHORS), which incorporates an affineness constraint and pair-product structures into PHORS.…”

Translation of culture-specific items in foreign publicity texts : a case study of a bite of China II episode 1 & 2 by Huang, Jingjing

“…The most obvious differences in cultures exist in the culture specific items (CSIs), which leads to complexities in transferring the semantic meanings and cultural concepts from one culture to another. …”
Get full text

The role of dendritic cells in determining the breadth and epitope specificity of the initial CD8+ T cell response during acute HIV-1 infection by Partridge, T

“…The earliest CD8⁺ T cell responses decrease in magnitude as viraemia begins to decline, and are followed by delayed expansion of subsequent waves of responses of broader epitope-specificity. In this thesis, the hypotheses that prevalent presentation of Nef-derived epitopes by dendritic cells (DCs) favours priming of Nef-biased CD8⁺ T cell responses in AHI, and that impairments in DC function after the first responses are primed delay expansion of responses of additional specificities, were explored. …”

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

Biodiesel purification from cellulose-containing materials by Lim, Leonard Chin Boon.

“…With the overall intention of providing a low cost biodiesel purification method so that rural communities can be empowered with the benefits of a clean and sustainable source of energy, the feasibility of using various cellulose-containing materials,namely saw dust, wood shavings, orange peel and coconut husk, for biodiesel purification was qualitatively examined. …”
Get full text

Incorporation of aquaporins into polymeric membranes for water purification by Shen, Wenming

“…Biomimetic membrane desalination is proposed as the most promising among various technologies of water purification, using the aquaporin as robust water channel with high transport efficiency. …”
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

Effects of purification on the hydrogen production in biomass gasification process by Muhammad Bilal, Muslim, Suriyati, Saleh, Noor Asma Fazli, Abdul Samad

“…The previous research did not focus on hydrogen gas purification produced from biomass gasification process. …”
Get full text

Optimising expression and purification of Dengue soluble E protein by Poh, Nina Yong Xin

“…This study explores the significance of expression and purification of soluble dengue Envelope (E) protein which has strong applications in viral biology, vaccine development, and therapeutic strategies. …”
Get full text

Production and purification of protein nanocages displaying binding domains by Lam, Ngo Cheung

“…Seven gene fusions were designed and constructed, of which four were expressed in E. coli as soluble recombinant proteins. Purification using heat treatment, hydrophobic interaction chromatography and ion exchange chromatography were attempted. …”
Get full text

Development of a vacuum distillation system for water purification by Low, Seow Chay, Jeyaseelan, S., Tay, Joo Hwa

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