会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
NoSQL Graph Databases: an overview
Arxiv
0+阅读 · 2024年12月24日
Recursive matrix algorithms, distributed dynamic control, scaling, stability
Arxiv
0+阅读 · 1月9日
ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
Arxiv
0+阅读 · 1月12日
Generating particle physics Lagrangians with transformers
Arxiv
0+阅读 · 1月16日
Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Arxiv
0+阅读 · 1月15日
Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
Arxiv
0+阅读 · 1月12日
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
Arxiv
0+阅读 · 1月8日
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Arxiv
0+阅读 · 2024年12月26日
$\texttt{FORM}$: Learning Expressive and Transferable First-Order Logic Reward Machines
Arxiv
0+阅读 · 2024年12月31日
The Proper Basis for Polynomial Ideals
Arxiv
0+阅读 · 1月3日
A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
Arxiv
0+阅读 · 2024年12月30日
Inequalities among Symmetric Polynomial Functions: Counter-examples and New Conjectures
Arxiv
0+阅读 · 2024年12月25日
ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
Arxiv
0+阅读 · 2024年12月28日
An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
Arxiv
0+阅读 · 2024年12月24日
Motives meet SymPy: studying $λ$-ring expressions in Python
Arxiv
0+阅读 · 2024年12月31日
参考链接
微信扫码咨询专知VIP会员
Top