Towards an Optimal Separation of Space and Length in Resolution
Mathematical basis for polySAT implication operator
Robustness: a New Form of Heredity Motivated by Dynamic Networks Quantum Solvers for Plane-Wave Hamiltonians: Abridging Virtual Spaces
  Through the Optimization of Pairwise Correlations Performance and Energy-Aware Bi-objective Tasks Scheduling for Cloud
  Data Centers Recognizing and Eliciting Weakly Single Crossing Profiles on Trees Partial Dirac Cohomology and Tempered Representations On the Non-degeneracy of Kendall's and Spearman's Correlation
  Coefficients Tight Bounds for the Subspace Sketch Problem with Applications Diffusion processes satisfying a conservation law constraint Spectral Properties of Three-Dimensional Quantum Billiards with a
  Pointlike Scatterer Geometry-Aware Gradient Algorithms for Neural Architecture Search Simulation-based Adversarial Test Generation for Autonomous Vehicles
  with Machine Learning Components Negative dimension in general and asymptotic topology Evolution of three-dimensional Relativistic Ion Weibel Instability:
  Competition with Kink Instability Modelling and Computing Homotopy Types: I On the correlation between a level of structure order and properties of
  composites. In Memory of Yu.L. Klimontovich End-to-End Speech Emotion Recognition: Challenges of Real-Life Emergency
  Call Centers Data Recordings Chalcogenide optomemristors for multi-factor neuromorphic computation Quantum fluctuations in Fr\"ohlich condensate of molecular vibrations
  driven far from equilibrium Force Balance Approach for Advanced Approximations in Density Functional
  Theories Ten Steps of EM Suffice for Mixtures of Two Gaussians
cs.CC cs.LO