Logic and Rational Languages of Scattered and Countable Series-Parallel
  Posets
Reachability Analysis of Communicating Pushdown Systems
Conductance of ion channels and nanopores with charged walls: a toy
  model Hidden symmetries, spin and charge of artificial magnetic monopoles Sampling possible reconstructions of undersampled acquisitions in MR
  imaging Systems of germs and theorems of zeros in infinite-dimensional spaces On self-propulsion of $N$-sphere micro-robot On the fields generated by the lengths of closed geodesics in locally
  symmetric spaces New Common Proper-Motion Pairs From the PPMX Catalog Uncertainty quantification and inverse modeling for subsurface flow in
  3D heterogeneous formations using a theory-guided convolutional
  encoder-decoder network Design of Low-Artifact Interpolation Kernels by Means of Computer
  Algebra Network Aggregative Games and Distributed Mean Field Control via
  Consensus Theory Semiclassical cross section correlations A Secure and Comparable Text Encryption Algorithm Optimal Data-Based Binning for Histograms Topology of graph configuration spaces and quantum statistics The equivariant K-theory of a cohomogeneity-one action Acceleration Method for Learning Fine-Layered Optical Neural Networks Optimization of an electromagnetics code with multicore wavefront
  diamond blocking and multi-dimensional intra-tile parallelization Hierarchical Abstraction of Phase Response Curves of Synchronized
  Systems of Coupled Oscillators A Discrete-Time, Time-Delayed Lur'e Model with Biased Self-Excited
  Oscillations TiO$_2$-based Memristors and ReRAM: Materials, Mechanisms and Models (a
  Review)
cs.LO cs.FL