On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard
  Correspondence for Dummett's Logic LC
A Coordination Language for Databases
Learning stable and predictive structures in kinetic systems: Benefits
  of a causal approach Near-Optimal Data Source Selection for Bayesian Learning Explorations of the viability of ARM and Xeon Phi for physics processing Breaking symmetries for equivariant coarse homology theories Exploration of Bi-Level PageRank Algorithm for Power Flow Analysis Using
  Graph Database Real-time shot-noise-limited differential photodetection for atomic
  quantum control Spaces of Analytical Functions and Wavelets--Lecture Notes cuDNN: Efficient Primitives for Deep Learning Approximation of Images via Generalized Higher Order Singular Value
  Decomposition over Finite-dimensional Commutative Semisimple Algebra The complete dimension theory of partially ordered systems with
  equivalence and orthogonality Modeling Joint Lives within Families A framework for large-scale distributed AI search across disconnected
  heterogeneous infrastructures Predicting Positive and Negative Links with Noisy Queries: Theory &
  Practice Note on character varieties and cluster algebras Trends for isolated amino acids and dipeptides: Conformation, divalent
  ion binding, and remarkable similarity of binding to calcium and lead Ab initio many-body photoemission theory of transverse energy
  distribution of photoelectrons: PbTe(111) as a case study with experimental
  comparisons Sculpting light with paper for computational mobile phone microscopy Operator scaling with specified marginals Nikolskii inequality and functional classes on compact Lie groups Modern Summation Methods for Loop Integrals in Quantum Field Theory: The
  Packages Sigma, EvaluateMultiSums and SumProduction When Do Envy-Free Allocations Exist?
cs.LO