会员服务
Acta Informatica提供了关于程序、计算系统和信息结构的设计和分析的形式化方法的文章，以及理论计算机科学的相关领域，如自动机理论、计算机科学中的逻辑和算法。官网链接：https://link.springer.com/journal/236
Bayesian inference for partial orders from random linear extensions: power relations from 12th Century Royal Acta
Arxiv
0+阅读 · 10月12日
Pseudorandomness, symmetry, smoothing: II
Arxiv
0+阅读 · 7月16日
Swarm-based gradient descent meets simulated annealing
Arxiv
0+阅读 · 4月27日
Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
Arxiv
0+阅读 · 3月21日
Bayesian inference for partial orders from random linear extensions: power relations from 12th Century Royal Acta
Arxiv
0+阅读 · 2023年8月1日
Bayesian Inference for Vertex-Series-Parallel Partial Orders
Arxiv
0+阅读 · 2023年6月27日
Some results on equivalence of multi-letter quantum finite automata
Arxiv
0+阅读 · 2023年6月5日
Counting the minimum number of arcs in an oriented graph having weak diameter 2
Arxiv
0+阅读 · 2023年4月3日
Bayesian inference for partial orders from random linear extensions: power relations from 12th Century Royal Acta
Arxiv
0+阅读 · 2022年12月11日
Lessons Learned from Customizing and Applying ACTA to Design a Novel Device for Emergency Medical Care
Arxiv
0+阅读 · 2022年8月4日
Lessons Learned from Customizing and Applying ACTA to Design a Novel Device for Emergency Medical Care
Arxiv
0+阅读 · 2021年8月12日
Automated Performance Testing Based on Active Deep Learning
Arxiv
0+阅读 · 2021年4月5日
ACTA: A Mobile-Health Solution for Integrated Nudge-Neurofeedback Training for Senior Citizens
ACTA: A Mobile-Health Solution for Integrated Nudge-Neurofeedback Training for Senior Citizens
Arxiv
0+阅读 · 2021年2月17日
Discrepancy Bounds for a Class of Negatively Dependent Random Points Including Latin Hypercube Samples
Arxiv
0+阅读 · 2021年2月6日
The Complexity of Verifying Population Protocols
Arxiv
0+阅读 · 2021年2月9日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top