达格斯图尔报告,第7卷,第5期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
Dagstuhl Reports,第7卷,第5期,2017年5月,完整版

摘要
Dagstuhl Reports,第7卷,第5期,2017年5月,完整版

引用为

《达格斯图尔报告》,第7卷,第5期,达格斯图宫——莱布尼茨-泽特鲁姆-富尔信息(2018)


将BibTex复制到剪贴板

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

摘要
目录,Frontmatter

引用为

《达格斯图尔报告》,第7卷,第5期,第i-ii页,达格斯图-莱布尼兹·泽特鲁姆宫(2018)


将BibTex复制到剪贴板

@第{DagRep.7.5.i条,title={{Dagstuhl Reports,目录,第7卷,第5期,2017年}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={7},数字={5},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.7.5.i},URN={URN:nbn:de:0030-drops-84326},doi={10.4230/DagRep.7.5.i},annote={关键词:Dagstuhl报告,目录,第7卷,第5期,2017年}}
文件
哈希理论与应用(17181年达格斯图尔研讨会)

作者:马丁·迪茨费尔宾格(Martin Dietzfelbinger)、迈克尔·米赞马赫(Michael Mitzenmacher)、拉斯穆斯·帕赫(Rasmus Pagh)、大卫·伍德拉夫(David P.Woodruff)和马丁·奥米勒


摘要
本报告记录了4天的课程和讨论的主题17181年达格斯图尔研讨会“哈希理论与应用”,会议于2017年5月1日至5日举行。四长十八短涵盖了研讨会主题范围内广泛而多样的主题。该项目为40名参与者之间的非正式讨论留下了足够的空间。

引用为

马丁·迪茨费尔宾格(Martin Dietzfelbinger)、迈克尔·米赞马赫(Michael Mitzenmacher)、拉斯穆斯·帕赫(Rasmus Pagh)、大卫·伍德拉夫(David P.Woodruff)和马丁·奥米勒(Martine Aumülle。哈希理论与应用(达格斯图尔研讨会17181)。《达格斯图尔报告》,第7卷,第5期,第1-21页,达格斯图宫——莱布尼兹·泽特鲁姆宫(2017)


将BibTex复制到剪贴板

@文章{dietzfelbinger_et_al:DagRep.7.5.1,作者={Dietzfelbinger、Martin和Mitzenmacher、Michael和Pagh、Rasmus和Woodruff、David P.和Aum}{u} 勒尔,马丁},title={{哈希理论与应用(达格斯图尔研讨会17181)}},页数={1--21},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Dietzfelbinger、Martin和Mitzenmacher、Michael和Pagh、Rasmus和Woodruff、David P.和Aum“{u} 勒尔,马丁},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.1},URN={URN:nbn:de:0030-drops-82788},doi={10.4230/DagRep.7.5.1},annote={关键词:与复杂性理论的联系,数据流应用程序,散列函数构造和分析,散列原语,信息检索应用程序,位置敏感散列,机器学习应用程序}}
文件
随机优化启发式理论(达格斯图尔研讨会17191)

作者:卡罗拉·多尔(Carola Doerr)、克里斯蒂安·伊格尔(Christian Igel)、洛塔尔·蒂勒(Lothar Thiele)和辛瑶(Xin Yao)


摘要
本报告总结了2017年5月8日至5月12日在施洛斯·达格斯图尔-莱布尼茨信息学中心举行的关于“随机优化启发式理论”的达格斯图研讨会17191的演讲、分组会议和讨论。这次会议是“进化算法理论”系列研讨会的后续会议,其中标题的变化反映了研究领域朝着更广泛的启发式发展。研讨会接待了来自15个国家的40名研究人员。研讨会上深入讨论的主题包括基于群体的启发式、约束优化、非静态参数选择以及与机器学习研究的联系。

引用为

卡罗拉·多尔(Carola Doerr)、克里斯蒂安·伊格尔(Christian Igel)、洛塔尔·蒂勒(Lothar Thiele)和辛瑶(Xin Yao)。随机优化启发式理论(达格斯图尔研讨会17191)。《达格斯图尔报告》第7卷第5期第22-55页,达格斯图宫-莱布尼兹·泽特鲁姆宫(2017)


将BibTex复制到剪贴板

@第{doerr_et_al:DagRep.7.5.22条,author={Doerr、Carola和Igel、Christian和Thiele、Lothar和Yao、Xin},title={{随机优化启发式理论(达格斯图尔研讨会17191)}},页数={22--55},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Doerr、Carola和Igel、Christian和Thiele、Lothar和Yao、Xin},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.22},URN={URN:nbn:de:0030-drops-82797},doi={10.4230/DagRep.7.522},annote={关键词:算法和复杂性,进化算法,机器学习,优化,软计算}}
文件
类人神经符号计算(达格斯图尔研讨会17192)

作者:Tarek R.Besold、Artur d'Avila Garcez和Luis C.Lamb


