Expertini Research Research

Browse Research Papers

17,769+ open-access research outputs.

✕ Clear
🔍 o piazza 📂 Computer Science
Showing 17769 results for "o piazza" in Computer Science
Computer Science Preprint PDF DOI

On the Principal Minor Expansion and Complexity of the Symmetrized Determinant

Sanyam Agarwal, Markus Blaser, Mridul Gupta · 2026

Barvinok introduced the symmetrized determinant ($\sdet$) as a \emph{non-commutative} analogue of the determinant. Intuitively, given a square matrix over an associative algebra, we can obtain the sym…

Read Paper →
Computer Science Preprint PDF DOI

Exploring Sparse Matrix Multiplication Kernels on the Cerebras CS-3

Milan Shah, Sheng Di, Michela Becchi · 2026

In recent years, novel AI accelerators have emerged as promising alternatives to GPU for AI model training and inference tasks. One such accelerator, the Cerebras CS-3, achieves strong performance on …

Read Paper →
Computer Science Preprint PDF DOI

Distributed Santa Claus via Global Rounding

Tijn de Vos, Leo Wennmann, Malte Baumecker, Yannic Maus, Florian Schager · 2026

In this paper, we consider the Santa Claus problem in the CONGEST model. This NP-hard problem can be modeled as a bipartite graph of children and gifts where an edge indicates that a child desires a g…

Read Paper →
Computer Science Preprint PDF DOI

Simpler and Improved Replacement Path Coverings

Davide Bilo, Shiri Chechik, Keerti Choudhary, Sarel Cohen, Martin Schirneck · 2026

An important tool in the design of fault-tolerant graph data structures are $(L,f)$-replacement path coverings (RPCs). An RPC is a family $\mathcal{G}$ of subgraphs of a given graph $G$ such that, for…

Read Paper →
Computer Science Preprint PDF DOI

Toward a Characterization of Simulation Between Arithmetic Theories

Hunter Monroe · 2026

We study when a sound arithmetic theory $\mathcal S{\supseteq}S^1_2$ with polynomial-time decidable axioms efficiently proves the bounded consistency statements $Con_{\mathcal S{+}\phi}(n)$ for a true…

Read Paper →
Computer Science Preprint PDF DOI

Average-Tree Phylogenetic Diversity Parameterized by Scanwidth and Invisibility

Leo van Iersel, Mark Jones, Jannik Schestag, Celine Scornavacca, Mathias Weller · 2026

We investigate parameterized algorithms for computing the average-tree phylogenetic diversity (APD) in rooted phylogenetic networks, studying the problem under different structural parameters that cap…

Read Paper →
Computer Science Preprint PDF DOI

Online Coloring for Graphs of Large Odd Girth

Hirotaka Yoneda, Masataka Yoneda · 2026

We study the problem of online coloring for graphs with large odd girth. The best previously known algorithm uses $O(n^{1/2})$ colors, which was discovered by Kierstead in 1998. This algorithm works w…

Read Paper →
Computer Science Preprint PDF DOI

Libra: Accelerating Socket I/O via Programmable Selective Data Copying

Kairui Zhou, Shengkai Lin, Wei Zhang, Shizhen Zhao · 2026

Layer-7 (L7) proxies are critical to modern cloud-native systems, yet their performance is increasingly bottlenecked by copying entire payloads across the kernel-user boundary. Existing approaches red…

Read Paper →
Computer Science Preprint PDF DOI

Solving Hypergraph Laplacian Systems in Almost-Linear Time

Yuichi Yoshida · 2026

For a connected weighted hypergraph, we give a randomized almost-linear-time solver for the Poisson problem for the cut-based hypergraph Laplacian in the natural input size $P=\sum_{e\in E}|e|$, the s…

Read Paper →
Computer Science Preprint PDF DOI

Computing the (k+2)-Edge-Connected Components in k-Edge-Connected Digraphs in Subquadratic Time

Loukas Georgiadis, Evangelos Kipouridis, Evangelos Kosinas, Charis Papadopoulos, Nikos Parotsidis · 2026

