Model-Checking the Higher-Dimensional Modal mu-Calculus
From $\mu$-Calculus to Alternating Tree Automata using Parity Games
Coherent states of the Euclidean group and activation regions of primary
  visual cortex Physical approach to quantum networks with massive particles The quest for optimal sampling: Computationally efficient,
  structure-exploiting measurements for compressed sensing KAM Theory Meets Statistical Learning Theory: Hamiltonian Neural
  Networks with Non-Zero Training Loss Non-linear Ion-wake Excitation by Ultra-relativistic Electron Wakefields Collective decision-making under changing social environments among
  agents adapted to sparse connectivity Optimal transport, gradient estimates, and pathwise Brownian coupling on
  spaces with variable Ricci bounds SpAtten: Efficient Sparse Attention Architecture with Cascade Token and
  Head Pruning A Rich Type System for Quantum Programs Convex optimization for the planted k-disjoint-clique problem Easy Semantification of Bioassays Learning Boolean functions with concentrated spectra Gravitational Effects on Quantum Coherence in Neutrino Oscillation On the normal cycles of subanalytic sets Forecasting Crude Oil Price Using Event Extraction AxoNN: An asynchronous, message-driven parallel framework for
  extreme-scale deep learning On generating functions of Hausdorff moment sequences Multiple Cell Upset Cross-Section Uncertainty in Nanoscale Memories:
  Microdosimetric Approach Tensor, Sobolev, Multiplicative and Convolution Operators in the Bide -
  Side Grand Lebesque Spaces Asymptotically (anti) de Sitter Black Holes and Wormholes with a Self
  Interacting Scalar Field in Four Dimensions A simple convergent solver for initial value problems
cs.LO cs.FL