Results 41 to 50 of about 542,872 (263)

ForBac: A Static Analysis Approach With Forward and Backward Analysis for Precision in Floating-Point Computations

IEEE Access
Accuracy in floating-point computations is critical for reliable software, especially in systems where precision impacts safety and performance. Inaccuracies from rounding errors and precision loss can lead to significant issues in applications like ...
M. G. Thushara, K. Somasundaram
doaj   +1 more source

Central Nervous System Neuroblastoma, FOXR2‐Activated: A Pooled Analysis of Published Clinical Outcomes

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) neuroblastoma, FOXR2‐activated, is a recently recognized entity in the WHO CNS5 classification, defined by activation of the FOXR2 transcription factor and unique histopathological features. This review synthesizes available literature and pooled clinical data, providing insight into demographics ...
Sudarshawn Damodharan, Mohamed S. Abdelbaki   +1 more
wiley   +1 more source

Evaluation of static analysis tools used to assess software important to nuclear power plant safety

Nuclear Engineering and Technology, 2015
We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, Electricité de France (EDF ...
Alain Ourghanlian
doaj   +1 more source

Feasibility and Safety of Somato‐Cognitive Coordination Therapy for Cerebellar Ataxia Following Pediatric Brain Tumor Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi, Takashi Matsuzawa, Jun Yamanishi, Masahiro Yoshitomi, Junji Ikeda, Shin‐Ichi Tsujimoto, Yasuteru Yamaguchi, Norio Shiba, Dhroov Pathare, Ayumi Kato, Masahiko Hara   +10 more
wiley   +1 more source

Rational Use of Herbal Products in Pediatric Patients Treated With Anticancer Drugs in the European Union

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The use of herbal medical preparation (HMP) is rising among pediatric oncology patients, often to manage treatment‐related symptoms. Their effectiveness remains uncertain, and the risk of herb–drug interactions is underestimated.
Orianne Mahot, Mathieu Corvaisier, Laurence Spiesser‐Robelet, Mylène Duplan, Isabelle Pellier, Delphine Bourneau‐Martin, Séverine Derbré   +6 more
wiley   +1 more source

Compiling with Abstract Interpretation

Proceedings of the ACM on Programming Languages
Rewriting and static analyses are mutually beneficial techniques: program transformations change the inten- sional aspects of the program, and can thus improve analysis precision, while some efficient transformations are enabled by specific knowledge of some program invariants.
Dorian Lesbre, Matthieu Lemerre
openaire   +2 more sources

Static program analysis for IoT risk mitigation in space-air-ground integrated networks

Security and Safety
The 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, Liu Tao, Ma Xiaochen, Wang Weijie, Zhang Chuan, Wu Huishu, Zhu Liehuang   +6 more
doaj   +1 more source

Improved Early Referral in Long‐Term Survivor Care With Institutional Standardized Practice Among Childhood Leukemia Survivors#

Pediatric Blood &Cancer, EarlyView.
ABSTRACT In 2018, the Texas Children's Cancer and Hematology Center Leukemia Program implemented a practice standard to support the transition from treatment to survivorship that includes shared, alternating care between leukemia and survivorship clinicians and a reminder to refer survivors to the long‐term survivor clinic (LTSC) 2 years after ...
Ji Yun Tark, Kayla L. Foster, Omar Shakeel, Mary C. Shapiro, Shawki L. Qasim, ZoAnn Dreyer, Eric S. Schafer, Ashley M. Butler, Austin L. Brown, Maria Monica Gramatges   +9 more
wiley   +1 more source

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

ACM Transactions on Programming Languages and Systems
Robustness 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, Isabella Mastroeni, Elia Perantoni   +2 more
openaire   +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, Lei Qi, Wallapak Tavanapong, Johnny Wong, Adisak Sukul, David A. M. Peterson   +5 more
doaj   +1 more source