Distributed MAP in the SpinJa Model Checker
An Exploratory Study of How Specialists Deal with Testing in Data Stream
  Processing Applications
New method of precise measurement of positronium hyperfine splitting Solving the relativistic magnetohydrodynamics equations with ADER
  discontinuous Galerkin methods, a posteriori subcell limiting and adaptive
  mesh refinement Improving Neural Network Robustness via Persistency of Excitation Each positive rational number has the form $\varphi(m^2)/\varphi(n^2)$ Local Hadwiger's Conjecture FPDeep: Scalable Acceleration of CNN Training on Deeply-Pipelined FPGA
  Clusters Emerging Bosons with Three-Body Interactions from Spin-1 Atoms in
  Optical Lattices Multimodal Privacy-preserving Mood Prediction from Mobile Data: A
  Preliminary Study Reactive species involved in higher seeds germination and shoots vigor
  through direct plasma exposure and plasma-activated liquids Multi-twisted Reed-Solomon codes with small dimensional hull The Lax-Milgram Theorem. A detailed proof to be formalized in Coq Effects of anisotropic interactions on the structure of animal groups Discreteness-Induced Transitions in Autocatalytic Systems Quantum Group Generators in Conformal Field Theory Controlled state-to-state atom-exchange reaction in an ultracold
  atom-dimer mixture On Geodesically Convex Formulations for the Brascamp-Lieb Constant Monitoring of the terrestrial atmospheric characteristics with using of
  stellar and solar photometry Helical magnetic effect and the chiral anomaly Analogy between the magnetic dipole moment at the surface of a
  magnetoelectric and the electric charge at the surface of a ferroelectric Proton transport and torque generation in rotary biomotors The UWB Solution for Multimedia Traffic in Wireless Sensor Networks Gapped Domain Walls, Gapped Boundaries and Topological Degeneracy
cs.SE cs.DC