Results 71 to 80 of about 88,506 (298)

Semantics of a Typed Algebraic Lambda-Calculus

, 2010
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space.
Andrzej Filinski, André van Tonder, Benjamin C. Pierce, Benoît Valiron, Elham Kashefi, Eugenio Moggi, Fr'ed'eric Blanqui, Franco Barbanera, Gordon D. Plotkin, Gregory M. Kelly, Henk P. Barendregt, Jean-Yves Girard, Joachim Lambek, Lionel Vaux, Pablo Arrighi, Pablo Arrighi, Peter Selinger, Prakash Panangaden, S. Barry Cooper, Thomas Ehrhard, Val Breazu-Tannen   +20 more
core   +2 more sources

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Methuosis Inducer SGI‐1027 Cooperates with Everolimus to Promote Apoptosis and Pyroptosis by Triggering Lysosomal Membrane Permeability in Renal Cancer

Advanced Science
The mTOR inhibitor everolimus has been approved as a sequential or second‐line therapy for renal cell carcinoma (RCC). However, the development of drug resistance limits its clinical applications.
Yu Luo, Bing Guan, Xiaoqi Deng, Peide Bai, Haichao Huang, Chaohao Miao, Anran Sun, Zhipeng Li, Dianqiang Yang, Xuegang Wang, Zhiqiang Shao, Yulong Wu, Jinchun Xing, Bin Chen, Tao Wang   +14 more
doaj   +1 more source

Gallstone ileus with a biliodigestive fistula

Journal of the Belgian Society of Radiology, 2013
Background: A 34-year-old woman with breast cancer, metastasized to bone and brain, was admitted to our hospital with abdominal discomfort, nausea and constipation. Physical examination revealed a diffuse tender abdomen without bowel sounds.
LJ Schijf, D Van der Vlies, AG Aalbers, A Bruining   +3 more
doaj   +1 more source

Classification of bicovariant differential calculi on the Jordanian quantum groups GL_{g,h}(2) and SL_{h}(2) and quantum Lie algebras

, 1998
We classify all 4-dimensional first order bicovariant calculi on the Jordanian quantum group GL_{h,g}(2) and all 3-dimensional first order bicovariant calculi on the Jordanian quantum group SL_{h}(2).
Abdesselam B, Aizawa N, Andrew D Jacobs, Aneva B L, Arutuynov G E, Ballesteros A, Bergman G, Bremner M, Bresser K, Brzezinski T, Chari V, Cho S, Connes A, Connes A, Delius G W, Delius G W, Demidov E E, Demidov E E, Donin J, Faddeev L D, Flanders H, Gurevich D I, Hearn A C, Heckenberger I, J F Cornwell, Jurco B, Karimpour V, Karimpour V, Koszul J L, Lazarev A Yu, Madore J, Majid S, Maltsiniotis G, Manin Yu I, Manin Yu I, McConnell J C, Mukhin E E, Müller Hoissen F, Müller Hoissen F, Müller Hoissen F Differential calculi on quantum (sub-)groups, Müller-Hoissen F, Ohn C, Reshetikhin N Yu, Schirrmacher A, Schmüdgen K, Schmüdgen K, Segal I, Van der Jeugt J, Woronowicz S L, Woronowicz S L, Zakrzewski S   +50 more
core   +1 more source

Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions

FEBS Letters, EarlyView.
We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva, Puspa Kunwar, Md Ibnul Rifat Rahman, Joanna Koryo Kwao, Nathan Lehman, Zihan Zhang, Trenton Paul, Claire Cheng, Nicholas Truex, Hui‐Ting Lee, Jun Zhang   +10 more
wiley   +1 more source

A Histomorphological Pattern of Gallbladder Lesions in a Tertiary Hospital in Southwestern Nigeria: A Retrospective Descriptive Study [PDF]

Rwanda Medical Journal, 2021
BACKGROUND: The gallbladder is one of the most common specimens encountered in the surgical pathology laboratory, and gallstone related diseases are among the most common medical problems requiring surgical intervention.
M. A. Ajani et al.
doaj  

A Framework for Program Development Based on Schematic Proof [PDF]

, 1993
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be
Basin, David, Bundy, Alan, Kraan, Ina, Matthews, Sean   +3 more
core   +1 more source

Structural instability impairs function of the UDP‐xylose synthase 1 Ile181Asn variant associated with short‐stature genetic syndrome in humans

FEBS Letters, EarlyView.
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li, Pedro A. Sánchez‐Murcia, Bernd Nidetzky   +2 more
wiley   +1 more source

A vesicocutaneous fistula secondary to bladder calculi in a patient with spina bifida

Journal of Surgical Case Reports, 2010
We present a rare case of a vesicocutaneous fistula secondary to two large bladder calculi in a patient with spina bifida. A 62 year old lady presented with swelling of her right thigh and a calcified mass protruding through the subcutaneous tissues of ...
Jonathan D Horsnell, Richard B Kinder
doaj