A Framework for Proof-carrying Logical Transformations
Certifying Findel Derivatives for Blockchain
Neural Connectivity with Hidden Gaussian Graphical State-Model T-duality for non-free circle actions The anisotropic chiral boson Improved Structural Methods for Nonlinear Differential-Algebraic
  Equations via Combinatorial Relaxation Multi-level Convolutional Autoencoder Networks for Parametric Prediction
  of Spatio-temporal Dynamics Statistics of Atmospheric Correlations Rumor Spreading in Random Evolving Graphs Crumpling transition and flat phase of polymerized phantom membranes Lie antialgebras: premices Cavity-enhanced high harmonic generation for XUV time-resolved ARPES Geometric K-homology and the Freed-Hopkins-Teleman theorem Robust gamma oscillations in networks of inhibitory Hippocampal
  interneurons Optimal switching strategies for stochastic geocentric/egocentric
  navigation Symmetry reductions of a particular set of equations of associativity in
  twodimensional topological field theory The Scattering Theory of Oscillator Defects in an Optical Fiber Dynamical chaos and critical behavior in Vlasov simulations of nuclear
  multifragmentation Learning Constrained Dynamics with Gauss Principle adhering Gaussian
  Processes Non-abelian anyons on graphs from presentations of graph braid groups Massively Parallel Implicit Equal-Weights Particle Filter for Ocean
  Drift Trajectory Forecasting Harnessing the Power of Serverless Runtimes for Large-Scale Optimization Chaotic Boltzmann machines with two elements
cs.LO