Expertini Research Research

Browse Research Papers

541+ open-access research outputs.

✕ Clear
🔍 paul rosen 📂 Computer Science
Showing 541 results for "paul rosen" 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

MatchRDMA: A Segmented and Rate-Matched Long-Haul RDMA Scheme for Geo-distributed LLM Training over OTN

Jun Dai, Xiaorun Wang, Xingde Li, Zheng Yang, Kexiong Fang, Zhiqun Gu, Hongxiang Wang, Yuefeng Ji, Jiawei Zhang · 2026

We propose MatchRDMA, a proactive, segmented, and rate-matched long-haul RDMA scheme for geo-distributed LLM training over OTN. By coordinating source and destination OTN rates, it improves inter-DC t…

Read Paper →
Computer Science Preprint PDF DOI

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification

Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan, Md Rayhanur Rahman · 2026

Large Language Models (LLMs) show promise in automated software engineering, yet their guarantee of correctness is frequently undermined by erroneous or hallucinated code. To enforce model honesty, fo…

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

ROSE: An Intent-Centered Evaluation Metric for NL2SQL

Wenqi Pei, Shizheng Hou, Boyan Li, Han Chen, Zhichao Shi, Yuyu Luo · 2026

Execution Accuracy (EX), the widely used metric for evaluating the effectiveness of Natural Language to SQL (NL2SQL) solutions, is becoming increasingly unreliable. It is sensitive to syntactic variat…

Read Paper →
Computer Science Preprint PDF DOI

LITE: Lightweight Channel Gain Estimation with Reduced X-Haul CSI Signaling in O-RAN

David Goez, Marco Piazzola, Giulia Costa, Achiel Colpaert, Rodney Martinez Alonso, Esra Aycan Beyazit, Nina Slamnik-Krijestorac, Johann M. Marquez-Barja, Miguel Camelo Botero · 2026

Cell-Free Massive Multiple-Input Multiple-Output (CF-MaMIMO) in Open Radio Access Network (O-RAN) promises high spectral efficiency but is limited by frequent Channel State Information (CSI) exchanges…

Read Paper →
Computer Science Preprint PDF DOI

LCMP: Distributed Long-Haul Cost-Aware Multi-Path Routing for Inter-Datacenter RDMA Networks

Dong-Yang Yu, Yuchao Zhang, Xiaodi Wang, Jun Wang, Wenfei Wu, Haipeng Yao, Wendong Wang, Ke Xu · 2026

RDMA-empowered cloud services are gradually deployed across datacenters (DCs) with multiple paths, which exhibit new properties of path asymmetry, delayed congestion signals, and simultaneous flow rou…

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

FLAME: Condensing Ensemble Diversity into a Single Network for Efficient Sequential Recommendation

WooJoo Kim, JunYoung Kim, JaeHyung Lim, SeongJin Choi, SeongKu Kang, HwanJo Yu · 2026

Sequential recommendation requires capturing diverse user behaviors, which a single network often fails to capture. While ensemble methods mitigate this by leveraging multiple networks, training them …

Read Paper →
Computer Science Preprint PDF DOI

How are AI agents used? Evidence from 177,000 MCP tools

Merlin Stein · 2026

Today's AI agents are built on large language models (LLMs) equipped with tools to access and modify external environments, such as corporate file systems, API-accessible platforms and websites. AI ag…

Read Paper →
Computer Science Preprint PDF DOI

Facial Movement Dynamics Reveal Workload During Complex Multitasking

Carter Sale, Melissa N. Stolar, Gaurav Patil, Michael J. Gostelow, Julia Wallier, Margaret C. Macpherson, Jan-Louis Kruger, Mark Dras, Simon G. Hosking, Rachel W. Kallen, Michael J. Richardson · 2026

Real-time cognitive workload monitoring is crucial in safety-critical environments, yet established measures are intrusive, expensive, or lack temporal resolution. We tested whether facial movement dy…

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

Clear, Compelling Arguments: Rethinking the Foundations of Frontier AI Safety Cases

Shaun Feakins, Ibrahim Habli, Phillip Morgan · 2026

This paper contributes to the nascent debate around safety cases for frontier AI systems. Safety cases are structured, defensible arguments that a system is acceptably safe to deploy in a given contex…

Read Paper →
Computer Science Preprint PDF DOI

The Digital Divide in Generative AI: Evidence from Large Language Model Use in College Admissions Essays

Jinsook Lee, Conrad Borchers, AJ Alvero, Thorsten Joachims, Rene F. Kizilcec · 2026

Large language models (LLMs) have become popular writing tools among students and may expand access to high-quality feedback for students with less access to traditional writing support. At the same t…

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

Fine-grained quantum advantage beyond double-logarithmic space

A. C. Cem Say · 2026

Polynomial-time quantum Turing machines are provably superior to their classical counterparts within a common space bound in $o(\log \log n)$. For $\Omega(\log \log n)$ space, the only known quantum a…

Read Paper →
Computer Science Preprint PDF DOI

PAL*M: Property Attestation for Large Generative Models

Prach Chantasantitam, Adam Ilyas Caulfield, Vasisht Duddu, Lachlan J. Gunn, N. Asokan · 2026

Machine learning property attestations allow provers (e.g., model providers or owners) to attest properties of their models/datasets to verifiers (e.g., regulators, customers), enabling accountability…

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 →
Page 1 of 28 Next →