Verifying Outsourced Computation in an Edge Computing Marketplace
Blockchain Interoperability in UAV Networks: State-of-the-art and Open
  Issues
Mechanics of Tunable Helices and Geometric Frustration in Biomimetic
  Seashells Quasi-Measurable Spaces There are no deviations for the ergodic averages of the
  Giulietti-Liverani horocycle flows on the two-torus On the gap between deterministic and probabilistic joint spectral radii
  for discrete-time linear systems Relationship between the Reprogramming Determinants of Boolean Networks
  and their Interaction Graph Testing the Amp\`ere-Maxwell law on the photon mass and
  Lorentz-Poincar\'e symmetry violation with MMS multi-spacecraft data Towards Formal Interaction-Based Models of Grid Computing
  Infrastructures Long-period oscillations of active region patterns: least-squares
  mapping on second-order curves Electromelting of Confined Monolayer Ice A constrained-based optimization approach for seismic data recovery
  problems Existence of Oscillations in Cyclic Gene Regulatory Networks with Time
  Delay Three-Hair Relations for Rotating Stars: Nonrelativistic Limit Dropping Convexity for Faster Semi-definite Optimization Random hyperbolic surfaces of large genus have first eigenvalues greater
  than $\frac{3}{16}-\epsilon$ Motion of dark solitons in trapped Bose-Einstein condensates Tracking Emerges by Colorizing Videos Minimum-Time Earth-to-Mars Interplanetary Orbit Transfer Using Adaptive
  Gaussian Quadrature Collocation Evaluation of PPG Biometrics for Authentication in different states Wavefield Focusing in Finite Time with Reduced Spatial Exposure A Framework for Differential Calculus on Persistence Barcodes Conversational Search -- A Report from Dagstuhl Seminar 19461
cs.CR