Complexity assessments for decidable fragments of Set Theory. III: A
  quadratic reduction of constraints over nested sets to Boolean formulae
Exploring Approximations for Floating-Point Arithmetic using UppSAT
Diffraction from visible lattice points and k-th power free integers Double path-integral method for obtaining the mobility of the
  one-dimensional charge transport in molecular chain In-memory Implementation of On-chip Trainable and Scalable ANN for AI/ML
  Applications A Metaprogramming and Autotuning Framework for Deploying Deep Learning
  Applications Modeling the Q-cycle mechanism of transmembrane energy conversion Robust Control of Nanoscale Drug Delivery System in Atherosclerosis: A
  Mathematical Approach Beyond Linear Subspace Clustering: A Comparative Study of Nonlinear
  Manifold Clustering Algorithms Quantum critical behavior in three dimensional lattice Gross-Neveu
  models Particle and Energy Transport in quantum disordered and quasi-periodic
  chains connected to mesoscopic Fermi reservoirs Random deep neural networks are biased towards simple functions Galerkin Methods for Boltzmann-Poisson transport with reflection
  conditions on rough boundaries TriNE: Network Representation Learning for Tripartite Heterogeneous
  Networks Inference under Information Constraints II: Communication Constraints
  and Shared Randomness Role of collective information in networks of quantum operating agents On mediums with negative phase velocity: a brief overview Max-min measures on ultrametric spaces Radiation of Neutron Stars Produced by Superfluid Core
cs.LO cs.AI