Expertini Research Research

Browse Research Papers

12,631+ open-access research outputs.

✕ Clear
🔍 m. walter 📂 Computer Science
Showing 12631 results for "m. walter" in Computer Science
Computer Science Preprint PDF DOI

A Generalisation of Goursat's Algorithm for Integration in Finite Terms

Sam Blake · 2026

We give a self-contained, modern exposition of \'Edouard Goursat's 1887 theorem on pseudo-elliptic integrals -- those integrals of the form $\int F(t)\,\d t/\sqrt{R(t)}$ with $R$ a cubic or quartic po…

Read Paper →
Computer Science Preprint PDF DOI

Why Self-Supervised Encoders Want to Be Normal

Yuval Domb · 2026

We develop a geometric and information-theoretic framework for encoder-decoder learning built on the Information Bottleneck (IB) principle. Recasting IB as a rate-distortion problem with Kullback-Leib…

Read Paper →
Computer Science Preprint PDF DOI

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware

Antoine Lavandier, Bastien Buil, Chrystel Gaber, Emmanuel Baccelli · 2026

Software stacks embedded on microcontroller-based hardware typically provide rudimentary APIs programmed in C/C++, basic connectivity and, sometimes, a firmware update mechanism. Such coarse mechanism…

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

Joint Transceiver Orientation Optimization for Rotatable-Antenna MIMO Capacity Maximization

Zheng Ailing, Wu Qingqing, Peng Xingxiang, Peng Qiaoyan, Zheng Ziyuan, Chen Wen · 2026

Conventional multiple-input multiple-output (MIMO) systems mainly rely on fixed antenna arrays, which limits their capability to adapt the effective channel matrix to the propagation environment. Rota…

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

Which Types of Heterogeneity Matter for Root Cause Localization in Microservice Systems ?

Runzhou Wang, Shenglin Zhang, Wenwei Gu, Yongxin Zhao, Chenyu Zhao, Dan Pei, Yuxuan Chen, Yangyuxin Huang · 2026

Microservice root cause localization is fundamentally challenged by the inherent heterogeneity of cloud-native systems, which encompasses diverse observability data and multiple system entities. Exist…

Read Paper →
Computer Science Preprint PDF DOI

Rank Distribution and Dynamics of Gram Matrices from Binary m-Sequences with Applications to LCD Codes

Hengfeng Liu, Chunming Tang, Cuiling Fan, Zhengchun Zhou · 2026

The Gram matrix is a classical object formed from the pairwise inner products of a collection of vectors, with fundamental roles in functional analysis, statistics, combinatorics, and coding theory. I…

Read Paper →
Computer Science Preprint PDF DOI

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems

Takayoshi Shoudai, Satoshi Matsumoto, Yusuke Suzuki, Tomoyuki Uchida · 2026

Distributional learning provides a framework for studying the learnability of structured languages from positive data. In this paper, we extend this framework to graph languages generated by fixed-int…

Read Paper →
Computer Science Preprint PDF DOI

Towards a Frugal Photosynthesis Sensing Toolkit for Data-Driven Plant Science Education and Exploration

Qitong Li, Raj Nileshbhai Dave, Rhema Amanda Phiri, Leo Zhang, Xiaoyu Zheng, Ariana Blake, Livia Ford, Sarah Jones, Susan R. Strickler, Nivedita Arora · 2026

Rapid environmental change and advances in data-driven analysis highlight the need not only to use computational tools, but also to foster understanding of the natural world and inspire creativity. Ph…

Read Paper →
Computer Science Preprint PDF DOI

Incremental Strongly Connected Components with Predictions

Ronald Deng, Samuel McCauley, Aidin Niaparast, Helia Niaparast, Bennett Ptak, Shirel Quintanilla, Shikha Singh, Nathan Vosburg · 2026

Algorithms with predictions is a growing area that aims to leverage machine-learned predictions to design faster beyond-worst-case algorithms. In this paper, we use this framework to design a learned …

Read Paper →
Computer Science Preprint PDF DOI

Does social identity matter in software engineering? Assessing the case of research software engineers

Chukwudi Uwasomba, Tamara Lopez, Melanie Langer, Helen Sharp, Michel Wermelinger, Caroline Jay, Mark Levine, Bashar Nuseibeh · 2026

Social identity is a concept from psychology that refers to the part of an individual's identity that derives from their group membership(s). In this paper, we explore social identity in members of th…

Read Paper →
Computer Science Preprint PDF DOI

Medoid Prototype Alignment for Cross-Plant Unknown Attack Detection in Industrial Control Systems

Luyao Wang · 2026

Deploying an intrusion detector trained in one industrial plant to another remains difficult because Industrial Control System (ICS) traffic is highly site-dependent, labels are scarce, and unseen att…

Read Paper →
Computer Science Preprint PDF DOI

On the Minimum Distances of Some Families of Goppa Codes and BCH Codes

Yaqi Chen, Hao Chen, Cunsheng Ding, Huimin Lao · 2026

Goppa codes form an important class of alternant codes with wide applications in algebraic coding theory and code-based cryptography. Determining the true minimum distance of a Goppa code is a difficu…

Read Paper →
Computer Science Preprint PDF DOI

Job-Scheduling Games with Time-Dependent Processing Times

Ido Borenstein, Tami Tamir · 2026

Job-scheduling games have traditionally assumed fixed processing times. However, in many realistic environments, ranging from cyber-security response to high-frequency trading, a task's duration depen…

Read Paper →
Computer Science Preprint PDF DOI

Does This Even Matter in the Real World? Real World Problems in Foundational Theory Courses

Anna Kuznetsova · 2026

Discrete mathematics and probability theory contain foundational material for computer scientists. Despite their importance, instructors often worry that students will find these courses to be too abs…

Read Paper →
Computer Science Preprint PDF DOI

Covariance-Aware Demapping on Fourier-Curve Constellations

Bin Han, Muxia Sun, H. Vincent Poor, Hans D. Schotten · 2026

Injecting artificial noise (AN) along the tangent space of a curved constellation makes each transmitted symbol induce a Gaussian observation with a symbol-dependent rank-one covariance, so the matche…

Read Paper →
Computer Science Preprint PDF DOI

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah · 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2…

Read Paper →
Computer Science Preprint PDF DOI

Densification Converses for Walker Constellations With Explicit Constants and Reuse Scaling Laws

Ali Khalesi, Francois Baccelli · 2026

We establish densification converses for Walker LEO constellations under nearest-visible association in the full-frequency-reuse setting. Performance is evaluated under the invariant (stationary) meas…

Read Paper →
Computer Science Preprint PDF DOI

D\'ej\`a Vu Packing: Optimizing FPGA Logic Clustering Runtime via Pattern Memoization

Milo Liebster, Amin Mohaghegh, Andrew Boutros · 2026

Implementing a digital circuit on an FPGA fabric requires clustering technology-mapped netlist primitives into coarser-granularity blocks that can be directly mapped to the physical resources availabl…

Read Paper →
Page 1 of 632 Next →