Monads for Measurable Queries in Probabilistic Databases
On Hierarchical Communication Topologies in the pi-calculus
Solving Hard Stable Matching Problems Involving Groups of Similar Agents General Non-Commutative Locally Compact Locally Hausdorff Stone Duality TriCCo -- a cubulation-based method for computing connected components
  on triangular grids Fermi, Pasta, Ulam and a mysterious lady Document Archiving, Replication and Migration Container for Mobile Web
  Users Exponential Natural Particle Filter An operator-theoretical treatment of the Maskawa-Nakajima equation in
  the massless abelian gluon model Design of an Novel Spectrum Sensing Scheme Based on Long Short-Term
  Memory and Experimental Validation Algorithms for finding generalized minimum aberration designs The Heisenberg category of a category Menu-Based Pricing for Charging of Electric Vehicles with
  Vehicle-to-Grid Service Representation Learning for Resource Usage Prediction Coregionalised Locomotion Envelopes - A Qualitative Approach MRIReco.jl: An MRI Reconstruction Framework written in Julia Koopman wavefunctions and classical states in hybrid quantum-classical
  dynamics On sampling and interpolation by model sets Conditional expectation and Bayes' rule for quantum random variables and
  positive operator valued measures Latency of Concatenating Unlicensed LPWAN with Cellular IoT: An
  Experimental QoE Study
cs.PL cs.LO