Automated Verification of Reactive and Concurrent Programs by
  Calculation
Combining Inclusion Polymorphism and Parametric Polymorphism
Embeddings of right-angled Artin groups Joint Characterization of Spatiotemporal Data Manifolds Novel Lagrangian Hierarchies, Generalized Variational ODE's and Families
  of Regular and Embedded Solitary Waves Using Data Imputation for Signal Separation in High Contrast Imaging The globally hyperbolic metric splitting for non-smooth wave-type
  space-times Automatic non-invasive Cough Detection based on Accelerometer and Audio
  Signals Knot Topology in Quantum Spin System A fourth-order accurate finite volume method for ideal MHD via upwind
  constrained transport Subsidising Inclusive Insurance to Reduce Poverty Learning to Prove from Synthetic Theorems Theory of the spontaneous buckling of doped graphene An Incremental Sampling-based Algorithm for Stochastic Optimal Control On the locus formed by the maximum heights of projectile motion with air
  resistance Symmetric and asymmetric discrimination of bosonic loss: Toy
  applications to biological samples and photo-degradable materials Bidding Agent Design in the LinkedIn Ad Marketplace A Geometric Model of Opinion Polarization A Sauer-Shelah-Perles Lemma for Sumsets Entanglement formation in continuous-variable random quantum networks ESPRESSO's Early Commissioning Results and Performance Related to Tests
  of Fundamental Constant Stability Building fast Bayesian computing machines out of intentionally
  stochastic, digital parts Scalable Bayesian Preference Learning for Crowds
cs.LO cs.PL