Logistic Knowledge Tracing: A Constrained Framework for Learner Modeling
The Micro-Randomized Trial for Developing Digital Interventions:
  Experimental Design and Data Analysis Considerations
Towards the Formal Specification and Verification of Maple Programs On the complexity of Putinar's Positivstellensatz Maximal regularity in interpolation spaces for second order Cauchy
  problems Accelerating linear system solvers for time domain component separation
  of cosmic microwave background data Sparse reconstructions of overlapping three-dimensional point spread
  functions using overcomplete dictionaries Kinetic Voronoi Diagrams and Delaunay Triangulations under Polygonal
  Distance Functions Long-Term Optimal Delivery Planning for Replacing the Liquefied
  Petroleum Gas Cylinder The Einstein formula: E_0=mc^2 "Isn't the Lord laughing?" A Parallel Algorithm for Calculation of Large Determinants with High
  Accuracy for GPUs and MPI clusters An algebraic view of bacterial genome evolution Scalability of VM Provisioning Systems Numerical Algorithmic Science and Engineering within Computer Science:
  Rationale, Foundations and Organization Renormalization group flow and symmetry restoration in de Sitter space Federated Learning with Local Differential Privacy: Trade-offs between
  Privacy, Utility, and Communication Using Ensemble Models in the Histological Examination of Tissue
  Abnormalities Geometric Sparsification of Closeness Relations: Eigenvalue Clustering
  for Computing Matrix Functions Polarized solitons in higher-spin wave dark matter
stat.AP stat.ME