Realizing Implicit Computational Complexity
Efficient Implementation of Rewriting Revisited Technical Report
A symmetric motion picture of the twist-spun trefoil Emergence of oscillons in kink-impurity interactions HIN-RNN: A Graph Representation Learning Neural Network for Fraudster
  Group Detection With No Handcrafted Features A noncommutative version of the Julia-Wolff-Caratheodory Theorem Confusion of Tagged Perturbations in Forward Automatic Differentiation
  of Higher-Order Functions Studying of nonlinear normal modes interactions in SF6 molecule with the
  aid of the density functional theory Scalable Robust Matrix Factorization with Nonconvex Loss Solving mazes with memristors: a massively-parallel approach Generalized Network Dismantling Boosting Wigner's nj-symbols Lyapunov spectrum scaling for classical many-body dynamics close to
  integrability Geometry of the basic statistical physics mapping The $k_{R}$-property on free topological groups SHARI -- An Integration of Tools to Visualize the Story of the Day DeHumor: Visual Analytics for Decomposing Humor Interlinked GTPase cascades provide a motif for both robust switches and
  oscillators Quarantine generated phase transition in epidemic spreading
cs.CC cs.LO