Expertini Research Research

Browse Research Papers

159+ open-access research outputs.

✕ Clear
🔍 sergio verdu 📂 Computer Science
Showing 159 results for "sergio verdu" in Computer Science
Computer Science Preprint PDF DOI

Mismatch Capacity under Stochastic Decoding

Francesc Molina, Albert Guillen i Fabregas · 2026

This manuscript investigates channel capacity under mismatched stochastic likelihood decoding. We derive Feinstein- and Verd\'u-Han-style bounds on the error probability coded communication. These are…

Read Paper →
Computer Science Preprint PDF DOI

Client-Verifiable and Efficient Federated Unlearning in Low-Altitude Wireless Networks

Yuhua Xu, Mingtao Jiang, Chenfei Hu, Yinglong Wang, Chuan Zhang, Meng Li, Ming Lu, Liehuang Zhu · 2026

In low-altitude wireless networks (LAWN), federated learning (FL) enables collaborative intelligence among unmanned aerial vehicles (UAVs) and integrated sensing and communication (ISAC) devices while…

Read Paper →
Computer Science Preprint PDF DOI

Rate-Distortion Bounds for Heterogeneous Random Fields on Finite Lattices

Sujata Sinha, Vishwas Rao, Robert Underwood, David Lenz, Sheng Di, Franck Cappello, Lingjia Liu · 2026

Since Shannon's foundational work, rate-distortion theory has defined the fundamental limits of lossy compression. Classical results, derived for memoryless and stationary ergodic sources in the asymp…

Read Paper →
Computer Science Preprint PDF DOI

On the Computation of Schrijver's Kernels

Vincent Delecroix, Oscar Fontaine, Francis Lazarus · 2025

The geometry of a graph $G$ embedded on a closed oriented surface $S$ can be probed by counting the intersections of $G$ with closed curves on $S$. Of special interest is the map $c \mapsto \mu_G(c)$ …

Read Paper →
Computer Science Preprint PDF DOI

An efficient grey theory-driven path selection for energy efficiency control in the Internet of Things using fog and cloud computing

Mohammad Reza Akbari, Hamid Barati, Ali Barati · 2025

Due to the big data exchange on the Internet of Things, proper routing and selecting the best routes for fast data transmission improve network performance. There are major challenges, like high delay…

Read Paper →
Computer Science Preprint PDF DOI

A distributed routing protocol for sending data from things to the cloud leveraging fog technology in the large-scale IoT ecosystem

Mohammad Reza Akbari, Hamid Barati, Ali Barati · 2025

Fog computing integrates cloud and edge resources. According to an intelligent and decentralized method, this technology processes data generated by IoT sensors to seamlessly integrate physical and cy…

Read Paper →
Computer Science Preprint PDF DOI

Constructing Opera Seria in the Iberian Courts: Metastasian Repertoire for Spain and Portugal

Ana Llorens, Alvaro Torrente · 2025

The exceptional reception of Pietro Metastasio's works during the eighteenth century, all over Europe and in the Iberian Peninsula in particular, is well documented. Due to that unparalleled success, …

Read Paper →
Computer Science Preprint PDF DOI

SESGO: Spanish Evaluation of Stereotypical Generative Outputs

Melissa Robles, Catalina Bernal, Denniss Raigoso, Mateo Dulce Rubio · 2025

This paper addresses the critical gap in evaluating bias in multilingual Large Language Models (LLMs), with a specific focus on Spanish language within culturally-aware Latin American contexts. Despit…

Read Paper →
Computer Science Preprint PDF DOI

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Bar{i}s Bayaz{i}t, Yao Li, Xujie Si · 2025

Large language models (LLMs) can potentially help with verification using proof assistants by automating proofs. However, it is unclear how effective LLMs are in this task. In this paper, we perform a…

Read Paper →
Computer Science Preprint PDF DOI

VergeIO: Depth-Aware Eye Interaction on Glasses

Xiyuxing Zhang, Duc Vu, Chengyi Shen, Yuntao Wang, Yuanchun Shi, Justin Chan · 2025

There is growing industry interest in creating unobtrusive designs for electrooculography (EOG) sensing of eye gestures on glasses (e.g. JINS MEME and Apple eyewear). We present VergeIO, the first EOG…

