Automated Synthesis of Distributed Self-Stabilizing Protocols
Variability Modeling for Customizable SaaS Applications
Spectral Convergence of the connection Laplacian from random samples Detector and Beamline Simulation for Next-Generation High Energy Physics
  Experiments Should You Derive, Or Let the Data Drive? An Optimization Framework for
  Hybrid First-Principles Data-Driven Modeling Poisson systems as the natural framework for additional first integrals
  via Darboux invariant hypersurfaces An O(1) Solution to the Prefix Sum Problem on a Specialized Memory
  Architecture Parameter Evaluation of a Simple Mean-Field Model of Social Interaction Numerical implementation of dynamical mean field theory for disordered
  systems: application to the Lotka-Volterra model of ecosystems Homotopical Computations in Quantum Fields Theory Two charges on a plane in a magnetic field: hidden algebra, (particular)
  integrability, polynomial eigenfunctions Neural Computing with Coherent Laser Networks EqRank: Theme Evolution in Citation Graphs The Laplace Transform Method for Linear Differential Equations of the
  Fractional Order Sum-of-square-of-rational-function based representations of positive
  semidefinite polynomial matrices Topological defects with power-law tails Coupling Constant Corrections in a Holographic Model of Heavy Ion
  Collisions with Nonzero Baryon Number Density A Tutorial on Distributed (Non-Bayesian) Learning: Problem, Algorithms
  and Results Multi-Rate Control over AWGN Channels via Analog Joint Source-Channel
  Coding Lacunaryx: Computing bounded-degree factors of lacunary polynomials Automatic Differentiation for Tensor Algebras Spectral Decompositions for Evolution Opertors of Mixing Dynamical
  Systems
cs.SE cs.DC