Finitary-based Domain Theory in Coq: An Early Report
Side Effects in Steering Fragments
A discontinuous Galerkin method for solving the fluid and MHD equations
  in astrophysical simulations Hamilton Operators, Discrete Symmetries, Brute Force and SymbolicC++ Force2Vec: Parallel force-directed graph embedding Free energies of molecular clusters determined by guided mechanical
  disassembly Discrete solitons in electromechanical resonators Context-Aware Generative Adversarial Privacy Measuring microlensing parallax via simultaneous observations from
  Chinese Space Station Telescope and Roman Telescope Fractionalized conductivity and emergent self-duality near topological
  phase transitions Effect of temperature anisotropy on various modes and instabilities for
  a magnetized non-relativistic bi-Maxwellian plasma Artificial Proto-Modelling: Building Precursors of a Next Standard Model
  from Simplified Model Results Face Coverings, Aerosol Dispersion and Mitigation of Virus Transmission
  Risk Optimal Claiming of Social Security Benefits Collective vibrations of a hydrodynamic active lattice Bright sub-20 nm cathodoluminescent nanoprobes for multicolor electron
  microscopy Galilei invariant theories. I. Constructions of indecomposable
  finite-dimensional representations of the homogeneous Galilei group: directly
  and via contractions The Advantage of Truncated Permutations The Effect of Faults on Network Expansion A Statistical Analysis of Hadron Spectrum: Quantum Chaos in Hadrons Dynamically Stable Poincar\'e Embeddings for Neural Manifolds Coherence-enhanced optical determination of the $^{229}$Th isomeric
  transition Modeling of Multimodal Scattering by Conducting Bodies in Quantum
  Optics: the Method of Characteristic Modes
cs.LO cs.PL