Axiomatization of if-then-else over monoids of possibly non-halting
  programs and tests
Elementary Multimodal Logics
Plancherel formula for Berezin deformation of $L^2$ on Riemannian
  symmetric space Label-free detection of Giardia lamblia cysts using a deep
  learning-enabled portable imaging flow cytometer Experimental Evidence of Quantum Radiation Reaction in Aligned Crystals Self-supervised transfer learning of physiological representations from
  free-living wearable data The story of magnetism: from Heisenberg, Slater, and Stoner to Van
  Vleck, and the issues of exchange and correlation Likelihood-based semi-supervised model selection with applications to
  speech processing Dimension reduction in representation of the data Strategies of Loop Recombination in Ciliates An uncountable Mittag-Leffler condition with an application to
  ultrametric locally convex vector spaces ls1 mardyn: The massively parallel molecular dynamics code for large
  systems Attacker Behaviour Profiling using Stochastic Ensemble of Hidden Markov
  Models A lattice framework for pricing display advertisement options with the
  stochastic volatility underlying model DNA Transcription Mechanism with a Moving Enzyme Mechanical resonance: 300 years from discovery to the full understanding
  of its importance Approximating Spectral invariants of Harper operators on graphs An analogue of Schur functions for the plane partitions Equivariant flow-based sampling for lattice gauge theory Homological dimension and homogeneous ANR spaces Computation of Growth Rates and Threshold of the Electromagnetic
  Electron Temperature Gradient Modes in Tokamaks
cs.LO