Computing edge-connected components in directed and undirected graphs is a fundamental and well-studied problem in graph algorithms. In a very recent breakthrough, Korhonen [STOC 2025] showed that for…

Read Paper →
Computer Science Preprint PDF DOI

A note on the parameter $\ell$ in Buchbinder--Feldman's deterministic submodular matroid algorithm

Shisheng Li · 2026

Buchbinder and Feldman recently gave a deterministic $(1-1/e-\varepsilon)$-approximation for maximizing a non-negative monotone submodular function subject to a matroid constraint, with query complexi…

Read Paper →
Computer Science Preprint PDF DOI

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation

Johannes Graf · 2026

Graph databases offer unparalleled flexibility for managing interconnected data, yet the lack of strict schema enforcement often leads to runtime uncertainties and complex query development. This pape…

Read Paper →
Computer Science Preprint PDF DOI

Improved Approximation Algorithm for Maximum Balanced Biclique

Pasin Manurangsi · 2026

We study the Maximum Balanced Biclique (MBB) problem: Given a bipartite graph $G$ with $n$ vertices on each side, find a balanced biclique in $G$ with maximum size. We give a polynomial-time $\left(\f…

Read Paper →
Computer Science Preprint PDF DOI

Online Monotone Metric Embeddings

Christian Coester, Yichen Huang · 2026

Metric embeddings into structured spaces, particularly hierarchically well-separated trees (HSTs), are a fundamental tool in the design of online algorithms. In the classical online embedding setting,…

Read Paper →
Computer Science Preprint PDF DOI

Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases

Michael T.M. Emmerich · 2026

We study exact fixed-cardinality Solow--Polasky diversity subset selection on ordered finite $\ell_1$ sets, with monotone biobjective Pareto fronts and their higher-dimensional staircase analogues as …

Read Paper →
Computer Science Preprint PDF DOI

Weighted Emulators with Local Heaviest Edges Stretch for Undirected Graphs

Liam Roditty, Ariel Sapir · 2026

We introduce a generalized family of $\left( 2\cdot \left\lfloor \frac{k}{2} \right\rfloor-1, 2\cdot \left\lceil \frac{k}{2} \right\rceil \cdot W_{1} +\max\left\{0,2\cdot\left(\left\lceil\frac{k}{2}\r…

Read Paper →
Computer Science Preprint PDF DOI

MISES: Minimal Information Sufficiency for Effective Service

Joss Armstrong · 2026

Category-based coordination mechanisms allocate resources by mapping a declared service category to a fixed resource profile, without observing individual demand types. We establish three results for …

Read Paper →
Computer Science Preprint PDF DOI

Finite-Horizon First-Order Rank Profiles of Regular Languages

Madina Bazarova, Faruk Alpay · 2026

We introduce the finite-horizon first-order rank profile of a language $L \subseteq \Sigma^*$: the least quantifier rank needed by an $\mathrm{FO}[<]$ sentence to classify membership in $L$ correctly …

Read Paper →
Computer Science Preprint PDF DOI

DUAL-BLADE: Dual-Path NVMe-Direct KV-Cache Offloading for Edge LLM Inference

Bodon Jeong, Hongsu Byun, Youngjae Kim, Weikuan Yu, Kyungkeun Lee, Jihoon Yang, Sungyong Park · 2026

The increasing deployment of Large Language Model (LLM) inference on edge AI systems demands efficient execution under tight memory budgets. A key challenge arises from Key-Value (KV) caches, which of…

Read Paper →
Computer Science Preprint PDF DOI

Counting own goals: High-level assessment of the economic relationship between the ICT and the Oil and Gas sectors and its environmental implications

Gauthier Roussilhe, Beatrice Dromard, Srinjoy Mitra · 2026

The ICT sector has been one of the most successful and fastest-growing industry in history. While the environmental issue in this sector has mainly been addressed by assessing its footprint and, to a …

Read Paper →
Page 1 of 889 Next →