达格斯图尔报告,第11卷,第9期



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
Dagstuhl Reports,第11卷,第9期,2019年10月,完整版

引用为

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


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第11卷,第9期,2021年

引用为

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


将BibTex复制到剪贴板

@第{DagRep.11.9.i条,title={{Dagstuhl Reports,目录,第11卷,第9期,2021}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.11.9.i},URN={URN:nbn:de:0030-drops-159149},doi={10.4230/DagRep.11.9.i},annote={关键词:目录,前沿内容}}
文件
生物数据的可视化——从分析到交流(Dagstuhl研讨会21401)

作者:卡斯滕·克莱恩(Karsten Klein)、乔治塔·伊丽莎白·马莱(Georgeta Elisabeta Marai)、凯·卡贾·尼塞尔特(Kay Katja Nieselt)和布拉斯·祖潘(Blaz Zupan)


摘要
生物学的技术进步使我们能够收集和生成大量数据,并对数据解释和理解提出了重大挑战。应对这一挑战需要融合数据可视化、生物信息学和生物学的方法。该方法包括感知和设计知识、算法设计、大数据分析和可视化技术、统计方法以及针对不同应用问题的特定领域知识。特别是,必须开发强大的综合可视化方法,结合计算分析技术和方法,以可视化方式传达结果。Dagstuhl研讨会21401“生物数据可视化-从分析到交流”的目的是将来自各个领域的研究人员聚集在一起,讨论最新技术,讨论在生物数据可视化领域推进科学的方法,并促进我们国际社会的发展。

引用为

卡斯滕·克莱恩(Karsten Klein)、乔治塔·伊丽莎白·马莱(Georgeta Elisabeta Marai)、凯·卡贾·尼塞尔特(Kay Katja Nieselt)和布拉斯·祖潘(Blaz Zupan)。生物数据可视化——从分析到交流(Dagstuhl研讨会21401)。在《达格斯图尔报告》第11卷第9期第1-27页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔Informatik(2022)


将BibTex复制到剪贴板

@第{klein_et_al:DagRep.11.9.1条,作者={克莱因、卡斯滕和马莱、乔治塔·伊丽莎白和尼塞尔特、凯·卡贾和祖潘、布拉兹},title={{生物数据可视化-从分析到交流(达格斯图尔研讨会21401)}},页数={1--27},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},editor={克莱因、卡斯滕和马莱、乔治塔·伊丽莎白和尼赛尔特、凯·卡佳和祖潘、布拉兹},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.1},URN={URN:nbn:de:0030-drops-159158},doi={10.4230/DagRep.11.9.1},annote={关键词:生物信息学、生物学、成像、跨学科、Omics、视觉分析、可视化}}
文件
数字信息消除:分类、影响、缓解和监管(Dagstuhl研讨会21402)

作者:克劳德·基什内尔(Claude Kirchner)和弗兰齐斯卡·罗斯纳(Franziska Roesner)


摘要
我们报告了2021年10月举行的Dagstuhl研讨会的讨论和结论,该研讨会专注于数字错误和虚假信息。一个由国际和跨学科研讨会参与者组成的小组审议了关键的技术和社会议题,包括可信度算法(即如何构建自动评估可信度的系统)、摩擦作为平台设计中的一种技术(例如减缓人们在社交媒体上的信息消费),错误信息/虚假信息干预的道德规范,以及如何教育用户。我们详细介绍了这些讨论,并强调了未来的问题。

引用为

克劳德·基什内尔(Claude Kirchner)和弗兰齐斯卡·罗斯纳(Franziska Roesner)。数字信息消除:分类、影响、缓解和监管(Dagstuhl研讨会21402)。在《达格斯图尔报告》第11卷第9期第28-44页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2022)


将BibTex复制到剪贴板

@文章{kirchner_et_al:DagRep.11.9.28,author={Kirchner、Claude和Roesner、Franziska},title={{数字信息消除:分类、影响、缓解和监管(达格斯图尔研讨会21402)}},页数={28--44},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},editor={Kirchner,Claude和Roesner,Franziska},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.28},URN={URN:nbn:de:0030-drops-159162},doi={10.4230/DagRep.11.928},annote={关键词:信息、虚假信息、错误信息、假新闻、深度伪造、道德、可信度、摩擦、验证}}
文件
运动中的机器学习(Dagstuhl研讨会21411)

作者:Ulf Brefeld、Jesse Davis、Martin Lames和James J.Little


摘要
体育数据长期以来一直是体育科学家研究和分析的主题。这些数据的不断增加和可用性也引起了机器学习、计算机视觉和人工智能领域研究人员的关注。然而,这些社区很少互动。本次研讨会旨在将这些领域的研究人员聚集在一起,以推动跨学科方法解决这些问题。研讨会围绕五个不同的主题组织,并以教程和概述的形式介绍了关键概念,以促进具有不同背景和方法的研究人员之间的知识交流。通过对具体问题或技术进行更深入的介绍,这些内容得到了补充。从业者就将分析付诸实践的困难和经验教训进行了小组讨论。最后,我们得出了一些结论和下一步行动。

引用为

Ulf Brefeld、Jesse Davis、Martin Lames和James J.Little。运动中的机器学习(Dagstuhl研讨会21411)。在《达格斯图尔报告》第11卷第9期第45-63页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2022)


将BibTex复制到剪贴板

