Real Hypercomputation and Continuity
Team Semantics for the Specification and Verification of Hyperproperties
Universality of the one dimensional Bose gas with delta interaction Effective Theory for the Measurement-Induced Phase Transition of Dirac
  Fermions The atmospheric charged kaon/pion ratio using seasonal variation methods A Robust Cybersecurity Topic Classification Tool A Frenet-Serret Interpretation of Particle Dynamics in High-Intensity
  Laser Fields Supporting Read/Write Applications in Embedded Real-time Systems via
  Suspension-aware Analysis Sphere equivalence, Banach expanders, and extrapolation Concurrent Cuba A Rigorous Extension of the Sch\"onhage-Strassen Integer Multiplication
  Algorithm Using Complex Interval Arithmetic Chapman's model for ozone concentration: earth`s slowing rotation effect
  in the atmospheric past A Simple Proof of the Uniform Convergence of Fourier Series Using
  Nonstandard Analysis Length-based cryptanalysis: The case of Thompson's Group On the algorithm to find S-related Lie algebras Reachability Deficits in Quantum Approximate Optimization A distributed Integrity Catalog for digital repositories Euclidean D-branes and higher-dimensional gauge theory Machine learning magnetic parameters from spin configurations On the Hausdorff measure of sets of non-Lyapunov behaviour, and a
  Jarnik-type theorem for random Schroedinger operators New rigorous perturbation bounds for the LU and QR factorizations
cs.LO cs.CC