Reasoning with Higher-Order Abstract Syntax in a Logical Framework
Term Graph Representations for Cyclic Lambda-Terms
Remote sensing of seawater and drifting ice in Svalbard fjords by
  compact Raman LIDAR All orders renormalizability of a Lorentz and CPT violating quantum
  electrodynamics An Epistemic Approach to the Formal Specification of Statistical Machine
  Learning Low-energy electronic recoil in xenon detectors by solar neutrinos Generalized eigen, singular value, and partial least squares
  decompositions: The GSVD package The Affiliate Matching Problem: On Labor Markets where Firms are Also
  Interested in the Placement of Previous Workers A Conformal Approach for Surface Inpainting Quantization of Multiply Connected Manifolds Adaptive on-chip control of nano-optical fields with optoplasmonic
  vortex nanogates Neutrino Oscillation Studies with Reactors Electric Field Intensity Modulated Scattering as a Thin-Film Depth Probe A Local Ensemble Kalman Filter for Atmospheric Data Assimilation Elastomeric 2D Grating and Hemispherical Optofluidic Chamber for
  Multifunctional Fluidic Sensing (2-)Drinfel'd Double and (2-)BF Theory Self-Organization in Cold Atoms Mediated by Diffractive Coupling On finitely generated normal subgroups of K\"ahler groups QIS-XML: A metadata specification for Quantum Information Science Learning Probabilistic Systems from Tree Samples Regular and Chaotic Motion Domains in the Channeling Electron's Phase
  Space and Mean Level Density for Its Transverse Motion Energy Frame hydrodynamics of biaxial nematics from molecular-theory-based
  tensor models
cs.LO cs.PL