@第{brefeld_et_al:DagRep.11.9.45条,author={布雷菲尔德、乌尔夫和戴维斯、杰西和拉梅斯、马丁和利特、詹姆斯J.},title={{运动中的机器学习(Dagstuhl研讨会21411)}},页数={45--63},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},editor={布雷菲尔德、乌尔夫和戴维斯、杰西和拉梅斯、马丁和利特尔、詹姆斯J.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.45},URN={URN:nbn:de:00030-drops-159178},doi={10.4230/DagRep.11.945},annote={关键词:机器学习、人工智能、体育科学、计算机视觉、解释、可视化、战术、健康、生物力学}}
文件
量子密码分析(Dagstuhl研讨会21421)

作者:Stacey Jeffery、Michele Mosca、Maria Naya-Plasencia和Rainer Steinwandt


摘要
本研讨会报告记录了Dagstuhl研讨会21421量子密码分析的计划和结果。研讨会于2021年秋季以混合形式举行。本报告首先介绍了达格斯图尔(Dagstuhl)关于{量子密码分析}系列研讨会组织的动机和评论,然后是演讲摘要。研讨会参与者提供了演示摘要。

引用为

Stacey Jeffery、Michele Mosca、Maria Naya-Plasencia和Rainer Steinwandt。量子密码分析(Dagstuhl研讨会21421)。在《达格斯图尔报告》第11卷第9期第64-79页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2022)


将BibTex复制到剪贴板

@文章{jeffery_et_al:DagRep.11.9.64,author={Jeffery、Stacey和Mosca、Michele和Naya-Plasencia、Maria和Steinwandt、Rainer},title={{量子密码分析(Dagstuhl研讨会21421)}},页数={64--79},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},编辑={Jeffery,Stacey和Mosca,Michele和Naya Plasencia,Maria和Steinwandt,Rainer},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.64},URN={URN:nbn:de:0030-drops-159187},doi={10.4230/DagRep.11.964},annote={关键词:计算代数,后量子密码术,量子计算,量子资源估计}}
文件
智能合约的严格方法(Dagstuhl研讨会21431)

作者:Nikolaj S.Björner、Maria Christakis、Matteo Maffei和Grigore Rosu


摘要
本报告记录了Dagstuhl研讨会21431“智能合同的严格方法”的计划和成果。区块链技术对于专注于软件正式保证的研究人员和实践者来说都是一个令人兴奋的领域。可以说,这是一个“一生只有一次”的机会,可以将严格的方法集成到部署智能合同的各方的审计流程中,无论是用于资金筹集、证券交易还是供应链管理。智能合约是在区块链上管理加密货币账户的程序。智能合约领域的研究包括形式方法、编程语言语义和密码学的迷人组合。首先,检查智能压缩代码正确性的验证和程序分析技术正在蓬勃发展。第二,正在出现的编程语言和编写智能合同的方法的设计,使得它们通过构造更加健壮,或者更易于分析和验证。编程语言抽象层公开了低级加密原语,使开发人员能够设计高级加密协议。自动推理机制提供了一个通用的底层使能器;智能压缩世界的特殊需求带来了新的挑战。此次研讨会将上述领域的利益相关者聚集在一起,推动可靠的智能控制技术的发展。

引用为

Nikolaj S.Björner、Maria Christakis、Matteo Maffei和Grigore Rosu。智能合约的严格方法(Dagstuhl研讨会21431)。《达格斯图尔报告》第11卷第9期第80-101页,达格斯图宫-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2022年)


将BibTex复制到剪贴板

@第{bjrner_et_al:DagRep.11.9.80条,author={Bj{o}rner,Nikolaj S.和Christakis,Maria和Maffei,Matteo和Rosu,Grigore},title={{智能合约的严格方法(Dagstuhl研讨会21431)}},页数={80--101},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},editor={Bj{o}rner,Nikolaj S.和Christakis,Maria和Maffei,Matteo和Rosu,Grigore},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.80},URN={URN:nbn:de:0030-drops-159198},doi={10.4230/DagRep.11.980},annote={关键词:自动推理、加密协议、程序验证、编程语言、智能契约}}
文件
概率数值方法——从理论到实现(Dagstuhl研讨会21432)

作者:菲利普·亨尼(Philipp Hennig)、伊尔斯·C.F.伊普森(Ilse C.F.Ipsen)、马伦·马塞雷西(Maren Mahsereci)和蒂姆·沙利文(Tim Sullivan)


摘要
数值方法提供了科学的计算基础,并以机器学习的当代形式实现了数据分析和推理的自动化。概率数值方法旨在明确表示这些模型中有限的计算资源和不精确的输入导致的不确定性。随着理论分析的深入,软件开发现在是广泛成功的关键下一步。本研讨会汇集了机器学习、统计和数值分析前沿的专家,以确定该领域的重要开放问题,并为概率数值方法的软件堆栈奠定理论和实践基础。

引用为

Philipp Hennig、Ilse C.F.Ipsen、Maren Mahsereci和Tim Sullivan。概率数值方法-从理论到实现(Dagstuhl研讨会21432)。在《达格斯图尔报告》第11卷第9期第102-119页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2022)


将BibTex复制到剪贴板

@第{hennig_et_al:DagRep.11.9.102条,author={Hennig、Philipp和Ipsen、Ilse C.F.和Mahsereci、Maren和Sullivan、Tim},title={{概率数值方法-从理论到实现(Dagstuhl研讨会21432)}},页数={102--119},日志={Dagstuhl报告},ISSN={2192-5283},年份={2022},体积={11},数字={9},editor={Hennig、Philipp和Ipsen、Ilse C.F.和Mahsereci、Maren和Sullivan、Tim},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.9.102},URN={URN:nbn:de:0030-drops-159208},doi={10.4230/DagRep.11.9102},annote={关键词:机器学习、数值分析、概率数值}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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