Expertini Research Research

Browse Research Papers

1,436+ open-access research outputs.

✕ Clear
🔍 todd gamblin 📂 Computer Science
Showing 1436 results for "todd gamblin" in Computer Science
Computer Science Preprint PDF DOI

Online Coloring for Graphs of Large Odd Girth

Hirotaka Yoneda, Masataka Yoneda · 2026

We study the problem of online coloring for graphs with large odd girth. The best previously known algorithm uses $O(n^{1/2})$ colors, which was discovered by Kierstead in 1998. This algorithm works w…

Read Paper →
Computer Science Preprint PDF DOI

Strongly Refuting Random CSP without Literals

Siu On Chan, Tommaso d'Orsi, Jeff Xu · 2026

Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wis…

Read Paper →
Computer Science Preprint PDF DOI

Weighted Emulators with Local Heaviest Edges Stretch for Undirected Graphs

Liam Roditty, Ariel Sapir · 2026

We introduce a generalized family of $\left( 2\cdot \left\lfloor \frac{k}{2} \right\rfloor-1, 2\cdot \left\lceil \frac{k}{2} \right\rceil \cdot W_{1} +\max\left\{0,2\cdot\left(\left\lceil\frac{k}{2}\r…

Read Paper →
Computer Science Preprint PDF DOI

TDD Governance for Multi-Agent Code Generation via Prompt Engineering

Tarlan Hasanli, Shahbaz Siddeeq, Bishwash Khanal, Pyry Kotilainen, Tommi Mikkonen, Pekka Abrahamsson · 2026

Large language models (LLMs) accelerate software development but often exhibit instability, non-determinism, and weak adherence to development discipline in unconstrained workflows. While test-driven …

Read Paper →
Computer Science Preprint PDF DOI

Flashback: A Reversible Bilateral Run-Peeling Decomposition of Strings

Thomas Konstantinovsky, Gur Yaari · 2026

We introduce Flashback, a reversible string decomposition that repeatedly peels the maximal leading and trailing character runs from a sentinel-wrapped input, recording each pair as one bilateral toke…

Read Paper →
Computer Science Preprint PDF DOI

Grouped Color Deletion, Lasserre Exactness and Clique-Sum Locality for Rainbow Matching

Georgios Stamoulis · 2026

We study the rainbow matching (RM) problem: given an edge-colored graph, find a maximum matching with at most one edge of each color. Rainbow matchings correspond to stable sets in the \emph{augmented…

Read Paper →
Computer Science Preprint PDF DOI

On the Minimum Distances of Some Families of Goppa Codes and BCH Codes

Yaqi Chen, Hao Chen, Cunsheng Ding, Huimin Lao · 2026

Goppa codes form an important class of alternant codes with wide applications in algebraic coding theory and code-based cryptography. Determining the true minimum distance of a Goppa code is a difficu…

Read Paper →
Computer Science Preprint PDF DOI

On the Minimum Distances of Some Families of BCH Codes

Yaqi Chen, Hao Chen, Cunsheng Ding, Huimin Lao · 2026

BCH codes form an important class of cyclic codes, which have applications in communication and data storage systems. Although the BCH bound provides a lower bound on the minimum distance of BCH codes…

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

A Linear-Time Algorithm for Finding an Odd Cycle Through Two Specified Vertices

Takumi Kano, Yutaro Yamaguchi · 2026

We present a deterministic linear-time algorithm for finding an odd cycle through two specified vertices in an undirected graph. This is shown in a generalized form as follows: Let $\Gamma$ be any gro…

Read Paper →
Computer Science Preprint PDF DOI

Recursive Structure of Hulls of PRM Codes

Yufeng Song, Qin Yue · 2026

For a nonnegative integer $r$ and a positive integer $v$ satisfying \[ \frac{r(q-1)}{2}<v<\frac{(r+1)(q-1)}{2}, \] we define the combinatorial numbers \[ A_r(v)= \begin{cases} \display…

Read Paper →
Computer Science Preprint PDF DOI

iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation

Junyi Wang, Jialun Cao, Zhongxin Liu · 2026

Automatically generating bug reproduction tests (BRT) from issue descriptions is crucial for software maintenance. LLM-based approaches have shown great potential for this task. Their effectiveness he…

Read Paper →
Computer Science Preprint PDF DOI

Explicit Factorization of $x^{p+1}-1$ over $\mathbb{Z}_{p^e}$: A Structural Approach via Dickson Polynomials

Yongchao Wang, Yang Ding, Jiansheng Yang, Zhiqiu Huang · 2026

Let $p$ be an odd prime. The factorization of the polynomial $x^{p+1}-1$ over the integer residue ring $\mathbb{Z}_{p^e}$ is pivotal for constructing cyclic codes with Hermitian symmetry, a critical r…

Read Paper →
Computer Science Preprint PDF DOI

Scattering-Matrix-Based Parametric Characterization of a Two-Port Bridged-T Network for Microstrip Filter Applications

Naser Khatti Dizabadi, Douglas Jussaume · 2026

The purpose of this study is to characterize a two-port Bridged-T network using transmission (T) and scattering (S) matrices. Using mathematical derivations, scattering parameters including S11, S12, …

Read Paper →
Computer Science Preprint PDF DOI

Characterizing normality via automata and random matrix products

Laurent Bienvenu (CNRS, LaBRI), Santiago Cifuentes (ICC, UBA), Hugo Gimbert (CNRS, LaBRI) · 2026

For a fixed alphabet A, an infinite sequence X is said to be normal if every word w over A appears in X with the same frequency as any other word of the same length. A classical result relates normali…

Read Paper →
Computer Science Preprint PDF DOI

Sema Code: Decoupling AI Coding Agents into Programmable, Embeddable Infrastructure

Huacan Wang, Jie Zhou, Ningyan Zhu, Shuo Zhang, Feiyu Chen, Jiarou Wu, Ge Chen, Chen Liu, Wangyi Chen, Xiaofeng Mou, Yi Xu · 2026

AI coding agents have become central to developer workflows, yet every existing solution locks its reasoning capabilities within a specific delivery form, such as a CLI, IDE plugin, or web application…

Read Paper →
Computer Science Preprint PDF DOI

The Statistical Profitability of Social Media Sports Betting Influencers: Evidence from the Nigerian Market

Kayode Makinde, Oluwatimileyin Onasanya, Frances Adelakun · 2026

This study examines whether following popular Nigerian sports betting influencers on social media is a financially sound strategy. To avoid the survivorship bias that occurs when influencers only shar…

Read Paper →
Computer Science Preprint PDF DOI

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems

Gricel Vazquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J Hodge, John Molloy, Simos Gerasimou · 2026

Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing a…

Read Paper →
Computer Science Preprint PDF DOI

Covering-radius and Collinearity- Minimizing Pilots for Channel Estimation in TDD Systems

Xu Zhu, Yi Zeng, Tiejun Li · 2026

This letter studies pilot design for orthogonal frequency-division multiplexing-based time-division duplex (TDD) systems under a sliding-window latest-slot recovery framework that jointly exploits del…

Read Paper →
Computer Science Preprint PDF DOI

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design

Shuqing Zhao · 2026

We present Arch (AI-native Register-transfer Clocked Hardware), a hardware description language for micro-architecture specification and AI-assisted code generation. Arch provides first-class construc…

Read Paper →
Page 1 of 72 Next →