Expertini Research Research

Browse Research Papers

328+ open-access research outputs.

✕ Clear
🔍 michael hoffmann 📂 Computer Science 📄 Preprint
Showing 328 results for "michael hoffmann" in Computer Science · Preprint
Computer Science Preprint PDF DOI

Slice Agent: Identifying and Isolating Slices in Shared Open Radio Unit

Felipe Arnholda, Flavio Rocha, Lucio Prade, Cristiano Bonato Both · 2026

Network Slice as a Service (NSaaS) is a key enabler of Beyond Fifth Generation (5G) and Sixth Generation (6G) networks, supporting next-generation applications such as extended reality (XR), immersive…

Read Paper →
Computer Science Preprint PDF DOI

LITE: Lightweight Channel Gain Estimation with Reduced X-Haul CSI Signaling in O-RAN

David Goez, Marco Piazzola, Giulia Costa, Achiel Colpaert, Rodney Martinez Alonso, Esra Aycan Beyazit, Nina Slamnik-Krijestorac, Johann M. Marquez-Barja, Miguel Camelo Botero · 2026

Cell-Free Massive Multiple-Input Multiple-Output (CF-MaMIMO) in Open Radio Access Network (O-RAN) promises high spectral efficiency but is limited by frequent Channel State Information (CSI) exchanges…

Read Paper →
Computer Science Preprint PDF DOI

LEXI: Lossless Exponent Coding for Efficient Inter-Chiplet Communication in Hybrid LLMs

Miao Sun, Alish Kanani, Kaushik Shroff, Umit Ogras · 2026

Data movement overheads increase the inference latency of state-of-the-art large language models (LLMs). These models commonly use the bfloat16 (BF16) format for stable training. Floating-point standa…

Read Paper →
Computer Science Preprint PDF DOI

Huffman-Bucket Sketch: A Simple $O(m)$ Algorithm for Cardinality Estimation

Matti Karppa · 2026

We introduce the Huffman-Bucket Sketch (HBS), a simple, mergeable data structure that losslessly compresses a HyperLogLog (HLL) sketch with $m$ registers to optimal space $O(m+\log n)$ bits, with amor…

Read Paper →
Computer Science Preprint PDF DOI

Temporal Panel Selection in Ongoing Citizens' Assemblies

Yusuf Hakan Kalayci, Evi Micha · 2026

Permanent citizens' assemblies are ongoing deliberative bodies composed of randomly selected citizens, organized into panels that rotate over time. Unlike one-off panels, which represent the populatio…

Read Paper →
Computer Science Preprint PDF DOI

Solving the Post-Quantum Control Plane Bottleneck: Energy-Aware Cryptographic Scheduling in Open RAN

Neha Gupta, Hamed Alimohammadi, Mohammad Shojafar, De Mi, Muhammad N.M. Bhutta · 2026

The Open Radio Access Network (O-RAN) offers flexibility and innovation but introduces unique security vulnerabilities, particularly from cryptographically relevant quantum computers. While Post-Quant…

Read Paper →
Computer Science Preprint PDF DOI

Labor, Capital, and Machine: Toward a Labor Process Theory for HCI

Yigang Qin, EunJeong Cheon · 2026

The HCI community has called for renewed attention to labor issues and the political economy of computing. Yet much work remains in engaging with labor theory to better understand modern work and work…

Read Paper →
Computer Science Preprint PDF DOI

A $5$-Approximation Analysis for the Cover Small Cuts Problem

Miles Simmons, Ishan Bansal, Joe Cheriyan · 2026

In the Cover Small Cuts problem, we are given a capacitated (undirected) graph $G=(V,E,u)$ and a threshold value $\lambda$, as well as a set of links $L$ with end-nodes in $V$ and a non-negative cost …

Read Paper →
Computer Science Preprint PDF DOI

Exploration on Highly Dynamic Graphs

Ashish Saxena, Kaushik Mondal · 2026