摘要
本报告记录了2017年5月7日至12日举行的17192年Dagstuhl研讨会“类人神经符号计算”的计划和成果。类人计算的基本思想是将人类如何学习、推理和计算融入计算机科学的各个方面。虽然认识到大数据和深度学习的相关科学趋势能够在语音识别和计算机视觉任务中实现最先进的性能,但在理解语言和视觉理解的基本原理方面进展有限。假设神经符号计算(对逻辑和连接主义以及统计方法的研究)可以对这个问题提供新的见解,研讨会汇集了计算机科学家,也有人工智能、认知科学、机器学习、知识表示和推理方面的专家,计算机视觉、神经计算和自然语言处理。研讨会包括有贡献的和受邀的演讲、分组讨论和联合小组讨论以及黑客马拉松。它建立在之前关于计算学习和符号推理集成的研讨会和研讨会的基础上,如神经符号学习和推理(NeSy)系列研讨会和之前的Dagstuhl 14381研讨会:神经符号学习和推理。

引用为

塔里克·贝索尔德(Tarek R.Besold)、阿图尔·阿维拉·加塞斯(Artur d'Avila Garcez)和路易斯·兰姆(Luis C.Lamb)。类人神经符号计算(Dagstuhl研讨会17192)。《达格斯图尔报告》第7卷第5期第56-83页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{条besold_et_al:DagRep.7.5.56,作者={Besold,Tarek R.和d'Avila Garcez,Artur和Lamb,Luis C.},title={{类人神经符号计算(Dagstuhl研讨会17192)}},页数={56--83},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Besold,Tarek R.和d'Avila Garcez,Artur和Lamb,Luis C.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.56},URN={URN:nbn:de:0030-drops-82803},doi={10.4230/DagRep.7.5.56},annote={关键词:深度学习、类人计算、多模学习、自然语言处理、神经符号集成}}
文件
网络物理系统的形式化综合(Dagstuhl研讨会17201)

作者:Calin A.Belta、Rupak Majumdar、Maijid Zamani和Matthias Rungger


摘要
本报告记录了Dagstuhl研讨会17201“网络物理系统的形式化合成”的计划和成果。形式化合成是基于自动机和逻辑的算法技术在混合系统控制器设计中的应用,其中连续部件与离散部件相互作用。达格斯图尔研讨会汇集了来自控制理论和计算机科学的研究人员,讨论最新技术以及该领域当前的挑战。

引用为

Calin A.Belta、Rupak Majumdar、Maijid Zamani和Matthias Rungger。网络物理系统的形式合成(Dagstuhl研讨会17201)。《达格斯图尔报告》第7卷第5期第84-96页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@文章{belta_et_al:DagRep.7.5.84,author={Belta,Calin A.和Majumdar,Rupak和Zamani,Maijid和Rungger,Matthias},title={{网络物理系统的形式合成(Dagstuhl研讨会17201)}},页数={84--96},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Belta,Calin A.和Majumdar,Rupak和Zamani,Maijid和Rungger,Matthias},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.84},URN={URN:nbn:de:0030-drops-82813},doi={10.4230/DagRep.75.84},annote={关键词:网络物理系统,形式综合,反应综合,离散事件系统,动力系统和控制}}
文件
HPC用户级文件系统的挑战和机遇(Dagstuhl Seminar 17202)

作者:AndréBrinkmann、Kathryn Mohror和Weikuan Yu


摘要
磁盘与HPC系统上的数据处理之间的性能差距已变得如此巨大,只有引入非易失性存储器(NVRAM)作为新的存储层,才能实现高效的数据处理。尽管分层存储的好处已经充分证明,最新的领先级HPC系统将采用突发缓冲区,但支持分层存储系统的关键问题仍然存在,包括:我们应该如何向用户应用程序呈现分层存储系统,这样它们易于使用,并且应用程序代码可以跨系统移植?我们应该如何通过存储层次结构管理数据移动,以获得最佳性能和数据恢复能力?特定I/O用例如何规定我们管理数据的方式?为了以文件系统的形式探索这一领域,已经做出了许多努力,并且越来越多地在用户级别实现。这是因为,与当前主流的使用通用的系统级文件系统的方法不同,将新的、专门的用户级文件系统替换为应用程序在逐个案例的基础上使用相对容易,而通用的系统级别文件系统可能没有针对HPC工作负载进行优化,必须由管理员安装。相反,用户级的文件系统可以针对特定的HPC工作负载进行定制,以实现高性能,并且可以由应用程序使用,而无需管理员干预。许多用户级文件系统开发人员发现自己“不得不重新发明轮子”,以便在其文件系统中实现各种优化。因此,此次会议的主要目标是汇集I/O性能、文件系统和存储方面的专家,共同探讨分层存储系统上当前和未来I/O问题和解决方案的空间,以便开始社区努力,为HPC系统提供用户级文件系统支持。我们度过了一周的愉快时光,学习了彼此的方法以及独特的I/O用例,这些用例可以影响社区驱动的文件和存储系统标准的设计。本次会议的议程包括与会者就以下高级别主题进行的演讲:今天的HPC存储和I/O支持;HPC用户需要什么进行I/O;现有用户级文件系统工作;对象存储和其他替代存储系统;以及用于构建用户级文件系统的组件。会谈时间很短,旨在成为与整个团队进行更深入讨论的对话起点。与会者就会谈中出现的各种问题进行了长时间的讨论,其中包括:我们准备好编程到内存层次结构还是块设备?HPC用户的需求是否反映在我们现有的文件系统和存储系统中?我们应该放弃POSIX还是继续前进?我们所说的“用户级文件系统”是什么意思?我们的意思都一样吗?如何定义IO 500基准,使其公平且有用?分阶段进入和分阶段退出实际上是如何工作的?本次研讨会的报告记录了与会者的会谈以及由此产生的讨论。我们希望,本次研讨会期间发起的努力将促成长期合作,使整个HPC社区受益。

