Expertini Research Research

Browse Research Papers

2,477+ open-access research outputs.

✕ Clear
🔍 michael suo 📂 Computer Science
Showing 2477 results for "michael suo" in Computer Science
Computer Science Preprint PDF DOI

Semidefinite and linear programming bounds for sum-rank-metric codes and non-existence results

Aida Abiad, Antonina P. Khramova, Sven C. Polak, Ferdinando Zullo · 2026

The sum-rank metric provides a unifying framework that generalizes both the celebrated Hamming and rank metrics, and has found applications in areas such as network coding, distributed storage, and sp…

Read Paper →
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

Grouped Color Deletion, Lasserre Exactness and Clique-Sum Locality for Rainbow Matching

Georgios Stamoulis · 2026

We study the rainbow matching (RM) problem: given an edge-colored graph, find a maximum matching with at most one edge of each color. Rainbow matchings correspond to stable sets in the \emph{augmented…

Read Paper →
Computer Science Preprint PDF DOI

How Do Software Engineering Students Use Generative AI in Real-World Capstone Projects? An Empirical Baseline Study

Michael Mircea, Elisa Schmid, Jakob Droste, Kurt Schneider · 2026

Real-world Capstone Projects (RWCPs) are a key component of software engineering education, enabling students to develop software for external clients under authentic conditions. Their high ecological…

Read Paper →
Computer Science Preprint PDF DOI

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei · 2026

Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation pipelines. Among the…

Read Paper →
Computer Science Preprint PDF DOI

Sub-Nyquist Sampling for Reaching Theoretical Minimal Sampling Rate Boundary

Dong Xiao, Jian Wang · 2026

Wideband spectrum sensing motivates sub-Nyquist sampling architectures that exploit spectral sparsity, yet in blind scenarios where subband locations are unknown, existing schemes require sampling rat…

Read Paper →
Computer Science Preprint PDF DOI

Approximate Maintenance of Maximum Subarray Sum in the Sliding Window Model

Ryo Suzuki, Yutaro Yamaguchi · 2026

In the sliding window model, we are required to maintain the target statistics over the most recent $n$ elements of a data stream, which is captured by a window of size $n$ sliding over the data strea…

Read Paper →
Computer Science Preprint PDF DOI

Risk-Aware and Stable Edge Server Selection Under Network Latency SLOs

Mohan Liyanage, Arnova Abdullah, Eldiyar Zhantileuov, Rolf Schuster · 2026

We present a lightweight and interpretable decision framework for dynamic edge server selection in latency-critical applications that explicitly accounts for tail risk and switching stability. Each ca…

Read Paper →
Computer Science Preprint PDF DOI

Sub-additive service curves in the Network Calculus analysis

Anne Bouillard · 2026

Network Calculus is a theoretical model that aims at providing upper bounds of worst-case performance (such as delay or buffer occupancy). This is a mathematical framework that handles both network mo…

Read Paper →
Computer Science Preprint PDF DOI

A Manual Bar-by-Bar Tempo Measurement Protocol for Polyphonic Chamber Music Recordings: Design, Validation, and Application to Beethoven's Piano and Cello Sonatas

Ignasi Sole · 2026

Empirical performance analysis depends on the accurate extraction of tempo data from recordings, yet standard computational tools, designed for monophonic audio or modern studio conditions, fail syste…

Read Paper →
Computer Science Preprint PDF DOI

Phase transition in compressed sensing using log-sum penalty and adaptive smoothing

Keisuke Morita, Federico Ricci-Tersenghi, Masayuki Ohzeki · 2026

In many real-world problems, recovering sparse signals from underdetermined linear systems remains a fundamental challenge. Although $\ell_1$ norm minimization is widely used, it suffers from estimati…

Read Paper →
Computer Science Preprint PDF DOI

On Decentralized Sum-Rate Maximization with Successive Interference Cancellation

D. Garrido, M. M. Vasconcelos, B. Peleato · 2026

Successive Interference Cancellation (SIC) is a powerful technique for managing interference in wireless networks, yet its optimal deployment in decentralized environments remains a challenge. This st…

Read Paper →
Computer Science Preprint PDF DOI

OpenDT: Exploring Datacenter Performance and Sustainability with a Self-Calibrating Digital Twin

Radu Nicolae, Jules van der Toorn, Stavriana Kraniti, Houcen Liu, Alexandru Iosup · 2026

Datacenters are the backbone of our digital society, but raise numerous operational challenges. We envision digital twins becoming primary instruments in datacenter operations, continuously and autono…

Read Paper →
Computer Science Preprint PDF DOI

Min-Sum Set Cover on Parallel Machines

Micha{l} Szyfelbein · 2026

Consider the classical Min-Sum Set Cover problem: We are given a universe $\mathcal{U}$ of $n$ elements and a collection $\mathcal{S}$ of $k$ subsets of $\mathcal{U}$. Moreover, a cost function is ass…

Read Paper →
Computer Science Preprint PDF DOI

RouterWise: Joint Resource Allocation and Routing for Latency-Aware Multi-Model LLM Serving

Hossein Hosseini Kasnavieh, Christopher Leckie, Adel N. Toosi · 2026

Multi-model LLM routing has emerged as an effective approach for reducing serving cost and latency while maintaining output quality by assigning each prompt to an appropriate model. However, prior rou…

Read Paper →
Computer Science Preprint PDF DOI

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings

Vladi Vexler, Ofer Idan, Gil Lederman, Dima Sivov · 2026

Standard dense retrievers lack a native calculus for multi-atom logical constraints. We introduce Neuro-Symbolic Fuzzy Logic (NSFL), a framework that adapts formal t-norms and t-conorms to neural embe…

Read Paper →
Computer Science Preprint PDF DOI

Edge-Tilting Field Dynamics: Rapid Mixing at the Uniqueness Threshold and Optimal Mixing for Swendsen-Wang Dynamics

Xiaoyu Chen, Zhe Ju, Tianshun Miao, Yitong Yin, Xinyuan Zhang · 2026

We prove two results on the mixing times of Markov chains for two-spin systems. First, we show that the Glauber dynamics mixes in polynomial time for the Gibbs distributions of antiferromagnetic two-s…

Read Paper →
Computer Science Preprint PDF DOI

Yes, But Not Always. Generative AI Needs Nuanced Opt-in

Wiebke Hutiri, Morgan Scheuerman, Shruti Nagpal, Austin Hoag, Alice Xiang · 2026

This paper argues that a one-size-fits-all approach to specifying consent for the use of creative works in generative AI is insufficient. Real-world ownership and rights holder structures, the imitati…

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

Reduced-Mass Orbital AI Inference via Integrated Solar, Compute, and Radiator Panels

Stephen Gaalema, Samuel Indyk, Clinton Staley · 2026

We describe and analyze a distributed compute architecture for SSO computational satellites that can potentially provide >100 kW compute power per launched metric ton (including deployment and station…

Read Paper →
Page 1 of 124 Next →