会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
D-algebraic Guessing
Arxiv
0+阅读 · 10月30日
The integro-differential closure of a commutative differential ring
Arxiv
0+阅读 · 10月31日
Semantic Properties of Computations Defined by Elementary Inference Systems
Arxiv
0+阅读 · 10月30日
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
Arxiv
0+阅读 · 10月30日
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
Arxiv
0+阅读 · 10月29日
Border Bases in the Rational Weyl Algebra
Arxiv
0+阅读 · 10月27日
Symbolic Sets for Proving Bounds on Rado Numbers
Arxiv
0+阅读 · 10月26日
Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems
Arxiv
0+阅读 · 10月25日
Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
Arxiv
0+阅读 · 10月24日
Exploring the Meta Flip Graph for Matrix Multiplication
Arxiv
0+阅读 · 10月22日
LMFD: Latent Monotonic Feature Discovery
Arxiv
0+阅读 · 10月22日
Learning Ecology with VERA Using Conceptual Models and Simulations
Arxiv
0+阅读 · 10月19日
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
Arxiv
0+阅读 · 10月20日
The Syntax and Semantics of einsum
Arxiv
0+阅读 · 10月20日
Union of Finitely Generated Congruences on Ground Term Algebra
Arxiv
0+阅读 · 10月16日
参考链接
微信扫码咨询专知VIP会员
Top