19 papers · ranked by Valyu relevance
Marcella Bonazzoli, Gabriele Ciaramella, Ilario Mazzieri
The Unmapped Tent Pitching algorithm (UTP) is a novel space-time domain decomposition technique for wave-propagation problems, first introduced in [[2]] for the parallel solution of the homogeneous one-dimensional wave equation and later extended in [[1]] to three-dimensional space domains. It shares the idea of the…
Andromeda Liñán-Rico, Fernando Ochoa-Cortes, Alix Zuleta-Alarcon, Mazin Alhaj + 6 more
Background: Enterochromaffin cells (EC) synthesize and release 5-HT and ATP to trigger or modulate gut neural reflexes and transmit information about visceral/pain sensation. Alterations in 5-HT signaling mechanisms may contribute to the pathogenesis of IBD or IBS, but the pharmacologic or molecular mechanisms…
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock + 1 more
'Frank Zeyda'] The growing complexity and diversity of models used for engineering dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and presentations, must be integrated. Such an integration requires unified semantic foundations for the various notations, and…
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Reactive programs combine traditional sequential programming constructs with primitives to allow communication with other concurrent agents. They are ubiquitous in modern applications, ranging from components systems and web services, to cyber-physical systems and autonomous robots. In this paper, we present an…
Dursun Gündüz, Christian Tanislav, Daniel Sedding, Mariana Parahuleva + 5 more
'Mariana Parahuleva' 'Sentot Santoso' 'Christian Troidl' 'Christian W. Hamm' 'Muhammad Aslam' 'Denise Jackson'] Platelet P2Y12 is an important adenosine diphosphate (ADP) receptor that is involved in agonist-induced platelet aggregation and is a valuable target for the development of anti-platelet drugs. Here we…
Aloa Lamarca, Alejandro Gella, Tania Martiañez, Mònica Segura + 5 more
'Joana Figueiro-Silva' 'Carmen Grijota-Martinez' 'Ramón Trullas' 'Núria Casals' 'Mirjam M. Zegers'] In response to peripheral nerve injury, Schwann cells adopt a migratory phenotype and modify the extracellular matrix to make it permissive for cell migration and axonal re-growth. Uridine 5′-triphosphate (UTP) and other…
Simon Foster, Ana Cavalcanti, Samuel James Canham, Jim Woodcock + 1 more
'Frank Zeyda'] Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions and guarantees of each component. In this paper, we describe a unifying theory for reactive design contracts that provides the…
Marcella Bonazzoli, Gabriele Ciaramella, Ilario Mazzieri
The Unmapped Tent Pitching (UTP) algorithm is a space-time domain decomposition method for the parallel solution of wave-type problems. We have recently extended UTP to heterogeneous settings and compared, at the continuous level, the computational cost of different space-time decompositions. In this note, we report…
Qian Lou, Xin Liang, Jiaqi Xue, Yancheng Zhang + 2 more
Large Language Models Authors: ['Qian Lou' 'Xin Liang' 'Jiaqi Xue' 'Yancheng Zhang' 'Rui Xie' 'Mengxin Zheng'] It is imperative to ensure the stability of every prediction made by a language model; that is, a language's prediction should remain consistent despite minor input variations, like word substitutions. In this…
Gisela Pöll, Shuang Li, Uli Ohmayer, Thomas Hierlmeier + 3 more
'Philipp Milkereit' 'Jorge Perez-Fernandez' 'Denis Lafontaine'] Eukaryotic ribosome biogenesis is a multistep process involving more than 150 biogenesis factors, which interact transiently with pre-ribosomal particles to promote their maturation. Some of these auxiliary proteins have been isolated in complexes found…
Francisco G Vázquez-Cuevas, Erika P Zárate-Díaz, Edith Garay, Rogelio O Arellano
'Rogelio O Arellano'] Background Purinergic receptors are expressed in the ovary of different species; their physiological roles remain to be elucidated. UTP-sensitive P2Y receptor activity may regulate cell proliferation. The aim of the present work was to study the functional expression of these receptors in…
Steffen Jockusch, Chuanjuan Tao, Xiaoxu Li, Thomas K. Anderson + 5 more
SARS-CoV-2, a member of the coronavirus family, is responsible for the current COVID-19 worldwide pandemic. We previously demonstrated that five nucleotide analogues inhibit the SARS-CoV-2 RNA-dependent RNA polymerase (RdRp), including the active triphosphate forms of Sofosbuvir, Alovudine, Zidovudine, Tenofovir…
Aaron M. Fleming, Cynthia J. Burrows
Direct RNA sequencing with a commercial nanopore platform was used to sequence RNA containing uridine (U), pseudouridine (Ψ), or N1-methylpseudouridine (m^1^Ψ) generated by in vitro transcription (IVT). The base calling data as well as the ionic currents and dwell times for U, Ψ, or m^1^Ψ as they translocated through…
Qianman Peng, Shenqi Qian, Saud Alqahtani, Peter Panizzi + 1 more
Recently we reported that in human coronary artery endothelial cells, activation of the P2Y2 receptor (P2Y2R) induces up-regulation of tissue factor (TF), a vital initiator of the coagulation cascade. However, others have shown that monocyte TF is more critical than endothelial TF in provoking a pro-thrombotic state.…
Ruoxi Ding, Dianqi Yuan, Xiaohan Zhu, Yushan Du + 1 more
The descriptive statistics are presented in [S2045796026100547_tab1]. The pooled sample included 17 079 observations in total, with 6 623 before and 10 456 after the implementation of UTP. The mean age was 31.89 (SD: 5.07), 51.50% lived in urban areas, and 42.97% had a junior high or high school degree. The family…
Mason A. McCool, Carson J. Bryant, Hannah Huang, Lisa M. Ogawa + 5 more
The main components of the essential cellular process of eukaryotic ribosome biogenesis are highly conserved from yeast to humans. Among these, the transcription-U3 Associated Proteins (t-UTPs) are a small subunit processome subcomplex that coordinate the first two steps of ribosome biogenesis in transcription and…
Dylan Plaskon, Kate Henderson, Lindsey Felth, Cristen Molzahn + 4 more
In transcription initiation, specific contacts between RNA polymerase (RNAP) and promoter DNA are disrupted as the RNA-DNA hybrid advances into the cleft, resulting in escape of RNAP. From the pattern of large and small rate constants for steps of initiation at λP_R_ promoter at 19°C, we proposed that in-cleft…
Katja F. Winkler, Lena Panse, Caroline Maiwald, Josefine Hayeß + 4 more
Enzymes from thermophilic organisms are interesting biocatalysts for a wide variety of applications in organic synthesis, biotechnology and molecular biology. Next to an increased stability at elevated temperatures, they were described to show a wider substrate spectrum than their mesophilic counterparts. To identify…
Cristina Guillen Diaz, Jehlan White, Giovanni Sarnelli, Jiao Shen + 6 more
The primary plasticizers for the world’s most plasticized polymer, poly(vinyl chloride) (PVC), are organic phthalates, this despite being categorized as probable human carcinogens by the EPA. Di-2-ethylhexyl phthalate (DEHP or DOP) is such a typical PVC plasticizer. We sought to find an alternative plasticizer that…