arxiv.org

https://rss.arxiv.org/rss/cs.MS

01.
libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps
arxiv.org · /rss/cs.MS
▲ 0 · May 29
02.
TorchLean: Formalizing Neural Networks in Lean
arxiv.org · /rss/cs.MS
▲ 0 · May 26
03.
Computing statistical solutions of a Mach 2000 astrophysical jet
arxiv.org · /rss/cs.MS
▲ 0 · May 26
04.
Parallel Sparse and Data-Sparse Factorization-based Linear Solvers
arxiv.org · /rss/cs.MS
▲ 0 · May 25
05.
IntegrateUnitary.jl: A Julia package for symbolic integration over Haar measures
arxiv.org · /rss/cs.MS
▲ 0 · May 25
06.
ParamRF: A JAX-native Framework for Declarative Circuit Modelling
arxiv.org · /rss/cs.MS
▲ 0 · May 22
07.
Fast computation of Ehrhart polynomials of Gelfand--Tsetlin polytopes via Macdonald reciprocity
arxiv.org · /rss/cs.MS
▲ 0 · May 22
08.
Secure and Parallel Determinant Computation for Large-Scale Matrices in Edge Environments
arxiv.org · /rss/cs.MS
▲ 0 · May 22
09.
Solving Multivariate Polynomial Systems and Rectangular Multiparameter Eigenvalue Problems with MacaulayLab
arxiv.org · /rss/cs.MS
▲ 0 · May 21
10.
A C implementation of the Smith massager algorithm
arxiv.org · /rss/cs.MS
▲ 0 · May 20
11.
Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
arxiv.org · /rss/cs.MS
▲ 0 · May 19
12.
A Hybrid Optimization Framework for Spatial Packaging of Interconnected Systems
arxiv.org · /rss/cs.MS
▲ 0 · May 19
13.
Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces
arxiv.org · /rss/cs.MS
▲ 0 · May 19
14.
critband: A Python Package for Critical Bandwidth Analysis of Multimodal Distributions
arxiv.org · /rss/cs.MS
▲ 0 · May 19
15.
Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
arxiv.org · /rss/cs.MS
▲ 0 · May 18
16.
LeanBET: Formally-verified surface area calculations in Lean
arxiv.org · /rss/cs.MS
▲ 0 · May 18
17.
Correctly Rounded Functions For Vector Applications: A Performance Study
arxiv.org · /rss/cs.MS
▲ 0 · May 18
18.
High-Performance Star-M SVD for Big Data Compression
arxiv.org · /rss/cs.MS
▲ 0 · May 18
19.
Porting the Nonlinear Optimization Library HiOp to Accelerator-Based Hardware Architectures
arxiv.org · /rss/cs.MS
▲ 0 · May 14
20.
Ergodicity Library: A Python Toolkit for Stochastic-Process Simulation, Time-Average Diagnostics, and Agent-Based Experiments
arxiv.org · /rss/cs.MS
▲ 0 · May 14
21.
QuPort: Topology-, Port-, and Congestion-Aware Compilation for Modular Multi-QPU Quantum Systems
arxiv.org · /rss/cs.MS
▲ 0 · May 14
22.
Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
arxiv.org · /rss/cs.MS
▲ 0 · May 13
23.
FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
arxiv.org · /rss/cs.MS
▲ 0 · May 12
24.
A Performance-Portable, Massively Parallel Distributed Nonuniform FFT
arxiv.org · /rss/cs.MS
▲ 0 · May 12
25.
A Riemannian quasi-Newton algorithm for optimization with Euclidean bounds
arxiv.org · /rss/cs.MS
▲ 0 · May 12
26.
MeTime: An R package for reproducible longitudinal metabolomics data analysis
arxiv.org · /rss/cs.MS
▲ 0 · May 12
27.
cuRegOT: A GPU-Accelerated Solver for Entropic-Regularized Optimal Transport
arxiv.org · /rss/cs.MS
▲ 0 · May 12
28.
Statistical Inference and Quality Measures of KV Cache Quantisations Inspired by TurboQuant
arxiv.org · /rss/cs.MS
▲ 0 · May 12
29.
Analysis of Floating-Point Matrix Multiplication Computed via Integer Arithmetic
arxiv.org · /rss/cs.MS
▲ 0 · May 11
30.
Differentiable Parameter Optimization for DAEs with State-Dependent Events
arxiv.org · /rss/cs.MS
▲ 0 · May 8

Recent polls

when	ms	items	status
May 30	98	0	ok
May 30	22	0	ok
May 29	48	3	ok
May 29	48	3	ok
May 29	64	2	ok