We study the exploration problem by mobile agents in two prominent models of dynamic graphs: $1$-Interval Connectivity and Connectivity Time. The $1$-Interval Connectivity model was introduced by Kuhn…

Read Paper →
Computer Science Preprint PDF DOI

Asymmetric Encoding-Decoding Schemes for Lossless Data Compression

Hirosuke Yamamoto, Ken-ichi Iwata · 2026

This paper proposes a new lossless data compression coding scheme named an asymmetric encoding-decoding scheme (AEDS), which can be considered as a generalization of tANS (tabled variant of asymmetric…

Read Paper →
Computer Science Preprint PDF DOI

Formalization of Amicable Numbers Theory

Zhipeng Chen, Haolun Tang, Jingyi Zhan · 2026

This paper presents a formalization of the theory of amicable numbers in the Lean~4 proof assistant. Two positive integers $m$ and $n$ are called an amicable pair if the sum of proper divisors of $m$ …

Read Paper →
Computer Science Preprint PDF DOI

Optimal Verification of a Minimum-Weight Basis in an Uncertainty Matroid

Haya Diwan, Lisa Hellerstein, Nicole Megow, Jens Schloter · 2025

Research in explorable uncertainty addresses combinatorial optimization problems where there is partial information about the values of numeric input parameters, and exact values of these parameters c…

Read Paper →
Computer Science Preprint PDF DOI

A tight example for approximation ratio 5 for covering small cuts by the primal-dual method

Zeev Nutov · 2025

In the Small Cuts Cover problem we seek to cover by a min-cost edge-set the set family of cuts of size/capacity $<k$ of a graph. Recently, Simmons showed that the primal-dual algorithm of Williamson, …

Read Paper →
Computer Science Preprint PDF DOI

SceneGuard: Training-Time Voice Protection with Scene-Consistent Audible Background Noise

Rui Sang, Yuxuan Liu · 2025

Voice cloning technology poses significant privacy threats by enabling unauthorized speech synthesis from limited audio samples. Existing defenses based on imperceptible adversarial perturbations are …

Read Paper →
Computer Science Preprint PDF DOI

OBHS: An Optimized Block Huffman Scheme for Real-Time Audio Compression

Muntahi Safwan Mahfi, Md. Manzurul Hasan, Gahangir Hossain · 2025

In this paper, we introduce OBHS (Optimized Block Huffman Scheme), a novel lossless audio compression algorithm tailored for real-time streaming applications. OBHS leverages block-wise Huffman coding …

Read Paper →
Computer Science Preprint PDF DOI

Optimal Source Coding of Markov Chains for Real-Time Remote Estimation

Ismail Cosandal, Sennur Ulukus · 2025

We revisit the source coding problem for a Markov chain under the assumption that the transmission times and how fast the Markov chain transitions its state happen at the same time-scale. Specifically…

Read Paper →
Computer Science Preprint PDF DOI

Adaptive Base Representation Theorem: An Alternative to Binary Number System

Ravin Kumar · 2025

This paper introduces the Adaptive Base Representation (ABR) Theorem and proposes a novel number system that offers a structured alternative to the binary number system for digital computers. The ABR …

Read Paper →
Computer Science Preprint PDF DOI

A 13/6-Approximation for Strip Packing via the Bottom-Left Algorithm

Stefan Hougardy, Bart Zondervan · 2025

In the Strip Packing problem, we are given a vertical strip of fixed width and unbounded height, along with a set of axis-parallel rectangles. The task is to place all rectangles within the strip, wit…

Read Paper →
Computer Science Preprint PDF DOI

Formal Verification of Isothermal Chemical Reactors

Parivash Feyzishendi, Sophia Hamer, Jinyu Huang, Tyler R. Josephson · 2025

Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whether certain states …

Read Paper →
Computer Science Preprint PDF DOI

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations

Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes · 2025

Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated control flow logs (…

Read Paper →
Page 1 of 17 Next →