Approximate Partial Order Reduction
Quantifier Alternation in Two-Variable First-Order Logic with Successor
  Is Decidable
Temporal Unet: Sample Level Human Action Recognition using WiFi Development and Validation of a Comprehensive Helicopter Flight Dynamics
  Code RationalizeRoots: Software Package for the Rationalization of Square
  Roots The ancient art of laying rope Hiding in the Crowd: A Massively Distributed Algorithm for Private
  Averaging with Malicious Adversaries Statistics of temperature fluctuations in a buoyancy dominated boundary
  layer flow simulated by a Large-eddy simulation model A convolutional neural-network model of human cochlear mechanics and
  filter tuning for real-time applications Towards Real-time Customer Experience Prediction for Telecommunication
  Operators Private and Secure Coordination of Match-Making for Heavy-Duty Vehicle
  Platooning Early Predictions of Movie Success: the Who, What, and When of
  Profitability Projective representation theory for compact quantum groups and the
  quantum Baum-Connes assembly map Kolmogorov $n$-widths for linear dynamical systems Inferring basic parameters of the geodynamo from sequences of polarity
  reversals Prophet inequality for bipartite matching: merits of being simple and
  non adaptive Feedback Capacity of Parallel ACGN Channels and Kalman Filter: Power
  Allocation with Feedback PTAL multi-spectral database of planetary terrestrial analogues: Raman
  data overview Multilinguals and Wikipedia Editing HYPE: Massive Hypergraph Partitioning with Neighborhood Expansion Privacy Guidelines for Contact Tracing Applications
cs.LO cs.FL