引用为

AndréBrinkmann、Kathryn Mohror和Weikuan Yu。HPC用户级文件系统的挑战和机遇(Dagstuhl研讨会17202)。《达格斯图尔报告》第7卷第5期第97-139页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{brinkmann_et_al:DagRep.7.5.97条,author={Brinkmann,Andr'{e}和Mohror,Kathryn和Yu,Weikuan},title={{HPC用户级文件系统的挑战和机遇(Dagstuhl Seminar 17202)}},页数={97--139},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017},体积={7},数字={5},editor={Brinkmann,Andr'{e}和Mohror,Kathryn和Yu,Weikuan},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.97},URN={URN:nbn:de:0030-drops-82820},doi={10.4230/DagRep.7.5.97},annote={关键词:高性能计算、I/O和存储、对象存储、用户级存储系统}}
文件
几何建模、互操作性和新挑战(Dagstuhl研讨会17221)

作者:Falai Chen、Chen Dokken、Thomas A.Grandine和Géraldine Morin


摘要
本报告记录了17221年达格斯图尔研讨会“几何建模、互操作性和新挑战”的计划和成果。虽然之前关于几何建模的Dagstuhl研讨会侧重于基础研究,但本次研讨会侧重于几何建模在四个主题领域的应用:大数据和云计算、多材料增材制造、等几何分析和设计优化。为此,我们召集了急需更好解决方案的行业参与者、上述应用领域的研究人员以及几何建模社区的研究人员。

引用为

Falai Chen、Chen Dokken、Thomas A.Grandine和Géraldine Morin,《几何建模、互操作性和新挑战》(Dagstuhl Seminar 17221)。《达格斯图尔报告》第7卷第5期第140-168页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{chen_et_al:DagRep.7.5.140条,author={Chen,Falai and Dokken,Chen and Grandine,Thomas A.and Morin,G’{e} 雷丁},title={{几何建模、互操作性和新挑战(达格斯图尔研讨会17221)}},页数={140--168},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Chen,Falai和Dokken,Chen和Grandine,Thomas A.和Morin,G\'{e} 雷丁},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.140},URN={URN:nbn:de:0030-drops-82838},doi={10.4230/DagRep.7.5.140},annote={关键词:加性制造、计算机图形学、设计优化、几何建模、几何学、几何处理、等几何分析、形状设计}}
文件
数据库查询处理中的稳健性能(Dagstuhl Seminar 17222)

作者:Renata Borovica-Gajic、Goetz Graefe和Allison Lee


摘要
2017年5月28日至6月2日举行的关于“数据库查询处理中的稳健性能”的Dagstuhl研讨会17222,汇集了学术界和工业界的研究人员,讨论了之前研讨会中未涉及的数据库管理系统稳健方面。本文总结了主要的讨论主题,并总结了讨论过的四个工作组的输出:i)更新和数据库实用程序,ii)并行、分区和歪斜,iii)动态连接序列,以及iv)用于解释意外性能观察的机器学习技术。

引用为

Renata Borovica Gajic、Goetz Graefe和Allison Lee。数据库查询处理中的稳健性能(Dagstuhl Seminar 17222)。在《达格斯图尔报告》第7卷第5期第169-180页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{条borovicagajic_et_al:DagRep.7.5.169,author={Borovica-Gajic、Renata和Graefe、Goetz和Lee、Allison},title={{数据库查询处理中的稳健性能(Dagstuhl Seminar 17222)}},页数={169--180},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={5},editor={Borovica-Gajic、Renata和Graefe、Goetz和Lee、Allison},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.169},URN={URN:nbn:de:0030-drops-82845},doi={10.4230/DagRep.7.5.169},annote={关键词:稳健的查询性能,数据库管理系统,自适应查询处理,查询优化,查询执行,更新,并行性,数据倾斜}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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