Expertini Research Research

Browse Research Papers

7,983+ open-access research outputs.

✕ Clear
🔍 christophe hauser 📂 Computer Science
Showing 7983 results for "christophe hauser" in Computer Science
Computer Science Preprint PDF DOI

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles

Zainab Rehan, Christian Medeiros Adriano, Sona Ghahremani, Holger Giese · 2026

Rule-based systems remain central in safety-critical domains but often struggle with scalability, brittleness, and goal misspecification. These limitations can lead to reward hacking and failures in f…

Read Paper →
Computer Science Preprint PDF DOI

Understanding Bugs in Template Engine-Based Applications: Symptoms, Root Causes, and Fix Patterns

Kai Gao, Yu Sun, Chang-ai Sun · 2026

Template engines are indispensable components in modern software ecosystems, enabling the generation of structured documents and scripts across domains such as web development, Infrastructure as Code,…

Read Paper →
Computer Science Preprint PDF DOI

Profiles of AI Dependency: A Latent Class Analysis of Filipino Students' Academic Competencies

Emerson Q. Fernando, Julius Ceazar G. Tolentino, Maria Anna D. Cruz, Jordan L. Salenga, Vernon Grace M. Maniago, Juvy C. Grume, Erika M. Pineda, Aileen P. De Leon, John Paul P. Miranda · 2026

The increasing dependency among Filipino college students on artificial intelligence (AI) poses concerns about the potential decline of fundamental academic competencies. This study examines the exten…

Read Paper →
Computer Science Preprint PDF DOI

On Coded Caching Systems with Decentralized Linear Coding Placement

Yinbin Ma, Daniela Tuninetti · 2026

Coded caching is a technique that leverages locally cached contents at the end users to reduce the network's peak-time communication load. Coded caching has been shown to achieve significant performan…

Read Paper →
Computer Science Preprint PDF DOI

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience

Matteo Vaccargiu, Andrea Pinna, Maria Ilaria Lunesu, Giuseppe Destefanis · 2026

Smart contract vulnerabilities have caused billions in financial losses, raising questions about whether programming language paradigms can reduce security overhead. While imperative languages like So…

Read Paper →
Computer Science Preprint PDF DOI

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification

Masato Kamba, Hirotake Murakami, Akiyoshi Sannai · 2026

Security-critical software is routinely audited by tools that reason about vulnerabilities as repository-local code patterns. Yet specification-governed systems -- protocol stacks, consensus implement…

Read Paper →
Computer Science Preprint PDF DOI

StreamGuard: Exploring a 5G Architecture for Efficient, Quality of Experience-Aware Video Conferencing

Xuyang Cao, Oliver Michel, Kyle Jamieson · 2026

Video conferencing over 5G is increasingly prevalent, yet its Quality of Experience (QoE) often degrades under limited radio resources. This has two causes: 5G networks must serve many users, while in…

Read Paper →
Computer Science Preprint PDF DOI

Ceci n'est pas une explication: Evaluating Explanation Failures as Explainability Pitfalls in Language Learning Systems

Ben Knight, Wm. Matthew Kennedy, James Edgell · 2026

AI-powered language learning tools increasingly provide instant, personalised feedback to millions of learners worldwide. However, this feedback can fail in ways that are difficult for learners--and e…

Read Paper →
Computer Science Preprint PDF DOI

UCSC-NLP at SemEval-2026 Task 13: Multi-View Generalization and Diagnostic Analysis of Machine-Generated Code Detection

Kargi Chauhan, Sadiba Nusrat Nur · 2026

With the rapid growth of large language models for code generation, distinguishing between human-written and AI-generated code has become increasingly critical for academic integrity, hiring evaluatio…

Read Paper →
Computer Science Preprint PDF DOI

SWE-Edit: Rethinking Code Editing for Efficient SWE-Agent

