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



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
Dagstuhl Reports,第6卷,第11期,2016年11月,完整版

引用为

《达格斯图尔报告》,第6卷,第11期,达格斯图-莱布尼兹·泽特鲁姆宫(2017)


将BibTex复制到剪贴板

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

摘要
目录,Frontmatter

引用为

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


将BibTex复制到剪贴板

@第{DagRep.6.11.i条,title={{Dagstuhl Reports,目录,第6卷,第11期,2016年}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.6.11.i},URN={URN:nbn:de:0030-drops-71122},doi={10.4230/DagRep.6.11.i},annote={关键词:Dagstuhl报告,目录,第6卷,2016年第11期}}
文件
P中的结构和硬度(达格斯图尔研讨会16451)

作者:Moshe Lewenstein、Seth Pettie和Virginia Vassilevska Williams


摘要
本文件描述了16451年达格斯图尔研讨会“P的结构和硬度”上的会谈。研讨会的主要目标是将来自多个学科的研究人员聚集在一起,将致力于证明条件下限的研究人员与那些可能从中受益的研究人员联系起来。这导致了一个广泛的开放问题列表,也提供了该列表。

引用为

Moshe Lewenstein、Seth Pettie和Virginia Vassilevska Williams。P中的结构和硬度(达格斯图尔研讨会16451)。《达格斯图尔报告》,第6卷,第11期,第1-34页,达格斯图宫——莱布尼兹·泽特鲁姆宫(2017)


将BibTex复制到剪贴板

@第{条lewenstein_et_al:DagRep.6.11.1,author={Lewenstein、Moshe和Pettie、Seth和Vassilevska Williams,弗吉尼亚州},title={{P中的结构和硬度(达格斯图尔研讨会16451)}},页数={1--34},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Lewenstein、Moshe和Pettie、Seth和Vassilevska Williams,弗吉尼亚州},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.1},URN={URN:nbn:de:0030-drops-70373},doi={10.4230/DagRep.6.11.1},annote={关键词:算法等价性,分类P,硬度假设,下限}}
文件
超越平面图:算法和组合学(达格斯图尔研讨会16452)

作者:Sok Hee Hong、Michael Kaufmann、Stephen G.Kobourov和János Pach


摘要
本报告总结了Dagstuhl研讨会16452“超平面图:算法和组合数学”,并记录了会谈和讨论。研讨会汇集了图论、组合学、计算几何和图形绘制领域的29名研究人员。人们的共同兴趣是探索所谓超平面图的结构特性和算法的发展,即具有拓扑约束的非平面图,例如特定类型的交叉,或具有某些禁止交叉模式的非平面图形。研讨会首先由不同领域的专家进行了三次介绍性发言。本报告收集了这些会谈的摘要。接下来,我们讨论并分组了关于超平面图的开放研究问题,例如它们的组合结构(例如厚度、交叉数、着色)、拓扑(例如字符串图表示)、几何表示(例如直线图、可见性表示、接触表示),和应用程序(例如,用于真实网络可视化的算法)。成立了四个工作组,每个工作组的报告都包含在这里。

引用为

Sok-Hee Hong、Michael Kaufmann、Stephen G.Kobourov和János Pach。超平面图:算法和组合学(Dagstuhl研讨会16452)。《达格斯图尔报告》,第6卷,第11期,第35-62页,达格斯图宫-莱布尼茨-泽特鲁姆-富尔信息技术馆(2017)


将BibTex复制到剪贴板

