会员服务
FORTE：Formal Techniques for Networked and Distributed Systems。 Explanation：网络化和分布式系统的形式化技术。 Publisher：Springer。 SIT：http://dblp.uni-trier.de/db/conf/forte/
Forte: An Interactive Visual Analytic Tool for Trust-Augmented Net Load Forecasting
Arxiv
0+阅读 · 2023年11月10日
High-Round QAOA for MAX $k$-SAT on Trapped Ion NISQ Devices
Arxiv
0+阅读 · 2023年8月10日
Game Theory in defence applications: a review
Arxiv
29+阅读 · 2021年11月2日
A Data-Centric Framework for Composable NLP Workflows
Arxiv
1+阅读 · 2021年9月2日
A Data-Centric Framework for Composable NLP Workflows
Arxiv
0+阅读 · 2021年8月31日
Optimal governance and implementation of vaccination programmes to contain the COVID-19 pandemic
Arxiv
0+阅读 · 2021年6月9日
Optimal governance and implementation of vaccination programs to contain the COVID-19 pandemic
Optimal governance and implementation of vaccination programs to contain the COVID-19 pandemic
Arxiv
0+阅读 · 2020年12月3日
Optimal governance and implementation of vaccination programs to contain the COVID-19 pandemic
Arxiv
0+阅读 · 2020年11月12日
Suites récurrentes linéaires d'ordre 2 à divisibilité forte
Arxiv
0+阅读 · 2016年6月6日
Approximation forte pour les variétés avec une action d'un groupe linéaire
Arxiv
0+阅读 · 2016年12月25日
Fuzzy Attractors Appearing from GIFZS
Arxiv
0+阅读 · 2016年10月14日
The Famine of Forte: Few Search Problems Greatly Favor Your Algorithm
Arxiv
0+阅读 · 2017年4月19日
Approximation forte pour les espaces homogènes de groupes semisimples sur le corps des fonctions d'une courbe algébrique complexe
Arxiv
0+阅读 · 2016年4月19日
Precision Physics at LEP
Arxiv
0+阅读 · 2018年2月1日
Towards Realistic Team Formation in Social Networks based on Densest Subgraphs
Arxiv
0+阅读 · 2015年5月25日
参考链接
父主题
Springer
计算机网络
微信扫码咨询专知VIP会员
Top