Uniqueness of Normal Forms for Shallow Term Rewrite Systems
Reachability Analysis of Communicating Pushdown Systems
Instability of backoff protocols with arbitrary arrival rates Pattern formation and nonlocal logistic growth On a dissipative Gross-Pitaevskii-type model for exciton-polariton
  condensates Saturation Of Optimal Entropic Resonance Limits In Pion-Nucleus
  Scattering In $\Delta (1236)$-Elementary Resonance Region A Landscape Analysis of Constraint Satisfaction Problems Multi-core parallel tempering Bayeslands for basin and landscape
  evolution YGGDRASIL - A Statistical Package for Learning Split Models Bidiagonalization with Parallel Tiled Algorithms Integrable stochastic dualities and the deformed Knizhnik-Zamolodchikov
  equation A discrete time neural network model with spiking neurons II. Dynamics
  with noise Precision optomechanics for geometrically modematched Fabry-Perot
  cavities in ALPS II Elimination of Hamilton-Jacobi equation in extreme variational problems Emergence of large scale structure in planetary turbulence Balanced Allocations: Caching and Packing, Twinning and Thinning A two-in-one superhydrophobic and anti-reflective nanodevice in the grey
  cicada $\textit{Cicada orni}$ (Hemiptera) A Novel Algorithm for the Maximal Fit Problem in Boolean Networks Robust Tracking and Behavioral Modeling of Movements of Biological
  Collectives from Ordinary Video Recordings An Analysis of Completely-Positive Trace-Preserving Maps on 2x2 Matrices Traffic Dynamic Instability The Family of Alpha,[a,b] Stochastic Orders: Risk vs. Expected Value
cs.LO cs.FL