Expertini Research Research

Browse Research Papers

2,175+ open-access research outputs.

✕ Clear
🔍 p.r. berman 📂 Computer Science
Showing 2175 results for "p.r. berman" in Computer Science
Computer Science Preprint PDF DOI

From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation

Guang Yang, Xing Hu, Xiang Chen, Xin Xi · 2026

Multimodal large language models (MLLMs) are increasingly used to translate visual artifacts into code, from UI mockups into HTML to scientific plots into Python scripts. A circuit diagram can be view…

Read Paper →
Computer Science Preprint PDF DOI

PSP: An Interpretable Per-Dimension Accent Benchmark for Indic Text-to-Speech

Venkata Pushpak Teja Menta · 2026

Standard text-to-speech (TTS) evaluation measures intelligibility (WER, CER) and overall naturalness (MOS, UTMOS) but does not quantify accent. A synthesiser may score well on all four yet sound non-n…

Read Paper →
Computer Science Preprint PDF DOI

Visual Boosting Techniques for Spatiotemporal Dense Pixel Visualizations

Julius Rauscher, Frederik L. Dennig, Udo Schlegel, Daniel A. Keim, Tobias Schreck · 2026

The analysis of spatiotemporal data is essential in domains such as epidemiology and environmental monitoring, where understanding the interplay between spatially distributed phenomena and their tempo…

Read Paper →
Computer Science Preprint PDF DOI

From Visual Synthesis to Interactive Worlds: Toward Production-Ready 3D Asset Generation

Jiafeng Wu, Zhuofan Lou, Jian Liu, Dazhao Du, Chunchao Guo, Song Guo · 2026

Three-dimensional content generation has progressed from producing isolated, visually plausible shapes to constructing structured assets that can be deployed in real-time interactive environments. Thi…

Read Paper →
Computer Science Preprint PDF DOI

Information-Theoretic Authenticated PIR: From PIR-RV To APIR

Pengzhen Ke, Yuxuan Qin, Liang Feng Zhang · 2026

Private Information Retrieval (PIR) allows clients to retrieve database entries without leaking retrieval indices, yet malicious servers seriously compromise retrieval correctness. Existing Authentica…

Read Paper →
Computer Science Preprint PDF DOI

CrossCommitVuln-Bench: A Dataset of Multi-Commit Python Vulnerabilities Invisible to Per-Commit Static Analysis

Arunabh Majumdar · 2026

We present CrossCommitVuln-Bench, a curated benchmark of 15 real-world Python vulnerabilities (CVEs) in which the exploitable condition was introduced across multiple commits - each individually benig…

Read Paper →
Computer Science Preprint PDF DOI

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang · 2026

The IC3 algorithm represents the state-of-the-art (SOTA) hardware model checking technique, owing to its robust performance and scalability. A significant body of research has focused on enhancing the…

Read Paper →
Computer Science Preprint PDF DOI

Minimum Energy per Bit of Unsourced Multiple Access with Location-Based Codebook Partitioning

Deekshith Pathayappilly Krishnan, Kaan Okumus, Khac-Hoang Ngo, Giuseppe Durisi · 2026

We derive finite-blocklength bounds on the minimum achievable energy per bit over a Gaussian unsourced multiple access (UMA) channel in the presence of heterogeneous path-loss conditions. We consider …

Read Paper →
Computer Science Preprint PDF DOI

PVAC: A RowHammer Mitigation Architecture Exploiting Per-victim-row Counting

Jumin Kim, Seungmin Baek, Hwayong Nam, Minbok Wi, Nam Sung Kim, Jung Ho Ahn · 2026

As DRAM scaling exacerbates RowHammer, DDR5 introduces per-row activation counting (PRAC) to track aggressor activity. However, PRAC indiscriminately increments counters on every activation -- includi…

Read Paper →
Computer Science Preprint PDF DOI

SafeRedirect: Defeating Internal Safety Collapse via Task-Completion Redirection in Frontier LLMs

Chao Pan, Yu Wu, Xin Yao · 2026

