达格斯图尔报告,第12卷,第4期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
达格斯图尔报告,第12卷,第4期,2022年4月,完整版

摘要
达格斯图尔报告,第12卷,第4期,2022年4月,完整版

引用为

《达格斯图尔报告》,第12卷,第4期,第1-97页,达格斯图-莱布尼兹·泽特鲁姆宫(2022)


将BibTex复制到剪贴板

@第{DagRep.12.4条,title={{Dagstuhl Reports,第12卷,第4期,2022年4月,完整版}},页数={1--97},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4},URN={URN:nbn:de:0030-drops-172751},doi={10.4230/DagRep.12.4},annote={关键词:达格斯图尔报告,第12卷,第4期,2022年4月,完整版}}
文件
前部物质
达格斯图尔报告,目录,第12卷,第4期,2022年

摘要
达格斯图尔报告,目录,第12卷,第4期,2022年

引用为

《达格斯图尔报告》,第12卷,第4期,第i-ii页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2022年)


将BibTex复制到剪贴板

@第{DagRep.12.4.i条,title={达格斯图尔报告,目录,第12卷,2022年第4期},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.4.i},URN={URN:nbn:de:0030-drops-172768},doi={10.4230/DagRep.12.4.i},annote={Keywords:目录,Frontmatter}}
文件
对称密码术(Dagstuhl研讨会22141)

作者:Nils Gregor Leander、Bart Mennink、María Naya Plasencia、Yu Sasaki和Eran Lambooij


摘要
本报告记录了Dagstuhl研讨会20041“对称密码术”的计划和成果。研讨会于2022年4月3日至8日在达格斯图尔-莱布尼茨信息学中心举行。这是“对称密码术”系列的第八次研讨会。之前的版本分别于2007年、2009年、2012年、2014年、2016年、2018年和2022年举行。研讨会的与会者介绍了他们在(量子)密码分析和对称密码原语的可证明安全性方面正在进行的工作和取得的新成果。在本报告中,我们对研讨会进行了简要总结,然后是演讲摘要。

引用为

尼尔斯·格雷戈·利安德(Nils Gregor Leander)、巴特·梅宁克(Bart Mennink)、玛丽亚·纳亚·普莱森西亚(Maria Naya-Plasencia)、尤·佐佐佐木(Yu Sasaki)和埃兰·兰布依(Eran Lambooij)。对称密码术(Dagstuhl研讨会22141)。《达格斯图尔报告》,第12卷,第4期,第1-12页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2022年)


将BibTex复制到剪贴板

@文章{leander_et_al:DagRep.12.4.1,author={Leander、Nils Gregor和Mennink、Bart和Naya-Plasencia、Mar和Sasaki、Yu和Lambooij、Eran、,title={{对称密码术(Dagstuhl研讨会22141)}},页数={1--12},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},editor={Leander、Nils Gregor和Mennink、Bart和Naya-Plasencia、Mar和Sasaki、Yu和Lambooij、Eran、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.4.1},URN={URN:nbn:de:0030-drops-172779},doi={10.4230/DagRep.12.4.1},annote={关键词:块密码,加密,散列函数,流密码,对称加密}}
文件
可追踪概率推理的最新进展(Dagstuhl研讨会22161)

作者:Priyank Jaini、Kristian Kersting、Antonio Vergari和Max Welling


摘要
在几个真实世界的场景中,决策涉及不确定性下的高级推理,即回答概率查询的能力。通常,需要在有限的时间内计算这些答案。此外,在许多领域,如医疗保健和经济决策,这些查询的结果是否可靠至关重要,即是否准确或是否具有近似保证。在所有这些场景中,易处理的概率推理和学习变得越来越重要。可处理推理的表示和学习算法的研究涵盖了非常不同的领域,每个领域都有自己的观点。其中包括自动推理、概率建模、统计和贝叶斯推理以及深度学习。在这些领域中最近出现的许多方法中,有:易处理的神经密度估计器,如自回归模型和归一化流;深度可控的概率电路,如和积网络和句子决策图;具有近似质量保证的近似推理例程。这些模型类中的每一个都在可处理性和表达性之间的连续统一体中占据了一个特定的位置。也就是说,不同的模型类可能在效率或表示能力方面提供诱人的优势,同时权衡其他方面。到目前为止,它们之间的明确联系和对关键差异的深入理解受到了不同语言和观点的阻碍,这些不同的“灵魂”构成了易于驾驭的概率建模社区。此次达格斯图尔研讨会汇集了来自这些亚社区的专家,为交流观点、深入讨论最新进展和建立强有力的桥梁提供了完美的场所,可以极大地推动跨学科研究。

引用为

Priyank Jaini、Kristian Kersting、Antonio Vergari和Max Welling。可追踪概率推断的最新进展(Dagstuhl研讨会22161)。Dagstuhl报告,第12卷,第4期,第13-25页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2022)


将BibTex复制到剪贴板

@第{jaini_et_al:DagRep.12.4.13条,author={Jaini、Priyank和Kersting、Kristian和Vergari、Antonio和Welling、Max},title={{可追踪概率推理的最新进展(Dagstuhl研讨会22161)}},页数={13--25},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},editor={杰尼、普里扬克和科斯汀、克里斯蒂安和维加里、安东尼奥和威林、马克斯},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4.13},URN={URN:nbn:de:0030-drops-172785},doi={10.4230/DagRep.12.4.13},annote={关键词:有保证的近似推理,深层生成模型,概率电路,可追踪推理}}
文件
城市交通分析(Dagstuhl研讨会22162)

作者:David Jonietz、Monika Sester、Kathleen Stewart、Stephan Winter、Martin Tomko和Yanan Xin


