Reasoning about Agent Programs using ATL-like Logics
Mixed Integer Linear Programming For Exact Finite-Horizon Planning In
  Decentralized Pomdps
Tight bounds on the expected number of holes in random point sets Quadratization in discrete optimization and quantum mechanics On Explicit Constructions of Extremely Depth Robust Graphs Coherent structures and extreme events in rotating multiphase turbulent
  flows Dynamic Influence on Replicator Evolution for the Propagation of
  Competing Technologies Polaron dynamics with a multitude of Davydov D$_2$ trial states Are All Experts Equally Good? A Study of Analyst Earnings Estimates User Profiling from Reviews for Accurate Time-Based Recommendations Palette diagram: A Python package for visualization of collective
  categorical data Logspace Sequential Quadratic Programming for Design Optimization Widefield quantum microscopy with nitrogen-vacancy centers in diamond:
  strengths, limitations, and prospects A High-Resolution Atlas of Uranium-Neon in the H Band Control of test particle transport in a turbulent electrostatic model of
  the Scrape Off Layer Twisted toroidal vortex-solitons in inhomogeneous media with repulsive
  nonlinearity Complexity Phenomena and ROMA of the Magnetospheric Cusp, Hydrodynamic
  Turbulence, and the Cosmic Web Coherent Patterns in Nuclei and in Financial Markets Robust nonparametric detection of objects in noisy images Strongly Universal Reversible Gate Sets A New View of Observed Galaxies through 3D Modelling and Visualisation Fixed-Length Protein Embeddings using Contextual Lenses Kinesin and the Crooks fluctuation theorem
cs.AI