Differentially Transcendental Functions
First-Order Intuitionistic Logic with Decidable Propositional Atoms
Neutrino mixing and Lorentz invariance Fluorescence Efficiency and Visible Re-emission Spectrum of Tetraphenyl
  Butadiene Films at Extreme Ultraviolet Wavelengths Vision-based Drone Flocking in Outdoor Environments Scalable Anytime Algorithms for Learning Fragments of Linear Temporal
  Logic Dataset of Fake News Detection and Fact Verification: A Survey Adaptive vibration suppression system: An iterative control law for a
  piezoelectric actuator shunted by a negative capacitor Bayesian Genome- and Epigenome-wide Association Studies with Gene Level
  Dependence Model Mis-specification and Algorithmic Bias Spacetime Symmetries, Invariant Sets, and Additive Subdynamics of
  Cellular Automata Algebraic Solutions of the Multicomponent KP Hierarchy Recovery and convergence rate of the Frank-Wolfe Algorithm for the
  m-EXACT-SPARSE Problem Towards the bio-personalization of music recommendation systems: A
  single-sensor EEG biomarker of subjective music preference The Fine Classification of Conjunctive Queries and Parameterized
  Logarithmic Space Complexity Commutator criteria for strong mixing Compact Ultra Dense Matter Impactors Distribution of the Ratio of Consecutive Level Spacings for Different
  Symmetries and Degrees of Chaos X-ray multi-energy radiography with scintillator-photodiode detectors The Adaptive Shift Method in Full Configuration Interaction Quantum
  Monte Carlo: Development and Applications
math.GM math.LO