会员服务
A $2\ell k$ Kernel for $\ell$-Component Order Connectivity
Arxiv
2+阅读 · 2月21日
Redefining the Shortest Path Problem Formulation of the Linear Non-Gaussian Acyclic Model: Pairwise Likelihood Ratios, Prior Knowledge, and Path Enumeration
Arxiv
0+阅读 · 2月27日
Automatically Verifying Replication-aware Linearizability
Arxiv
0+阅读 · 2月27日
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
Arxiv
0+阅读 · 2月26日
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Arxiv
0+阅读 · 2月27日
A Criterion for Decoding on the BSC
Arxiv
0+阅读 · 2月26日
A Counterfactual Analysis of the Dishonest Casino
Arxiv
0+阅读 · 2月27日
Static task mapping for heterogeneous systems based on series-parallel decompositions
Arxiv
0+阅读 · 2月27日
Simultaneous spatial-parametric collocation approximation for parametric PDEs with log-normal random inputs
Arxiv
0+阅读 · 2月27日
Beyond Worst-Case Dimensionality Reduction for Sparse Vectors
Arxiv
0+阅读 · 2月27日
Moderate-length lifted quantum Tanner codes
Arxiv
0+阅读 · 2月27日
Analysis of Linear Consensus Algorithm on Strongly Connected Graph Using Effective Resistance
Arxiv
0+阅读 · 2月27日
Bayesian iterative screening in ultra-high dimensional linear regressions
Arxiv
0+阅读 · 2月26日
Removing Neural Signal Artifacts with Autoencoder-Targeted Adversarial Transformers (AT-AT)
Arxiv
0+阅读 · 2月27日
Model Checking Linear Temporal Logic with Standpoint Modalities
Arxiv
0+阅读 · 2月27日
参考链接
微信扫码咨询专知VIP会员
Top