Expertini Research Research

Browse Research Papers

5,889+ open-access research outputs.

✕ Clear
🔍 daniel foreman mackey 📂 Computer Science
Showing 5889 results for "daniel foreman mackey" in Computer Science
Computer Science Preprint PDF DOI

Accent Conversion: A Problem-Driven Survey of Sociolinguistic and Technical Constraints

Yurii Halychanskyi, Jianfeng Steven Guo, Volodymyr Kindratenko · 2026

Accent conversion has rapidly progressed alongside growing interest in improving global cross-cultural communication. This survey presents an overview of the evolution of accent conversion methodologi…

Read Paper →
Computer Science Preprint PDF DOI

What Makes Software Bugs Escape Testing? Evidence from a Large-Scale Empirical Study

Domenico Cotroneo, Giuseppe De Rosa, Cristina Improta, Benedetta Gaia Varriale · 2026

Understanding how software defects manifest and evolve in production environments is critical for improving reliability. While previous research has largely focused on pre-release defects, the nature …

Read Paper →
Computer Science Preprint PDF DOI

Breaking Bad Financial Habits: How LLM Conversations Correct Financial Misconceptions

Jillian Ross, Eric So, Andrew W. Lo · 2026

Financial misconceptions carry direct economic costs, from panic selling to equity market avoidance, yet they are notoriously resistant to correction. Traditional financial literacy interventions are …

Read Paper →
Computer Science Preprint PDF DOI

FloatSOM: GPU-Accelerated, Distributed, Topology-Flexible Self-Organizing Maps

Tony Xu, Sarah Klamt, Katherine Turner, Anne Brustle, Felix Marsh-Wakefield, Givanna Putri · 2026

GPU-accelerated Self-Organizing Map (SOM) implementations are among the most competitive options for large-scale SOM analysis, but growing dataset sizes increasingly challenge their practical use beca…

Read Paper →
Computer Science Preprint PDF DOI

MarkIt: Training-Free Visual Markers for Precise Video Temporal Grounding

Pengcheng Fang, Yuxia Chen, Xiaohao Cai · 2026

Video temporal grounding (VTG) aims to localize the start and end timestamps of the event described by a given query within an untrimmed video. Despite the strong open-world video understanding and re…

Read Paper →
Computer Science Preprint PDF DOI

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking

Ray Iskander, Khaled Kirah · 2026

This is Paper 6 of a series of formally-verified analyses of masked NTT hardware for post-quantum cryptography; Paper 1 [1] established structural dependency analysis of the QANARY platform, and Paper…

Read Paper →
Computer Science Preprint PDF DOI

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS

Bipin Thapa, Daniele Alfonso, Lorenzo Bini, Licio Mapelli, Kaspar Schleiser, Romain Fouquet, Emmanuel Baccelli · 2026

As Rust gains traction for developing safer systems software, a reality check for the microcontroller hardware segment becomes necessary. How ready is the Rust ecosystem for this segment? Can Rust com…

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

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems

Ignacio Peyrano · 2026

Enterprise software engineering is shifting away from deterministic CRUD/REST architectures toward AI-native systems where large language models act as cognitive orchestrators. This transition introdu…

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

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah · 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2…

Read Paper →
Computer Science Preprint PDF DOI

Incisor: Ex Ante Cloud Instance Selection for HPC Jobs

Michael A. Laurenzano, Shihan Cheng, David A. B. Hyde · 2026

We present Incisor, a cloud HPC job submission system for the ex ante instance selection problem: choosing suitable hardware in the challenging but common setting where only the executable, inputs, an…

Read Paper →
Computer Science Preprint PDF DOI

Explanation Systems for Approval-Based Multiwinner Voting

Niclas Boehmer, Luca Kreisel, Jannik Peters · 2026

In approval-based multiwinner voting, voters express approval preferences over a set of candidates, and the goal is to return a winning committee. This model captures a broad range of subset selection…

Read Paper →
Computer Science Preprint PDF DOI

Optimas: An Intelligent Analytics-Informed Generative AI Framework for Performance Optimization

Mohammad Zaeed, Tanzima Z. Islam, Vladimir Indic · 2026

Large language models (LLMs) show promise for automated code optimization. However, without performance context, they struggle to produce correct and effective code transformations. Existing performan…

Read Paper →
Computer Science Preprint PDF DOI

Characterizations of Admissible Objective Functions for Hierarchical Clustering

Ryuki Tsukuba, Kazutoshi Ando · 2026

Hierarchical clustering is a fundamental task in data analysis, yet for a long time it lacked a principled objective function. Dasgupta [STOC 2016] initiated a formal framework by introducing a discre…

Read Paper →
Computer Science Preprint PDF DOI

The Vehicle May Be Sick: Denial of Diagnostic Services by Exploiting the CAN Transport Protocol

Seungjin Baek, Seonghoon Jeong, Huy Kang Kim · 2026

Vehicle diagnostics has become essential for detecting in-vehicle errors and ensuring safety. While the Unified Diagnostic Services (UDS) protocol is widely adopted for diagnostic operations, it relie…

Read Paper →
Computer Science Preprint PDF DOI

CyberCane: Neuro-Symbolic RAG for Privacy-Preserving Phishing Detection with Formal Ontology Reasoning

Safayat Bin Hakim, Aniqa Afzal, Qi Zhao, Vigna Majmundar, Pawel Sloboda, Houbing Herbert Song · 2026

Privacy-critical domains require phishing detection systems that satisfy contradictory constraints: near-zero false positives to prevent workflow disruption, transparent explanations for non-expert st…

Read Paper →
Computer Science Preprint PDF DOI

Towards System-Oriented Formal Verification of Local-First Access Control

Florian Jacob, Johanna Stuber, Hannes Hartenstein · 2026

Conflict-free replicated data types (CRDTs) and the local-first concept are increasingly employed not only in small-scale collaboration systems among few users who trust each other, but also in large-…

Read Paper →
Computer Science Preprint PDF DOI

IIRSim Studio: A Dashboard for User Simulation

Saber Zerhoudi, Adam Roegiest, Michael Granitzer · 2026

User simulation is a valuable methodology for evaluation in Information Retrieval (IR), enabling low-cost experimentation and counterfactual analysis. However, existing simulation frameworks are prima…

Read Paper →
Computer Science Preprint PDF DOI

An Agentic Framework for Intent Co-Creation in 6G NaaS: Architecture and Open-Source Model Evaluation

Kostis Trantzas, Besiana Agko, Christos Tranoris, Irene Denazi · 2026

6G network complexity necessitates high levels of autonomy, yet current intent-based systems struggle with ambiguous or incomplete human requests. This paper introduces an agent-based, intent-driven e…

Read Paper →
Page 1 of 295 Next →