Internal Safety Collapse (ISC) is a failure mode in which frontier LLMs, when executing legitimate professional tasks whose correct completion structurally requires harmful content, spontaneously gene…

Read Paper →
Computer Science Preprint PDF DOI

ChipCraftBrain: Validation-First RTL Generation via Multi-Agent Orchestration

Cagri Eryilmaz · 2026

Large Language Models (LLMs) show promise for generating Register-Transfer Level (RTL) code from natural language specifications, but single-shot generation achieves only 60-65% functional correctness…

Read Paper →
Computer Science Preprint PDF DOI

Watts-per-Intelligence Part II: Algorithmic Catalysis

Elija Perrier · 2026

We develop a thermodynamic theory of algorithmic catalysis within the watts-per-intelligence framework, identifying reusable computational structures that reduce irreversible operations for a task cla…

Read Paper →
Computer Science Preprint PDF DOI

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules

Tim S. Lyon, Eugenio Orlandelli · 2026

We introduce cut-free nested sequent systems for a broad class of quantified modal logics (QMLs). The QMLs we consider are semantically defined using relational models that assign both an inner and ou…

Read Paper →
Computer Science Preprint PDF DOI

How Do People Accept Robot in Public Space? A Cross-Cultural Study in Germany and Japan

Zhe Zeng, Clara Ayumi Fechner, Fei Yan, Hailong Liu · 2026

With the increasing deployment of robots in public spaces, encounters between robots and incidentally copresent persons (InCoPs) are becoming more frequent. However, InCoPs remain largely underexplore…

Read Paper →
Computer Science Preprint PDF DOI

Stability of the Shannon--McMillan--Breiman Theorem under Sublinear Parsings

Raphael Grondin · 2026

We establish a stability result for the Shannon-McMillan-Breiman theorem on the one-sided finite shift space. For any shift-invariant probability measure P and any data-dependent parsing whose number …

Read Paper →
Computer Science Preprint PDF DOI

Enabling users to work sustainably on shared institute computing resources

Niclas Eich, Johannes Erdmann, Martin Erdmann, Benjamin Fischer, Paul Gilles, Tim Hauptreif, Jan Kelleter · 2026

The VISPA project is a self-managed, mid-scale computing cluster that supports physics data analysis in research and teaching. Because the cluster is housed in a 1970s institute building with limited …

Read Paper →
Computer Science Preprint PDF DOI

Melodic contour does not cluster: Reconsidering contour typology

Bas Cornelissen, Willem Zuidema, John Ashley Burgoyne, Henkjan Honing · 2026

How to describe the shape of a melodic phrase? Scholars have often relied on typologies with a small set of contour types. We question their adequacy: we find no evidence that phrase contours cluster …

Read Paper →
Computer Science Preprint PDF DOI

Differentially Private Verification of Distribution Properties

Elbert Du, Cynthia Dwork, Pranay Tankala, Linjun Zhang · 2026

A recent line of work initiated by Chiesa and Gur and further developed by Herman and Rothblum investigates the sample and communication complexity of verifying properties of distributions with the as…

Read Paper →
Computer Science Preprint PDF DOI

Audio-Omni: Extending Multi-modal Understanding to Versatile Audio Generation and Editing

Zeyue Tian, Binxin Yang, Zhaoyang Liu, Jiexuan Zhang, Ruibin Yuan, Hubery Yin, Qifeng Chen, Chen Li, Jing Lyu, Wei Xue, Yike Guo · 2026

Recent progress in multimodal models has spurred rapid advances in audio understanding, generation, and editing. However, these capabilities are typically addressed by specialized models, leaving the …

Read Paper →
Computer Science Preprint PDF DOI

TME-PSR: Time-aware, Multi-interest, and Explanation Personalization for Sequential Recommendation

Qingzhuo Wang, Leilei Wen, Juntao Chen, Kunyu Peng, Ruiyang Qin, Zhihua Wei, Wen Shen · 2026

In this paper, we propose a sequential recommendation model that integrates Time-aware personalization, Multi-interest personalization, and Explanation personalization for Personalized Sequential Reco…

Read Paper →
Page 1 of 109 Next →