会员服务
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems
Arxiv
0+阅读 · 2024年8月5日
Libertas: Privacy-Preserving Computation for Decentralised Personal Data Stores
Arxiv
0+阅读 · 2023年9月28日
The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets
Arxiv
0+阅读 · 2023年4月19日
Cerebras-GPT: Open Compute-Optimal Language Models Trained on the Cerebras Wafer-Scale Cluster
Arxiv
0+阅读 · 2023年4月6日
Simulation Based Formal Verification of Cyber-Physical Systems
Arxiv
0+阅读 · 2019年5月14日
Simulation Based Formal Verification of Cyber-Physical Systems
Arxiv
0+阅读 · 2019年5月12日
Optimising the neutron environment of Radiation Portal Monitors: a computational optimisation study
Arxiv
0+阅读 · 2015年3月25日
参考链接
微信扫码咨询专知VIP会员
Top