Instrumenting an SMT Solver to Solve Hybrid Network Reachability
  Problems
Lifted Variable Elimination for Probabilistic Logic Programming
Conjectures, Tests and Proofs: An Overview of Theory Exploration Generating Functionals for Quantum Field Theories with Random Potentials Sharp worst-case evaluation complexity bounds for arbitrary-order
  nonconvex optimization with inexpensive constraints When Machine Learning Meets Spectrum Sharing Security: Methodologies and
  Challenges T-METASET: Task-Aware Generation of Metamaterial Datasets by
  Diversity-Based Active Learning Convex relaxation approaches for strictly correlated density functional
  theory An adaptive scheduling tool to optimize measurements to reach a
  scientific objective: methodology and application to the measurements of
  stellar orbits in the Galactic Center Scheme of thinking quantum systems Kenneth G. Wilson: Renormalized After-Dinner Anecdotes Deep Learning Models for Global Coordinate Transformations that
  Linearize PDEs Uniform Lipschitz Property of Nonnegative Derivative Constrained
  B-Splines and Applications to Shape Constrained Estimation Numerical evidence of the axial magnetic effect Density of states, screening and the width of the quantum Hall plateaus Maps preserving trace of products of matrices Fluctuations and Transients in Quantum-Resonant Evolution Reduction of Quantum Systems on Riemannian Manifolds with Symmetry and
  Application to Molecular Mechanics Robust stability of moving horizon estimation for nonlinear systems with
  bounded disturbances using adaptive arrival cost Brain-like associative learning using a nanoscale non-volatile phase
  change synaptic device array A Survey of Volunteered Open Geo-Knowledge Bases in the Semantic Web Constraining Hadronic Superfluidity with Neutron Star Precession Convex programming in optimal control and information theory
cs.AI