The Complexity of Concurrent Rational Synthesis
Concurrent matching logic
Cloud formation in Exoplanetary Atmospheres A Semidefinite Hierarchy for Containment of Spectrahedra The Cyborg Astrobiologist: Scouting Red Beds for Uncommon Features with
  Geological Significance Refocusing on Relevance: Personalization in NLG Group extensions over infinite words Dynamics of a Simple Quantum System in a Complex Environment SiPM used as fast Photon-Counting Module and for Multiphoton Detection The Rest-Frame Darwin Potential from the Lienard-Wiechert Solution in
  the Radiation Gauge Stability of Cournot duopoly games with isoelastic demands and quadratic
  costs Simple Gradient Flow Equation for the Bounce Solution Differential invariants of feedback transformations for quasi-harmonic
  oscillation equations Congruence method for global Darboux reduction of finite-dimensional
  Poisson systems Can we use linear response theory to assess geoengineering strategies? Node metadata can produce predictability transitions in network
  inference problems Pattern recognition with neuromorphic computing using magnetic-field
  induced dynamics of skyrmions Fast computation of von Neumann entropy for large-scale graphs via
  quadratic approximations Training LSTM Networks with Resistive Cross-Point Devices Effective Theory and Breakdown of Conformal Symmetry in a Long-Range
  Quantum Chain Charge transport in nanochannels: a molecular theory Transport Regimes of Underdamped Brownian Particles in a Tilted
  Washboard Potential Polymers and manifolds in static random flows: a renormalization group
  study
cs.LO cs.GT