Coaxioms: flexible coinductive definitions by inference systems
Concurrent Separation Logic Meets Template Games
On the Possibility of an Astronomical Perspective in the Study of Human
  Evolution Independent Sets of Random Trees and of Sparse Random Graphs XFlow: Cross-modal Deep Neural Networks for Audiovisual Classification Gravitational Waves: Sources, Detectors and Searches Uses of a Quantum Master Inequality Effects of vorticity on the travelling waves of some shallow water
  two-component systems Design Guidelines for Inclusive Speaker Verification Evaluation Datasets Random Voting Effects in Social-Digital Spaces: A case study of Reddit
  Post Submissions Optimization of a SSP's Header Bidding Strategy using Thompson Sampling Neural Hypernetwork Approach for Pulmonary Embolism diagnosis Connection between Calogero-Marchioro-Wolfes type few-body models and
  free oscillators Fundamental Limits of Invisible Flow Fingerprinting Secure and Computationally-Efficient Cryptographic Primitive based on
  Cellular Automation Quantum-mechanical calculation of ionization potential lowering in dense
  plasmas Input-output equations and identifiability of linear ODE models On the combined gravity gradient modeling for applied geophysics A Novel Approach to Radiometric Identification Probing the semi-macroscopic vacuum by higher-harmonic generation under
  focused intense laser fields Yamabe metrics on cylindrical manifolds
cs.LO cs.PL