Axioms for Modelling Cubical Type Theory in a Topos
Characteristics of Minimal Effective Programming Systems
Linear Programming using Limited-Precision Oracles Enhanced Emotion Enabled Cognitive Agent Based Rear End Collision
  Avoidance Controller for Autonomous Vehicles Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II:
  arbitrary weights in ADE type Information content versus word length in natural language: A reply to
  Ferrer-i-Cancho and Moscoso del Prado Martin [arXiv:1209.1751] The breaking of quantum double symmetries by defect condensation Revisiting Distributed Synchronous SGD Certain integrable system on a space associated with a quantum search
  algorithm Memory effects can make the transmission capability of a communication
  channel uncomputable On the multi-symplectic structure of Boussinesq-type systems. II:
  Geometric discretization Bidding Agent Design in the LinkedIn Ad Marketplace Beyond the Self: Using Grounded Affordances to Interpret and Describe
  Others' Actions Exact solutions of nonlinear delay reaction-diffusion equations with
  variable coefficients Rigged configurations as tropicalizations of loop Schur functions Game Theoretical Modelling for Dynamic Spectrum Access in TV Whitespace The Complexity of Sparse Tensor PCA Topology of Moduli Spaces of Free Group Representations in Real
  Reductive Groups Magnetic slowdown of topological edge states PrivacyNet: Semi-Adversarial Networks for Multi-attribute Face Privacy Indirect searches of dark matter
cs.LO