@第{hong_et_al:DagRep.6.11.35条,author={Hong、Sok-Hee和Kaufmann、Michael和Kobourov、Stephen G.和Pach,J\'{a} 个},title={{超越平面图:算法与组合学(Dagstuhl研讨会16452)}},页数={35--62},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Hong、Sok-Hee和Kaufmann、Michael和Kobourov、Stephen G.和Pach,J’{a} 个},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.35},URN={URN:nbn:de:0030-drops-70385},doi={10.4230/DagRep.6.11.35},annote={关键词:图形绘制,图形算法,图论,几何算法,组合几何,可视化}}
文件
评估社会技术系统中的ICT安全风险(Dagstuhl研讨会16461)

作者:Tyler W.Moore、Christian W.Probst、Kai Rannenberg和Michel van Eeten


摘要
本报告记录了16461年Dagstuhl研讨会“评估社会技术系统中的信息通信技术安全风险”的计划和成果。随着我们从传统的机械或电气生产系统,到信息通信技术系统,再到社会技术系统的发展,风险评估变得越来越复杂和困难。传统工程系统的风险评估假设系统具有确定性。在非确定性系统中,标准程序是固定那些非确定性因素。这些技术无法扩展到ICT系统,因为在ICT系统中,由于非实质性的信息的性质。除了信息和通信技术系统外,社会技术系统还包含作为系统组成部分的人类行动者。在这样的社会技术系统中,系统、环境和人类参与者,特别是内部人员之间可能会发生无法预料的交互作用。评估社会技术系统及其经济环境的ICT安全风险需要集成相关社会技术安全指标的方法和工具。在这次研讨会上,我们研究了评估社会技术系统及其经济环境中ICT安全风险的系统方法和工具。特别是,我们寻找了新的安全风险评估方法,该方法集成了不同类型的社会技术安全度量。

引用为

Tyler W.Moore、Christian W.Probst、Kai Rannenberg和Michel van Eeten。评估社会技术系统中的ICT安全风险(Dagstuhl研讨会16461)。《达格斯图尔报告》第6卷第11期第63-89页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@文章{moore_et_al:DagRep.6.11.63,author={摩尔、泰勒·W·和普罗布斯特、克里斯蒂安·W·和兰恩伯格、凯和范·伊滕、米歇尔·},title={{评估社会技术系统中的ICT安全风险(Dagstuhl研讨会16461)}},页数={63--89},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={摩尔、泰勒·W·和普罗布斯特、克里斯蒂安·W·和兰恩伯格、凯和范·伊滕、米歇尔·},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.63},URN={URN:nbn:de:0030-drops-70390},doi={10.4230/DagRep.6.11.63},annote={关键词:风险评估经济学、人为因素、安全投资回报、安全风险管理、社会技术安全}}
文件
基于绘画的图像压缩(Dagstuhl研讨会16462)

作者:Christine Guillemot、Gerlind Plonka Hoch、Thomas Pock和Joachim Weickert


摘要
基于修复的图像压缩是一种新兴的范式,用于以与流行的基于变换的方法(如JPEG)完全不同的方式压缩视觉数据。其基本思想听起来很简单:只存储一小部分精心选择的数据,这将大大减少文件大小。在解码阶段,通过适当的修复过程对丢失的数据进行插值。它将已知数据中的信息传播到没有存储任何信息的区域,例如通过解偏微分方程或通过巧妙的复制和粘贴机制。基于绘画的编解码器(编码器和解码器)比基于变换的编解码器更直观,它们更接近我们大脑中的生物机制,第一个结果表明,它们可能在高压缩率下提供有希望的性能。然而,在这些想法切实可行之前,必须首先解决一些困难的基本问题。例如,它们涉及数据和修复操作符的选择、编码策略以及高效数值算法的搜索。这需要数据压缩、修复、优化、近似理论、数值算法和生物视觉方面的专家的协作。在这次达格斯图尔研讨会上,我们汇集了来自各方的顶尖研究人员这些字段首次出现。它促成了一场富有成果和鼓舞人心的互动,这将成为未来进步的基础。

引用为

克里斯汀·吉列莫特(Christine Guillemot)、杰林德·普隆卡(Gerlind Plonka-Hoch)、托马斯·波克(Thomas Pock)和约阿希姆·威克特(Joachim Weickert)。基于绘画的图像压缩(Dagstuhl研讨会16462)。《达格斯图尔报告》第6卷第11期第90-107页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{guillemot_et_al:DagRep.6.11.90条,author={Guillemot、Christine和Plonka-Hoch、Gerlind和Pock、Thomas和Weickert、Joachim},title={{基于绘画的图像压缩(Dagstuhl研讨会16462)}},页数={90--107},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Guillemot、Christine和Plonka-Hoch、Gerlind和Pock、Thomas和Weickert、Joachim},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.90},URN={URN:nbn:de:0030-drops-70406},doi={10.4230/DagRep.6.11.90},annote={关键词:近似、修复、插值、有损图像压缩、优化、偏微分方程(PDE)、稀疏}}
文件
弱记忆模型的并发性(Dagstuhl研讨会16471)

作者:Jade Algale、Patrick Cousot和Caterina Urban


摘要
本报告记录了Dagstuhl研讨会16471“弱记忆模型的并发:语义、语言、编译、验证、静态分析和合成”的计划和结果。研讨会的目的是将来自不同领域的人们聚集在一起,包括理论家、验证从业者以及硬件供应商,以便建立一个长期的研究计划,以设计正式方法并开发工具,确保现代多处理器架构上并发程序的正确性。

引用为

Jade Algale、Patrick Cousot和Caterina Urban。弱记忆模型的并发性(Dagstuhl研讨会16471)。《达格斯图尔报告》第6卷第11期第108-128页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{alglave_et_al条:DagRep.6.11.108,author={Algale、Jade和Cousot、Patrick和Urban、Caterina},title={{弱记忆模型的并发(Dagstuhl研讨会16471)}},页数={108--128},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Algale、Jade和Cousot、Patrick和Urban、Caterina},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.08},URN={URN:nbn:de:0030-drops-70415},doi={10.4230/DagRep.6.11.08},annote={关键词:编译,计算机内存,并发,内存屏障,内存排序,微体系结构,多处理器,无序执行,并行,程序合成,编程语言,语义,静态分析,验证,弱内存模型}}
文件
QoE Vadis?(达格斯图尔观点研讨会16472)

作者:马库斯·菲德勒(Markus Fiedler)、塞巴斯蒂安·莫勒(Sebastian Möller)、彼得·赖歇(Peter Reichl)和闵谢(Min Xie)


