On the Complexity of the Escape Problem for Linear Dynamical Systems
  over Compact Semialgebraic Sets
Fixed-parameter tractability, definability, and model checking
Critical assessment of the equilibrium melting-based, energy
  distribution theory of supercooled liquids and application to jammed systems Recommendations and illustrations for the evaluation of photonic random
  number generators Proceedings 10th International Workshop On User Interfaces for Theorem
  Provers Photonic Band Gaps of Three-Dimensional Face-Centered Cubic Lattices Effect of Langmuir monolayer of bovine serum albumin protein on the
  morphology of calcium carbonate Estimating the decoherence time using non-commutative Functional
  Inequalities Kullback-Leibler Divergence for the Normal-Gamma Distribution Batalin-Vilkovisky quantization and the algebraic index Quantum field-theoretic machine learning Mobility and diffusivity in a generalized Frenkel-Kontorova model Twisted Modules of a Vertex Operator Algebra and Associators as
  Classifying Morphisms Image-Hashing-Based Anomaly Detection for Privacy-Preserving Online
  Proctoring Fermionic and Bosonic Bubbles and Foam Over-the-Air Multi-Task Federated Learning Over MIMO Interference
  Channel Algorithmic Complexity in Minority Game A deterministic theory of low rank matrix completion Assured Autonomy: Path Toward Living With Autonomous Systems We Can
  Trust Deformed Butler-Volmer Models for Convex Semilogarithmic
  Current-Overpotential Profiles of Li-ion Batteries Competing Epidemics on Graphs -- Global Convergence and Coexistence
cs.CC cs.LO