Read Paper →
Computer Science Preprint PDF DOI

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth

Isolde Adler, Eva Fluck, Tim Seppelt, Gian Luca Spitzer · 2025

We study the expressive power of first-order logic with counting quantifiers, especially the $k$-variable and quantifier-rank-$q$ fragment, using homomorphism indistinguishability. Recently, Dawar, Ja…

Read Paper →
Computer Science Preprint PDF DOI

On the Worst-Case Complexity of Gibbs Decoding for Reed--Muller Codes

Xuzhe Xia, Nicholas Kwan, Lele Wang · 2025

Reed--Muller (RM) codes are known to achieve capacity on binary symmetric channels (BSC) under the Maximum a Posteriori (MAP) decoder. However, it remains an open problem to design a capacity achievin…

Read Paper →
Computer Science Preprint PDF DOI

Multicut Problems in Almost-Planar Graphs: The Dependency of Complexity on the Demand Pattern

Florian Horsch, Daniel Marx · 2025

Given a graph $G$, a set $T$ of terminal vertices, and a demand graph $H$ on $T$, the \textsc{Multicut} problem asks for a set of edges of minimum weight that separates the pairs of terminals specifie…

Read Paper →
Computer Science Preprint PDF DOI

Umlaut information

Filippo Girardi, Aadil Oufkir, Bartosz Regula, Marco Tomamichel, Mario Berta, Ludovico Lami · 2025

The sphere-packing bound quantifies the error exponent for noisy channel coding for rates above a critical value. Here, we study the zero-rate limit of the sphere-packing bound and show that it has an…

Read Paper →
Computer Science Preprint PDF DOI

Cogito, ergo sum: A Neurobiologically-Inspired Cognition-Memory-Growth System for Code Generation

Yanlong Li, Jindong Li, Qi Wang, Menglin Yang, He Kong, Shengsheng Wang · 2025

Large language models based Multi Agent Systems (MAS) have demonstrated promising performance for enhancing the efficiency and accuracy of code generation tasks. However,most existing methods follow a…

Read Paper →
Computer Science Preprint PDF DOI

Nonasymptotic Oblivious Relaying and Variable-Length Noisy Lossy Source Coding

Yanxiao Liu, Sepehr Heidari Advary, Cheuk Ting Li · 2025

The information bottleneck channel (or the oblivious relay channel) concerns a channel coding setting where the decoder does not directly observe the channel output. Rather, the channel output is rela…

Read Paper →
Computer Science Preprint PDF DOI

To Repair or Not to Repair: Assessing Fault Resilience in MPI Stencil Applications

Roberto Rocco, Elisabetta Boella, Daniele Gregori, Gianluca Palermo · 2024

With the increasing size of HPC computations, faults are becoming more and more relevant in the HPC field. The MPI standard does not define the application behaviour after a fault, leaving the burden …

Read Paper →
Computer Science Preprint PDF DOI

Self-Elicitation of Requirements with Automated GUI Prototyping

Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto, Kurt Schneider · 2024

Requirements Elicitation (RE) is a crucial activity especially in the early stages of software development. GUI prototyping has widely been adopted as one of the most effective RE techniques for user-…

Read Paper →
Computer Science Preprint PDF DOI

Finite Blocklength Performance of Capacity-achieving Codes in the Light of Complexity Theory

Holger Boche, Andrea Grigorescu, Rafael F. Schaefer, H. Vincent Poor · 2024

Since the work of Polyanskiy, Poor and Verd\'u on the finite blocklength performance of capacity-achieving codes for discrete memoryless channels, many papers have attempted to find further results fo…

Read Paper →
Computer Science Preprint PDF DOI

From the evolution of public data ecosystems to the evolving horizons of the forward-looking intelligent public data ecosystem empowered by emerging technologies

Anastasija Nikiforova, Martin Lnenicka, Petar Milic, Mariusz Luterek, Manuel Pedro Rodriguez Bolivar · 2024

Public data ecosystems (PDEs) represent complex socio-technical systems crucial for optimizing data use in the public sector and outside it. Recognizing their multifaceted nature, previous research pr…

Read Paper →
Page 1 of 8 Next →