Complexity of Propositional Proofs under a Promise
Computational Complexity of Interactive Behaviors
Model Theory of Compact Complex Manifolds with an Automorphism Solutions for the quasi-Yang-Baxter equation. Diagrammatics, axioms and
  semi-classical approximations Examining the Effects of Emotional Valence and Arousal on Takeover
  Performance in Conditionally Automated Driving End-to-end Uncertainty-based Mitigation of Adversarial Attacks to
  Automated Lane Centering Comparison of the nonrelativistic limit of Amelino-Camelia and MS Doubly
  Special Relativity Surgery operations to fold maps to increase connected components of
  singular sets by two Smart Rewritings of the Basic Equations for Quantitative Non-Linear
  Inverse Scattering Anthropic Selection of Physical Constants, Quantum Entanglement, and the
  Multiverse Falsifiability The Landau Hamiltonian with $\delta$-potentials supported on curves Separation of Variables and the Computation of Fourier Transforms on
  Finite Groups, II Parameter estimation in dynamical systems via Statistical Learning: a
  reinterpretation of Approximate Bayesian Computation applied to COVID-19
  spread Defining and identifying Sleeping Beauties in science Multi-parameter generalization of nonextensive statistical mechanics Timely Feedback in Unstructured Cybersecurity Exercises Evidence for quasicritical brain dynamics Batalin-Vilkovisky algebras and the noncommutative Poincare duality of
  Koszul Calabi-Yau algebras The hybrid spectral problem and Robin boundary conditions Hypernets -- Good (G)news for Gnutella Convergence of Hill's method for nonselfadjoint operators Analysis of Laser & Detector Placement in MIMO Multimode Optical Fiber
  Systems OIAD: One-for-all Image Anomaly Detection with Disentanglement Learning The Problem of Colliding Networks and its Relation to Cancer
cs.CC cs.LO