Expertini Research Research

Browse Research Papers

1,404+ open-access research outputs.

✕ Clear
🔍 tom leinster 📂 Computer Science
Showing 1404 results for "tom leinster" in Computer Science
Computer Science Preprint PDF DOI

VitaLLM: A Versatile, Ultra-Compact Ternary LLM Accelerator with Dependency-Aware Scheduling

Zi-Wei Lin, Tian-Sheuan Chang · 2026

Deploying Large Language Models (LLMs) on resource-constrained edge devices faces critical bottlenecks in memory bandwidth and power consumption. While ternary quantization (e.g., BitNet b1.58) signif…

Read Paper →
Computer Science Preprint PDF DOI

Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases

Michael T.M. Emmerich · 2026

We study exact fixed-cardinality Solow--Polasky diversity subset selection on ordered finite $\ell_1$ sets, with monotone biobjective Pareto fronts and their higher-dimensional staircase analogues as …

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

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers

Emil Khusainov, Yanbin Chen, Jonas Winklmann, Helmut Seidl, Christian B. Mendl · 2026

Neutral-atom quantum computing is among the most promising platforms for scalable quantum computation, and compilation toolchains are crucial for leveraging capabilities such as qubit shuttling and pa…

Read Paper →
Computer Science Preprint PDF DOI

Adoption of TikTok as a Learning Tool in Physical Education: Evidence from the Philippines

Vanessa B. Sibug, Jan Henry B. Sunga, Emerson Q. Fernando, Roe Vincent S. Ovejas, Arjan Gil S. Mendoza, Trisha Anne A. Onofre, Agnes R. Regala, John Paul P. Miranda · 2026

This study examines the factors that influence the adoption of TikTok as a learning tool for physical education (PE)-related content among tertiary students in the Philippines. The study applies the T…

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

Unfolding an Atomistic World: Atomistic Simulation of Reactor Pressure Vessel Steel Across Year-and-Meter Scales

Haozhi Han, Ruge Zhang, Haoquan Chen, Yifeng Chen, Haipeng Jia, Liang Yuan, Yunquan Zhang, Ting Cao, Yunxin Liu, Ya-Qin Zhang, Kun Li · 2026

Lifetime prediction of reactor pressure vessel (RPV) steel requires bridging atomistic degradation mechanisms with service-scale spatial and temporal regimes, from Angstroms and picoseconds to meters …

Read Paper →
Computer Science Preprint PDF DOI

PageGuide: Browser extension to assist users in navigating a webpage and locating information

Tin Nguyen, Thang T. Truong, Runtao Zhou, Trung Bui, Chirag Agarwal, Anh Totti Nguyen · 2026

Users browsing the web daily struggle to quickly locate relevant information in cluttered pages, complete unfamiliar multi-step tasks, and stay focused amid distracting content. State-of-the-art AI as…

Read Paper →
Computer Science Preprint PDF DOI

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

Ray Iskander, Khaled Kirah · 2026

Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established stru…

Read Paper →
Computer Science Preprint PDF DOI

Feedback-Driven Rate Control for Learned Video Compression

Zhiheng Xu, Xuerui Ma, Chunhua Peng, Hao Zhang · 2026

End-to-end learned video compression has achieved strong rate-distortion performance, but rate control remains underexplored, especially in target-bitrate-driven and budget-constrained scenarios. Exis…

Read Paper →
Computer Science Preprint PDF DOI

Scaling Worst-Case Optimal Datalog to GPUs

Yihao Sun, Kunting Qi, Thomas Gilray, Sidharth Kumar, Kristopher Micinski · 2026

Datalog is a declarative logic-programming language used for complex analytic reasoning workloads such as program analysis and graph analytics. Datalog's popularity is due to its unique price-point, m…

Read Paper →
Computer Science Preprint PDF DOI

Proactive Detection of GUI Defects in Multi-Window Scenarios via Multimodal Reasoning

Xinyao Zhang, Rui Wang, Jinhao Cui, Haotian Huang, Wei Xue, Wenhua Hu, Jianwen Xiang, Rui Hao · 2026

Multi-window mobile scenarios, such as split-screen and foldable modes, make GUI display defects more likely by forcing applications to adapt to changing window sizes and dynamic layout reflow. Existi…

Read Paper →
Computer Science Preprint PDF DOI

Temporal UI State Inconsistency in Desktop GUI Agents: Formalizing and Defending Against TOCTOU Attacks on Computer-Use Agents

Wenpeng Xu · 2026

GUI agents that control desktop computers via screenshot-and-click loops introduce a new class of vulnerability: the observation-to-action gap (mean 6.51 s on real OSWorld workloads) creates a Time-Of…

Read Paper →
Computer Science Preprint PDF DOI

Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes

Chiara Ghinami, Igor Pontes Tresolavy, Luis Seibt, Nils Bosbach, Rainer Leupers · 2026

The increasing complexity of embedded software has made comprehensive manual testing impractical, motivating the use of automated techniques such as fuzzing. Coverage-guided fuzzers like AFL++ have sh…

Read Paper →
Computer Science Preprint PDF DOI

Position: No Retroactive Cure for Infringement during Training

Satoru Utsunomiya, Masaru Isonuma, Junichiro Mori, Ichiro Sakata · 2026

As generative AI faces intensifying legal challenges, the machine learning community has increasingly relied on post-hoc mitigation -- especially machine unlearning and inference-time guardrails -- to…

Read Paper →
Computer Science Preprint PDF DOI

Beyond Chat and Clicks: GUI Agents for In-Situ Assistance via Live Interface Transformation

Pan Hao, Rishi Selvakumaran, Jacob Sun, Qianwen Wang · 2026

Complex visual interfaces are powerful yet have a steep learning curve, as users must navigate feature-rich visual interfaces while reasoning about domain-specific operations. Existing approaches eith…

Read Paper →
Computer Science Preprint PDF DOI

A sequential explanatory mixed-methods study on the acceptance of a social robot for EFL speaking practice among Chinese primary school students: Insights from the Computers Are Social Actors (CASA) paradigm

Yiran Du, Jinlong Li, Huimin He, Chenghao Wang, Bin Zou · 2026

This study investigates Chinese primary school students' acceptance of a social robot for English-as-a-foreign-language (EFL) speaking practice through a sequential explanatory mixed-methods design. I…

Read Paper →
Computer Science Preprint PDF DOI

The Unified Field Theory of Phygital Space

Silvio Meira · 2026

This paper proposes a Unified Field Theory of Phygital Space, positing that contemporary reality is not a dichotomy of "online" and "offline," but a unified ontological manifold of irreducible but cou…

Read Paper →
Computer Science Preprint PDF DOI

Investigating CI/CD-based Technical Debt Management in Open-source Projects

Joao Paulo Biazotto, Daniel Feitosa, Paris Avgeriou, Elisa Yumi Nakagawa · 2026

Managing technical debt (TD) is critical to ensure the sustainability of long-term software projects. However, the time and cost involved in technical debt management (TDM) often discourage practition…

Read Paper →
Computer Science Preprint PDF DOI

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings

Vladi Vexler, Ofer Idan, Gil Lederman, Dima Sivov · 2026

Standard dense retrievers lack a native calculus for multi-atom logical constraints. We introduce Neuro-Symbolic Fuzzy Logic (NSFL), a framework that adapts formal t-norms and t-conorms to neural embe…

Read Paper →
Page 1 of 71 Next →