Chain Programs for Writing Deterministic Metainterpreters
Automatic Generation of CHR Constraint Solvers
Effects of rotation and magnetic field on the revival of a stalled shock
  in supernova explosions Analyte-localization device for point-of-use processing of
  sub-millimetre areas on surfaces Enhancement of Coulomb blockade in epsilon near zero and hyperbolic
  metamaterials Visualizing Classifier Adjacency Relations: A Case Study in Speaker
  Verification and Voice Anti-Spoofing Energy Dissipation by Metamorphic Micro-Robots in Viscous Fluids Particle swarm optimization in constrained maximum likelihood estimation
  a case study Multifractal analysis of nonhyperbolic coupled map lattices: Application
  to genomic sequences Complex Brjuno functions Almost Envy-Freeness for Groups: Improved Bounds via Discrepancy Theory Discrete-element model for the interaction between ocean waves and sea
  ice Streaming word problems Fabrication of glucose biosensors by inkjet printing Modeling human visual search: A combined Bayesian searcher and saliency
  map approach for eye movement guidance in natural scenes A novel plasticity rule can explain the development of sensorimotor
  intelligence Space-time FLAVORS: finite difference, multisymlectic, and
  pseudospectral integrators for multiscale PDEs GRETA: Graph-based Real-time Event Trend Aggregation An efficient and secure RSA--like cryptosystem exploiting R\'edei
  rational functions over conics Neural Sampling Machine with Stochastic Synapse allows Brain-like
  Learning and Inference Comparing Dependencies in Probability Theory and General Rough Sets:
  Part-A
cs.LO cs.PL