TrustMIX: Trustworthy MIX for Energy Saving in Sensor Networks
Security modeling and efficient computation offloading for service
  workflow in mobile edge computing
Existence of a critical layer thickness in PS/PMMA nanolayered films Formally Verified Next-Generation Airborne Collision Avoidance Games in
  ACAS X Hamiltonian no-torsion A Landauer Formula for Bioelectronic Applications Structure of the center manifold of the L1 and L2 collinear libration
  points in the restricted three-body problem Quantum Turing bifurcation: Transition from quantum amplitude death to
  quantum oscillation death Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM)
  and Participatory Grounding Checking Energy of tsunami waves generated by bottom motion Improved hardness for H-colourings of G-colourable graphs Entropy Concentration and the Empirical Coding Game Computing stationary solutions of the two-dimensional Gross-Pitaevskii
  equation with Deflated continuation How coordinate Bethe ansatz works for Inozemtsev model Model Predictive Control for Electron Beam Stabilization in a
  Synchrotron State aggregations in Markov chains and block models of networks Homological Scaffold via Minimal Homology Bases Quantum Causal Inference in the Presence of Hidden Common Causes: an
  Entropic Approach On the Strong Homotopy Associative Algebra of a Foliation Dual application of Chebyshev polynomial for efficiently computing
  thousands of central eigenvalues in many-spin systems
cs.DC cs.CR cs.NI