Defunctionalization of Higher-Order Constrained Horn Clauses
Trace-Based Run-time Analysis of Message-Passing Go Programs
Asynchronous Diffusion of Data on Networked Lattices Exact MAP inference in general higher-order graphical models using
  linear programming A Small Variation of the Circular Hodograph Theorem and the Best
  Elliptical Trajectory of the Planets Self-Organized Criticality and earthquakes Copernicanism and the Typicality in Time Resolving high Reynolds numbers in SPH simulations of subsonic
  turbulence Rogue Wave Spectra of the Kundu-Eckhaus Equation Domain Wall and Periodic Solutions of Coupled Asymmetric Double Well
  Models Phase retrieval from very few measurements Lagrange approximation of transfer operators associated with holomorphic
  data On Queue-Size Scaling for Input-Queued Switches Quantum-Classical Transitions in Complex Networks Is Spiking Secure? A Comparative Study on the Security Vulnerabilities
  of Spiking and Deep Neural Networks ICodeNet -- A Hierarchical Neural Network Approach for Source Code
  Author Identification Data Fusion on Motion and Magnetic Sensors embedded on Mobile Devices
  for the Identification of Activities of Daily Living Emergent Electroweak Gravity End-to-End Audio Visual Scene-Aware Dialog using Multimodal
  Attention-Based Video Features Robust Spectral Compressed Sensing via Structured Matrix Completion Computation Rate Maximization in UAV-Enabled Wireless Powered
  Mobile-Edge Computing Systems Role of Surface Gravity Waves in Aquaplanet Ocean Climates Useful vacancies in Single Wall Carbon Nanotubes
cs.PL