Dagstuhl报告,第4卷,第1期



缩略图PDF

出版物详细信息


访问号码

文件

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

摘要
Dagstuhl Reports,第4卷,第1期,2014年1月,完整版

引用为

《达格斯图尔报告》,第4卷,第1期,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息(2014)


将BibTex复制到剪贴板

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

摘要
目录,Frontmatter

引用为

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


将BibTex复制到剪贴板

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

作者:弗雷德里克·阿姆克内特(Frederik Armknecht)、海伦娜·汉德施(Helena Handschuh)、岩田聪(Tetsu Iwata)和巴特·普雷尼尔(Bart Preneel)


摘要
2014年1月5日至10日,对称密码14021研讨会在莱布尼茨信息中心举行。在研讨会期间,一些与会者介绍了他们目前的研究,并讨论了正在进行的工作和未决问题。本文汇集了研讨会期间所作演讲的摘要以及研讨会结果和想法的摘要。第一部分概述了研讨会的主题和目标。如果可用,还提供了延伸摘要或完整论文的链接。

引用为

弗雷德里克·阿姆克内特(Frederik Armknecht)、海伦娜·汉德施(Helena Handschuh)、岩田聪(Tetsu Iwata)和巴特·普雷尼尔(Bart Preneel)。对称密码术(Dagstuhl研讨会14021)。《达格斯图尔报告》,第4卷,第1期,第1-16页,达格斯图宫——莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2014)


将BibTex复制到剪贴板

@第{armknecht_et_al:DagRep.4.1.1条,作者={Armknecht,Frederik和Handschuh,Helena和Iwata,Tetsu和Preneel,Bart},title={{对称密码术(Dagstuhl研讨会14021)}},页数={1--16},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={阿姆克内赫特、弗雷德里克和汉德施、海伦娜和岩手、铁通和普雷尼尔、巴特},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.1},URN={URN:nbn:de:0030-drops-45150},doi={10.4230/DagRep.4.1.1},annote={关键词:真实性、完整性、隐私、散列函数、块密码、可证明安全性、密码分析}}
文件
将性能分析和可视化与先进的极限规模计算联系起来(Dagstuhl Perspectives Workshop 14022)

作者:Peer-Timo Bremer、Bernd Mohr、Valerio Pascucci和Martin Schulz


摘要
2014年1月的第一周,达格斯图尔主持了一场关于“将性能分析和可视化与推进极限规模相结合计算“。此次活动汇集了之前两个独立的社区(从可视化和HPC性能分析),讨论了一个长期联合的研究议程。目标是确定并解决使用可视化表示来理解和优化在当今最强大的电源上运行的极端规模应用程序性能的挑战erful计算系统,如气候建模、燃烧、材料科学或天体物理模拟。

引用为

Peer-Timo Bremer、Bernd Mohr、Valerio Pascucci和Martin Schulz。将性能分析和可视化与高级极限规模计算联系起来(Dagstuhl Perspectives Workshop 14022)。在《达格斯图尔报告》第4卷第1期第17-35页,达格斯图宫-莱布尼茨-泽特鲁姆宫(2014)


将BibTex复制到剪贴板

@第{条bremer_et_al:DagRep.4.1.17,author={Bremer、Peer-Timo和Mohr、Bernd和Pascucci、Valerio和Schulz、Martin},title={{连接性能分析和可视化以推进极限规模计算(Dagstuhl Perspectives Workshop 14022)}},页数={17--35},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={Bremer、Peer-Timo和Mohr、Bernd和Pascucci、Valerio和Schulz、Martin},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.17},URN={URN:nbn:de:0030-drops-45166},doi={10.4230/DagRep.4.117},annote={关键词:大规模数据表示和分析,Exascale类机器优化,性能数据分析和根本原因检测,高维}}
文件
关键基础设施的随机时间和混合模型(Dagstuhl研讨会14031)

作者:ErikaÁbrahám、Alberto Avritzer、Anne Remke和William H.Sanders


摘要
本报告记录了Dagstuhl研讨会14031“关键基础设施的随机时间和混合模型”的计划和结果。关键基础设施,如电网、水和天然气配送网络,对我们的社会和经济运行至关重要。随机时间模型和混合模型似乎是其建模的自然选择,并且具有用于其分析的现有算法和工具支持。然而,一方面,关键基础设施社区尚未充分利用随机时间和混合模型的最新进展。另一方面,现有算法尚不适用于关键基础设施中出现的特殊问题。这次研讨会汇集了来自与这些字段通信相互交流知识、经验和需求。

引用为

