会员服务
并行计算 ·
2021 年 8 月 30 日
Population Protocols: Beyond Runtime Analysis
翻译：《人口议定书:超出运行时间分析之后》
Javier Esparza
Javier Esparza

I survey our recent work on the verification of population protocols and their state complexity.


翻译：我调查了我们最近关于核查人口议定书及其复杂性的工作。
0
下载
关闭预览

相关内容

图像异常检测研究现状综述
专知会员服务
66+阅读 · 2021年9月10日
基于深度学习的新闻推荐算法研究综述
专知会员服务
47+阅读 · 2021年6月26日
二进制代码相似性检测技术综述
专知会员服务
16+阅读 · 2021年5月13日
多元时间序列因果关系分析研究综述
专知会员服务
143+阅读 · 2021年2月3日
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
专知会员服务
32+阅读 · 2020年4月26日
3D目标检测进展综述
3D目标检测进展综述
专知会员服务
191+阅读 · 2020年4月24日
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
专知会员服务
9+阅读 · 2020年1月16日
【论文】区块链为5G和超越网络:现状综述，Blockchain for 5G and Beyond Networks: A State of the Art Survey
【论文】区块链为5G和超越网络:现状综述，Blockchain for 5G and Beyond Networks: A State of the Art Survey
专知会员服务
31+阅读 · 2019年12月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
已删除
已删除
将门创投
5+阅读 · 2017年11月22日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
【推荐】SVM实例教程
【推荐】SVM实例教程
机器学习研究会
17+阅读 · 2017年8月26日
【推荐】图像分类必读开创性论文汇总
【推荐】图像分类必读开创性论文汇总
机器学习研究会
14+阅读 · 2017年8月15日
A survey of size counting in population protocols
Arxiv
0+阅读 · 2021年10月22日
Improving the Deployment of Recycling Classification through Efficient Hyper-Parameter Analysis
Improving the Deployment of Recycling Classification through Efficient Hyper-Parameter Analysis
Arxiv
0+阅读 · 2021年10月22日
An Empirical Study of Protocols in Smart Contracts
Arxiv
0+阅读 · 2021年10月18日
Learning Fast and Slow: PROPEDEUTICA for Real-time Malware Detection
Arxiv
0+阅读 · 2021年10月17日
Byzantine-Resilient Population Protocols
Arxiv
0+阅读 · 2021年10月16日
Voting Theory in the Lean Theorem Prover
Arxiv
0+阅读 · 2021年10月16日
Imitation Learning: Progress, Taxonomies and Opportunities
Arxiv
12+阅读 · 2021年6月23日
Privacy and Robustness in Federated Learning: Attacks and Defenses
Arxiv
35+阅读 · 2020年12月7日
Comparative Study of ECO and CFNet Trackers in Noisy Environment
Arxiv
5+阅读 · 2018年1月29日
Being Robust (in High Dimensions) Can Be Practical
Arxiv
3+阅读 · 2017年12月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
并行计算
相关VIP内容
图像异常检测研究现状综述
专知会员服务
66+阅读 · 2021年9月10日
基于深度学习的新闻推荐算法研究综述
专知会员服务
47+阅读 · 2021年6月26日
二进制代码相似性检测技术综述
专知会员服务
16+阅读 · 2021年5月13日
多元时间序列因果关系分析研究综述
专知会员服务
143+阅读 · 2021年2月3日
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
专知会员服务
32+阅读 · 2020年4月26日
3D目标检测进展综述
3D目标检测进展综述
专知会员服务
191+阅读 · 2020年4月24日
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
专知会员服务
9+阅读 · 2020年1月16日
【论文】区块链为5G和超越网络:现状综述，Blockchain for 5G and Beyond Networks: A State of the Art Survey
【论文】区块链为5G和超越网络:现状综述，Blockchain for 5G and Beyond Networks: A State of the Art Survey
专知会员服务
31+阅读 · 2019年12月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
热门VIP内容
相关资讯
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
已删除
已删除
将门创投
5+阅读 · 2017年11月22日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
【推荐】SVM实例教程
【推荐】SVM实例教程
机器学习研究会
17+阅读 · 2017年8月26日
【推荐】图像分类必读开创性论文汇总
【推荐】图像分类必读开创性论文汇总
机器学习研究会
14+阅读 · 2017年8月15日
相关论文
A survey of size counting in population protocols
Arxiv
0+阅读 · 2021年10月22日
Improving the Deployment of Recycling Classification through Efficient Hyper-Parameter Analysis
Improving the Deployment of Recycling Classification through Efficient Hyper-Parameter Analysis
Arxiv
0+阅读 · 2021年10月22日
An Empirical Study of Protocols in Smart Contracts
Arxiv
0+阅读 · 2021年10月18日
Learning Fast and Slow: PROPEDEUTICA for Real-time Malware Detection
Arxiv
0+阅读 · 2021年10月17日
Byzantine-Resilient Population Protocols
Arxiv
0+阅读 · 2021年10月16日
Voting Theory in the Lean Theorem Prover
Arxiv
0+阅读 · 2021年10月16日
Imitation Learning: Progress, Taxonomies and Opportunities
Arxiv
12+阅读 · 2021年6月23日
Privacy and Robustness in Federated Learning: Attacks and Defenses
Arxiv
35+阅读 · 2020年12月7日
Comparative Study of ECO and CFNet Trackers in Noisy Environment
Arxiv
5+阅读 · 2018年1月29日
Being Robust (in High Dimensions) Can Be Practical
Arxiv
3+阅读 · 2017年12月14日
Top
微信扫码咨询专知VIP会员
Top