Characterization of the Axiomatizable Prenex Fragments of First-Order
  Goedel Logics
Many countable support iterations of proper forcings preserve Souslin
  trees
Uniform Scattering of Robots on Alternate Nodes of a Grid On Margins and Derandomisation in PAC-Bayes Optimal preference satisfaction for conflict-free joint decisions Solitons in Nonlinear Systems and Eigen-states in Quantum Wells Admissible Transformations and Normalized Classes of Nonlinear
  Schroedinger Equations Stochastic Approximation with Markov Noise: Analysis and applications in
  reinforcement learning Time series analysis for minority game simulations of financial markets DASH: Modularized Human Manipulation Simulation with Vision and Language
  for Embodied AI Introduction to the application of the dynamical systems theory in the
  study of the dynamics of cosmological models of dark energy Energy dissipation in an adaptive molecular circuit Regional Coverage Analysis of LEO Satellites with Kepler Orbits MCPA: Program Analysis as Machine Learning Generalized Box-Muller method for generating q-Gaussian random deviates TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences Particle systems with singular interaction through hitting times:
  application in systemic risk modeling Using all-sky differential photometry to investigate how nocturnal
  clouds darken the night sky in rural areas
math.LO