Gillian: Compositional Symbolic Execution for All
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Sequence-Length Requirement of Distance-Based Phylogeny Reconstruction:
  Breaking the Polynomial Barrier Magnetothermal instabilities in magnetized anisotropic plasmas The value ring of geometric motivic integration and the Iwahori Hecke
  algebra of SL_2 Autoresonant excitation of space-time quasicrystals in plasma Model-based Deep Medical Imaging: the roadmap of generalizing iterative
  reconstruction model using deep learning Visible absorptions of potential diffuse ISM hydrocarbons: C$_9$H$_9$
  and C$_9$H$_5$ radicals Quantum Curve and the First Painlev\'e Equation AnonymousNet: Natural Face De-Identification with Measurable Privacy Conditional Symmetry and Reductions for the Two-Dimensional Nonlinear
  Wave Equation. I. General Case Proof mining in metric fixed point theory and ergodic theory Syntactic Topic Models Hybrid skin-topological modes without asymmetric couplings Channel Tiling for Improved Performance and Accuracy of Optical Neural
  Network Accelerators Moment-based parameter estimation in binomial random intersection graph
  models Schr\"odinger Approach to Optimal Control of Large-Size Populations Homogenisation and the Weak Operator Topology Optimal pricing for electricity retailers based on data-driven
  consumers' price-response Possibilities of life around Alpha Centauri B Rational Conjugacy Classes of Maximal Tori In Groups of Type $D_n$
cs.PL cs.LO