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



缩略图PDF

出版物详细信息


访问号码

文件

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

摘要
Dagstuhl报告,第9卷,第3期,2019年3月,完整版

引用为

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


将BibTex复制到剪贴板

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

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

引用为

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


将BibTex复制到剪贴板

@第{DagRep.9.3.i条,title={{Dagstuhl Reports,目录,第9卷,第3期,2019}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.9.3.i},URN={URN:nbn:de:0030-drops-114522},doi={10.4230/DagRep.9.3.i},annote={Keywords:目录,Frontmatter}}
文件
可预测互联系统的分析、设计和控制(19101年达格斯图尔研讨会)

作者:Kunal Agrawal、Enrico Bini和Giovanni Stea


摘要
我们称“互联系统”为任何系统集合分布在其行为受其影响的度量空间上社区。互联系统的例子存在于不同尺度:同一硅上的不同芯,不同车辆中的子系统,通过物理(例如,光纤)网络,或最近的虚拟化网络。示例也存在于与计算或通信。智能电网(能源生产、,配送和消费)和智能运输系统只是两个值得注意的例子。所有人的共同特征这些示例是空间分布需求的存在资源(能源、计算、通信带宽等)需要与空间分布的供应相匹配。经常不同类型的资源(例如。,虚拟化网络环境中的计算和链路带宽)需求同时匹配。时间可预测性是上述系统的一个关键要求。尽管如此,强大的市场压力往往导致“肮脏”的最佳解决方案,这使得预测此类系统的行为。研究团体已经发展出正式的可预测性理论专门用于每个应用程序域或资源类型(例如,实时系统或网络的可调度性分析通信系统微积分)。然而,新兴的应用程序域(虚拟化网络、网络物理系统、,等)显然需要统一、整体的方法。通过杠杆作用拥有该研讨会旨在解决不同领域的可预测性问题为支持可预测互联的分析、设计和控制系统。

引用为

Kunal Agrawal、Enrico Bini和Giovanni Stea。可预测互联系统的分析、设计和控制(19101年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第3期第1-15页,达格斯图-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@第{agrawal_et_al:DagRep.9.3.1条,author={Agrawal、Kunal和Bini、Enrico和Stea、Giovanni},title={可预测互联系统的分析、设计和控制(Dagstuhl研讨会19101)},页数={1--15},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={Agrawal、Kunal和Bini、Enrico和Stea、Giovanni},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.1},URN={URN:nbn:de:0030-drops-112882},doi={10.4230/DagRep.9.3.1},annote={关键词:分布式资源管理、网络演算、实时系统}}
文件
3D可变形模型(19102年达格斯图尔研讨会)

作者:伯恩哈德·艾格(Bernhard Egger)、威廉·史密斯(William Smith)、克里斯蒂安·西奥巴特(Christian Theobalt)和托马斯·维特(Thomas Vetter)


摘要
3D可变形模型是一种将形状和外观变化分离开来的统计对象模型。通常,它们被用作计算机图形和视觉中的统计先验。本报告总结了2019年3月3日至8日举行的Dagstuhl 3D可变形模型研讨会。这是第一次由更广泛的面部和身体3D可变形模型工作人员组成的专门会议。这场由26名研究人员参加的会议是在Siggraph上发表这项开创性工作20年后举行的。我们总结了此次研讨会的讨论、演示和结果。

引用为

伯恩哈德·艾格(Bernhard Egger)、威廉·史密斯(William Smith)、克里斯蒂安·西奥巴特(Christian Theobalt)和托马斯·维特(Thomas Vetter)。3D可变形模型(19102年达格斯图尔研讨会)。《达格斯图尔报告》第9卷第3期第16-38页,达格斯图宫-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@第{egger_et_al:DagRep.9.3.16条,author={Egger、Bernhard和Smith、William和Theobalt、Christian和Vetter、Thomas},title={{3D变形模型(19102年达格斯图尔研讨会)}},页数={16--38},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={Egger、Bernhard和Smith、William和Theobalt、Christian和Vetter、Thomas},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.16(https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.16)},URN={URN:nbn:de:0030-drops-112894},doi={10.4230/DagRep.9.3.16},annote={关键词:三维计算机视觉、分析与合成、计算机图形学、生成模型、统计建模}}
文件
存储系统的理论基础(19111年达格斯图尔研讨会)

作者:Martin Farach Colton、Inge Li Gørtz、Rob Johnson和Donald E.Porter


摘要
本报告记录了19111年达格斯图尔研讨会“存储系统的理论基础”的计划和成果此次研讨会汇集了来自两个不同社区的研究人员,即对外部存储器感兴趣的算法研究人员和对存储感兴趣的系统研究人员,目的是改进未来存储系统的设计。

引用为

