English
Related papers

Related papers: Analysis Traceability and Provenance for HEP

200 papers

In cancer research, clustering techniques are widely used for exploratory analyses and dimensionality reduction, playing a critical role in the identification of novel cancer subtypes, often with direct implications for patient management.…

In this work we introduce repro_eval - a tool for reactive reproducibility studies of system-oriented information retrieval (IR) experiments. The corresponding Python package provides IR researchers with measures for different levels of…

Information Retrieval · Computer Science 2022-01-20 Timo Breuer , Nicola Ferro , Maria Maistro , Philipp Schaer

Type inference methods based on deep learning are becoming increasingly popular as they aim to compensate for the drawbacks of static and dynamic analysis approaches, such as high uncertainty. However, their practical application is still…

Software Engineering · Computer Science 2023-08-08 Jonathan Elkobi , Bernd Gruner , Tim Sonnekalb , Clemens-Alexander Brust

Deep convolutional neural networks have been widely employed as an effective technique to handle complex and practical problems. However, one of the fundamental problems is the lack of formal methods to analyze their behavior. To address…

Computer Vision and Pattern Recognition · Computer Science 2021-06-24 Xiaodong Yang , Tomoya Yamaguchi , Hoang-Dung Tran , Bardh Hoxha , Taylor T Johnson , Danil Prokhorov

The HIFI data processing pipeline was developed to systematically process diagnostic, calibration and astronomical observations taken with the HIFI science instrumentas part of the Herschel mission. The HIFI pipeline processed data from all…

Instrumentation and Methods for Astrophysics · Physics 2019-05-13 K. Edwards , R. F. Shipman , D. Kester , A. Lorenzani , M. Melchior

Dynamic analysis enables detecting Windows malware by executing programs in a controlled environment and logging their actions. Previous work has proposed training machine learning models, i.e., convolutional and long short-term memory…

Cryptography and Security · Computer Science 2024-10-29 Dmitrijs Trizna , Luca Demetrio , Battista Biggio , Fabio Roli

Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for nonlinear systems. However, it becomes computationally intractable in high-dimensional settings, motivating learning-based approximations that may introduce unsafe…

Systems and Control · Electrical Eng. & Systems 2026-03-27 Ebonye Smith , Sampada Deglurkar , Jingqi Li , Gechen Qu , Claire J. Tomlin

The aim of this study is to propose an alternative and hybrid solution method for diagnosing the disease from histopathology images taken from animals with paratuberculosis and intact intestine. In detail, the hybrid method is based on…

Image and Video Processing · Electrical Eng. & Systems 2022-01-25 Nilgun Sengoz , Tuncay Yigit , Ozlem Ozmen , Ali Hakan Isik

Deep neural networks (DNNs) remain largely opaque at inference time, limiting our ability to detect and diagnose malicious input manipulations such as adversarial examples. Existing detection methods predominantly rely on layer-local…

Cryptography and Security · Computer Science 2026-04-17 Firas Ben Hmida , Philemon Hailemariam , Kashif Ali Khan , Birhanu Eshete

Benchmarking of CPU resources in WLCG has been based on the HEP-SPEC06 (HS06) suite for over a decade. It has recently become clear that HS06, which is based on real applications from non-HEP domains, no longer describes typical HEP…

Histopathology, the current gold standard for cancer diagnosis, involves the manual examination of tissue samples after chemical staining, a time-consuming process requiring expert analysis. Raman spectroscopy is an alternative, stain-free…

The significance of provenance in various settings has emphasised its potential in the policy-making process for analytics in Smart Cities. At present, there exists no framework that can capture the provenance in a policy-making setting.…

Software Engineering · Computer Science 2018-03-20 Barkha Javed , Zaheer Khan , Richard McClatchey

We present an algorithm for data-driven reachability analysis that estimates finite-horizon forward reachable sets for general nonlinear systems using level sets of a certain class of polynomials known as Christoffel functions. The level…

Systems and Control · Electrical Eng. & Systems 2021-04-29 Alex Devonport , Forest Yang , Laurent El Ghaoui , Murat Arcak

Heterogeneous graphs with heterophily have emerged as a powerful abstraction for modeling complex real-world systems, where nodes of different types and labels interact in diverse and often non-homophilous ways. Despite recent advances,…

Artificial Intelligence · Computer Science 2026-05-01 Yihan Zhang , Ercan E. Kuruoglu

Research software is an important output of research and must be published according to the FAIR Principles for Research Software. This can be achieved by publishing software with metadata under a persistent identifier. HERMES is a tool…

Software Engineering · Computer Science 2025-03-12 Sophie Kernchen , Michael Meinel , Stephan Druskat , Michael Fritzsche , David Pape , Oliver Bertuch

Stencil algorithms have been receiving considerable interest in HPC research for decades. The techniques used to approach multi-core stencil performance modeling and engineering span basic runtime measurements, elaborate performance models,…

Performance · Computer Science 2020-06-25 Julian Hornich , Julian Hammer , Georg Hager , Thomas Gruber , Gerhard Wellein

This document captures the discussion and deliberation of the FAIR for Research Software (FAIR4RS) subgroup that took a fresh look at the applicability of the FAIR Guiding Principles for scientific data management and stewardship for…

Whole-system data provenance provides deep insight into the processing of data on a system, including detecting data integrity attacks. The downside to systems that collect whole-system data provenance is the sheer volume of data that is…

Databases · Computer Science 2016-08-15 Thomas Moyer , Vijay Gadepally

We address the stochastic transmission expansion planning (STEP) problem under uncertainty in renewable generation capacity and demand. STEP's objective is to minimize total transmission investment and generation costs. To tackle the…

Optimization and Control · Mathematics 2026-05-12 Yure Rocha , Teobaldo Bulhões , Anand Subramanian , Joaquim Dias Garcia

HIPSTER (Heavily Ionising Particle Standard Toolkit for Event Recognition) is an open source Python package designed to facilitate the use of TensorFlow in a high energy physics analysis context. The core functionality of the software is…

High Energy Physics - Experiment · Physics 2019-09-18 Adrian Bevan , Thomas Charman , Jonathan Hays