Expertini Research Research

Browse Research Papers

6,181+ open-access research outputs.

✕ Clear
🔍 peter j. stuckey 📂 Computer Science
Showing 6181 results for "peter j. stuckey" in Computer Science
Computer Science Preprint PDF DOI

Can We Volunteer Out of the Peer Review Crisis?

Theo Tang, Toby Handfield, Julian Garcia · 2026

The volume of scientific manuscripts is growing faster than the capacity to evaluate them, yet the institutions that govern peer review have remained largely unchanged. The result is a widening mismat…

Read Paper →
Computer Science Preprint PDF DOI

Towards an Ethical AI Curriculum: A Pan-African, Culturally Contextualized Framework for Primary and Secondary Education

Abidemi Kuburat Adedeji, Franklin Tchakounte, Sulaiman Oluwasegun Yusuff · 2026

Artificial intelligence (AI) is now embedded in educational, civic, and economic systems worldwide. For African primary and secondary education, this creates a double imperative: to prepare a young po…

Read Paper →
Computer Science Preprint PDF DOI

End-to-End and Phase-Level Performance Optimization for Hyperledger Fabric

Pavan Sollu, Aniruddha Mukherjee, Divya Pulivarthi, S.R. Eshwar, Gugan Thoppe, Kshitij Pratihast, Tittu Varghese, Hrishikesh Nashikkar, Yogesh Simmhan · 2026

Hyperledger Fabric (HLF) is a modular, permissioned blockchain widely adopted in enterprise settings. Enhancing its throughput and latency remains challenging, as optimization decisions made in one ph…

Read Paper →
Computer Science Preprint PDF DOI

Exploring the Efficiency of 3D-Stacked AI Chip Architecture for LLM Inference with Voxel

Yiqi Liu, Noelle Crawford, Michael Wang, Jilong Xue, Jian Huang · 2026

To overcome the well-known memory bottleneck of AI chips, 3D stacked architectures that employ advanced packaging technology with high-density through-silicon vias (TSVs) pins have proven to be a prom…

Read Paper →
Computer Science Preprint PDF DOI

On (In)approximability of MaxMin Independent Set Reconfiguration

Hung P. Hoang, Naoto Ohsaka, Rin Saito, Yuma Tamura · 2026

In the Independent Set Reconfiguration problem under the Token Addition/Removal rule, given a graph $G$ and two independent sets $I$ and $J$ of $G$, we want to transform $I$ into $J$ by adding and rem…

Read Paper →
Computer Science Preprint PDF DOI

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches

Michael Wienczkowski · 2026

Modern software systems are increasingly developed within rapid continuous integration and deployment (CI/CD) pipelines, where ensuring security prior to release presents significant technical and org…

Read Paper →
Computer Science Preprint PDF DOI

LLM-Assisted Empirical Software Engineering: Systematic Literature Review and Research Agenda

Victoria Gomes, Delaney Selb, Fabio Palomba, Rodrigo Spinola, David Lo · 2026

Context: Empirical Software Engineering (ESE) faces increasing challenges due to data scale, methodological complexity, and reproducibility concerns. Large Language Models (LLMs) have emerged as promi…

Read Paper →
Computer Science Preprint PDF DOI

Tight Bounds for some W[1]-hard Problems Parameterized by Multi-clique-width

Benjamin Bergougnoux, Vera Chekan, Stefan Kratsch · 2026

In this work we contribute to the study of the fine-grained complexity of problems parameterized by multi-clique-width, which was initiated by F\"urer [ITCS 2017] and pursued further by Chekan and Kra…

Read Paper →
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

Making AI-Assisted Grant Evaluation Auditable without Exposing the Model

Kemal Bicakci · 2026

Public agencies are beginning to consider large language models (LLMs) as decision-support tools for grant evaluation. This creates a practical governance problem: the model and scoring rubric should …

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

Workplace Demands and Emotional Expression Among Early Childhood Educators: A Computational Analysis of Professional Online Discourse

Hailong Jiang · 2026

Early childhood educators work in settings characterized by heavy regulation, emotional labor, staffing instability, and low pay. Although these conditions are well documented in survey-based research…

Read Paper →
Computer Science Preprint PDF DOI

Polynomial Kernels for Spanning Tree with Diversity Requirements

Petr A. Golovach, Diptapriyo Majumdar, Saket Saurabh · 2026

Given a connected undirected graph $G$, a spanning tree is a subgraph $T$ of $G$ such that $V(T) = V(G)$ and $T$ is a tree. A collection of $\ell$ spanning trees $T_1,\ldots,T_\ell$ is pairwise $k$-di…

Read Paper →
Computer Science Preprint PDF DOI

Scalable First-Order Interior Point Trust Region Algorithms for Linearly Constrained Optimization

Yuexin Su, Chenyi Zhang, Peiyuan Huang, Tongyang Li, Yinyu Ye · 2026

Computing approximate Karush--Kuhn--Tucker (KKT) points for constrained nonconvex programs is a fundamental problem in mathematical programming. Interior-point trust-region (IPTR) methods are particul…

Read Paper →
Computer Science Preprint PDF DOI

X-NegoBox: An Explainable Privacy-Budget Negotiation Framework for Secure Peer-to-Peer Energy Data Exchange

Poushali Sengupta, Sabita Maharjan, Frank Eliassen, Yan Zhang · 2026

The decentralization of modern energy systems is transforming consumers into prosumers who continuously exchange data with aggregators, peers, and market operators. While such data is essential for pe…

Read Paper →
Computer Science Preprint PDF DOI

Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing

Antony Rowstron · 2026

Auditing the semantic properties of proprietary data creates a fundamental tension: verification requires transparent access, while proprietary rights demand confidentiality. While Zero-Knowledge Proo…

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

Distributed Electromagnetic Neural Networks for Task-Oriented Semantic Communications

Jinbao Li, Jiancheng An, Hao Liu, Lu Gan, Victor C. M. Leung, Mehdi Bennis, Merouane Debbah · 2026

Semantic communications (SemCom) is a promising paradigm that prioritizes the transmission of task-relevant information, thereby enabling superior communication efficiency over traditional bit-centric…

Read Paper →
Computer Science Preprint PDF DOI

Are Digital Humanities really committed to open? An exploratory study on the availability of methodological workflows and open peer review practices

Silvio Peroni · 2026

Open Science has become a central framework for promoting transparency, accessibility, and inclusiveness in scholarly research. While the Digital Humanities (DH) community has long embraced openness i…

Read Paper →
Computer Science Preprint PDF DOI

KISS Sorcar: A Stupidly-Simple General-Purpose and Software Engineering AI Assistant

Koushik Sen · 2026

Large language models can generate code and call tools with remarkable fluency, yet deploying them as practical software engineering assistants still expose stubborn gaps: finite context windows, sing…

Read Paper →
Page 1 of 310 Next →