Expertini Research Research

Browse Research Papers

183+ open-access research outputs.

✕ Clear
🔍 arno pauly 📂 Computer Science
Showing 183 results for "arno pauly" in Computer Science
Computer Science Preprint PDF DOI

Author response to commentaries on H is for Human and How (Not) to Evaluate Qualitative Research in HCI

Andy Crabtree · 2026

This is the authors response to commentaries on the original article H is for Human and How (Not) to Evaluate Qualitative Research in HCI, https://doi.org/10.1080/07370024.2025.2475743 Commentaries we…

Read Paper →
Computer Science Preprint PDF DOI

Risk Models as Mediating Artifacts: A Postphenomenological Analysis of the CIIM Framework in Cybersecurity Practice

Rommel Salas-Guerra · 2026

This article applies postphenomenological theory to the field of cybersecurity risk management, arguing that formal risk models function as mediating artifacts that shape how security practitioners or…

Read Paper →
Computer Science Preprint PDF DOI

A Queueing-Theoretic Framework for Dynamic Attack Surfaces: Data-Integrated Risk Analysis and Adaptive Defense

Jihyeon Yun, Abdullah Yasin Etcibasi, Ming Shi, C. Emre Koksal · 2026

We develop a queueing-theoretic framework to model the temporal evolution of cyber-attack surfaces, where the number of active vulnerabilities is represented as the backlog of a queue. Vulnerabilities…

Read Paper →
Computer Science Preprint PDF DOI

Improving Feasibility in Quantum Approximate Optimization Algorithm for Vehicle Routing via Constraint-Aware Initialization and Hybrid XY-X Mixing

Yuan-Zheng Lei, Yaobang Gong, Xianfeng Terry Yang, Nii Attoh-Okine · 2026

The Quantum Approximate Optimization Algorithm (QAOA) is a leading framework for quantum combinatorial optimization. The Vehicle Routing Problem (VRP), a core problem in logistics and transportation, …

Read Paper →
Computer Science Preprint PDF DOI

Late Breaking Results: Hardware-Efficient Quantum Reservoir Computing via Quantized Readout

Param Pathak, Mansi Od, Nouhaila Innan, Muhammad Shafique · 2026

Due to rising electricity demand, accurate short-term load forecasting is increasingly important for grid stability and efficient energy management, particularly in resource-constrained edge settings.…

Read Paper →
Computer Science Preprint PDF DOI

Algo P\"art: An Algorithmic Reconstruction of Arvo P\"art's Summa

Bas Cornelissen · 2026

Arvo P\"art is one of the most popular contemporary composers, known for his highly original tintinnabuli style. Works in this style are typically composed according to precise procedures and have eve…

Read Paper →
Computer Science Preprint PDF DOI

The Markovianity of Time: The Category Mistake in Open Quantum Systems

Paul Borrill · 2026

The Markov approximation is arguably the most ubiquitous tool in physics, underpinning quantum master equations, stochastic processes, and -- via Shannon's channel model and Lamport's logical clocks -…

Read Paper →
Computer Science Preprint PDF DOI

Sequential BP-based Decoding of QLDPC Codes

Mohsen Moradi, Salman Habib, Vahid Nourozi, David G. M. Mitchell · 2026

Quantum low-density parity-check (QLDPC) codes are a leading approach to quantum error correction, yet conventional belief propagation (BP) decoders often perform poorly, primarily due to non-converge…

Read Paper →
Computer Science Preprint PDF DOI

Search-Based Quantum Program Testing via Commuting Pauli String

Asmar Muqeet, Shaukat Ali, Paolo Arcaini · 2026

Quantum software testing is important for reliable quantum software engineering. Despite recent advances, existing quantum software testing approaches rely on simple test inputs and statistical oracle…

Read Paper →
Computer Science Preprint PDF DOI

AnoMod: A Dataset for Anomaly Detection and Root Cause Analysis in Microservice Systems

Ke Ping, Hamza Bin Mazhar, Yuqing Wang, Ying Song, Mika V. Mantyla · 2026