埃里卡·阿布拉姆、阿尔贝托·阿弗里策、安妮·雷姆克和威廉·桑德斯。关键基础设施的随机时间和混合模型(Dagstuhl研讨会14031)。在《达格斯图尔报告》第4卷第1期第36-82页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2014)


将BibTex复制到剪贴板

@第{abraham_et_al:DagRep.4.1.36条,作者={\'{A} 吹牛\'{a} 米埃里卡和阿弗里策、阿尔贝托和雷姆克、安妮和桑德斯、威廉·H·}、,title={{关键基础设施的随机时间和混合模型(Dagstuhl研讨会14031)}},页数={36--82},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},编辑器={\'{A} 吹牛\'{a} 米埃里卡和阿弗里策、阿尔贝托和雷姆克、安妮和桑德斯、威廉·H·}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36},URN={URN:nbn:de:0030-drops-45355},doi={10.4230/DagRep.4.1.36},annote={关键词:关键基础设施、智能电网、建模、随机定时和混合模型、分析}}
文件
以认知目标进行规划(Dagstuhl研讨会14032)

作者:托马斯·阿戈特斯(Thomas Agotnes)、格哈德·莱克梅耶(Gerhard Lakemeyer)、贝内迪克特·洛韦(Benedikt Löwe)和伯恩哈德·内贝尔(Bernhard Nebel)


摘要
本报告记录了Dagstuhl研讨会14032“有认识目标的规划”的成果。它汇集了迄今为止与人工智能和逻辑相关的相对独立研究领域的社区:一方面是自动化规划,另一方面是交互的动态逻辑。在动机、理论和方法上发现了显著的重叠,交叉受精的良好潜力变得明显。

引用为

托马斯·阿戈特斯(Thomas Agotnes)、格哈德·莱克梅耶(Gerhard Lakemeyer)、贝内迪克特·洛韦(Benedikt Löwe)和伯恩哈德·内贝尔(Bernhard Nebel)。有认识目标的规划(Dagstuhl研讨会14032)。在《达格斯图尔报告》第4卷第1期第83-103页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2014)


将BibTex复制到剪贴板

@文章{agotnes_et_al:DagRep.4.1.83,author={Agotnes、Thomas和Lakemeyer、Gerhard和L\“{o} 我们Benedikt和Nebel,Bernhard},title={{有认识目标的计划(达格斯图尔研讨会14032)}},页数={83--103},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={Agotnes、Thomas和Lakemeyer、Gerhard和L\“{o} 我们Benedikt和Nebel,Bernhard},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},URN={URN:nbn:de:0030-drops-45369},doi={10.4230/DagRep.4.1.83},annote={关键词:计划,认知逻辑,模态逻辑}}
文件
定量模型:表达、分析和新应用(Dagstuhl研讨会14041)

作者:Manfred Droste、Paul Gastin、Kim Gulstrand Larsen和Axel Legay


摘要
2014年1月19日至24日,“定量模型:表达性、分析和新应用”在Schloss Dagstuhl-Leibniz信息学中心举行。在研讨会期间,一些与会者介绍了他们目前的研究,并讨论了正在进行的工作和未决问题。本文汇集了研讨会期间所作演讲的摘要以及研讨会结果和想法的摘要。第一部分概述了研讨会的主题和目标。如果可用,还提供了延伸摘要或完整论文的链接。

引用为

曼弗雷德·德罗斯特(Manfred Droste)、保罗·加斯丁(Paul Gastin)、金·古斯特兰·拉森(Kim Gulstrand Larsen)和阿克塞尔·莱吉(Axel Legay)。定量模型:表达、分析和新应用(Dagstuhl研讨会14041)。在《达格斯图尔报告》第4卷第1期第104-124页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2014)


将BibTex复制到剪贴板

@第{droste_et_al:DagRep.4.1.104条,author={Droste、Manfred和Gastin、Paul和Larsen、Kim Gulstrand和Legay、Axel},title={{定量模型:表达、分析和新应用(Dagstuhl研讨会14041)}},页数={104--124},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={德罗斯特、曼弗雷德和加斯丁、保罗和拉森、金·古斯特兰德和莱吉、阿克塞尔},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104},URN={URN:nbn:de:0030-drops-45374},doi={10.4230/DagRep.4.1104},annote={关键词:定量模型,定量分析,定时和混合系统,概率系统,加权自动机,系统生物学,智能电网}}
文件
Do It Yourself networking:一种跨学科方法(Dagstuhl Seminar 14042)

作者:Panayotis Antoniadis、Jörg Ott和Andrea Passarella


