Results 131 to 140 of about 720,598 (345)
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
Understanding and Overcoming Immunotherapy Resistance in Skin Cancer: Mechanisms and Strategies
Aging and Cancer, EarlyView.This narrative review explores the mechanisms driving immunotherapy resistance in skin cancer, including tumor microenvironment factors, genetic mutations, and immune evasion strategies. It highlights potential strategies to overcome resistance, offering insights for improving therapeutic outcomes and guiding future research in personalized ...
Shreya Singh Beniwal +8 more
wiley +1 more source
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
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
Abstractions for Symbolic Controller Synthesis are Composable [PDF]
arXiv, 2018 Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction construction step is unfortunately hamstrung by high runtime and memory requirements for high dimensional systems.
arxiv
Abstraction and its Limits: Finding Space for Novel Explanation. [PDF]
, 2012 Several modern accounts of explanation acknowledge the importance of abstraction and idealization for our explanatory practice. However, once we allow a role for abstraction, questions remain. I ask whether the relation between explanations at different
Knox, Eleanor
core
Automatic Clustering of a Network Protocol with Weakly-Supervised Clustering [PDF]
arXiv, 2018 Abstraction is a fundamental part when learning behavioral models of systems. Usually the process of abstraction is manually defined by domain experts. This paper presents a method to perform automatic abstraction for network protocols. In particular a weakly supervised clustering algorithm is used to build an abstraction with a small vocabulary size ...
arxiv
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
Abstraction Refinement Algorithms for Timed Automata [PDF]
arXiv, 2019 We present abstraction-refinement algorithms for model checking safety properties of timed automata. The abstraction domain we consider abstracts away zones by restricting the set of clock constraints that can be used to define them, while the refinement procedure computes the set of constraints that must be taken into consideration in the abstraction ...
arxiv