English
Related papers

Related papers: ShortCake: An integrated platform for efficient an…

200 papers

surfQuake is a new software designed to streamline the estimation of seismic source parameters. Its comprehensive set of toolboxes automate the determination of seismic arrival times, event association and locations, moment magnitude from…

We present Shufflecake, a new plausible deniability design to hide the existence of encrypted data on a storage medium making it very difficult for an adversary to prove the existence of such data. Shufflecake can be considered a…

Cryptography and Security · Computer Science 2024-08-26 Elia Anzuoni , Tommaso Gagliardoni

MeTime is an opensource R package for reproducible analysis of longitudinal metabolomics data. It builds upon a central S4 container, metime_analyser, that stores multiple datasets, associated metadata and analysis outputs, enabling unified…

The reproducibility of software environments is a critical concern in modern software engineering, with ramifications ranging from the effectiveness of collaboration workflows to software supply chain security and scientific…

Software Engineering · Computer Science 2026-01-21 Julien Malka , Stefano Zacchiroli , Théo Zimmermann

The ALICE experiment at CERN LHC is specifically designed for investigating heavy ion collisions. The upgraded ALICE accommodates a tenfold increase in PbPb luminosity and a two-order of magnitude surge in minimum bias events. To address…

High Energy Physics - Experiment · Physics 2024-04-12 Marian Ivanov , Marian Ivanov , Giulio Eulise

Large scale analysis of source code, and in particular scientific source code, holds the promise of better understanding the data science process, identifying analytical best practices, and providing insights to the builders of scientific…

Machine Learning · Computer Science 2020-09-01 Ge Zhang , Mike A. Merrill , Yang Liu , Jeffrey Heer , Tim Althoff

We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model counting (#SAT). It supports universal quantum circuits and a…

Quantum Physics · Physics 2026-05-19 Jingyi Mei , Dekel Zak , Muhammad Osama , Tim Coopmans , Alfons Laarman

This paper introduces Sparklen, a statistical learning toolkit for Hawkes processes in Python, designed to bring together efficiency and ease of use. The purpose of this package is to provide the Python community with a complete suite of…

Methodology · Statistics 2025-03-31 Romain Edmond Lacoste

Machine learning is a general-purpose technology holding promises for many interdisciplinary research problems. However, significant barriers exist in crossing disciplinary boundaries when most machine learning tools are developed in…

Machine Learning · Computer Science 2021-06-21 Haiping Lu , Xianyuan Liu , Robert Turner , Peizhen Bai , Raivo E Koot , Shuo Zhou , Mustafa Chasmai , Lawrence Schobs

Benchmark data sets are a cornerstone of machine learning development and applications, ensuring new methods are robust, reliable and competitive. The relative rarity of benchmark sets in computational science, due to the uniqueness of the…

Machine Learning · Computer Science 2025-07-01 Amanda S Barnard

Machine learning development critically depends on access to high-quality data. However, increasing restrictions due to privacy, proprietary interests, and ethical concerns have created significant barriers to data accessibility. Synthetic…

Machine Learning · Computer Science 2025-11-14 Ivona Krchova , Mariana Vargas Vieyra , Mario Scriminaci , Andrey Sidorenko

With ever-increasing volume and heterogeneity of data, advent of new specialized compute engines, and demand for complex use cases, large-scale data systems require a performant catalog system that can satisfy diverse needs. We argue that…

Databases · Computer Science 2025-08-11 Keonwoo Oh , Pooja Nilangekar , Amol Deshpande

Scientific workflows automate the analysis of large-scale scientific data, fostering the reuse of data processing operators as well as the reproducibility and traceability of analysis results. In exploratory research, however, workflows are…

Other Computer Science · Computer Science 2023-09-26 Sebastian Pohl , Nourhan Elfaramawy , Kedi Cao , Birte Kehr , Matthias Weidlich

Developing complex biomolecular workflows is not always straightforward. It requires tedious developments to enable the interoperability between the different biomolecular simulation and analysis tools. Moreover, the need to execute the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-12-20 Jorge Ejarque , Pau Andrio , Adam Hospital , Javier Conejero , Daniele Lezzi , Josep LL. Gelpi , Rosa M. Badia

Sketches are probabilistic data structures that can provide approximate results within mathematically proven error bounds while using orders of magnitude less memory than traditional approaches. They are tailored for streaming data analysis…

Data Structures and Algorithms · Computer Science 2019-03-05 Fatih Taşyaran , Kerem Yıldırır , Kamer Kaya , Mustafa Kemal Taş

This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many…

Artificial Intelligence · Computer Science 2014-01-22 Laurent Michel , Pascal Van Hentenryck

Applications in science and engineering often require huge computational resources for solving problems within a reasonable time frame. Parallel supercomputers provide the computational infrastructure for solving such problems. A…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Rajesh Sudarsan , Calvin J. Ribbens

Context: Container orchestration tools supporting infrastructure-as-code allow new forms of collaboration between developers and operatives. Still, their text-based nature permits naive mistakes and is more difficult to read as complexity…

Software Engineering · Computer Science 2022-07-20 Bruno Piedade , João Pedro Dias , Filipe F. Correia

This article presents a free and open source toolkit that supports the semi-automated checking of research outputs (SACRO) for privacy disclosure within secure data environments. SACRO is a framework that applies best-practice…

Cryptography and Security · Computer Science 2025-05-05 Richard J. Preen , Maha Albashir , Simon Davy , Jim Smith

Scalable and efficient processing of genome sequence data, i.e. for variant discovery, is key to the mainstream adoption of High Throughput technology for disease prevention and for clinical use. Achieving scalability, however, requires a…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-05 Nicholas Tucci , Jacek Cala , Jannetta Steyn , Paolo Missier