Secure Component Deployment in the OSGi(tm) Release 4 Platform
The Design and Implementation of a Verified File System with End-to-End
  Data Integrity
Homotopy based algorithms for $\ell_0$-regularized least-squares Equations in simple matrix groups: algebra, geometry, arithmetic,
  dynamics Fast Bayesian Non-Negative Matrix Factorisation and Tri-Factorisation Twisted light, a new tool for General Relativity and beyond Structural Textile Pattern Recognition and Processing Based on
  Hypergraphs Torus actions, combinatorial topology and homological algebra The Platform Design Problem Development of muon scattering tomography for a detection of
  reinforcement in concrete The Partially Observable Hidden Markov Model and its Application to
  Keystroke Dynamics Lectures on 0/1-polytopes Sequential Choice Bandits with Feedback for Personalizing users'
  experience Monte Carlo evaluation of the continuum limit of the two-point function
  of the Euclidean free real scalar field subject to affine quantization Exponential Signal Reconstruction with Deep Hankel Matrix Factorization Effects of Voice-Based Synthetic Assistant on Performance of Emergency
  Care Provider in Training Coupling Power Laws Offers a Powerful Method for Problems such as
  Biodiversity and COVID-19 Fatality Predictions Reconstruction on Trees and Low-Degree Polynomials Towards a complete treatment of the cosmological recombination problem
cs.CR cs.OS