Finitely generated free Heyting algebras via Birkhoff duality and
  coalgebra
Extensive Infinite Games and Escalation, an exercise in Agda
Towards new solutions for scientific computing: the case of Julia P-model Alternative to the T-model Spatial Mixing and Systematic Scan Markov chains Kinetic corrections from analytic non-Maxwellian distribution functions
  in magnetized plasmas Generation of bright soliton through the interaction of black solitons SIMF: Single-Instruction Multiple-Flush Mechanism for Processor Temporal
  Isolation An Algebraic Approach for Computing Equilibria of a Subclass of Finite
  Normal Form Games Efficient Decision-Making by Volume-Conserving Physical Object A New Class of Exceptional Orthogonal Polynomials: The Type III
  $X_{m}$-Laguerre Polynomials And The Spectral Analysis of Three Types of
  Exceptional Laguerre Polynomials Learning to Fuse Music Genres with Generative Adversarial Dual Learning Adiabatic waves along interfacial layers near the critical point Accurate and Efficient Expression Evaluation and Linear Algebra Integrable systems associated to the filtrations of Lie algebras and
  almost multiplicity free subgroups of compact Lie groups Image Charges Re-Imagined Photonic kernel machine learning for ultrafast spectral analysis Finite volume and pseudo-spectral schemes for the fully nonlinear 1D
  Serre equations On self-similar solutions of the vortex filament equation Fermionic Gaussian states: an introduction to numerical approaches Adversarial Attacks and Mitigation for Anomaly Detectors of
  Cyber-Physical Systems
cs.LO math.LO