Explicit Auditing
Model Sketching by Abstraction Refinement for Lifted Model Checking
  (Extended Version)
Robust Compressed Sensing Under Matrix Uncertainties Heat diffusion related damping process in highly precise coarse-grained
  model for SWCNT's nonlinearity Contextuality from missing and versioned data Validation and Comparison of Instrumented Mouthguards for Measuring Head
  Kinematics and Assessing Brain Deformation in Football Impacts Parameter Learning and Change Detection Using a Particle Filter With
  Accelerated Adaptation Correlation Widths in Quantum--Chaotic Scattering Plasma-screening effects in the atrophysically relevant He-like and
  Li-like Mg and Fe ions Ground Truth Simulation for Deep Learning Classification of
  Mid-Resolution Venus Images Via Unmixing of High-Resolution Hyperspectral
  Fenix Data Entanglement of Exact Excited States of AKLT Models: Exact Results,
  Many-Body Scars and the Violation of Strong ETH Invariants topologiques des Espaces non commutatifs On Quantum Markov Chains on Cayley tree III: Ising model Evaluation of Authors and Journals Landau Damping in the Transverse Modulational Dynamics of Co-Propagating
  Light and Matter Beams Initial Distribution Spread: A density forecasting approach Electron-capture supernovae as the origin of elements beyond iron Performance Analysis and Power Allocation of Joint Communication and
  Sensing Towards Future Communication Networks Numerical solutions of thin film equations for polymer flows
cs.LO cs.PL