Deontic modality based on preference
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover
  and Its Applications
Tracking the Effects of Cancer on Microtubule Dynamic Instability Scalable Distributed-Memory External Sorting ChronoR: Rotation Based Temporal Knowledge Graph Embedding Reappraising the distribution of the number of edge crossings of graphs
  on a sphere AdS perturbations, isometries, selection rules and the Higgs oscillator Bose condensation of squeezed light Consistency of the PLFit estimator for power-law data Lund jet images from generative and cycle-consistent adversarial
  networks Generation of controllable plasma wakefield noise in particle-in-cell
  simulations Electrostatic Edge Instability of Lipid Membranes Relativity without tears The Causal Frame Problem: An Algorithmic Perspective Pisa and the Collider Detector at Fermilab: a History of the
  Establishment of Precision Physics With a Calorimetric Spectrometer at a
  Hadron Collider Numerical Algorithms for Water Waves with Background Flow over Obstacles
  and Topography Globe-hopping Hochschild cohomology and moduli spaces of strongly homotopy associative
  algebras Spectral Singularities and Zero Energy Bound States Two-photon photoassociation spectroscopy of an ultracold heteronuclear
  molecule Modeling Terms by Graphs with Structure Constraints (Two Illustrations)
cs.LO cs.AI