会员服务
并行计算 ·
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
下载
关闭预览

相关内容

图像异常检测研究现状综述
专知会员服务
68+阅读 · 2021年9月10日
基于深度学习的新闻推荐算法研究综述
专知会员服务
49+阅读 · 2021年6月26日
二进制代码相似性检测技术综述
专知会员服务
17+阅读 · 2021年5月13日
多元时间序列因果关系分析研究综述
专知会员服务
146+阅读 · 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
专知会员服务
33+阅读 · 2020年4月26日
3D目标检测进展综述
3D目标检测进展综述
专知会员服务
193+阅读 · 2020年4月24日
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
专知会员服务
10+阅读 · 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
专知会员服务
33+阅读 · 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
专知会员服务
50+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 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日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 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
相关主题
并行计算
最新内容
2025年大语言模型进展报告
2025年大语言模型进展报告
专知会员服务
1+阅读 · 今天13:30
多智能体协作机制
多智能体协作机制
专知会员服务
1+阅读 · 今天13:26
非对称优势：美海军开发低成本反无人机技术
非对称优势：美海军开发低成本反无人机技术
专知会员服务
4+阅读 · 今天4:39
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
专知会员服务
14+阅读 · 今天2:52
《美战争部小企业创新研究（SBIR）计划》
《美战争部小企业创新研究（SBIR）计划》
专知会员服务
6+阅读 · 今天2:48
《军事模拟：将军事条令与目标融入AI智能体》
《军事模拟：将军事条令与目标融入AI智能体》
专知会员服务
9+阅读 · 今天2:43
【NTU博士论文】3D人体动作生成
【NTU博士论文】3D人体动作生成
专知会员服务
7+阅读 · 4月24日
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
专知会员服务
8+阅读 · 4月24日
以色列军事技术对美国军力发展的持续性赋能
以色列军事技术对美国军力发展的持续性赋能
专知会员服务
8+阅读 · 4月24日
战场之外的较量：美伊冲突中的认知战与心理博弈
战场之外的较量：美伊冲突中的认知战与心理博弈
专知会员服务
6+阅读 · 4月24日
俄乌战争中乌克兰防空能力演变与见解（中文版）
俄乌战争中乌克兰防空能力演变与见解（中文版）
专知会员服务
7+阅读 · 4月24日
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
专知会员服务
10+阅读 · 4月24日
《深度强化学习在兵棋推演中的应用》40页报告
《深度强化学习在兵棋推演中的应用》40页报告
专知会员服务
14+阅读 · 4月24日
《多域作战面临复杂现实》
《多域作战面临复杂现实》
专知会员服务
10+阅读 · 4月24日
《印度的多域作战：条令与能力发展》报告
《印度的多域作战：条令与能力发展》报告
专知会员服务
5+阅读 · 4月24日
相关VIP内容
图像异常检测研究现状综述
专知会员服务
68+阅读 · 2021年9月10日
基于深度学习的新闻推荐算法研究综述
专知会员服务
49+阅读 · 2021年6月26日
二进制代码相似性检测技术综述
专知会员服务
17+阅读 · 2021年5月13日
多元时间序列因果关系分析研究综述
专知会员服务
146+阅读 · 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
专知会员服务
33+阅读 · 2020年4月26日
3D目标检测进展综述
3D目标检测进展综述
专知会员服务
193+阅读 · 2020年4月24日
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
可视化特征属性基线的影响，Visualizing the Impact of Feature Attribution Baselines
专知会员服务
10+阅读 · 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
专知会员服务
33+阅读 · 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
专知会员服务
50+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 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日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 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