会员服务
学习编程，数据结构是基础中的基础。
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Arxiv
0+阅读 · 2月18日
Universally Optimal Decremental Tree Minima
Arxiv
0+阅读 · 2月17日
Preprocessed 3SUM for Unknown Universes with Subquadratic Space
Arxiv
0+阅读 · 2月11日
Optimal-Time Mapping in Run-Length Compressed PBWT
Arxiv
0+阅读 · 2月13日
Random Access in Grammar-Compressed Strings: Optimal Trade-Offs in Almost All Parameter Regimes
Arxiv
0+阅读 · 2月11日
How Interest-Driven Content Creation Shapes Opportunities for Informal Learning in Scratch: A Case Study on Novices' Use of Data Structures
Arxiv
0+阅读 · 2月16日
Transforming Lock-free Linked Lists into Distributed Lock-free Linked Lists
Transforming Lock-free Linked Lists into Distributed Lock-free Linked Lists
Arxiv
0+阅读 · 2月16日
QuadRank: Engineering a High Throughput Rank
Arxiv
0+阅读 · 2月4日
Sublinear Time Quantum Algorithm for Attention Approximation
Arxiv
0+阅读 · 1月31日
Nonvisual Support for Understanding and Reasoning about Data Structures
Arxiv
0+阅读 · 1月27日
How many users have been here for a long time? Efficient solutions for counting long aggregated visits
Arxiv
0+阅读 · 1月14日
R-enum Revisited: Speedup and Extension for Context-Sensitive Repeats and Net Frequencies
Arxiv
0+阅读 · 1月25日
A Novel Approach to the Initial Value Problem with a complete validated algorithm
Arxiv
0+阅读 · 1月20日
Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
Arxiv
0+阅读 · 1月17日
UFO Trees: Practical and Provably-Efficient Parallel Batch-Dynamic Trees
Arxiv
0+阅读 · 1月15日
参考链接
微信扫码咨询专知VIP会员
Top