Results 111 to 120 of about 934,012 (382)
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
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.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
Correctness Kernels of Abstract Interpretations [PDF]
arXiv, 2009 In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They provide systematic guidelines for designing abstract semantic functions that approximate some concrete system behaviors under analysis. It may happen that an abstract domain contains redundant information for the specific purpose of approximating a ...
arxiv
, 2019 In this article we revisit the concept of abstraction as it is used in visualization and put it on a solid formal footing. While the term \emph{abstraction} is utilized in many scientific disciplines, arts, as well as everyday life, visualization inherits the notion of data abstraction or class abstraction from computer science, topological abstraction
arxiv +1 more source
Graph Abstraction and Abstract Graph Transformation [PDF]
, 2007 Many important systems like concurrent heap-manipulating programs, communication networks, or distributed algorithms are hard to verify due to their inherent dynamics and unboundedness.
Bauer, J. +3 more
core +1 more source
FEBS Open Bio, EarlyView.ZNF469 regulates the expression of genes encoding extracellular matrix proteins. Endogenous ZNF469 is predominantly cytoplasmic, while in transfected cells, it forms aggregates reminiscent of biomolecular condensates, located mainly in the nucleus. These condensates exhibit overlapping staining with proteasomes and are also associated with the mitotic ...
Anne Elisabeth Christensen Mellgren +8 more
wiley +1 more source
Network protocol scalability via a topological Kadanoff transformation
, 2008 A natural hierarchical framework for network topology abstraction is presented based on an analogy with the Kadanoff transformation and renormalisation group in theoretical physics.
Constantinou, C. C., Stepanenko, A. S.
core +1 more source
FEBS Open Bio, EarlyView.In human monocytic cells THP‐1, a limited uptake of native—not oxidized—LDL/VLDL induced expression of scavenger receptor A and cellular adhesion. Induction was inhibited by lysosomotropic (WR‐1065) and lipophilic (BHT) antioxidants and by siRNAs against ferritinophagy.
Martina Čierna +4 more
wiley +1 more source
Abstraction Alignment: Comparing Model-Learned and Human-Encoded Conceptual Relationships [PDF]
While interpretability methods identify a model's learned concepts, they overlook the relationships between concepts that make up its abstractions and inform its ability to generalize to new data. To assess whether models' have learned human-aligned abstractions, we introduce abstraction alignment, a methodology to compare model behavior against formal
arxiv +1 more source