Rast: A Language for Resource-Aware Session Types
Compositional Invariant Generation via Linear Recurrence Analysis
Neural Hybrid Automata: Learning Dynamics with Multiple Modes and
  Stochastic Transitions Manifold structure of spaces of spherical tight frames New Views of Crystal Symmetry Chern Numbers in Discretized Brillouin Zone: Efficient Method of
  Computing (Spin) Hall Conductances Momentum and energy preserving integrators for nonholonomic dynamics Large-Scale Joint Topic, Sentiment & User Preference Analysis for Online
  Reviews Limit behaviour of $\mu-$equicontinuous cellular automata Correlations due to localization in quantum eigenfunctions of disordered
  microwave cavities Orthogonal polynomials with periodically modulated recurrence
  coefficients in the Jordan block case Nonlinear dynamics of a charged particle in a strong non-null knot wave
  background ProGraML: Graph-based Deep Learning for Program Optimization and
  Analysis The role of contacts in molecular electronics Why all these prejudices against a constant? Inferring the eccentricity distribution Universality of plasmon excitations in Dirac semimetals Optimization study of the electrode design of a 5 mm thick
  orthogonal-strip CdZnTe detector system $m^\ast$ of two-dimensional electron gas: a neural canonical
  transformation study OnRAMP for Regulating AI in Medical Products On the distribution of time-to-proof of mathematical conjectures Low temperature acoustic polaron localization
cs.PL cs.LO