Model Checking : A Co-algebraic Approach
A Robust Specification Theory for Modal Event-Clock Automata
Schr\"{o}dinger PCA: On the Duality between Principal Component Analysis
  and Schr\"{o}dinger Equation Optimal versus Nash Equilibrium Computation for Networked Resource
  Allocation Geometric and spectral properties of directed graphs under a lower Ricci
  curvature bound Asynchrony and Acceleration in Gossip Algorithms TensorFlow RiemOpt: a library for optimization on Riemannian manifolds Fractal Structures and Scaling Laws in the Universe: Statistical
  Mechanics of the Self-Gravitating Gas Complex Behaviour in a Discrete Coupled Logistic Model for the Symbiotic
  Interaction of Two Species A framework for large-scale distributed AI search across disconnected
  heterogeneous infrastructures Algebraic deformations arising from orbifolds with discrete torsion Workload Prediction of Business Processes -- An Approach Based on
  Process Mining and Recurrent Neural Networks Examining the Location of the Magnetopause in an Undergraduate Lab A Framework for Implementing Machine Learning on Omics Data Walkman: A Communication-Efficient Random-Walk Algorithm for
  Decentralized Optimization Dimensions of components of tensor products of the linear groups
  representations with applications to Beurling-Fourier algebras PATCHWORK: A Multipatch Infrastructure for
  Multiphysics/Multiscale/Multiframe Fluid Simulations A Feature-aware SPH for Isotropic Unstructured Mesh Generation Brain Morphometry Analysis with Surface Foliation Theory Pose-Controllable Talking Face Generation by Implicitly Modularized
  Audio-Visual Representation Found Graph Data and Planted Vertex Covers
cs.LO cs.FL