会员服务
它的目的是理解计算的本质，并因此提供更有效的方法。所有介绍或研究数学、逻辑和形式概念和方法的论文都是受欢迎的，前提是它们的动机显然来自计算领域。理论计算机科学发表的论文按其性质分为三个部分。第一部分“算法，自动机，复杂性和游戏”致力于研究算法及其复杂性，使用分析，组合或概率的方法。它包括抽象复杂性的整个领域（即，所有可以使用图灵机器定义的层次结构的结果）、自动机和语言理论的整个领域（包括无限词和无限语言的自动机），整个几何（图形）应用领域和使用统计方法测量系统性能的整个领域。官网链接：https://www.sciencedirect.com/journal/theoretical-computer-science/about/aims-and-scope
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Arxiv
0+阅读 · 5月18日
Time-Conditioned and Multi-Time Survival Prediction from 2D PET/CT Projections in Lung Cancer
Arxiv
0+阅读 · 6月10日
Biclique Reconfiguration in Bipartite Graphs
Arxiv
0+阅读 · 5月17日
Understanding Robust Catalytic Computing
Arxiv
0+阅读 · 5月10日
Improved Approximation Guarantees for Groupwise Maximin Share Fairness
Arxiv
0+阅读 · 6月3日
Runtime Analysis of a Compact Genetic Algorithm on a Truly Multi-valued OneMax Function
Arxiv
0+阅读 · 5月28日
Perfect codes in weakly metric association schemes
Arxiv
0+阅读 · 6月1日
Algebraic anti-unification
Arxiv
0+阅读 · 6月1日
Graph Traversal on Tensor Cores: A BFS Framework for Modern GPUs
Arxiv
0+阅读 · 6月3日
Learning a Stochastic Differential Equation Model of Tropical Cyclone Intensification from Reanalysis and Observational Data
Arxiv
0+阅读 · 5月5日
Hardness of the Binary Covering Radius Problem in Large $\ell_p$ Norms
Arxiv
0+阅读 · 3月9日
Approximate Cartesian Tree Matching with Substitutions
Arxiv
0+阅读 · 2月9日
Think-Clip-Sample: Slow-Fast Frame Selection for Video Understanding
Arxiv
0+阅读 · 1月16日
Subsequence Matching and LCS under Cartesian-Tree Equivalence
Arxiv
0+阅读 · 2025年12月30日
LLMs-Powered Real-Time Fault Injection: An Approach Toward Intelligent Fault Test Cases Generation
Arxiv
0+阅读 · 2025年11月24日
参考链接
微信扫码咨询专知VIP会员
Top