Formalization of Phase Ordering
A Comparison of Sequential and GPU Implementations of Iterative Methods
  to Compute Reachability Probabilities
Spectral multipliers for functions of fixed $K$-type on
  $L^p(SL(2,\mathbb{R}))$ Polymer-based composites for engineering organic memristive devices A Number Theoretic Approach for Fast Discovery of Single-Hop Wireless
  Networks Fusion Hashing: A General Framework for Self-improvement of Hashing Tomographic Imaging by a Si/CdTe Compton Camera for In-111 and I-131
  Radionuclides Towards Field Theory of Turbulence A Balance for Fairness: Fair Distribution Utilising Physics in Games of
  Characteristic Function Form Product-form solutions for integrated services packet networks and cloud
  computing systems Stellar equilibrium configurations of white dwarfs in the $f(R,T)$
  gravity Simulating outcomes of interventions using a multipurpose simulation
  program based on the Evolutionary Causal Matrices and Markov Chain The Structure of Differential Invariants and Differential Cut
  Elimination Analysis of multiscale integrators for multiple attractors and
  irreversible Langevin samplers Probing neutrino oscillations from supernovae shock waves via the
  IceCube detector Novel algorithm to calculate hypervolume indicator of Pareto
  approximation set Pandemonium: a clustering tool to partition parameter space --
  application to the B anomalies Entanglement generation through an open quantum dot: an exact approach A two-runners model: optimization of running strategies according to the
  physiological parameters Complex networks generated by the Penna bit-string model: Emergence of
  small-world and assortative mixing Networks of non-equilibrium condensates for global optimization An analysis of the superiorization method via the principle of
  concentration of measure Querying Geometric Figures Using a Controlled Language, Ontological
  Graphs and Dependency Lattices
cs.DC cs.LO