Results 51 to 60 of about 914,128 (308)
Predicate Abstraction with Under-approximation Refinement
, 2007 We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible
Pasareanu, Corina S. +2 more
core +2 more sources
Molecular Oncology, EarlyView.Human cytomegalovirus infection is common in normal prostate epithelium, prostate tumor tissue, and prostate cancer cell lines. CMV promotes cell survival, proliferation, and androgen receptor signaling. Anti‐CMV pharmaceutical compounds in clinical use inhibited cell expansion in prostate cancer models in vitro and in vivo, motivating investigation ...
Johanna Classon +13 more
wiley +1 more source
Proving Abstractions of Dynamical Systems through Numerical Simulations
, 2014 A key question that arises in rigorous analysis of cyberphysical systems under attack involves establishing whether or not the attacked system deviates significantly from the ideal allowed behavior.
Mitra, Sayan
core +1 more source
On staying grounded and avoiding Quixotic dead ends [PDF]
, 2016 The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area.
A Caramazza +86 more
core +2 more sources
Molecular Oncology, EarlyView.In prostate carcinoma, lactic acid, secreted by highly glycolytic cancer‐associated fibroblasts, is imported into tumor cells through the MCT1 transporter and prevents RSL3 and erastin‐induced ferroptosis (A). Targeting of carbonic anhydrase IX/XII, the main extracellular pH regulators, in tumor and stromal cells reduces microenvironmental acidosis and
Elisa Pardella +18 more
wiley +1 more source
Molecular Oncology, EarlyView.Small extracellular vesicles are a promising source of diagnostic molecules. We conducted a comprehensive study, including transcriptome profiling and RT‐qPCR validation on large cohorts of samples. Diagnostic panels enabling sensitive detection of colorectal cancer and precancerous lesions were established. Some molecules were differentially expressed
Petra Vychytilova‐Faltejskova +26 more
wiley +1 more source
A Critical Look at the Abstraction Based on Macro-Operators [PDF]
, 2004 ion can be an effective technique for dealing with the complexity of planning tasks. This paper is aimed at assessing and identifying in which cases abstraction can actually speed-up the overall search.
ARMANO G, CHERCHI G, VARGIU E
core
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations
, 2014 This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a so called $\Phi$-dynamical system. Secondly, the strongest asynchronous $l$-
Raisch, Jörg, Schmuck, Anne-Kathrin
core +1 more source
The effects of psychological distance on abstraction: Two meta-analyses.
Psychological bulletin, 2015 Psychological distance and abstraction both represent key variables of considerable interest to researchers across cognitive, social, and developmental psychology. Moreover, largely inspired by construal level theory, numerous experiments across multiple
C. Soderberg +4 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.Stemness properties, including quiescence, self‐renewal, and chemoresistance, are closely associated with leukemia relapse. Here, we demonstrate that DNA damage‐inducible transcript 4 (DDIT4) is induced in the hypoxic bone marrow niche and is essential for maintaining the stemness of AML1‐ETO9a leukemia cells.
Yishuang Li +12 more
wiley +1 more source