摘要
本报告记录了Dagstuhl Perspectives Workshop 16472“QoE Vadis?”的计划和成果,此前举行了三次Dagstuhel研讨会09192“从服务质量到体验质量”(2009年)和12181“体验质量:从用户感知到工具度量”(2012年),和15022“经验质量:从评估到应用”(2015年)。正如这个名字所暗示的那样,视角研讨会旨在共同批判性地思考体验质量(QoE)研究的未来视角和方向。本报告反映了研讨会的组织情况。它还提供了一系列个人陈述和反馈(通过创新的“Advoctus Diaboli”方法),以及与用户体验(UX)领域的求婚。最后,对即将发表的《达格斯图尔宣言》中的建议进行了概述。

引用为

马库斯·菲德勒(Markus Fiedler)、塞巴斯蒂安·莫勒(Sebastian Möller)、彼得·雷切尔(Peter Reichl)和谢敏(Min Xie)。QoE瓦迪斯?(Dagstuhl Perspectives Workshop 16472)。《达格斯图尔报告》第6卷第11期第129-141页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{fiedler_et_al:DagRep.6.11.129条,author={菲德勒、马库斯和M“{o} 勒、塞巴斯蒂安(Sebastian)和瑞奇(Reichl)、彼得(Peter)和谢(Xie)、敏(Min}),title={{QoE Vadis?(Dagstuhl Perspectives Workshop 16472)}},页数={129--141},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Fiedler、Markus和M\“{o} 勒、塞巴斯蒂安(Sebastian)和瑞奇(Reichl)、彼得(Peter)和谢(Xie)、敏(Min}),publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.29},URN={URN:nbn:de:0030-drops-71056},doi={10.4230/DagRep.6.1129},annote={关键词:多媒体、网络和应用程序管理、网络质量监控和测量、体验质量、社会经济和商业方面的用户体验}}
文件
核和高斯过程学习的新方向(Dagstuhl研讨会16481)

作者:阿瑟·格雷顿(Arthur Gretton)、菲利普·亨尼(Philipp Hennig)、卡尔·爱德华·拉斯穆森(Carl Edward Rasmussen)和伯恩哈德·舍尔科夫(Bernhard Schölkopf)


摘要
16481年的达格斯图尔研讨会“使用核和高斯过程学习的新方向”在该领域的关键时刻汇集了机器学习社区的两个主要理论阵营。核方法和高斯过程模型共同构成了该学科基础的重要组成部分,但它们的重要性正在减弱,而更精细但理解不足的层次模型则占主导地位。在一次生动、亲切的研讨会上,与会者重新发现了共同的概念基础(以及一些持续的分歧点),并富有成效地讨论了如何在该主题的繁忙阶段保持理论严谨的相关性。

引用为

Arthur Gretton、Philipp Hennig、Carl Edward Rasmussen和Bernhard Schölkopf。核和高斯过程学习的新方向(Dagstuhl研讨会16481)。在《达格斯图尔报告》第6卷第11期第142-167页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@文章{gretton_et_al:DagRep.6.11.142,author={Gretton、Arthur和Hennig、Philipp和Rasmussen、Carl Edward和Sch\“{o} lkopf公司,伯恩哈德},title={{核与高斯过程学习的新方向(Dagstuhl研讨会16481)}},页数={142--167},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Gretton、Arthur和Hennig、Philipp和Rasmussen、Carl Edward和Sch\“{o} lkopf公司,伯恩哈德},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.42},URN={URN:nbn:de:0030-drops-71064},doi={10.4230/DagRep.6.1142},annote={关键词:高斯过程,核方法,机器学习,概率数值,概率编程}}
文件
热带数学及其以外的算法和有效性(达格斯图尔研讨会16482)

作者:斯特芬·高伯特(Stéphane Gaubert)、迪玛·格里戈里耶夫(Dima Grigoriev)、迈克尔·乔斯维格(Michael Joswig)和托尔斯滕·西奥博尔德(Thorsten Theobald)


摘要
本报告记录了达格斯图尔算法和有效性研讨会发生在2016年11月27日至12月2日。该报告包含一名高管反映最新进展的会谈摘要在会议主题中。

引用为

斯特芬·高伯特(Stéphane Gaubert)、迪玛·格里戈里耶夫(Dima Grigoriev)、迈克尔·乔斯维格(Michael Joswig)和托尔斯滕·西奥博尔德(Thorsten Theobald)。热带数学及其以外的算法和有效性(达格斯图尔研讨会16482)。在《达格斯图尔报告》第6卷第11期第168-184页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{gaubert_et_al:DagRep.6.11.168条,author={高伯特,圣{e} 显影格里戈里耶夫、迪马和约瑟维格、迈克尔和西奥博尔德、托尔斯滕,title={{热带数学及其后的算法和有效性(达格斯图尔研讨会16482)}},页数={168--184},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={6},数字={11},editor={Gaubert,St\'{e} 显影格里戈里耶夫、迪马和约瑟维格、迈克尔和西奥博尔德、托尔斯滕,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.68},URN={URN:nbn:de:00030-drops-71073},doi={10.4230/DagRep.6.1168},annote={关键词:热带数学中的算法,复杂性,有效边界,优化,零和游戏}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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