Linear Temporal Logic and Propositional Schemata, Back and Forth
  (extended version)
Named Models in Coalgebraic Hybrid Logic
A Drift-Diffusion-Reaction Model for Excitonic Photovoltaic Bilayers:
  Asymptotic Analysis and A 2-D HDG Finite-Element Scheme Heavy Traffic Limits for GI/H/n Queues: Theory and Application Towards Solving the Interdisciplinary Language Barrier Problem Gamow's Cyclist: A New Look at Relativistic Measurements for a Binocular
  Observer Sonification of a Network's Self-Organized Criticality Types and forgetfulness in categorical linguistics and quantum mechanics Axions, Instantons, and the Lattice Integral and Series Representations of Riemann's Zeta function,
  Dirichelet's Eta Function and a Medley of Related Results What can the alignments of the velocity moments tell us about the nature
  of the potential? A path model for geodesics in Euclidean buildings and its applications
  to representation theory Convergence of persistence diagram in the sparse regime Constructing a polynomial whose nodal set is the three-twist knot $5_2$ A new route to negative refractive index from topological metals Stairs Detection for Enhancing Wheelchair Capabilities Based on Radar
  Sensors Physical reservoir computing -- An introductory perspective The theoretical and methodical foundations of usage of information and
  communication technologies in teaching higher mathematics engineering
  students in universities of the United States Maximizing Utility Among Selfish Users in Social Groups Topological implications of negative curvature for biological and social
  networks Sine-Gordon Parametric Resonance The Mean-Field Bose Glass in Quasicrystalline Systems A Bitcoin system with no mining and no history transactions: Build a
  compact Bitcoin system
cs.LO cs.AI