Yikai Zhang, Jiaxin Pei, Kenan Li, Maoquan Wang, Jin Pan, Yu Kang, Shengyu Fu, Elsie Nallipogu, Junjie Hu, Yufan Huang, Zijian Jin · 2026

Large language model agents have achieved remarkable progress on software engineering tasks, yet current approaches suffer from a fundamental context coupling problem: the standard code editing interf…

Read Paper →
Computer Science Preprint PDF DOI

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

Remi Di Guardia, Thomas Ehrhard, Claudia Faggian · 2026

Quantum Bayesian networks provide a mathematical formalism to describe causal relations, to analyse correlations, and to predict the probabilities of measurement outcomes, in systems involving both cl…

Read Paper →
Computer Science Preprint PDF DOI

Break the Inaccessible Boundary: Distilling Post-Conversion Content for User Retention Modeling

Tianbao Ma, Ruochen Yang, Chengen Li, Yuexin Shi, Jiangxia Cao, Linxun Chen, Zhaojie Liu, Yanan Niu, Han Li, Kun Gai · 2026

User retention is a key metric to measure long-term engagement in modern platforms. In real-time bidding (RTB) advertising system for user re-engagement, the retention model is required to predict fut…

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

R-CoT: A Reasoning-Layer Watermark via Redundant Chain-of-Thought in Large Language Models

Ziming Zhang, Li Li, Guorui Feng, Hanzhou Wu, Xinpeng Zhang · 2026

Large language models (LLMs) are widely deployed in multiple scenarios due to reasoning capabilities. In order to prevent the models from being misused, watermarking is generally employed to ensure ow…

Read Paper →
Computer Science Preprint PDF DOI

What If We Work Together? Fostering Reflections on Designer Inclusion in Open Source Software Through Speculative Design

Rozhan Hozhabri Nezhad, Jin L.C. Guo, Jinghui Cheng · 2026

Open source software (OSS) often prioritizes technical functionality over usability and UX design. This imbalance limits OSS adoption among broader, non-technical users. Key underlying factors contrib…

Read Paper →
Computer Science Preprint PDF DOI

Less Is More: Engineering Challenges of On-Device Small Language Model Integration in a Mobile Application

William Oliveira · 2026

On-device Small Language Models (SLMs) promise fully offline, private AI experiences for mobile users (no cloud dependency, no data leaving the device). But is this promise achievable in practice? Thi…

Read Paper →
Computer Science Preprint PDF DOI

Why AI Harms Can't Be Fixed One Identity at a Time: What 5300 Incident Reports Reveal About Intersectionality

Edyta Bogucka, Sanja Scepanovic, Daniele Quercia · 2026

AI risk assessment is the primary tool for identifying harms caused by AI systems. These include intersectional harms, which arise from the interaction between identity categories (e.g., class and ski…

Read Paper →
Computer Science Preprint PDF DOI

System-aware contextual digital twin for ICS anomaly diagnosis

Eungyu Woo, Yooshin Kim, Wonje Heo, Donghoon Shin · 2026

Industrial Control Systems (ICS) integrate computing, physical processes, and communication to operate critical infrastructures such as power grids, water treatment plants, and oil and gas facilities.…

Read Paper →
Computer Science Preprint PDF DOI

Source-Code Analysis of iFogSim for Simulating Distributed IoT Architectures: Coverage, Challenges, and Enhancements

Milliam Maxime Zekeng Ndadji · 2026

Simulation is an indispensable tool for validating distributed IoT architectures before physical deployment, and iFogSim has emerged as one of the most widely adopted platform in the fog and edge comp…

Read Paper →
Computer Science Preprint PDF DOI

Multi-User ISAC with Heterogeneous Unknown Parameters: Optimal Beamforming based on Distribution Information

Chan Xu, Shuowen Zhang · 2026

This paper studies an integrated sensing and communication (ISAC) system where a multi-antenna base station (BS) communicates with multiple single-antenna users in the downlink and senses the unknown …

Read Paper →
Page 1 of 400 Next →