Lifting Term Rewriting Derivations in Constructor Systems by Using
  Generators
CLP versus LS on Log-based Reconciliation Problems
Large-Scale Maintenance and Unit Commitment: A Decentralized Subgradient
  Approach Collective excitations of low density fermion-boson quantum-liquid
  mixtures The Hidden Vulnerability of Distributed Learning in Byzantium A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors Hash-Based Ray Path Prediction: Skipping BVH Traversal Computation by
  Exploiting Ray Locality Simulating the time series of a selected gene expression profile in an
  agent-based tumor model Improving Accuracy of Electrochemical Capacitance and Solvation
  Energetics in First-Principles Calculations Effectiveness of Anonymization in Double-Blind Review Symplectic P-stable Additive Runge--Kutta Methods Quantum gravity on polygons and $\Bbb R\times \Bbb Z_n$ FLRW model Multi-Stage Complex Contagions A Regularity Measure for Context Free Grammars Global MRI with Braginskii viscosity in a galactic profile Characteristics of Plasmon Transmittivity Over Potential Barriers Spin polarized induction of quantum correlations-entanglement using a 2
  MeV proton beam channeling Towards an Intelligent Edge: Wireless Communication Meets Machine
  Learning The Optimal Approximation Factor in Density Estimation
cs.PL