Results 101 to 110 of about 17,105 (305)
Юг России: экология, развитие, 2014 The presented article considers the questions physico-mechanical characteristic soil recent alluvial sediments Volga-Akhtuba floodland in connection with designing and construction different industrial object, and first of all,oil-and-gas of the ...
Z. V. Kalashnik, V. V. Kudinov
doaj +1 more source
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
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
A Denotational Semantics of Solidity in Isabelle/HOL
, 2021 Smart contracts are programs, usually automating legal agreements such as financial transactions. Thus, bugs in smart contracts can lead to large financial losses.
D Marmsoler (21935441) +1 more
core
Obsidian vs. Solidity RCT Replication Package
, 2020 This comprises the replication package for an experiment comparing Obsidian to ...
Joshua Sunshine (3887836) +3 more
core +1 more source
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
E2A selectively regulates TGF‐β–induced apoptosis in KRAS‐mutant non‐small cell lung cancer
Molecular Oncology, EarlyView.Ability to induce apoptosis by TGF‐β is frequently lost in advanced lung adenocarcinoma despite intact TGF‐β signaling. We identify E2A as a mutant KRAS–dependent mediator of resistance to TGF‐β–induced apoptosis. TGF‐β induces E2A via SMAD3 in mutant KRAS cells, and E2A silencing restores apoptosis and enhances radiation response in cell lines ...
Sergei Chuikov +3 more
wiley +1 more source
Towards Benchmarking of Solidity Verification Tools [PDF]
Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the consequent incentive for adversaries to tamper with them.
Fioravanti F. +4 more
core +3 more sources
A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking
MathematicsA composite smart contract can execute smart contracts that may belong to other owners or companies through external calls, bringing more security challenges to blockchain applications. Traditional static verification methods are inadequate for analyzing
Jun Jin +4 more
doaj +1 more source
Molecular Oncology, EarlyView.Ixazomib inhibits proteasome‐mediated degradation of topoisomerase I induced by irinotecan, thereby restoring drug sensitivity and promoting tumor cell death in colorectal cancer. Irinotecan, a topoisomerase I (topoI) inhibitor, is widely used for colorectal cancer, but resistance remains a major clinical challenge.
Yuho Ebata +10 more
wiley +1 more source