摘要
本报告概述了达格斯图尔研讨会的组织、项目和成果,题为“自我实现网络化:跨学科视角”。我们首先激发了对公共互联网以外的无线网络的兴趣,并选择了不同的专业领域。然后,我们描述了将这些领域的代表组成一个平衡的小组的过程,以及研讨会随时间的演变。由不同小组成员共同编辑的关于特定应用领域小组工作和失败概念探索的互动概述总结了研讨会的主要成果。最后,我们总结了一些重要的经验教训,以促进跨学科合作,并总结了我们构建研究人员和活动家DIY网络社区的计划。

引用为

Panayotis Antoniadis、Jörg Ott和Andrea Passarella。自己动手建立网络:一种跨学科的方法(Dagstuhl研讨会14042)。在《达格斯图尔报告》第4卷第1期第125-151页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2014)


将BibTex复制到剪贴板

@条款{antoniadis_et_al:DagRep.4.1.125,author={Antoniadis,Panayotis和Ott,J“{o} rg公司和安德烈亚·帕萨雷拉,title={{Do It Yourself networking:一种跨学科方法(Dagstuhl Seminar 14042)}},页数={125--151},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={Antoniadis,Panayotis和Ott,J“{o} rg公司和安德烈亚·帕萨雷拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.125},URN={URN:nbn:de:0030-drops-45384},doi={10.4230/DagRep.4.1125},annote={关键词:社区无线网络、移动网络、延迟容忍网络、自组织网络、城市信息学、社区信息学、城市规划跨学科}}
文件
无线通信算法(Dagstuhl研讨会14051)

作者:盖伊·埃文、马格努斯·霍尔多森、伊冯·安妮·皮诺莱和克里斯蒂安·谢德勒


摘要
本报告记录了Dagstuhl研讨会14051“无线通信算法”的会谈和讨论。此次演讲代表了无线网络领域的广泛工作。无线通信的主题在许多领域继续增长,各种背景下的无线网络的新应用和部署正在被报道。这里的讨论重点是讨论无线网络模型、算法结果和实际部署。

引用为

盖伊文、马格努斯·霍尔多森、伊冯·安妮·皮诺莱和克里斯蒂安·谢德勒。无线通信算法(Dagstuhl研讨会14051)。《达格斯图尔报告》第4卷第1期第152-169页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔Informatik(2014)


将BibTex复制到剪贴板

@第{even_et_al:DagRep.4.1.152条,author={Even、Guy和Halldorson、Magnus和Pignolet、Yvonne Anne和Scheidler、Christian},title={{无线通信算法(Dagstuhl研讨会14051)}},页数={152--169},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},editor={Even、Guy和Halldorson、Magnus和Pignolet、Yvonne Anne和Scheidler、Christian},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.152},URN={URN:nbn:de:0030-drops-45397},doi={10.4230/DagRep.4.1152},annote={关键词:无线,算法,模型,复杂性}}
文件
数据共享中的道德规范(Dagstuhl研讨会14052)

作者:朱莉·科恩(Julie E.Cohen)、斯文·迪特里希(Sven Dietrich)、艾科·普拉斯(Aiko Pras)、莱诺尔·扎克(Lenore D.Zuck)和希尔德布兰·米雷尔(Hildebrand Mireille)


摘要
本报告记录了Dagstuhl研讨会14052“数据共享道德”的计划和成果。研讨会汇集了计算机科学家、伦理学家和法律学者,讨论了“数据共享中的道德”这一主题

引用为

朱莉·科恩(Julie E.Cohen)、斯文·迪特里希(Sven Dietrich)、艾科·普拉斯(Aiko Pras)、莱诺尔·扎克(Lenore D.Zuck)和希尔德布兰·米雷尔(Hildebrand Mireille)。数据共享中的道德规范(Dagstuhl研讨会14052)。在《达格斯图尔报告》第4卷第1期第170-183页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2014)


将BibTex复制到剪贴板

@第{cohen_et_al:DagRep.4.1.170条,作者={Cohen、Julie E.和Dietrich、Sven和Pras、Aiko和Zuck、Lenore D.和Hildebrand Mireille},title={{数据共享中的道德(Dagstuhl研讨会14052)}},页数={170--183},日志={Dagstuhl报告},ISSN={2192-5283},年份={2014},体积={4},数字={1},编辑={科恩、朱莉·E·和迪特里希、斯文和普拉斯、艾科和扎克、勒诺·D·和希尔德布兰·米雷尔},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.170},URN={URN:nbn:de:0030-drops-45418},doi={10.4230/DagRep.4.1.170},annote={关键词:道德,数据共享实践,数据传播,跨境道德,匿名,卫生}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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