Statistical EL is ExpTime-complete
Lectures on Jacques Herbrand as a Logician
A Noncommutative Borsuk-Ulam Theorem for Natsume-Olsen Spheres Data Survivability in Networks of Mobile Robots in Urban Disaster
  Environments Scaling and Acceleration of Three-dimensional Structure Determination
  for Single-Particle Imaging Experiments with SpiniFEL The anatomy of a Web of Trust: the Bitcoin-OTC market Galois groups for integrable and projectively integrable linear
  difference equations Vladimir Gribov (BH) Low Correlation Sequences from Linear Combinations of Characters Positive scalar curvature and low-degree group homology Path Planning Games Investigating Writing Style Development in High School Homological stability for Hurwitz spaces and the Cohen-Lenstra
  conjecture over function fields, II Full Characterization of Adaptively Strong Majority Voting in
  Crowdsourcing Integrable Motion of Curves in Self-Consistent Potentials : Relation to
  Spin Systems and Soliton Equations Deblending galaxy superpositions with branched generative adversarial
  networks Many-body treatment of the collisional frequency shift in fermionic
  atoms SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical
  Reasoning Making of a nonlinear optical cavity Optimal Uncertainty Quantification
cs.LO cs.AI