Expertini Research Research

Browse Research Papers

5,823+ open-access research outputs.

✕ Clear
🔍 john snyder 📂 Computer Science
Showing 5823 results for "john snyder" in Computer Science
Computer Science Preprint PDF DOI

LZn : Robust LoRa Frame Synchronization Under Frame Collisions and Ultra-Low SNR Conditions

Jose Alamos, Thomas C. Schmidt, Matthias Wahlisch · 2026

LoRa has become a widely adopted wireless modulation scheme in LPWANs due to its low cost, long range, and minimal transmission power. However, collisions between frames of the same spreading factor -…

Read Paper →
Computer Science Preprint PDF DOI

Multi-Connectivity for UAVs: A Measurement Study of Integrating Cellular, Aerial Mesh, and LEO Satellite Links

Aygun Baltaci, Irshad A. Meer, Mustafa Ozger, Cicek Cavdar, Dominic Schupke · 2026

Future uncrewed aerial vehicle (UAV) systems increasingly combine heterogeneous communication technologies, such as low-latency aerial mesh, terrestrial cellular, and satellite links, to improve robus…

Read Paper →
Computer Science Preprint PDF DOI

SynSQL: Synthesizing Relational Databases for Robust Evaluation of Text-to-SQL Systems

Mohammadamin Habibollah, Davood Rafiei · 2026

Evaluating text-to-SQL systems remains largely fragile: correctness is typically judged by executing predicted and gold SQL queries on a single static database, even though the same queries may behave…

Read Paper →
Computer Science Preprint PDF DOI

Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves

Halley Young, Nikolaj Bjorner · 2026

Large language models can now generate substantial code and draft research text, but research-software projects require more than either artifact alone. The mathematical thesis, executable system, ben…

Read Paper →
Computer Science Preprint PDF DOI

Input Distribution Design for Ranging-Oriented OFDM-ISAC Systems Under Frequency-Selective Fading

Weijiang Zhao, Yifeng Xiong · 2026

The implementation of the \ac{isac} feature in \ac{6g} networks is most likely to be based on the framework of \ac{ofdm}. Input distribution design, or constellation design, is a crucial technique in …

Read Paper →
Computer Science Preprint PDF DOI

On-the-fly LTLf Synthesis under Partial Observability

Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu · 2026

LTLf synthesis under partial observability requires reasoning about unobservable environment variables, which is typically handled by constructing a belief-state DFA via subset construction that unive…

Read Paper →
Computer Science Preprint PDF DOI

MPI Malleability Validation under Replayed Real-World HPC Conditions

S. Iserte, M. Madon, G. Da, J. Pierson, A. J. Pena · 2026

Dynamic Resource Management (DRM) techniques can be leveraged to maximize throughput and resource utilization in computational clusters. Although DRM has been extensively studied through analytical wo…

Read Paper →
Computer Science Preprint PDF DOI

Converting an Integer to a Decimal String in Under Two Nanoseconds

Jael Champagne Gareau, Daniel Lemire · 2026

Converting binary integers to variable-length decimal strings is a fundamental operation in computing. Conventional fast approaches rely on recursive division and small lookup tables. We propose a SIM…

Read Paper →
Computer Science Preprint PDF DOI

Clustering Permutations under the Ulam Metric: A Parameterized Complexity Study

Tian Bai, Fedor V. Fomin, Petr A. Golovach, Yash Hiren More, Simon Wietheger · 2026

Rank aggregation seeks a representative permutation for a collection of rankings and plays a central role in areas such as social choice, information retrieval, and computational biology. Two fundamen…

Read Paper →
Computer Science Preprint PDF DOI

Generating Synthetic Citation Networks with Communities

{L}ukasz Brzozowski, Marek Gagolewski, Grzegorz Siudem · 2026

Generating realistic synthetic citation, patent, or component dependency networks is essential for benchmarking community detection, graph visualisation, and network data mining algorithms. We present…

Read Paper →
Computer Science Preprint PDF DOI

