Formalization of Metatheory of the Quipper Quantum Programming Language
  in a Linear Logic
Coaxioms: flexible coinductive definitions by inference systems
Takens-inspired neuromorphic processor: a downsizing tool for random
  recurrent neural networks via feature extraction Additive invariants of finite dimensional algebras of finite global
  dimension Usage Bibliometrics as a Tool to Measure Research Activity Behavior of l-bits near the many-body localization transition A general framework for quantifying uncertainty at scale and its
  application to fusion research Exploration of Speech enabled System for English Limits of time in cosmology Specular holography The Transport-based Mesh-free Method (TMM) and its applications in
  finance: a review Constructing Reference Metrics on Multicube Representations of Arbitrary
  Manifolds JS-son -- A Lean, Extensible JavaScript Agent Programming Library Moduli Spaces of Higher Spin Curves and Integrable Hierarchies Robust Classification by Pre-conditioned LASSO and Transductive
  Diffusion Component Analysis Teaching Classical Mechanics using Smartphones Design Mining Interacting Wind Turbines Revealing Non-circular beam effect in WMAP-7 CMB maps with BipoSH
  measures of Statistical Isotropy Any-horizon uniform random sampling and enumeration of constrained
  scenarios for simulation-based formal verification Unidirectional Pinning and Hysteresis of Spatially Discordant Alternans
  in Cardiac Tissue An optimal control approach to determine resistance-type boundary
  conditions from in-vivo data for cardiovascular simulations
cs.LO cs.PL