Microservice systems (MSS) have become a predominant architectural style for cloud services. Yet the community still lacks high-quality, publicly available datasets for anomaly detection (AD) and root…

Read Paper →
Computer Science Preprint PDF DOI

Stabilizer-Code Channel Transforms Beyond Repetition Codes for Improved Hashing Bounds

Tyler Kann, Matthieu R. Bloch, Shrinivas Kudekar, Ruediger Urbanke · 2026

The quantum hashing bound guarantees that rates up to $1-H(p_I, p_X, p_Y, p_Z)$ are achievable for memoryless Pauli channels, but it is not generally tight. A known way to improve achievable rates for…

Read Paper →
Computer Science Preprint PDF DOI

Epistemic Control and the Normativity of Machine Learning-Based Science

Emanuele Ratti · 2026

The past few years have witnessed an increasing use of machine learning (ML) systems in science. Paul Humphreys has argued that, because of specific characteristics of ML systems, human scientists are…

Read Paper →
Computer Science Preprint PDF DOI

Information Access of the Oppressed: A Problem-Posing Framework for Envisioning Emancipatory Information Access Platforms

Bhaskar Mitra, Nicola Neophytou, Sireesh Gururaja · 2026

Online information access (IA) platforms are targets of authoritarian capture. We explore the question of how to safeguard our platforms while ensuring emancipatory outcomes through the lens of Paulo …

Read Paper →
Computer Science Preprint PDF DOI

Protrusion Decompositions Revisited: Uniform Lossy Kernels for Reducing Treewidth and Linear Kernels for Hitting Disconnected Minors

Roohani Sharma, Micha{l} W{l}odarczyk · 2026

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the fami…

Read Paper →
Computer Science Preprint PDF DOI

Denotational semantics for stabiliser quantum programs

Robert I. Booth, Cole Comfort · 2025

The stabiliser fragment of quantum theory is a foundational building block for quantum error correction and the fault-tolerant compilation of quantum programs. In this article, we develop a sound, uni…

Read Paper →
Computer Science Preprint PDF DOI

The DataSquad Experiment: Lessons for Preparing Data and Computer Scientists for Work

Paula Lackie, Elliot Pickens, Dashiell Coyier · 2025

The DataSquad at Carleton College addresses a common problem at small liberal arts colleges: limited capacity for data services and few opportunities for students to gain practical experience with dat…

Read Paper →
Computer Science Preprint PDF DOI

Argo: An efficient verification framework for distributed in-network computing

Mingyuan Song, Huan Shen, Jinghui Jiang, Qiang Su, Qingyu Song, Lu Tang, Wanjian Feng, Fei Yuan, Qiao Xiang, Jiwu Shu · 2025

Distributed in-network programs are increasingly deployed in data centers for their performance benefits, but shifting application logic to switches also enlarges the failure domain. Ensuring their co…

Read Paper →
Computer Science Preprint PDF DOI

Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians

Nicholas Kocurek · 2025

The $k$-$\mathsf{XOR}$ problem is one of the most well-studied problems in classical complexity. We study a natural quantum analogue of $k$-$\mathsf{XOR}$, the problem of computing the ground energy o…

Read Paper →
Computer Science Preprint PDF DOI

Quantum Network Tomography for General Topology with SPAM Errors

Xuchuang Wang, Matheus Guedes De Andrade, Guus Avis, Yu-zhen Janice Chen, Mohammad Hajiesmaili, Don Towsley · 2025

The goal of quantum network tomography (QNT) is the characterization of internal quantum channels in a quantum network from external peripheral operations. Prior research has primarily focused on star…

Read Paper →
Computer Science Preprint PDF DOI

Enhancing Urban Data Exploration: Layer Toggling and Visibility-Preserving Lenses for Multi-Attribute Spatial Analysis

Karelia Salinas, Luis Gustavo Nonato, Jean-Daniel Fekete, Fernanda Bartolo dos Santos Saran · 2025

We propose two novel interaction techniques for visualization-assisted exploration of urban data: Layer Toggling and Visibility-Preserving Lenses. Layer Toggling mitigates visual overload by organizin…

Read Paper →
Page 1 of 10 Next →