The Attention Market: Interpreting Online Fair Re-ranking as Manifold Optimization under Walrasian Equilibrium

Chen Xu, Wei Chu, Wenyu Hu, Fengran Mo, Jun Xu, Maarten de Rijke · 2026

Fair re-ranking aims to promote long-tail items and enhance diversity within groups in information retrieval. While previous research on online fairness-aware re-ranking has shown promising outcomes, …

Read Paper →
Computer Science Preprint PDF DOI

SUDP: Secret-Use Delegation Protocol for Agentic Systems

Xiaohang Yu, Hejia Geng, William Knottenbelt · 2026

Agentic systems increasingly act with user secrets for APIs, messaging platforms, and cloud services. Today's bearer-secret interfaces implement authorization by exposure: enabling action often means …

Read Paper →
Computer Science Preprint PDF DOI

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation

Amal AKLI, Mike PAPADAKIS, Maxime CORDY, Yves Le TRAON · 2026

Large language models are increasingly used for code generation, yet the correctness of their outputs depends not only on model capability but also on how tasks are specified. Prior studies demonstrat…

Read Paper →
Computer Science Preprint PDF DOI

DRL-Based Antenna Position Optimization For MA-Assisted OTFS System Under Imperfect CSI

Maoyuan Wang, Qian Zhang, Yufei Zhao, Xuejun Cheng, Zheng Dong, Deqiang Wang, Yong Liang Guan · 2026

In this paper, we introduce movable antenna (MA) technology into orthogonal time frequency space (OTFS) systems to enable wavelength-level antenna position optimization under imperfect channel state i…

Read Paper →
Computer Science Preprint PDF DOI

Can Humans Detect AI? Mining Textual Signals of AI-Assisted Writing Under Varying Scrutiny Conditions

Daniel Tabach (Georgia Institute of Technology) · 2026

This study asks whether the threat of AI detection changes how people write with AI, and whether other people can tell the difference. In a two-phase controlled experiment, 21 participants wrote opini…

Read Paper →
Computer Science Preprint PDF DOI

Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts

Jingyu Zhang, Fan Wang, Jacky Keung, Yihan Liao, Yan Xiao, Lei Ma · 2026

Deep learning (DL)-based systems can exhibit unexpected behavior when exposed to out-of-distribution (OOD) scenarios, posing serious risks in safety-critical domains such as malware detection and auto…

Read Paper →
Computer Science Preprint PDF DOI

Age of Information under Source-Aware Truncated ARQ in Multi-Source Wireless Status Updating

Tianci Zhang, Aobo Liu, Zhengchuan Chen, Zhong Tian, Jemin Lee, Yuquan Xiao, Mehul Motani · 2026

This paper studies information timeliness in multi-source wireless Internet of Things (IoT) status updating systems under a truncated Automatic Repeat reQuest (ARQ) protocol. We propose a source-aware…

Read Paper →
Computer Science Preprint PDF DOI

Rejection Sampling is Optimal for Relative Entropy Coding

Spencer Hill, Fady Alajaji, Tamas Linder, Gergely Flamich · 2026

In relative entropy coding, a sender aims to design a stochastic code such that, on input $X \sim P_X$, the receiver can generate a sample $Y \sim P_{Y \mid X}$. It is a standard result that (1) this …

Read Paper →
Computer Science Preprint PDF DOI

Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability

Marcelo Fernandez - TraslaIA · 2026

Autonomous systems increasingly operate under partial observability where execution-relevant state is never fully accessible. Existing governance mechanisms -- trusted execution environments, oracle-s…

Read Paper →
Computer Science Preprint PDF DOI

How Hard is it to Decide if a Fact is Relevant to a Query?

Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade · 2026

We consider the following fundamental problem: given a database D, Boolean conjunctive query (CQ) q, and fact f in D, decide whether f is relevant to q wrt. D, i.e., does f belong to a minimal subset …

Read Paper →
Page 1 of 292 Next →