Automata theory in nominal sets
Verification of PCP-Related Computational Reductions in Coq
Cosmic Axion Spin Precession Experiment (CASPEr) Quantum-inspired Machine Learning on high-energy physics data Annual Modulation in Direct Dark Matter Searches Links tell us about lexical and semantic Web content The Burgers equations as a first step towards the study of the
  incompressible flows (Lecture notes, in spanish) Real time Smart Contracts for IoT using Blockchain and Collaborative
  Intelligence based Dynamic Pricing for the next generation Smart Toll
  Application Constructing Parsimonious Analytic Models for Dynamic Systems via
  Symbolic Regression On the the linear processes of a stationary time series AR(2) Learned Optimizers for Analytic Continuation Assume-Guarantee Synthesis for Digital Contract Signing A Billion Updates per Second Using 30,000 Hierarchical In-Memory D4M
  Databases Barriers for recent methods in geodesic optimization Compressed sensing photoacoustic tomography reduces to compressed
  sensing for undersampled Fourier measurements Analytic Continuation of Hypergeometric Functions in the Resonant Case An iterative feature selection method for GRNs inference by exploring
  topological properties How many images do I need? Understanding how sample size per class
  affects deep learning model performance metrics for balanced designs in
  autonomous wildlife monitoring ShapeMOD: Macro Operation Discovery for 3D Shape Programs Resilience: A Criterion for Learning in the Presence of Arbitrary
  Outliers
cs.LO cs.FL