Expertini Research Research

Browse Research Papers

2,749+ open-access research outputs.

✕ Clear
🔍 thomas gabor 📂 Computer Science
Showing 2749 results for "thomas gabor" in Computer Science
Computer Science Preprint PDF DOI

AgentEconomist: An End-to-end Agentic System Translating Economic Intuitions into Executable Computational Experiments

Jiaju Chen, Jinghua Piao, Xia Xu, Songwei Li, Tong Xia, Xiangnan He, Yong Li · 2026

A long-standing challenge in economics lies not in the lack of intuition, but in the difficulty of translating intuitive insights into verifiable research. To address this challenge, we introduce Agen…

Read Paper →
Computer Science Preprint PDF DOI

Users' Activity Logs: the Good, the Bad, the Misconception, and the Disastrous

Eman Alashwali · 2026

Most service providers, such as Google, save logs from data generated by users while using the service. Many service providers provide users with privacy controls to manage whether, how, and for how l…

Read Paper →
Computer Science Preprint PDF DOI

Evaluating Epistemic Guardrails in AI Reading Assistants: A Behavioral Audit of a Minimal Prototype

Matthew Christian Agustin · 2026

Large language model (LLM) reading assistants are increasingly used in settings that require interpretation rather than simple retrieval. In these contexts, the central risk is not only error or unsaf…

Read Paper →
Computer Science Preprint PDF DOI

Upskilling with Generative AI: Practices and Challenges for Freelance Knowledge Workers

Kashif Imteyaz, Isabel Lopez, Nakul Rajpal, Hunjun Shin, Saiph Savage · 2026

Freelance workers must continually acquire new skills to remain competitive in online labor markets, yet they lack the organizational training, mentorship, and infrastructure available to traditional …

Read Paper →
Computer Science Preprint PDF DOI

Agentic AI in the Software Development Lifecycle: Architecture, Empirical Evidence, and the Reshaping of Software Engineering

Happy Bhati · 2026

The arrival of large language models (LLMs) capable of multi-step reasoning, tool use, and long-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completion…

Read Paper →
Computer Science Preprint PDF DOI

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade

Bowen Cai, Weiheng Bai, Youshui Lu, Haoran Xu, Yuannan Yang, Yajin Zhou, Kangjie Lu · 2026

As blockchain ecosystems grow, financially motivated attackers increasingly exploit decentralized finance (DeFi) protocols, causing frequent and severe losses. Unlike conventional cyberattacks, DeFi e…

Read Paper →
Computer Science Preprint PDF DOI

An Empirical Analysis of Mobile Energy Consumption Across User Configurations

Wellington Oliveira · 2026

Mobile devices have become ubiquitous tools for communication, entertainment, and productivity, yet battery autonomy remains a constraint. While energy-saving tips exist, they are often generic, anecd…

Read Paper →
Computer Science Preprint PDF DOI

Barriers and Enablers of Online Instruction in Hospitality Education in the Philippines: An Exploratory Study

Maria Anna D. Cruz, Jeaneth D. Serna, Lloyd D. Feliciano, Mike Haizon M. David, Ma. Ferna Bel L. Punsalan, Glen Brian L. Lacsa, Michelle C. Castro, John Paul P. Miranda · 2026

This study examined the barriers and enablers of online instruction in hospitality education. A sequential exploratory design was implemented with hospitality teachers from both public and private hig…

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

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers

Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, Yepang Liu · 2026

Formal verification using interactive theorem provers ensures high-quality software. However, writing proof scripts for interactive theorem provers is labor-intensive and requires deep expertise. Rece…

Read Paper →
Computer Science Preprint PDF DOI

Directional Alignment and Narrative Agency in Human-LLM Co-Writing

Halfdan Nordahl Fundal, Yuri Bizzoni · 2026

We investigate narrative agency in human-LLM creative co-writing, asking who drives story development in turn-based collaboration. Using a new corpus of 87 human-LLM co-written stories, we apply senti…

Read Paper →
Computer Science Preprint PDF DOI

RAT: RunAnyThing via Fully Automated Environment Configuration

Renhong Huang, Dongdong Hua, Yifei Sun, Sitao Ding, Hanyang Yuan, Daixin Wang, Yang Yang · 2026

Automating repository-level software engineering tasks is a foundational challenge for autonomous code agents, largely due to the difficulty of configuring executable environments. However, manual con…

Read Paper →
Computer Science Preprint PDF DOI

Visual Accessibility in a Virtual Kitchen: Effects of Open Shelving on Performance, Cognitive Load, and Experience in Older Adults with and without MCI

Ibrahim Bilau, Eunhwa Yang, Hyeokhyen Kwon, Stacie Smith, Bruce Walker, Hui Cai, Ece Erdogmus, Omobolanle Ogunseiju · 2026

This study examines how visual accessibility through cabinet design influences task performance, cognitive load, physical activity level, motivation, and user experience in a virtual kitchen among old…

Read Paper →
Computer Science Preprint PDF DOI

You Don't Need Public Tests to Generate Correct Code

Kaushitha Silva, Srinath Perera · 2026

Multi-agent systems are frequently employed for autonomous code generation, demonstrating strong utility in complex algorithmic problem-solving. Recent studies tackle the difficulty of producing funct…

Read Paper →
Computer Science Preprint PDF DOI

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification

Lezhi Ma, Shangqing Liu, Yi Li, Qiong Wu, Han Wang, Lei Bu · 2026

Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specifications for full veri…

Read Paper →
Computer Science Preprint PDF DOI

Systematizing Blockchain Research Themes and Design Patterns: Insights from the University Blockchain Research Initiative (UBRI)

Chien-Chih Chen, Yitian Wang, Emma Nasseri, Yebo Feng, Lauren Weymouth · 2026

The rapid expansion of blockchain and digital asset ecosystems has intensified the challenge of translating academic research into deployable systems and regulatory frameworks. While advances in crypt…

Read Paper →
Computer Science Preprint PDF DOI

The Platform Is Mostly Not a Platform: Token Economies and Agent Discourse on Moltbook

Necati A Ayan · 2026

Moltbook, a Reddit-style social platform launched in January 2026 for AI agents, has attracted over 2.3 million posts and 14 million comments within its first two months. We analyze a dataset of 2.19 …

Read Paper →
Computer Science Preprint PDF DOI

Automated Extraction of Pharmacokinetic Parameters from Structured XML Scientific Articles: Enhancing Data Accessibility at Scale

Remya Ampadi Ramachandran, Lisa A. Tell, Sidharth Rai, Nuwan Millagaha Gedara, Hossein Sholehrasa, Jim E. Riviere, Majid Jaberi-Douraki · 2026

In the field of pharmacology, there is a notable absence of centralized, comprehensive, and up-to-date repositories of PK data. This poses a significant challenge for R&D as it can be a time-consuming…

Read Paper →
Computer Science Preprint PDF DOI

Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems

Lucas Alexandre, Joao Rulff, Talisson Souza, Gustavo Moreira, Daniel de Oliveira, Claudio Silva, Fabio Miranda, Marcos Lage · 2026

The development of visual analytics (VA) systems has traditionally been a labor-intensive process, balancing design methodologies with complex software engineering practices. In domain-specific fields…

Read Paper →
Computer Science Preprint PDF DOI

Translating Ethical Frameworks Into User-Centred Anti-Social Behaviour Interventions

Rachel Hill, Tom Owen, Julian Hough · 2026

In 2025 one million Anti-Social Behaviour (ASB) cases were recorded in England & Wales, impacting community cohesion. Statutory guidance presents punitive interventions that lack technological input a…

Read Paper →
Page 1 of 138 Next →