Case Studies in Formal Reasoning About Lambda-Calculus: Semantics,
  Church-Rosser, Standardization and HOAS
A Framework for Specifying, Prototyping, and Reasoning about
  Computational Systems
Monte Carlo study of the XY-model on Sierpnski carpet Finite dimensional solutions to SPDEs and the geometry of infinite jet
  bundles Dimension-Free Noninteractive Simulation from Gaussian Sources Flag vectors HTS YBCO Resonator Configuration with Coplanar Optimized Flux
  Concentrator Strongly Coupled to rf SQUID Intelligent Acoustic Module for Autonomous Vehicles using Fast Gated
  Recurrent approach First-order limits, an analytical perspective Intermittency in the solar wind turbulence through probability
  distribution functions of fluctuations Approximation hardness of Shortest Common Superstring variants Complexity Phenomena and ROMA of the Magnetospheric Cusp, Hydrodynamic
  Turbulence, and the Cosmic Web Probabilistic Dynamics of Two-Layer Geophysical Flows Second-order Control of Complex Systems with Correlated Synthetic Data Kinetic helicity decay in linearly forced turbulence Short-Time Decoherence for General System-Environment Interactions Exactly solvable `discrete' quantum mechanics; shape invariance,
  Heisenberg solutions, annihilation-creation operators and coherent states Low-complexity Architecture for AR(1) Inference Irregular subsets of the Grassmannian manifolds Budget-based real-time Executor for Micro-ROS Physics-Informed Echo State Networks for Chaotic Systems Forecasting Nearly constant Q dissipative models and wave equations for general
  viscoelastic anisotropy Periodic Variable Stars Modulated by Time-Varying Parameters Improper Filter Reduction Fabrication of glucose biosensors by inkjet printing
cs.LO cs.PL