Expertini Research Research

Browse Research Papers

2,390+ open-access research outputs.

โœ• Clear
๐Ÿ” margit antal ๐Ÿ“‚ Computer Science
Showing 2390 results for "margit antal" in Computer Science
Computer Science Preprint PDF DOI

Do E-Scooter Speed Governance Policies Reduce Harsh Acceleration and Deceleration? Evidence from 19.5 Million Trips Around a Regulatory Ban

Seongjin Choi, Sunbin Yoo, Sugie Lee ยท 2026

Do e-scooter speed governance policies yield behavioral safety gains beyond the mechanical cap they impose? A firmware ceiling mechanically prevents speeding, but whether the same riders also generateโ€ฆ

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

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

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

Blur Effects on User Performance in Target-Pointing Tasks

Ryuto Tomihari, Taiki Kinoshita, Yosuke Oba, Shota Yamanaka, Homei Miyashita ยท 2026

In projectors and head-mounted displays, an out-of-focus image appears blurred. Even when a display itself is in focus, computer operation may be hindered if the display is far from the user or if a uโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

Yifan Zhang, Jianmin Ye, Jiahao Yang, Xi Wang ยท 2026

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architectโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The Alignment Target Problem: Divergent Moral Judgments of Humans, AI Systems, and Their Designers

Benjamin Minhao Chen, Xinyu Xie ยท 2026

The quest to align machine behavior with human values raises fundamental questions about the moral frameworks that should govern AI decision-making. Much alignment research assumes that the appropriatโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

MAGIC-TTS: Fine-Grained Controllable Speech Synthesis with Explicit Local Duration and Pause Control

Jialong Mai, Xiaofen Xing, Xiangmin Xu ยท 2026

Fine-grained local timing control is still absent from modern text-to-speech systems: existing approaches typically provide only utterance-level duration or global speaking-rate control, while preciseโ€ฆ

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

An Agentic Approach to Metadata Reasoning

Jiani Zhang, Sercan O. Arik, Cosmin Arad, Fatma Ozcan, Alon Halevy ยท 2026

As LLM-driven autonomous agents evolve to perform complex, multi-step tasks that require integrating multiple datasets, the problem of discovering relevant data sources becomes a key bottleneck. Beyonโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Towards Streaming Target Speaker Extraction via Chunk-wise Interleaved Splicing of Autoregressive Language Model

Shuhai Peng, Hui Lu, Jinjiang Liu, Liyang Chen, Guiping Zhong, Jiakui Li, Huimeng Wang, Haiyun Li, Liang Cao, Shiyin Kang, Zhiyong Wu ยท 2026

While generative models have set new benchmarks for Target Speaker Extraction (TSE), their inherent reliance on global context precludes deployment in real-time applications. Direct adaptation to streโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Market Dynamics, Governance and Open Research Metadata in the AI Era

Daniel W. Hook ยท 2026

The debate about scholarly knowledge infrastructure has long been framed as a contest between openness and commercial enclosure. This framing distorts both policy and practice. The real tension lies bโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra

Chao Li ยท 2026

Memristive crossbars store numerical weights needing aggregation and decoding; a single junction means nothing alone. This paper presents a fundamentally different use: each junction stores a completeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification

Ray Iskander, Khaled Kirah ยท 2026

Formal verification of masking in post-quantum cryptographic (PQC) hardware relies on SMT solvers over finite domains. Our prior work established structural dependency analysis at scale [1] and quantiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Context-Aware Search and Retrieval Under Token Erasure

Sara Ghasvarianjahromi, Joshua Barr, Yauhen Yakimenka, Jorg Kliewer ยท 2026

This paper introduces and analyzes a search and retrieval model for RAG-like systems under {token} erasures. We provide an information-theoretic analysis of remote document retrieval when query represโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Spectrum Configuration Framework for Throughput Maximization in Open Systems with Roll-Off-Based QoT Optimization

Peyman Pahlevanzadeh, Venkata Virajit Garbhapu, Agastya Raj, Dmitrii Briantcev, Dan Kilper, Marco Ruffini ยท 2026

We propose a spectrum-configuration framework for open and disaggregated optical systems that maximizes throughput while guaranteeing the quality of transmission (QoT) margins. The framework jointly oโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Committed SAE-Feature Traces for Audited-Session Substitution Detection in Hosted LLMs

Ziyang Liu ยท 2026

Hosted-LLM providers have a silent-substitution incentive: advertise a stronger model while serving cheaper replies. Probe-after-return schemes such as SVIP leave a parallel-serve side-channel, since โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Statistical Software Engineering with Tuned Variables

Nimrod Busany ยท 2026

The maintained artifact in an AI-enabled system is not code plus settings, but a versioned governed program space: domains, structural constraints, eligibility, evaluation assets, and a statistical reโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents

Niful Islam, Muhammad Anas Raza, Mohammad Wardat ยท 2026

Large Language Models (LLMs) have transformed software development and AI applications. While LLMs are designed for text processing, LLM agents extend this capability by enabling autonomous actions, tโ€ฆ

Read Paper โ†’
Page 1 of 120 Next โ†’