English
Related papers

Related papers: Rivet, RivetHZTool and HERA -- A validation effort…

200 papers

A detection of the 21 cm signal can provide a unique window of opportunity for uncovering complex astrophysical phenomena at the epoch of reionization and placing constraints on cosmology at high redshifts, which are usually elusive to…

Cosmology and Nongalactic Astrophysics · Physics 2024-06-21 Danial Baradaran , Boryana Hadzhiyska , Martin J. White , Noah Sailer

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

Software engineering researchers look for software artifacts to study their characteristics or to evaluate new techniques. In this paper, we introduce DUETS, a new dataset of software libraries and their clients. This dataset can be…

Software Engineering · Computer Science 2021-03-18 Thomas Durieux , César Soto-Valero , Benoit Baudry

Software testing is a fundamental process of software development, and prior work has shown that visualizations of test results support testers' decision-making. However, Human-Computer Interaction research on software testing has yet to…

Human-Computer Interaction · Computer Science 2026-05-07 Brandon Lit , Anthony Maocheia-Ricci , Thomas Driscoll

The recently proposed Renaissance suite is composed of modern, real-world, concurrent, and object-oriented workloads that exercise various concurrency primitives of the JVM. Renaissance was used to compare performance of two…

$\texttt{HEPfit}$ is a flexible open-source tool which, given the Standard Model or any of its extensions, allows to $\textit{i)}$ fit the model parameters to a given set of experimental observables; $\textit{ii)}$ obtain predictions for…

Over the last two decades, the HERA collider has provided a large amount of new information about QCD dynamics at high energy. While the most appreciated are the measurements of the proton structure functions in a wide range of parton…

High Energy Physics - Experiment · Physics 2009-10-02 Halina Abramowicz

Large language models are increasingly used to produce runnable software. In practice, security is often addressed through a Detect--Repair--Verify (DRV) loop that detects issues, applies fixes, and verifies the result. This work studies…

Software Engineering · Computer Science 2026-03-03 Cheng Cheng

High-level hardware generators have significantly increased the productivity of design engineers. They use software engineering constructs to reduce the repetition required to express complex designs and enable more composability. However,…

Hardware Architecture · Computer Science 2022-03-14 Keyi Zhang , Zain Asgar , Mark Horowitz

Hybrid Homomorphic Encryption (HHE) combines symmetric key and homomorphic encryption to reduce ciphertext expansion crucial in client-server deployments of HE. Special symmetric ciphers, amenable to efficient HE evaluation, have been…

Hardware Architecture · Computer Science 2025-07-02 Yeonsoo Jeon , Mattan Erez , Michael Orshansky

RooStats is a project to create advanced statistical tools required for the analysis of LHC data, with emphasis on discoveries, confidence intervals, and combined measurements. The idea is to provide the major statistical techniques as a…

Data Analysis, Statistics and Probability · Physics 2011-02-02 Lorenzo Moneta , Kevin Belasco , Kyle Cranmer , Sven Kreiss , Alfio Lazzaro , Danilo Piparo , Gregory Schott , Wouter Verkerke , Matthias Wolf

Researchers currently rely on ad hoc datasets to train automated visualization tools and evaluate the effectiveness of visualization designs. These exemplars often lack the characteristics of real-world datasets, and their one-off nature…

As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and…

Mathematical Software · Computer Science 2023-07-17 Luis Benet , Luca Ferranti , Nathalie Revol

Remote Sensing Image Dehazing (RSID) poses significant challenges in real-world scenarios due to the complex atmospheric conditions and severe color distortions that degrade image quality. The scarcity of real-world remote sensing hazy…

Computer Vision and Pattern Recognition · Computer Science 2025-07-08 Zeng-Hui Zhu , Wei Lu , Si-Bao Chen , Chris H. Q. Ding , Jin Tang , Bin Luo

Context: Smart contract vulnerabilities pose significant security risks for the Ethereum ecosystem, driving the development of automated tools for detection and mitigation. Smart contracts are written in Solidity, a programming language…

Software Engineering · Computer Science 2025-04-09 Gerardo Iuliano , Davide Corradini , Michele Pasqua , Mariano Ceccato , Dario Di Nucci

We introduce hyppo, a unified library for performing multivariate hypothesis testing, including independence, two-sample, and k-sample testing. While many multivariate independence tests have R packages available, the interfaces are…

This article includes the description of the geometric parameter gage device prototype for synchrotron radiation of HERA collider (DESY). The system construction which capable to measure photo current, caused by such a radiation in a…

Instrumentation and Detectors · Physics 2007-05-23 K. Gubrienko , I. Krouptchenkov , S. Makonin , V. Seleznev , F. Solodovnik , A. Sytin , M. Vrazhnov , K. Wittenburg

This study investigates the implementation and efficacy of DeputyDev, an AI-powered code review assistant developed to address inefficiencies in the software development process. The process of code review is highly inefficient for several…

Software Engineering · Computer Science 2025-08-14 Vishal Khare , Vijay Saini , Deepak Sharma , Anand Kumar , Ankit Rana , Anshul Yadav

Prior work on code comprehension uses different comprehension proxies-for example, Likert-scale ratings or answers to input-output questions about program snippets, usually collected from students, to approximate whether code is…

Software Engineering · Computer Science 2026-05-25 Erfan Arvan , Nadeeshan De Silva , Oscar Chaparro , Martin Kellogg

This paper describes our participation in SemEval-2023 Task 10, whose goal is the detection of sexism in social media. We explore some of the most popular transformer models such as BERT, DistilBERT, RoBERTa, and XLNet. We also study…

Computation and Language · Computer Science 2023-03-02 Isabel Segura-Bedmar