Feedback control logic synthesis for non safe Petri nets
Typed realizability for first-order classical analysis
$K$-theory of AF-algebras from braided C*-tensor categories Exact partial information decompositions for Gaussian systems based on
  dependency constraints Do cement nanoparticles exist in space ? Development of transparent silica aerogel over a wide range of densities Computing Geodesic Distances in Tree Space Hydrodynamic description of $D$ meson production in high-energy
  heavy-ion collisions Computing with Dynamical Systems Based on Insulator-Metal-Transition
  Oscillators Searching for Earth/Solar Axion Halos Emergence in artificial life Computational topology and the Unique Games Conjecture A-infinity structure on simplicial complexes La stabilit\'e des lunes de Saturne, Janus et \'Epim\'eth\'ee: de
  l'observation astronomique \`a la th\'eorie KAM Quantum spectral problems and isomonodromic deformations Is Externally Corrected Coupled Cluster Always Better than the
  Underlying Truncated Configuration Interaction? Blockchain-enabled Identity Verification for Safe Ridesharing Leveraging
  Zero-Knowledge Proof Openness and convexity for momentum maps Testing Shape Restrictions of Discrete Distributions Transforming the Lindblad Equation into a System of Linear Equations:
  Performance Optimization and Parallelization of an Algorithm Portfolio Optimization and the Random Magnet Problem
cs.LO