Results 51 to 60 of about 175,850 (276)
Applied Mathematics Letters, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +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
A Static Analyzer for Large Safety-Critical Software [PDF]
, 2003 We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms.
Antoine Miné +12 more
core +11 more sources
Rounding error analysis of the classical Gram-Schmidt orthogonalization process
Numerische Mathematik, 2005 Given an \(m\times n\) matrix \(A\) of full column rank, this paper is concerned with the numerical properties of the classical Gram-Schmidt process (CGS) for computing an orthonormal basis of the space spanned by the columns of \(A\). Based on a backward error bound for the upper triangular factor produced by CGS, it is proven that the loss of ...
Luc Giraud +3 more
openaire +2 more sources
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Error Analysis and Model Adaptivity for Flows in Gas Networks
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2018 In the simulation and optimization of natural gas flow in a pipeline network, a hierarchy of models is used that employs different formulations of the Euler equations. While the optimization is performed on piecewise linear models, the flow simulation is
Stolwijk Jeroen J., Mehrmann Volker
doaj +1 more source
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Optimal Number of Choices in Rating Contexts
, 2018 In many settings people must give numerical scores to entities from a small discrete set. For instance, rating physical attractiveness from 1--5 on dating sites, or papers from 1--10 for conference reviewing.
Ganzfried, Sam, Yusuf, Farzana
core +1 more source
Development of human monoclonal antibodies against TARM1 by yeast display
FEBS Open Bio, EarlyView.Human monoclonal antibodies against TARM1 are generated by yeast display‐guided selection. These antibodies bind to soluble and cell‐surface forms of TARM1. Also, these antibodies exhibit agonistic activity in the NFAT‐GFP reporter assay, indicating that TARM1 signaling can be functionally modulated by antibodies and suggesting TARM1 as a potential ...
Rikio Yabe +5 more
wiley +1 more source
FPU-Supported Running Error Analysis
Acta Polytechnica, 2010 A-posteriori forward rounding error analyses tend to give sharper error estimates than a-priori ones, as they use actual data quantities. One of such a-posteriori analysis – running error analysis – uses expressions consisting of two parts; one generates
T. Zahradnický, R. Lórencz
doaj