Distributed Games and Strategies
Strategy Synthesis for Global Window PCTL
Encounters with Alex Real Space Approach to Electronic-Structure Calculations Triangle Groups: Automorphic Forms and Nonlinear Differential Equations Time parallel gravitational collapse simulation Patient-Specific Prosthetic Fingers by Remote Collaboration - A Case
  Study Waveform inversion via reduced order modeling Nonnegative $C^2(\mathbb{R}^2)$ interpolation Canada Protocol: an ethical checklist for the use of Artificial
  Intelligence in Suicide Prevention and Mental Health Designing Secure Ethereum Smart Contracts: A Finite State Machine Based
  Approach Beyond synchronization: Body gestures and gaze direction in duo
  performance Eigenbundles, Quaternions, and Berry's Phase A Recursive Method for Computing Certain Bessel Function Integrals Prediction of transport property via machine learning molecular
  movements A Bayesian Approach to Inverse Quantum Statistics Combining Deep Learning with Physics Based Features in
  Explosion-Earthquake Discrimination Recent Advances in Computational Modeling of Thrombosis Can You Pave the Plane Nicely with Identical Tiles Rota-Baxter algebras and new combinatorial identities Optimization for Reinforcement Learning: From Single Agent to
  Cooperative Agents
cs.LO cs.GT