Results 121 to 130 of about 1,921,425 (303)
Solution of Volterra partial integral equations with the use of differential equations
, 2020 We consider Volterra partial differential equations with two and three independent variables and reduce them to Goursat problems, whose solutions are constructed by the Riemann method. We single out cases in which the corresponding Riemann functions (and
Zhegalov V.
core
Gevrey hypoellipticity for a class of kinetic equations
, 2011 In this paper, we study the Gevrey regularity of weak solutions for a class of linear and semi-linear kinetic equations, which are the linear model of spatially inhomogeneous Boltzmann equations without an angular ...
Xu, Chao-Jiang +3 more
core +1 more source
Molecular Oncology, EarlyView.Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park +6 more
wiley +1 more source
Molecular Oncology, EarlyView.Detecting circulating tumor cells (CTCs) in blood before surgery may help predict outcomes in patients with head and neck squamous cell carcinoma (HNSCC). Here, we show when combined with tumor size and lymph node involvement from routine imaging, CTC status identifies high‐risk patients with poorer survival—offering a simple, minimally invasive tool ...
Susanne Flach +9 more
wiley +1 more source
An Equational Metalogic for Monadic Equational Systems
Theory and Applications of Categories, 2013 The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences.
openaire +3 more sources
mattam82/Coq-Equations: Equations 1.0 for Coq 8.8
, 2018 <p>Equations is a function definition plugin for Coq (supporting Coq 8.6, 8.7 and 8.8), that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms.
Matthieu Sozeau +9 more
core +1 more source
Molecular Oncology, EarlyView.LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang +9 more
wiley +1 more source
Molecular Oncology, EarlyView.This study identifies somatostatin receptor 4 (Sstr4) as a critical tumor suppressor against skin and head/neck cancers (HNSCC, cSCC, and BCC). The loss of Sstr4 removes a check on cell growth, causing hyperactivation of the MAPK‐ERK signaling pathway (↑).
Ali Taqvi +6 more
wiley +1 more source
Modified Equations for Stochastic Differential Equations
BIT Numerical Mathematics, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Molecular Oncology, EarlyView.Partial inhibition of focal adhesion kinase (FAK) can paradoxically promote tumor growth, rather than simply producing a weaker antitumor effect than that observed with strong FAK suppression. In breast cancer and melanoma models, targeting p110δ PI3K, particularly in macrophages, counteracted these tumor‐promoting effects, highlighting the importance ...
Lydia Xenou +4 more
wiley +1 more source