Martin Farach Colton、Inge Li Gørtz、Rob Johnson和Donald E.Porter。存储系统的理论基础(19111年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第3期第39-51页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{farachcolton_et_al:DagRep.9.3.39条,author={Farach-Colton、Martin和G{\o}rtz、Inge Li和Johnson、Rob和Porter、Donald E,title={{存储系统的理论基础(19111年达格斯图尔研讨会)}},页数={39--51},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={Farach-Colton、Martin和G{\o}rtz、Inge Li和Johnson、Rob和Porter、Donald E,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.39},URN={URN:nbn:de:0030-drops-112909},doi={10.4230/DagRep.9.39},annote={关键词:存储系统,外部内存算法}}
文件
工程可靠性多智能体系统(19112年达格斯图尔研讨会)

作者:尤尔根·迪克斯、布莱恩·洛根和迈克尔·维尼科夫


摘要
本报告记录了19112年达格斯图尔研讨会“工程可靠多智能体系统”的计划和成果。本研讨会的目的是将来自不同科学学科的研究人员聚集在一起,例如自治系统的软件工程、软件验证和人工智能的相关子领域,例如伦理学和机器学习,以讨论(多)智能体系统尤其是自治系统的可靠性这一新兴主题。研讨会的最终目的是为工程可靠自主系统制定一个新的研究议程。

引用为

尤根·迪克斯(Jürgen Dix)、布莱恩·洛根(Brian Logan)和迈克尔·维尼科夫(Michael Winikoff)。工程可靠多智能体系统(19112年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第3期第52-63页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{dix_et_al:DagRep.9.3.52条,author={迪克斯,J“{u} rgen公司以及Logan、Brian和Winikoff、Michael},title={{可靠工程多智能体系统(19112年达格斯图尔研讨会)}},页数={52--63},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={Dix,J\“{u} rgen公司还有洛根、布莱恩和威尼科夫、迈克尔,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.52},URN={URN:nbn:de:0030-drops-112912},doi={10.4230/DagRep.9.352},annote={关键词:面向代理编程、多代理系统、可靠性、软件和验证方法}}
文件
离散问题的计算复杂性(19121年达格斯图尔研讨会)

作者:Anna Gál、Rahul Santhanam和Till Tantau


摘要
以下报告记录了2019年3月19121年达格斯图尔研讨会“离散问题的计算复杂性”的演讲和活动。第1节总结了本周选定会谈的主题和一些具体结果。第2节提供了一个目录,按字母顺序列出了每个演讲。第3节包含摘要,指出主要参考文献和其他相关来源(如适用),以便读者进一步研究主题。

引用为

Anna Gál、Rahul Santhanam和Till Tantau。离散问题的计算复杂性(19121年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第3期第64-82页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{gal_et_al:DagRep.9.3.64条,author={G\'{a} 我,Anna和Santhanam,Rahul和Tantau,Till,title={{离散问题的计算复杂性(Dagstuhl研讨会19121)}},页数={64--82},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},编辑器={G\'{a} 我、安娜和桑塔南、拉胡尔和坦套、蒂尔}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.64},URN={URN:nbn:de:0030-drops-112920},doi={10.4230/DagRep.9.364},annote={关键词:电路复杂性、通信复杂性、计算复杂性、参数化、随机性}}
文件
群论中的算法问题(19131年达格斯图尔研讨会)

作者:沃尔克·迪克特(Volker Diekert)、奥尔加·哈兰波维奇(Olga Kharlampovich)、马库斯·洛伊(Markus Lohrey)和亚历克谢·米亚斯尼科夫(Alexei Myasnikov)


摘要
自早期以来,组合群理论就与可计算性理论紧密交织在一起。在过去的20年里,我们看到了群论和计算机科学之间许多新的成功互动。一方面,群在复杂性理论和自动机理论的许多发展中发挥了重要作用。另一方面,来自这些计算机科学领域的概念以及有效的算法、密码学和数据压缩导致了群论中新问题的提出。达格斯图尔(Dagstuhl)群论算法问题研讨会旨在将群论和计算机科学的研究人员聚集在一起,以便他们能够分享他们的专业知识。本报告记录了研讨会期间提交的材料。

引用为

沃尔克·迪克特(Volker Diekert)、奥尔加·哈兰波维奇(Olga Kharlampovich)、马库斯·洛伊(Markus Lohrey)和亚历克谢·米亚斯尼科夫(Alexei Myasnikov)。群论中的算法问题(19131年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第3期第83-110页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{diekert_et_al:DagRep.9.3.83条,作者={Diekert,Volker和Kharlampovich,Olga和Lohrey,Markus和Myasnikov,Alexei},title={{群论中的算法问题(Dagstuhl Seminar 19131)}},页数={83--110},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={Diekert、Volker和Kharlampovich、Olga和Lohrey、Markus和Myasnikov、Alexei},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.83},URN={URN:nbn:de:0030-drops-112939},doi={10.4230/DagRep.9.3.83},annote={关键词:算法群论;一般复杂度;电路复杂度;丢番图理论}}
文件
用户和自动驾驶系统:我们将如何与未来的车辆互动?(19132年达格斯图尔研讨会)

作者:Susanne Boll、Andrew L.Kun、Andreas Riener和C.Y.David Yang


摘要
在当今的车辆中,驾驶任务越来越多地由驾驶员和车辆分担。预计在可预见的未来,这将成为常态,而不是例外:在某些路段,驾驶任务将实现自动化,司机将成为乘客。因此,我们需要设计具有部分自动化甚至完全自动化的汽车用户界面。这就是提议和举办这次研讨会的根本动机。在Dagstuhl研讨会上,提出了六个相互关联的关键研究问题:第一,“如何设计用户界面来支持驾驶员从乘客角色转变为驾驶员角色?”。第二,“当车辆由自动化控制时,用户界面如何支持驾驶员的工作和娱乐?”第三,“我们如何支持所有交通用户之间的通信,从驾驶员到行人,再到骑自行车的人?”。此外,我们探讨了“汽车用户界面的设计如何影响对自动化的信任?”并最终讨论了“增强现实显示或高级口语对话系统等新技术如何支持驾驶员和其他人在部分自动化和全自动化车辆内和周围?”。作为一个总括性主题,“所有这些问题如何与部署汽车用户界面的法律方面相关?”这一问题也得到了与会者的高度关注和热烈讨论。19132年的达格斯图尔研讨会是2016年达格斯图研讨会16262“自动化时代的汽车用户界面”的后续活动,再次汇聚了HCI、心理学、认知科学、人类因素、,汽车行业/原始设备制造商和积极参与标准化过程的人员讨论自动化驾驶过程中的关键问题。

引用为

Susanne Boll、Andrew L.Kun、Andreas Riener和C.Y.David Yang。用户和自动驾驶系统:我们将如何与未来的车辆互动?(19132年达格斯图尔研讨会)。《达格斯图尔报告》第9卷第3期第111-178页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{boll_et_al:DagRep.9.3.111条,作者={Boll,Susanne和Kun,Andrew L.和Riener,Andreas和Yang,C.Y.David},title={{用户和自动驾驶系统:我们将如何与明天的车辆互动?(Dagstuhl研讨会19132)}},页数={111--178},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},editor={波尔、苏珊娜和坤、安德鲁·L·和里纳、安德烈亚斯和杨、C.Y.大卫},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.111},URN={URN:nbn:de:0030-drops-112944},doi={10.4230/DagRep.9.111},annote={关键词:汽车用户界面;驾驶员-车辆交互服务;驾驶中的用户体验;车辆/用户界面的定制;(过度)信任;道德问题}}
文件
可编程网络数据平面(19141年达格斯图尔研讨会)

作者:吉安尼·安蒂奇(Gianni Antichi)、提奥菲卢斯·本森(Theophilus Benson)、内特·福斯特(Nate Foster)、费尔南多·拉莫斯(Fernando M.V.Ramos)和贾斯汀·雪莉(Justine Sherry)


摘要
软件定义网络(SDN)开始了网络的“软件化”。通过将控制平面重新定位到一台逻辑集中的机器上,SDN使程序员能够在软件中直接指定网络的行为,从而在网络研究社区和行业中引发了重大变革。然而,原始SDN愿景的一个关键限制是OpenFlow等协议中暴露的有限功能。最近开发可重构数据平面和高级网络编程语言的努力使得真正对数据平面进行编程成为可能,即改变网络设备上处理数据包的方式。对网络(控制和数据平面)进行全面编程的能力预计将在未来几年对网络领域产生深远影响。在这次研讨会上,我们讨论了未来10年在可编程数据平面领域要解决的关键问题,以及它们将如何潜在地塑造网络的未来。作为结果,我们现在正在制定一项研究议程,作为与网络研究人员、从业者和整个行业进行讨论的开始。本报告是朝着这一目标迈出的第一步。

引用为

吉安尼·安蒂奇(Gianni Antichi)、提奥菲卢斯·本森(Theophilus Benson)、内特·福斯特(Nate Foster)、费尔南多·拉莫斯(Fernando M.V.Ramos)和贾斯汀·雪莉(Justine Sherry)。可编程网络数据平面(Dagstuhl Seminar 19141)。在《达格斯图尔报告》第9卷第3期第178-201页,达格斯图-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@第{antichi_et_al:DagRep.9.3.178条,author={安提奇、吉安尼和本森、提奥菲卢斯和福斯特、内特和拉莫斯、费尔南多·M.V.和雪莉·贾斯汀},title={{可编程网络数据平面(Dagstuhl Seminar 19141)}},页数={178--201},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={3},编辑={Antichi,Gianni和Benson,Theophilus和Foster,Nate和Ramos,Fernando M.V.和Sherry,Justine},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.178},URN={URN:nbn:de:0030-drops-112958},doi={10.4230/DagRep.9.3.178},annote={关键词:可编程数据平面、软件定义网络、可编程网络}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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