From X to Pi; Representing the Classical Sequent Calculus in the
  Pi-calculus
Switchability and collapsibility of Gap Algebras
Coulomb friction in twisting of biomimetic scale-covered substrate Principles of Information Storage in Small-Molecule Mixtures HEIDL: Learning Linguistic Expressions with Deep Learning and
  Human-in-the-Loop Service mining for Internet of Things $W_{\infty}$ Algebras in the Quantum Hall Effect Photo-Thermal Transfer Function of Dielectric Mirrors for Precision
  Measurements Learning Spontaneity to Improve Emotion Recognition In Speech The Adaptive Stress Testing Formulation Heuristic average-case analysis of the backtrack resolution of random
  3-Satisfiability instances Using Provenance to support Good Laboratory Practice in Grid
  Environments Effective adiabatic control of a decoupled Hamiltonian obtained by
  rotating wave approximation Classical and Quantum Annealing in the Median of Three Satisfiability On the radial velocity calibrations in the LAMOST Medium-Resolution
  Spectroscopic Survey of Nebulae Stochastic Emergency Response Units (ERUs) Allocation Considering
  Secondary Incident Occurrences Measurements of droplets from singing, laughing, reciting poetry, and
  playing wind instruments Scaling of critical connectivity of mobile ad hoc communication networks Instabilities and relaxation to equilibrium in long-range oscillator
  chains Finite-sample and asymptotic analysis of generalization ability with an
  application to penalized regression A simple noise reduction method based on nonlinear forecasting Coordinated Transaction Scheduling in Multi-Area Electricity Markets:
  Equilibrium and Learning
cs.LO