Results 61 to 70 of about 6,513,935 (304)
Static program analysis for IoT risk mitigation in space-air-ground integrated networks
Security and SafetyThe space-air-ground integrated networks (SAGINs) are pivotal for modern communication and surveillance, with a growing number of connected devices. The proliferation of IoT devices within these networks introduces new risks due to potential erroneous ...
Deng Haotian +6 more
doaj +1 more source
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
ACM Transactions on Programming Languages and SystemsRobustness is a key and desirable property of any classifying system, in particular, to avoid the ever-rising threat of adversarial attacks. Informally, a classification system is robust when the result is not affected by the perturbation of the input. This notion has been extensively studied, but little attention has been dedicated to
Roberto Giacobazzi +2 more
openaire +1 more source
Abstract Interpretation as Automated Deduction [PDF]
Journal of Automated Reasoning, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vijay D'Silva, Caterina Urban
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Next‐generation sequencing (NGS) has emerged as a promising approach to improve diagnostic accuracy, but its feasibility in low‐ and middle‐income countries remains unknown. This study characterized the diagnostic landscape and assessed organizational readiness for NGS implementation at two childhood cancer treatment centers in Accra ...
Melissa Carvalho +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Physical rehabilitation is highly recognised in improving the quality of life of cancer survivors through prehabilitation, sequelae management and palliative care, yet its integration into routine care in Ghana has not been characterised, leading to potential gaps in service access.
Dorothy Ekua Adjabu +5 more
wiley +1 more source
Abstract Interpreters for Free [PDF]
, 2010 In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a smallstep concrete semantics into a family of sound, computable abstract ...
openaire +1 more source
Strong preservation of temporal fixpoint-based operators by abstract interpretation
, 2006 Standard abstract model checking relies on abstract Kripke structures which approximate the concrete model by gluing together indistinguishable states. Strong preservation for a specification language L, encodes the equivalence of concrete and abstract ...
RANZATO, FRANCESCO, TAPPARO, FRANCESCO
core +1 more source
The Two Variable Per Inequality Abstract Domain [PDF]
, 2010 This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables.
Howe, Jacob M., Simon, Axel, King, Andy
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivorship care plans (SCPs) summarize cancer treatment and guide risk‐based follow‐up for cancer survivors, yet remain difficult to create, share, and use. Stakeholder perspectives are needed to inform usable approaches.
Molly S. Talman +4 more
wiley +1 more source
IDC: quantitative evaluation benchmark of interpretation methods for deep text classification models
Journal of Big Data, 2022 Recent advances in deep neural networks have achieved outstanding success in natural language processing tasks. Interpretation methods that provide insight into the decision-making process of these models have received an influx of research attention ...
Mohammed Khaleel +5 more
doaj +1 more source