A categorical approach to secure compilation
Making Abstract Domains Condensing
Dynamic model and stationary shapes of fluid vesicles Exact solution of the many-body problem with a
  $\mathcal{O}\left(n^6\right)$ complexity In Vivo Renal Clearance, Biodistribution, Toxicity of Gold nanoclusters Planarity is (almost) locally checkable in constant-time Minimum relative entropy distributions with a large mean are Gaussian Experimental method to determine specific heat and transition enthalpy
  at a first order phase transition: fundamentals and application to a NiMnIn
  Heusler alloy An SBV relaxation of the Cross-Newell energy for modeling stripe
  patterns and their defects Adaptive Mean-Residue Loss for Robust Facial Age Estimation Dynamics of Singular Holomorphic Foliations on the Complex Projective
  Plane Infinite Time Cellular Automata: A Real Computation Model Statistical Multiresolution Dantzig Estimation in Imaging: Fundamental
  Concepts and Algorithmic Framework Tangling clustering of inertial particles in stably stratified
  turbulence Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion
  Control of Connected and Automated Vehicles Intrinsic Mean Square Displacements in Proteins Analytical treatment of bosonic d-wave scattering in isotropic harmonic
  waveguides On the geometrization of matter by exotic smoothness An integrated quasi-Monte Carlo method for handling high dimensional
  problems with discontinuities in financial engineering Comparing Numerical Integration Schemes for Time-Continuous
  Car-Following Models Numerical computation of triangular complex spherical designs with small
  mesh ratio
cs.PL cs.LO