Generalized Property-Directed Reachability for Hybrid Systems
EqFix: Fixing LaTeX Equation Errors by Examples
Rate-dependent morphology of Li2O2 growth in Li-O2 batteries Business Taxonomy Construction Using Concept-Level Hierarchical
  Clustering Statistical properties of braid groups in locally free approximation Hybrid methodology for hourly global radiation forecasting in
  Mediterranean area Organizing the Aggregate: Languages for Spatial Computing Pitch-Informed Instrument Assignment Using a Deep Convolutional Network
  with Multiple Kernel Shapes Applications of Lie systems in Quantum Mechanics and Control Theory Modeling Infection with Multi-agent Dynamics Spontaneous Symmetry Breaking and Strong Deformations in Metal Adsorbed
  Graphene Sheets Informational entropy thresholds as a physical mechanism to explain
  power-law time distributions in sequential decision-making High-Order Kinetic Relaxation Schemes as High-Accuracy Poisson Solvers Necessary conditions for feedback stabilization and safety Lift of fractional D-brane charge to equivariant Cohomotopy theory Refocusing of Light Rays in Space-Time Inverse Jacobi multiplier as a link between conservative systems and
  Poisson structures Anderson Acceleration for Nonconvex ADMM Based on Douglas-Rachford
  Splitting Bounding network spectra for network design
cs.PL cs.SE