Results 101 to 110 of about 147,549 (388)

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

Characterizing the salivary RNA landscape to identify potential diagnostic, prognostic, and follow‐up biomarkers for breast cancer

Molecular Oncology, EarlyView.
This study explores salivary RNA for breast cancer (BC) diagnosis, prognosis, and follow‐up. High‐throughput RNA sequencing identified distinct salivary RNA signatures, including novel transcripts, that differentiate BC from healthy controls, characterize histological and molecular subtypes, and indicate lymph node involvement.
Nicholas Rajan, Irina Primac, Emre Etlioglu, Laurens Debruyne, Ann Janssen, Magy Sallam, Kevin Tabury, Roel Quintens, Wiebren Tjalma, Mohammed Abderrafi Benotmane   +9 more
wiley   +1 more source

Bridging the gap: Multi‐stakeholder perspectives of molecular diagnostics in oncology

Molecular Oncology, EarlyView.
Although molecular diagnostics is transforming cancer care, implementing novel technologies remains challenging. This study identifies unmet needs and technology requirements through a two‐step stakeholder involvement. Liquid biopsies for monitoring applications and predictive biomarker testing emerge as key unmet needs. Technology requirements vary by
Jorine Arnouts, Senada Koljenović, Elise Daems, Karolien De Wael, Marc Peeters, Léon C. van Kempen, Greetje Vanhoutte, Karen Zwaenepoel, Timon Vandamme   +8 more
wiley   +1 more source

Connections on locally trivial quantum principal fibre bundles

, 2000
Following the approach of Budzy\'nski and Kondracki, we define covariant differential algebras and connections on locally trivial quantum principal fibre bundles.
Brzezinski, Dirk Calow, Doplicher, Doplicher, Hajac, Klimek, Müller, Rainer Matthes, Schmüdgen, Schneider, Woronowicz   +10 more
core   +1 more source

Adenosine‐to‐inosine editing of miR‐200b‐3p is associated with the progression of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira, Anna Skwarska, Karolina Chwialkowska, Agnieszka Ostrowska, Gabriela Sokolowska, Anna Zeller, Anna Erol, Andrzej Eljaszewicz, Bartosz Hanczaruk, Anna Michalska‐Falkowska, Agnieszka Tarasik, Joanna Reszec‐Gielazyn, Pawel Knapp, Marcin Moniuszko, Adam Kretowski   +14 more
wiley   +1 more source

Pulmonary alveolar microlithiasis

Lung India, 2013
Pulmonary alveolar microlithiasis (PAM) is a rare, chronic lung disease with bilateral intra-alveolar calcium and phosphate deposition throughout the lung parenchyma with predominance to lower and midzone.
Surender Kashyap, Prasanta R Mohapatra
doaj   +1 more source

Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

, 2011
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms.
Alejandro Díaz-Caro, Alejandro Díaz-Caro, Christine Tasson, Elaine Pimentel, Henk P. Barendregt, Jean-Louis Krivine, Jean-Yves Girard, John C. Reynolds, Lionel Vaux, Lionel Vaux, Mauro Jaskelioff, Michele Pagani, Michele Pagani, Pablo Arrighi, Pablo Arrighi, Pablo Arrighi, Pablo Buiras, Simona Ronchi della Rocca, TeReSe, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard   +22 more
core   +4 more sources

Renal function changes after percutaneous nephrolithotomy in patients with renal calculi with a solitary kidney compared to bilateral kidneys [PDF]

, 2018
Xiaolei Shi, Yonghan Peng, Ling Li, Xiao Li, Qi Wang, Wei Zhang, Hao Dong, Rong Shen, Chaoyue Lu, Min Liu, Xiaofeng Gao, Yinghao Sun   +11 more
openalex   +1 more source

Emerging role of ARHGAP29 in melanoma cell phenotype switching

Molecular Oncology, EarlyView.
This study gives first insights into the role of ARHGAP29 in malignant melanoma. ARHGAP29 was revealed to be connected to tumor cell plasticity, promoting a mesenchymal‐like, invasive phenotype and driving tumor progression. Further, it modulates cell spreading by influencing RhoA/ROCK signaling and affects SMAD2 activity. Rho GTPase‐activating protein
Beatrice Charlotte Tröster, Melanie Kappelmann‐Fenzl, Anja Katrin Bosserhoff, Nicole Rachinger   +3 more
wiley   +1 more source

Cytoprotective role of the aqueous extract of Terminalia chebula on renal epithelial cells

International Brazilian Journal of Urology, 2012
PURPOSE: Kidney stone is one of the most prevalent diseases worldwide. Calcium oxalate (CaOx) has been shown to be the main component of the majority of stones formed in the urinary system of the patients with urolithiasis.
S. Tayal, S. Duggal, P. Bandyopadhyay, A. Aggarwal, S. Tandon, C. Tandon   +5 more
doaj   +1 more source