Enabling Automatic Certification of Online Auctions
Union and Intersection of all Justifications
Proceedings of the 26th International Symposium on Graph Drawing and
  Network Visualization (GD 2018) ReLU Neural Networks of Polynomial Size for Exact Maximum Flow
  Computation AMP: Authentication of Media via Provenance Achieving GWAS with Homomorphic Encryption When the goal is to generate a series of activities: A self-organized
  simulated robot arm Dynamical formation of a nonequilibrium subsystem under severe action Fractional Generalization of Gradient and Hamiltonian Systems Unitarization from Geometry Conditional Gradient Methods for Convex Optimization with General Affine
  and Nonlinear Constraints Effect of Temperature Wave on Diffusive Transport of Weakly-Soluble
  Substances in Liquid-Saturated Porous Media Influence of the interplay between de Gennes boundary conditions and
  cubicity of Ginzburg-Landau equation on the properties of superconducting
  films Deep Network Uncertainty Maps for Indoor Navigation In-situ probing and stabilizing the power ratio of
  electro-optic-modulated laser pairs based on VIPA etalon for quantum sensing $C^*$-algebraic drawings of dendroidal sets Synthesis and Adaptation of Effective Motor Synergies for the Solution
  of Reaching Tasks Toeplitz Quantization and Asymptotic Expansions: Geometric Construction
cs.LO cs.AI