Simplifying Negative Goals Using Typed Existence Properties
Program Equivalence in Linear Contexts
Exploring Image Virality in Google Plus SNAP: A General Purpose Network Analysis and Graph Mining Library Analytic Hochschild-Kostant-Rosenberg Theorem Closed Form of the Baker-Campbell-Hausdorff Formula for the Generators
  of Semisimple Complex Lie Algebras Ice structures, patterns, and processes: A view across the ice-fields Rigidity of fiber-preserving quasisymmetric maps Fundamental Limits on Measuring the Rotational Constraint of Single
  Molecules using Fluorescence Microscopy Clouds in Exoplanetary Atmospheres An Aggressive Genetic Programming Approach for Searching Neural Network
  Structure Under Computational Constraints Proceedings Second International Workshop on Hybrid Systems and Biology Adaptive Modeling Powers Fast Multi-parameter Fitting of CARS Spectra The Deep Bootstrap Framework: Good Online Learners are Good Offline
  Generalizers Text2FaceGAN: Face Generation from Fine Grained Textual Descriptions Morphologies, metastability and coarsening of quantum nanoislands on the
  surfaces of the annealed Ag(110) and Pb(111) thin films Polynomial Time Algorithms for Constructing Optimal Binary AIFV-$2$
  Codes Elimination of spectral blocking by ensuring rotation-free property of
  discretised pressure gradient within a spectral semi-implicit semi-Lagrangian
  global atmospheric model A Bivariate Dead Band Process Adjustment Policy On the Covariance of ICP-based Scan-matching Techniques The symplectic and algebraic geometry of Horn's problem TURB-Rot. A large database of 3d and 2d snapshots from turbulent
  rotating flows Testing the validity of the local and global GKLS master equations on an
  exactly solvable model Gauge invariant canonical symplectic algorithms for real-time lattice
  strong-field quantum electrodynamics
cs.PL cs.LO