Modular Verification of Interrupt-Driven Software
Extensible type checker for parser generation
Properties of equations of the continuous Toda type Principal-Agent Problem with Common Agency without Communication Generating Music and Generative Art from Brain activity Tropical Optimal Transport and Wasserstein Distances Predicting Personalized Academic and Career Roads: First Steps Toward a
  Multi-Uses Recommender System The dependence on the initial states and the transitivity of the regular
  autonomous asynchronous systems Is culture related to strong science? An empirical investigation The affine part of the Picard scheme New method for computation of fluid helicity: Knot polynomial invariants On the relationship between set-based and network-based measures of
  gender homophily in scholarly publications A Directed, Bi-Populated Preferential Attachment Model with Applications
  to Analyzing the Glass Ceiling Effect State Estimation in Electric Power Systems Leveraging Graph Neural
  Networks Clustering by compression Floquet-Theoretical Formulation and Analysis of High-Harmonic Generation
  in Solids Scale dynamical origin of modification or addition of potential in
  mechanics. A possible framework for the MOND theory and the dark matter Directionally Dependent Multi-View Clustering Using Copula Model A Reeb sphere theorem in graph theory Characterizing Scalability of Sparse Matrix-Vector Multiplications on
  Phytium FT-2000+ Many-cores Jamming Model for the Extremal Optimization Heuristic Sampling Errors in Nested Sampling Parameter Estimation
cs.PL cs.SE