A Counting Semantics for Monitoring LTL Specifications over Finite
  Traces
Parallel BioScape: A Stochastic and Parallel Language for Mobile and
  Spatial Interactions
Modeling 3D geometry using 1D laser distance measurements with
  application to cylinder for visualization and evaluating surface quality Quantum beats in the polarization response of a dielectric to intense
  few-cycle laser pulses Casimir operators of Lie algebras with a nilpotent radical Determination of Latent Dimensionality in International Trade Flow Phase-field theory of brine entrapment in sea ice: Short-time frozen
  microstructures A generalized class of strongly stable and dimension-free T-RPMD
  integrators A Martingale Approach and Time-Consistent Sampling-based Algorithms for
  Risk Management in Stochastic Optimal Control Adaptive Doubly Robust Estimator from Non-stationary Logging Policy
  under a Convergence of Average Probability Random walk with hyperbolic probabilities Reducing Memory Requirements of Quantum Optimal Control The Futility of Utility: how market dynamics marginalize Adam Smith Synchronization and random long time dynamics for mean-field plane
  rotators Relativistic covariance of Ohm's law Projective metric geometry and Clifford algebras OptiTrap: Optimal Trap Trajectories for Acoustic Levitation Displays Hamiltonian Dynamical Systems Without Periodic Orbits High-$T_c$ ternary metal hydrides, YKH$_{12}$ and LaKH$_{12}$,
  discovered by machine learning Staggered-Vortex Superfluid of Ultracold Bosons in an Optical Lattice Power Allocation in Team Jamming Games in Wireless Ad Hoc Networks Totally Secure Classical Communication Utilizing Johnson (-like) Noise
  and Kirchoff's Law Abstraction and control techniques for non-stationary scheduling
  problems
cs.LO cs.FL