Results 71 to 80 of about 236,217 (313)
Molecular Oncology, EarlyView.Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 more
wiley +1 more source
Hardness measures and resolution lower bounds [PDF]
, 2014 Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for the hardness of instances in SAT solving.
Beyersdorff, Olaf, Kullmann, Oliver
core
A Complex-Variables Proof of Holder's Inequality [PDF]
Proceedings of the American Mathematical Society, 1964 We have deliberately omitted the measure with respect to which integration is performed, and measurability and boundedness hypotheses on the functions f and g. The reader can supply his own virtually at will. For example, ff could mean folf(x) dx, where dx is Lebegsue measure and f and g are assumed to be bounded and Lebesgue measurable.
openaire +2 more sources
Molecular Oncology, EarlyView.Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch +13 more
wiley +1 more source
Analysis of Mo You-Zhi’s Proofreading of the Initial Ji Gu Ge Edition of Shi Ji Suo Yin Held in the Shanghai Library: A Concurrent Discussion of the Source Text of the Ji Gu Ge Edition [PDF]
Journal of Library and Information StudiesMo You-Zhi (莫友芝) used the Mongolian Zhong Tong Ben (中統本) and the Dian Ben (殿本) of Shi Ji (史記) to proofread the thirty volumes of the Ji Gu Ge Ben Shi Ji Suo Yin (汲古閣本史記索隱) in his collection at the end of the Ming Dynasty, which were published in ...
Shao-Shuai Wang
doaj +1 more source
On the Proof Complexity of MCSAT
, 2019 SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio 4th Workshop on Satisfiability Checking and Symbolic Computation, SC-square, Bern,
Kremer, Gereon Lukas +2 more
openaire +2 more sources
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Local Proofs Approaching the Witness Length
Electron. Colloquium Comput. Complex.Interactive oracle proofs (IOPs) are a hybrid between interactive proofs and PCPs. In an IOP, the prover is allowed to interact with a verifier (like in an interactive proof) by sending relatively long messages to the verifier, who in turn is only ...
Noga Ron-Zewi, Ron D. Rothblum
semanticscholar +1 more source
Hippo pathway at the crossroads of stemness and therapeutic resistance in breast cancer
Molecular Oncology, EarlyView.Dysregulation of the Hippo pathway drives nuclear accumulation of YAP/TAZ, activating stemness‐related transcriptional programs that sustain breast cancer stemness and fuel therapeutic resistance across subtypes, underscoring Hippo signaling as a targetable vulnerability. Figure created and edited with BioRender.com.
Giulia Schiavoni +11 more
wiley +1 more source
Predefined Time Control of State-Constrained Multi-Agent Systems Based on Command Filtering
MathematicsThis paper resolves the predefined-time control problem for multi-agent systems under predefined performance metrics and state constraints, addressing critical limitations of traditional methods—notably their inability to enforce strict user-specified ...
Jianhua Zhang +3 more
doaj +1 more source