Formal Methods with a Touch of Magic
Removing Propagation Redundant Constraints in Redundant Modeling
The Existence of the Thermodynamic Limit for the System of Interacting
  Quantum Particles in Random Media An Oscillon in the SU(2) Gauged Higgs Model Big Data as a Mediator in Science Teaching: A Proposal A model for the emergence of the genetic code as a transition in a noisy
  information channel Log-Optimal Portfolio Selection Using the Blackwell Approachability
  Theorem Mesh adaptivity driven by goal-oriented locally equilibrated
  superconvergent patch recovery Differential recurrences for the distribution of the trace of the
  $\beta$-Jacobi ensemble Polymer-loaded three dimensional microwave cavities for hybrid quantum
  systems Harmonic functions on the lattice: Absolute monotonicity and propagation
  of smallness Edge states and topological phases in non-Hermitian systems Solution for a bipartite Euclidean traveling-salesman problem in one
  dimension Label Efficient Learning of Transferable Representations across Domains
  and Tasks Asymptotic periodicity of flows in time-depending networks Dynamical mechanism of antifreeze proteins to prevent ice growth Poisson harmonic forms, Kostant harmonic forms, and the
  $S^1$-equivariant cohomology of $K/T$ Y-meshes and generalized pentagram maps Scanning Probe State Recognition With Multi-Class Neural Network
  Ensembles Symplectic realisation of electric charge in fields of monopole
  distributions Colored HOMFLY and Generalized Mandelbrot set A Bayesian Approach to Network Modularity Symbolic Arithmetic and Integer Factorization Chaos and Annealing in Social networks
cs.LO cs.AI