Results 141 to 150 of about 560,921 (309)

Consistent Subtyping for All

, 2020
Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha serves as a guideline for designing gradual type systems with subtyping. Polymorphic types a la System F also induce
Schrijvers, Tom, Bi, Xuan, Schrijvers, T, XIE, N, C. D. S. Oliveira, Bruno, Dos Santos Oliveira, BCDS, Xie, Ningning, BI, X   +7 more
core   +1 more source

Extracellular vesicle lipidomics liquid biopsy reveals systemic and tumor microenvironment metabolic reprogramming in ovarian cancer

Molecular Oncology, EarlyView.
Extracellular vesicle (EV) lipidomic profiling of plasma and ascites from patients with high‐grade serous ovarian cancer and of ovarian cancer cell lines reveals enrichment of triglycerides (TGs), diacylglycerols (DGs), phosphatidylcholine (PCs), sphingomyelins (SMs), reflecting tumor metabolic reprogramming.
Shikha Rani, Dominic Guanzon, Andrew Lai, Katherin Scholz‐Romero, Sarah Reed, Edita Ritmejeryte, Rohan Lourie, Naven Chetty, Kaltin Ferguson, Carlos Salomon   +9 more
wiley   +1 more source

Prevalence and methodologies for detection, characterization and subtyping of Listeria monocytogenes and L. ivanovii in foods and environmental sources

, 2017
Listeria monocytogenes, one of the most important foodborne pathogens, can cause listeriosis, a lethal disease for humans. L. ivanovii, which is closely related to L.
Jin-Qiang Chen, Patrick M. Regan, P. Laksanalamai, S. Healey, Zonglin Hu   +4 more
semanticscholar   +1 more source

Computational monads and subtyping

, 2008
Subtyping is an important concept and used in many programming languages. One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: Subtypings A ≤ B are interpreted via conversion functions A → B ...

core  

Predictive and prognostic biomarkers of Bacillus Calmette‐Guérin therapy failure in bladder cancer patients: A systematic review

Molecular Oncology, EarlyView.
High‐risk bladder cancer is typically treated with Bacillus Calmette‐Guérin (BCG), but 30–40% of patients relapse. No FDA‐ or CE‐approved biomarkers currently predict or prognosticate BCG failure. We systematically reviewed the literature and identified 72 eligible studies, revealing several promising biomarkers associated with BCG treatment response ...
Rui Ribeiro‐Pereira, Ana Teixeira‐Marques, Rui Freitas, João A Carvalho, Sara Monteiro‐Reis, Giorgio I. Russo, Rui Henrique, Carmen Jerónimo   +7 more
wiley   +1 more source

Inheritance-Based Subtyping

, 1999
this paper, we explore why inheritance-based subtyping relations are useful and present a formal accounting of a small language that supports such subtyping relations.
Kathleen Fisher, John Reppy
core  

NAPRT loss promotes lung tumor initiation and growth through AKT signaling independently of NAD+ biosynthesis

Molecular Oncology, EarlyView.
Loss of NAPRT promotes lung tumor initiation and growth through a noncanonical mechanism, independent of its role in NAD+ biosynthesis. Mechanistically, NAPRT depletion activates the mTORC2‐driven AKT/β‐catenin signaling axis to enhance clonogenic and invasive phenotypes. Furthermore, lung‐specific Naprt deletion significantly increases tumor burden in
Myung Joon Oh, Ji Yun Jang, Yoon Jeon, Gi‐Cheon Kim, Hwanho Lee, Jooyoung Lee, Ju‐Hwa Kim, Hakhyun Kim, Minjee Kim, Ho‐Keun Kwon, Ho Lee, Hyun Seok Kim   +11 more
wiley   +1 more source

Clustering-derived clinical subtypes and outcomes of chronic kidney disease in patients with diabetes: a multicenter cohort study

Frontiers in Endocrinology
BackgroundChronic kidney disease (CKD) with diabetes is a heterogeneous condition with multiple underlying causes. However, no classification system appropriately captures the diversity of patients with CKD and diabetes or provides prognostic insights ...
Jeong-Yeun Lee, Hyunjee Kim, Hyunjee Kim, Dong Keon Yon, Dong Keon Yon, Dong Keon Yon, Jung Pyo Lee, Sang Youl Rhee, Sang Youl Rhee, Soie Kwon, Seokwoo Park, Yaerim Kim, Hyeon Seok Hwang, Hyeon Seok Hwang   +13 more
doaj   +1 more source

Semantic Subtyping for the π-Calculus

, 2008
Subtyping relations for the #-calculus are usually defined in a syntactic way, by means of structural rules.
Daniele Varacca, Rocco De Nicola, Giuseppe Castagna   +2 more
core  

Regulation of the lncRNA NEAT1 by p53‐ΔNp63 crosstalk modulates the DNA damage response and therapeutic efficacy in HNSCC

Molecular Oncology, EarlyView.
In head and neck squamous cell carcinoma (HNSCC) p53 and p63 exert opposite roles on the transcription regulation of the lncRNA NEAT1. Under basal conditions, p53 levels are low and p63 represses NEAT1 expression. Upon genotoxic stress, p53 is rapidly induced, displacing p63 from the NEAT1 promoter leading to NEAT1 transcriptional activation and ...
Sara De Domenico, Veronica La Banca, Silvia D'Amico, Stefano Scalera, Sara Nicolai, Angelo Peschiaroli   +5 more
wiley   +1 more source