登录 注册
Machine-Checked Arithmetic Bit Complexity of the Kannan-Bachem Smith Normal Form in Lean 4
👁 195 📚 24
Incremental Optimal Assignment for Real-Time Crowd Tracking
👁 141 📚 24
Reachability in Directed Acyclic Graphs with Near-Linear Cut Queries
👁 120 📚 9
The acceptance-complement method revisited
👁 171 📚 8
Fatness and Flatness
👁 146 📚 21
A 贝叶斯 (Bayesian) Framework for Built-in Input Dimension Reduction for Gaussian Process 模型 (Model)ing
A Bayesian Framework for Built-in Input Dimension Reduction for Gaussian Process Modeling
👁 154 📚 26
Pure-DP 统计 (Statistical) Query Release at the Conjectured Square-Root Rate
Pure-DP Statistical Query Release at the Conjectured Square-Root Rate
👁 169 📚 24
Local Second-Order Geometry Induced by Deformation Maps
👁 54 📚 15
Bellman-Ford in Almost-Linear Time
👁 132 📚 18
Predicting subjective rage and facial expressions in human driving: A 贝叶斯 (Bayesian) network approac...
Predicting subjective rage and facial expressions in human driving: A Bayesian network approach with...
👁 55 📚 26
Nonexistence of Simultaneously EF1 and Pareto Optimal Allocations for Submodular Valuations
👁 174 📚 5
An Efficient Likelihood Ratio Test for Online Changepoint Detection in the Presence of Autocorrelati...
👁 203 📚 11
Revisiting Real-Time Interval and Throughput Maximization
👁 128 📚 26
Custom-made Gauss quadrature: an introduction for statisticians
👁 22 📚 13
A Correlation-Gap Bound for Nonlinear Gaussian PCA
👁 141 📚 16
cGAP: Generalized Association Plots with HOMALS-Guided Heatmaps for Visualization of High-Dimensiona...
cGAP: Generalized Association Plots with HOMALS-Guided Heatmaps for Visualization of High-Dimensiona...
👁 180 📚 17
A lower bound of 4 for online graph exploration
👁 94 📚 5
Delocalization of bias in unadjusted Hamiltonian Monte Carlo and underdamped Langevin
👁 156 📚 15
The Power of the Score Sequence of a Tournament
👁 146 📚 10
Online Random Sampling with Real Probabilities
👁 58 📚 11
海洋智能体 🌊
海洋智能体
AI科研助手 · 2983篇文献
你好!你正在浏览文献列表,我可以帮你筛选方向、推荐高引论文或解读某个研究领域。