Directed Security Policies: A Stateful Network Implementation
Deducing Security Goals From Shape Analysis Sentences
Function Theory on a q-Analog of Complex Hyperbolic Space Third Harmonic Generation in Cuprous Oxide: Efficiency Determination Integrable Structure of Interface Dynamics Pervasive Hand Gesture Recognition for Smartphones using Non-audible
  Sound and Deep Learning Equations defining probability tree models Constraint-based Query Distribution Framework for an Integrated Global
  Schema Direct visualization of charge transport in suspended (or free-standing)
  DNA strands by low-energy electron microscopy Designing and using prior knowledge for phase retrieval Towards an automatic processing of CCD images with CPCS 2.0 Non-Linear Dynamics In Patients With Stable Angina Pectoris Information structures and their cohomology New satellites of figure-eight orbit computed with high precision Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis Features of Agent-based Models A Normative and Biologically Plausible Algorithm for Independent
  Component Analysis Friendship Paradox Redux: Your Friends Are More Interesting Than You Classification of four-rebit states Geometric phases and cyclic isotropic cosmologies Learning to Locomote with Deep Neural-Network and CPG-based Control in a
  Soft Snake Robot Boundary behaviour of the four-point function in the 3-dimensional
  Gross-Neveu model Optimal Unbiased Estimation for Expected Cumulative Cost
cs.CR cs.LO