摘要
本报告记录了Dagstuhl研讨会22162“城市交通分析”的计划和成果。研讨会汇集了学术界和工业界的研究人员,他们以互补的方式进行城市交通分析。研讨会特别旨在将深度学习研究(需要大量数据集)和可再生研究(需要获取数据)的思想和方法结合起来。

引用为

David Jonietz、Monika Sester、Kathleen Stewart、Stephan Winter、Martin Tomko和Yanan Xin。城市流动性分析(Dagstuhl研讨会22162)。《达格斯图尔报告》,第12卷,第4期,第26-53页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2022年)


将BibTex复制到剪贴板

@第{jonietz_et_al:DagRep.12.4.26条,author={Jonietz、David和Sester、Monika和Stewart、Kathleen和Winter、Stephan和Tomko、Martin和Xin、Yanan},title={{城市交通分析(Dagstuhl研讨会22162)}},页数={26--53},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},editor={Jonietz、David和Sester、Monika和Stewart、Kathleen和Winter、Stephan和Tomko、Martin和Xin、Yanan},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4.26},URN={URN:nbn:de:0030-drops-172792},doi={10.4230/DagRep.12.4.26},annote={关键词:数据分析、深度学习、可复制研究、城市交通}}
文件
用于网络物理系统安全的数字孪生兄弟(Dagstuhl研讨会22171)

作者:阿尔瓦罗·卡尔德纳斯·莫拉(Alvaro Cárdenas Mora)、西明·纳德杰姆·特赫拉尼(Simin Nadjm-Tehrani)、埃德加·韦普尔(Edgar Weipper)和马蒂亚斯·埃克哈特(Matthias Eckhart)


摘要
网络物理系统(CPS)可能是一个有吸引力的攻击目标,因为组件的网络化增加了,从而产生了扩展的攻击面。如果其物理控制能力受到损害,可能会产生安全影响。因此,至关重要的是,对正在设计的CPS进行彻底测试,并在操作期间检测到入侵者时采取适当的响应措施。然而,由于昂贵的硬件、有限的维护期和安全风险,很难进行安全测试。此外,威胁行为体越来越隐蔽,需要新的入侵检测和响应方法。有趣的是,数字双胞胎已经成为工业信息学中解决类似问题的一个重要概念,但其关注点却与安全无关:虚拟复制真实系统的数字双胞胎提供了成本效益高的建模、测试、监控甚至预测能力。然而,直到最近,数字孪生概念还主要侧重于生产优化或设计改进,而没有考虑其对CPS安全的潜在影响。因此,Dagstuhl研讨会22171“网络物理系统安全的数字孪生”旨在作为一个跨学科、开放的知识共享平台,研究应用数字孪生概念来提高CPS安全性的益处和挑战。

引用为

阿尔瓦罗·卡尔德纳斯·莫拉(Alvaro Cárdenas Mora)、西明·纳德杰姆·特赫拉尼(Simin Nadjm-Tehrani)、埃德加·韦普尔(Edgar Weipper)和马蒂亚斯·埃克哈特(Matthias Eckhart)。用于网络物理系统安全的数字孪生兄弟(Dagstuhl研讨会22171)。《达格斯图尔报告》,第12卷,第4期,第54-71页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2022年)


将BibTex复制到剪贴板

@第{mora_et_al:DagRep.12.4.54条,author={莫拉,阿尔瓦罗·C{a} (意大利)德纳斯Nadjm-Tehrani、Simin和Weipper、Edgar和Eckhart、Matthias},title={{网络物理系统安全数字孪生兄弟(Dagstuhl研讨会22171)}},页数={54--71},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},editor={Mora,Alvaro C\'{a} 罗德纳群岛Nadjm-Tehrani、Simin和Weipper、Edgar和Eckhart、Matthias},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4.54},URN={URN:nbn:de:0030-drops-172805},doi={10.4230/DagRep.12.4.54},annote={关键词:网络物理系统、数字孪生兄弟、信息安全、生产系统工程、SCADA、工业控制系统、工业4.0}}
文件
在错误信息时代支持批判性思维的技术(Dagstuhl研讨会22172)

作者:蒂尔曼·丁格勒、本杰明·塔格和安德鲁·瓦戈


摘要
本报告记录了Dagstuhl研讨会22172“在错误信息时代支持批判性思维的技术”的项目和成果。这次研讨会汇集了来自计算机科学、行为心理学、记者和决策者的专家,研究并定义了互联网和社交网络中虚假信息和虚假新闻的挑战。这包括讨论什么是错误信息,传播和减少错误信息的技术进步,以及围绕可以制定和实施的政策进行讨论,以应对主动和被动的错误信息传播者。本报告的目的是总结和介绍开发和实施技术以支持批判性思维的各种挑战和选择。

引用为

蒂尔曼·丁格勒(Tilman Dingler)、本杰明·塔格(Benjamin Tag)和安德鲁·瓦戈(Andrew Vargo)。在错误信息时代支持批判性思维的技术(Dagstuhl研讨会22172)。在《达格斯图尔报告》第12卷第4期第72-95页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2022)


将BibTex复制到剪贴板

@第{dingler_et_al:DagRep.12.4.72条,author={丁格勒、蒂尔曼和塔格、本杰明和瓦戈、安德鲁},title={在信息失真的时代支持批判性思维的技术(Dagstuhl研讨会22172)},页数={72--95},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={12},数字={4},editor={丁格勒、蒂尔曼和塔格、本杰明和瓦戈、安德鲁},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4.72},URN={URN:nbn:de:0030-drops-172815},doi={10.4230/DagRep.12.4.72},annote={关键词:认知安全、错误信息、偏见计算}}

过滤器


问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件