Online Machine Learning Techniques for Coq: A Comparison
Reasoning About Common Knowledge with Infinitely Many Agents
Optimizing Software Effort Estimation Models Using Firefly Algorithm Surface Plasmons in Thin Metallic Films New Use of Dimensional Continuation Illustrated by dE/dx in a Plasma and
  the Lamb Shift On Quantum Cellular Automata Online Advertisement, Optimization and Stochastic Networks Computability and analysis: the legacy of Alan Turing Beyond Single-Deletion Correcting Codes: Substitutions and
  Transpositions Efficient multi-partition topology optimization Numerical valuation of American basket options via partial differential
  complementarity problems A Branch-and-Cut Algorithm for the 2-Species Duplication-Loss Phylogeny
  Problem Statistical Properties of Strings Computing Eigenfunctions on the Koch Snowflake: A New Grid and Symmetry Lower bounds for the first eigenvalue of the Laplacian with zero
  magnetic field in planar domains Morse theory with homotopy coherent diagrams Bayesian Quadratic Network Game Filters Period-halving Bifurcation of a Neuronal Recurrence Equation The Two-Dimensional Swept Rule Applied on Heterogeneous Architectures "Is this an example image?" -- Predicting the Relative Abstractness
  Level of Image and Text
cs.LO cs.AI