Control of Probabilistic Systems under Dynamic, Partially Known
  Environments with Temporal Logic Specifications
Proceedings 18th International Workshop on Expressiveness in Concurrency
On the extension of the Laplace-Lagrange secular theory to order two in
  the masses for extrasolar systems In-plane backward and Zero-Group-Velocity guided modes in rigid and soft
  strips Dynamical environments of relativistic binaries: The phenomenon of
  resonance shifting Limits on the strength of individual gravitational wave sources using
  high-cadence observations of PSR B1937+21 Low-rank data modeling via the Minimum Description Length principle On the Vapnik-Chervonenkis dimension of products of intervals in
  $\mathbb{R}^d$ Nuclear Theory and Science of the Facility for Rare Isotope Beams Interventions for Ranking in the Presence of Implicit Bias What are essential concepts about networks? Adversarial Item Promotion: Vulnerabilities at the Core of Top-N
  Recommenders that Use Images to Address Cold Start On the Dynamics of Deterministic Epidemic Propagation over Networks Simplified Variational Principles for Barotropic Magnetohydrodynamics Comparative study of Discrete Wavelet Transforms and Wavelet Tensor
  Train decomposition to feature extraction of FTIR data of medicinal plants Towards Robust Deep Neural Networks Electrically tuned F\"orster resonances in collisions of NH$_3$ with
  Rydberg He atoms A Stochastic Heat Engine Based on Prandtl-Tomlinson Model The uncertainty principle: variations on a theme Reducing Path TSP to TSP Quantum Control of Two Critically Dressed Spin 1/2 Species in Magnetic
  Fluctuations
cs.LO cs.FL