Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)
Proving Termination of Graph Transformation Systems using Weighted Type
  Graphs over Semirings
Novel Matrix Hit and Run for Sampling Polytopes and Its GPU
  Implementation Multidimensional Riemann Problems: Transonic Shock Waves and Free
  Boundary Problems A fair pricing model via adversarial learning PiBase: An IoT-based Security System using Raspberry Pi and Google
  Firebase Plastic scintillators for positron emission tomography obtained by the
  bulk polymerization method The effective action and equations of motion of curved local and global
  vortices: Role of the field excitations Evolving Chaos: Identifying New Attractors of the Generalised Lorenz
  Family Mode-locked Lasers Applied to Deflecting a Near Earth Object on
  Collision Course with Earth Holomorphic modular bootstrap revisited Differential and integral invariants under Mobius transformation A class of symplectic integrators with adaptive timestep for separable
  Hamiltonian systems Theory of Bose-Einstein Condensation of Light in a Microcavity Generic Machine Learning Inference on Heterogenous Treatment Effects in
  Randomized Experiments Hall viscosity, orbital spin, and geometry: paired superfluids and
  quantum Hall systems Declarative Modeling and Bayesian Inference of Dark Matter Halos Irrational Uq(sl2)-symmetries on the quantum plane Revisiting the Sanders-Freiman-Ruzsa Theorem in $\mathbb{F}_p^n$ and its
  Application to Non-malleable Codes Probability as a physical motive Neutrino Scattering in Heterogeneous Supernova Plasmas Egomunities, Exploring Socially Cohesive Person-based Communities SMART: Secure Magnetoelectric AntifeRromagnet-Based Tamper-Proof
  Non-Volatile Memory
cs.LO cs.FL