会员服务
周知，华中科技大学博士研究生。
Hardness of Regular Expression Matching with Extensions
Arxiv
0+阅读 · 1月6日
Strong normalization through idempotent intersection types: a new syntactical approach
Arxiv
0+阅读 · 1月2日
Testing Monotonicity in a Finite Population
Arxiv
0+阅读 · 2025年12月31日
Generative Modelling of Lévy Area for High Order SDE Simulation
Arxiv
0+阅读 · 2025年12月30日
MVP-ORAM: a Wait-free Concurrent ORAM for Confidential BFT Storage
Arxiv
0+阅读 · 2025年12月27日
ReSMT: An SMT-Based Tool for Reverse Engineering
ReSMT: An SMT-Based Tool for Reverse Engineering
Arxiv
0+阅读 · 2025年12月26日
Fractional Iterates and Oscillatory Convergence
Arxiv
0+阅读 · 2025年12月20日
REMODEL-LLM: Transforming C code to Java using LLMs
Arxiv
0+阅读 · 2025年12月12日
MVP-ORAM: a Wait-free Concurrent ORAM for Confidential BFT Storage
Arxiv
0+阅读 · 2025年12月12日
On the identifiability of causal graphs with multiple environments
Arxiv
0+阅读 · 2025年12月2日
Haptic-based Complementary Filter for Rigid Body Rotations
Arxiv
0+阅读 · 2025年12月9日
Approximating Queries on Probabilistic Graphs
Arxiv
0+阅读 · 2025年11月7日
Approximating Queries on Probabilistic Graphs
Arxiv
0+阅读 · 2025年12月12日
Geometry of the Reformulation-Linearization-Technique: Domination of Disjunctions
Arxiv
0+阅读 · 2025年11月17日
An O(1) Space Algorithm for N-Dimensional Tensor Rotation: A Generalization of the Reversal Method
Arxiv
0+阅读 · 2025年11月27日
参考链接
微信扫码咨询专知VIP会员
Top