会员服务
Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
Arxiv
0+阅读 · 10月26日
Dependent Session Types for Verified Concurrent Programming
Arxiv
0+阅读 · 10月23日
Dependent Session Types for Verified Concurrent Programming
Arxiv
0+阅读 · 10月21日
A Two-Level Linear Dependent Type Theory
Arxiv
0+阅读 · 10月6日
Kernel Estimation for Nonlinear Dynamics
Arxiv
0+阅读 · 2月25日
Block Circulant Codes with Application to Decentralized Systems
Arxiv
1+阅读 · 2024年12月16日
Asymptotics of Linear Regression with Linearly Dependent Data
Arxiv
0+阅读 · 2024年12月7日
Asymptotics of Linear Regression with Linearly Dependent Data
Arxiv
0+阅读 · 2024年12月4日
Video-Driven Graph Network-Based Simulators
Arxiv
0+阅读 · 2024年12月2日
Linear Convergence of Diffusion Models Under the Manifold Hypothesis
Arxiv
0+阅读 · 2024年10月11日
Diagonal and normal with Toeplitz-block splitting iteration method for space fractional coupled nonlinear Schrödinger equations with repulsive nonlinearities
Arxiv
0+阅读 · 2024年10月17日
Single-copy stabilizer testing
Arxiv
0+阅读 · 2024年10月10日
A Riemannian covariance for manifold-valued data
Arxiv
0+阅读 · 2024年10月8日
Data Structures for Approximate Discrete Fréchet Distance
Arxiv
0+阅读 · 2024年9月26日
Forcing quasirandomness with 4-point permutations
Arxiv
0+阅读 · 2024年7月9日
参考链接
微信扫码咨询专知VIP会员
Top