A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended
  Version)
The Descriptive Complexity of Modal $\mu$ Model-checking Games
A comprehensive review of Binary Neural Network Space qualification of ultrafast laser written integrated waveguide
  optics On Structure of cluster algebras of geometric type, II: Green's
  equivalences and paunched surfaces Towards Scheduling Federated Deep Learning using Meta-Gradients for
  Inter-Hospital Learning Loop groups and noncommutative geometry Optimising Rolling Stock Planning including Maintenance with Constraint
  Programming and Quantum Annealing Deep Graph Learning for Anomalous Citation Detection Robust marginalization of baryonic effects for cosmological inference at
  the field level Safe Leads and Lead Changes in Competitive Team Sports A power-law distribution of phase-locking intervals does not imply
  critical interaction A Generalized Framework for Population Based Training When hot water freezes before cold Entanglement dynamics in quantum many-body systems Kazhdan projections, random walks and ergodic theorems AI Annotated Recommendations in an Efficient Visual Learning Environment
  with Emphasis on YouTube (AI-EVL) Time Delay Correlations in Chaotic Scattering: Random Matrix Approach A transfer principle and applications to eigenvalue estimates for graphs Performance Analysis and Dynamic Evolution of Deep Convolutional Neural
  Network for Nonlinear Inverse Scattering Immigrant community integration in world cities
cs.LO