Register Automata with Extrema Constraints, and an Application to
  Two-Variable Logic
Logic and Rational Languages of Scattered and Countable Series-Parallel
  Posets
Improved algorithms for determination of particle directions with
  Timepix3 Softer Hard Scattering and Noncommutative Gauge-String Duality A Priori Generalization Analysis of the Deep Ritz Method for Solving
  High Dimensional Elliptic Equations 0-1 phase transitions in sparse spiked matrix estimation A lattice Maxwell system with discrete space-time symmetry and local
  energy-momentum conservation Disordered pinning models and copolymers: beyond annealed bounds Simultaneous Corn and Soybean Yield Prediction from Remote Sensing Data
  Using Deep Transfer Learning Mixing time and simulated annealing for the stochastic cellular automata Modeling off-resonant nonlinear-optical cascading in mesoscopic thin
  films and guest-host molecular systems Desaturating EUV observations of solar flaring storms Stick-slip instabilities in sheared granular flow: the role of friction
  and acoustic vibrations Factor Graph-Based Smoothing Without Matrix Inversion for Highly Precise
  Localization Entanglement revivals as a probe of scrambling in finite quantum systems Extending the eigCG algorithm to nonsymmetric Lanczos for linear systems
  with multiple right-hand sides Reeb components with complex leaves and their symmetries I : The
  automorphism groups and Schr\"oder's equation on the half line Localization microscopy: a review of the progress in methods and
  applications A model project for reproducible papers: critical temperature for the
  Ising model on a square lattice Bernoulli coding map and almost sure invariance principle for
  endomorphisms of $\mathbb{P}^k$
cs.LO cs.FL