On Multiphase-Linear Ranking Functions
Rfuzzy framework
Defeating Opaque Predicates Statically through Machine Learning and
  Binary Analysis Cubical rigidification, the cobar construction, and the based loop space Deep Confidence: A Computationally Efficient Framework for Calculating
  Reliable Errors for Deep Neural Networks Geant4 Applications for Modeling Molecular Transport in Complex Vacuum
  Geometries Thermodynamics of stochastic Turing machines On patterns and dynamics of Rule 22 cellular automaton A Space of Phylogenetic Networks Numerical investigation of a neural field model including dendritic
  processing A tool for teaching General Relativity Aff-Wild2: Extending the Aff-Wild Database for Affect Recognition On a symmetry of complex and real multiplication Geometry and Dynamics of the Besicovitch and Weyl Spaces Game-theoretic modeling of curtailment rules and network investments
  with distributed generation Explicit optimal-length locally repairable codes of distance 5 Stationary points at infinity for analytic combinatorics Genuinely quantum effects in nonlinear spectroscopy: vacuum fluctuations
  and their induced superradiance Statistical Mechanics of Surjective Cellular Automata Communication complexity of promise problems and their applications to
  finite automata Composable constraints Numerical study of the transverse stability of the Peregrine solution Federated Learning for Privacy-Preserving Open Innovation Future on
  Digital Health PyXNAT: XNAT in Python
cs.PL cs.LO