Reasoning about Polymorphic Manifest Contracts
Polytool: polynomial interpretations as a basis for termination analysis
  of Logic programs
Parity anomaly in Dirac equation in (1+2) dimensions, quantum
  electrodynamics and pair production Electroencephalogram (EEG) for Delineating Objective Measure of Autism
  Spectrum Disorder (ASD) (Extended Version) Separable local fractional differential equations Notes on rate equations in nonlinear continuum mechanics Optical Properties of Deep Ice at the South Pole - Absorption Smoothed estimating equations for instrumental variables quantile
  regression Learn Physics by Programming in Haskell Quasi-Frobenius algebras and their integrable N-parametric deformations
  generated by compatible (N x N)-metrics of constant Riemannian curvature The stochastic nature induced by laser noise in narrow transitions The Western Australian Optical Ground Station Topological methods for searching barriers and reaction paths Fast inference of deep neural networks in FPGAs for particle physics Quark Gluon Plasma Formation in Proton-Proton Collisions Using PYTHIA Superconducting optoelectronic circuits for neuromorphic computing Filters on some classes of quantum B-algebras Backward Stochastic PDEs related to the utility maximization problem Lower bounds for the circuit size of partially homogeneous polynomials Cellular organization in lab-evolved and extant multicellular species
  obeys a maximum entropy law Towards Runtime Verification of Programmable Switches Jaynes & Shannon's Constrained Ignorance and Surprise On complete representability of Pinter's algebras and related structures Recurrent Localization Networks applied to the Lippmann-Schwinger
  Equation Robot Action Selection Learning via Layered Dimension Informed Program
  Synthesis
cs.PL cs.LO