会员服务
Adding Negation to Lambda Mu
Arxiv
0+阅读 · 2023年5月2日
Maximize the Long-term Average Revenue of Network Slice Provider via Admission Control Among Heterogeneous Slices
Arxiv
0+阅读 · 2023年4月20日
Reduced order modeling of parametrized systems through autoencoders and SINDy approach: continuation of periodic solutions
Arxiv
0+阅读 · 2023年4月17日
Physics-informed Reduced-Order Learning from the First Principles for Simulation of Quantum Nanostructures
Arxiv
0+阅读 · 2023年4月15日
Wireless Channel Charting: Theory, Practice, and Applications
Arxiv
0+阅读 · 2023年4月17日
(Almost) Ruling Out SETH Lower Bounds for All-Pairs Max-Flow
Arxiv
0+阅读 · 2023年4月17日
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Arxiv
0+阅读 · 2023年4月14日
The 2-Attractor Problem is NP-Complete
Arxiv
0+阅读 · 2023年4月13日
The Complexity of Dynamic Least-Squares Regression
Arxiv
0+阅读 · 2023年4月6日
MORe DWR: Space-time goal-oriented error control for incremental POD-based ROM
Arxiv
0+阅读 · 2023年4月3日
Picturing counting reductions with the ZH-calculus
Arxiv
0+阅读 · 2023年4月5日
Improved Hardness of Approximating k-Clique under ETH
Arxiv
0+阅读 · 2023年4月6日
NP-hardness of computing PL geometric category in dimension 2
Arxiv
0+阅读 · 2023年3月30日
Algebraic properties of the first-order part of a problem
Arxiv
0+阅读 · 2023年3月25日
参考链接
微信扫码咨询专知VIP会员
Top