Predicate and relation liftings for coalgebras with side effects: an
  application in coalgebraic modal logic
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Bayesian Evidence and Model Selection Finding the strongest stable weightless column with a follower load and
  relocatable concentrated masses Vertical distribution of cyclopropenylidene and propadiene in the
  atmosphere of Titan CAT STREET: Chronicle Archive of Tokyo Street-fashion Directional Message Passing on Molecular Graphs via Synthetic
  Coordinates Rare regions and avoided quantum criticality in disordered Weyl
  semimetals and superconductors Machine Learning and Cosmology Reinforcement Learning Textbook Green's function for the fractional KdV equation on the periodic domain
  via Mittag-Leffler's function Language technology practitioners as language managers: arbitrating data
  bias and predictive bias in ASR Modelling of flow through spatially varying porous media with
  application to topology optimization A Geometrical-Statistical approach to outlier removal for TDOA
  measuments Stochastic Recovery Of Sparse Signals From Random Measurements A Generalized Framework for Analytic Regularization of Uniform Cubic
  B-spline Displacement Fields Physical dimensions/units and universal constants: their invariance in
  special and general relativity Integer and Constraint Programming Revisited for Mutually Orthogonal
  Latin Squares Privacy-Preserving Identification of Target Patients from Outsourced
  Patient Data Around spin Hurwitz numbers Topology of surfaces for molecular Stark energy, alignment and
  orientation generated by combined permanent and induced electric dipole
  interactions Symplectic Coarse-Grained Classical and Semi-Classical Evolution of
  Subsystems: New Theoretical Aspects
cs.LO