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



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
Dagstuhl报告,第7卷,第4期,2017年4月,完整版

引用为

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


将BibTex复制到剪贴板

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

摘要
目录,Frontmatter

引用为

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


将BibTex复制到剪贴板

@第{DagRep.7.4.i条,title={{Dagstuhl Reports,目录,第7卷,第4期,2017年}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={7},数字={4},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.7.4.i},URN={URN:nbn:de:0030-drops-84349},doi={10.4230/DagRep.7.4.i},annote={关键词:Dagstuhl报告,目录,第7卷,第4期,2017年}}
文件
算法设计和分析中的概率方法(达格斯图尔研讨会17141)

作者:博多·曼泰(Bodo Manthey)、克莱尔·马修(Claire Mathieu)、海科·罗琳(Heiko Röglin)和埃利·厄普法尔(Eli Upfal)


摘要
本报告记录了17141年达格斯图尔研讨会“算法设计和分析中的概率方法”的计划和成果。概率方法在理论计算机科学中起着核心作用。它们是一种强大且应用广泛的工具,例如,用于设计高效的随机算法和建立复杂性理论中的各种下限。它们还构成了平均情况和平滑分析等框架的基础,在这些框架中,算法的分析超出了经典的最坏情况视角。研讨会是关于概率方法的,重点是算法的设计和分析。研讨会有助于巩固研究成果,并促进在算法设计和分析的不同领域使用概率方法的研究人员之间的合作。

引用为

博多·曼泰(Bodo Manthey)、克莱尔·马修(Claire Mathieu)、海科·罗格林(Heiko Röglin)和埃利·厄普法尔(Eli Upfal)。算法设计和分析中的概率方法(Dagstuhl研讨会17141)。《达格斯图尔报告》,第7卷,第4期,第1-22页,达格斯图宫——莱布尼兹·泽特鲁姆宫(2017)


将BibTex复制到剪贴板

@文章{manthey_et_al:DagRep.7.4.1,author={Manthey、Bodo和Mathieu、Claire和R“{o} 格林Heiko和Upfal,Eli},title={{算法设计和分析中的概率方法(达格斯图尔研讨会17141)}},页数={1--22},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={4},editor={Manthey、Bodo和Mathieu、Claire和R“{o} 格林Heiko和Upfal,Eli},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.1},URN={URN:nbn:de:0030-drops-75452},doi={10.4230/DagRep.7.4.1},annote={关键词:算法分析,平均案例分析,随机图,随机算法,平滑分析,次线性算法}}
文件
形式化变换方法(17142年达格斯图尔研讨会)

作者:Emmanuel Filiot、Sebastian Maneth和Helmut Seidl


摘要
达格斯图尔研讨会的目标是聚集研究单词和树结构转换(也称为转换)理论和实践的研究人员,这些转换是通过传感器(带输出的自动机)实现的。这次研讨会的动机是在单词和树的设置方面取得的最新进展和突破性成果。

引用为

Emmanuel Filiot、Sebastian Maneth和Helmut Seidl。形式变换方法(达格斯图尔研讨会17142)。Dagstuhl报告,第7卷第4期,第23-37页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2017)


将BibTex复制到剪贴板

@第{filiot_et_al:DagRep.7.4.23条,author={菲利奥特、伊曼纽尔和马内斯、塞巴斯蒂安和塞德尔、赫尔穆特},title={{变换的形式方法(达格斯图尔研讨会17142)}},页数={23--37},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={4},editor={菲利奥特(Filiot)、伊曼纽尔(Emmanuel)和马内斯(Maneth)、塞巴斯蒂安(Sebastian)和塞德尔(Seidl)、赫尔穆特(Helmut)},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.23},URN={URN:nbn:de:0030-drops-75462},doi={10.4230/DagRep.7.4.23},annote={关键词:字符串变换器,树变换器,表现力,复杂性}}
文件
环境通知环境(达格斯图尔研讨会17161)

作者:Lewis Chuang、Sven Gehring、Judy Kay和Albrecht Schmidt


摘要
直接通知呈指数级增长。在我们这个时代,许多个人计算设备和应用程序都在争夺有限的注意力,争先恐后地向我们传递大量信息。这通常会导致用户被通知和对其常规日程的中断所淹没,对他们来说,完全避免使用技术似乎是唯一可行的选择。换言之,目前的通知交付方法是不可持续的,不会扩大。在17161年的达格斯图尔研讨会“环境通知环境”中,我们汇集了与智能家居、环境智能、人机交互、活动识别和心理学相关的不同领域的专家,讨论了一种潜在的替代方法:环境通知。我们探讨了环境通知如何通过提供环境中嵌入的相关信息来支持人们的日常活动。其目的是促进在适当的时间和地点以不引人注目的方式访问信息,从而减少通常与直接通知相关的干扰和烦恼。在这份报告中,我们提出了研究界如何努力实现环境通知的众多想法和概念。这是基于研讨会期间的介绍和活动。总的来说,社区一致认为,当前的通知方法不会扩展,环境通知是一种潜在的解决方案。

引用为

Lewis Chuang、Sven Gehring、Judy Kay和Albrecht Schmidt。环境通知环境(Dagstuhl研讨会17161)。《达格斯图尔报告》第7卷第4期第38-82页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{条创_额:DagRep.7.4.38,author={Chuang、Lewis和Gehring、Sven和Kay、Judy和Schmidt、Albrecht},title={环境通知环境(Dagstuhl研讨会17161)}},页数={38--82},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={4},editor={庄、刘易斯和杰林、斯文和凯、朱迪和施密特、阿尔布雷希特},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.38},URN={URN:nbn:de:0030-drops-75475},doi={10.4230/DagRep.7.4.38},annote={关键词:环境通知,Dagstuhl研讨会,技能转移}}
文件
在线隐私和网络透明度(达格斯图尔研讨会17162)

作者:娜塔莉娅·别洛娃、尼古拉·劳塔利斯、阿文德·纳拉亚南和尼克·尼基福拉基斯


摘要
本报告记录了17162年达格斯图尔研讨会“在线隐私和网络透明度”的项目和成果。此次研讨会汇集了来自欧美公司和研究机构的29名计算机科学、法律和政策参与者。为期2.5天的研讨会有一个内容丰富的项目,有25场研究讲座,接下来是7场简短的小组讨论,还有6场5分钟的讲座。在线隐私和网络透明度是一个广泛的研究领域,包括检测网络和手机上的隐私泄露、测量网络上的跟踪技术、检测偏见和歧视的透明度工具,以及法律和法规如何从法律研究的角度解决这些问题,以及技术解决方案如何影响标准和法律。

引用为

娜塔莉娅·比洛娃、尼古拉·劳塔利斯、阿文德·纳拉亚南和尼克·尼基福拉基斯。在线隐私和网络透明度(达格斯图尔研讨会17162)。《达格斯图尔报告》第7卷第4期第83-106页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{条bielova_et_al:DagRep.7.4.83,作者={Bielova,Nataliia和Laoutaris,Nikolaos和Narayanan,Arvind和Nikiforakis,Nick},title={{在线隐私和网络透明度(Dagstuhl研讨会17162)}},页数={83--106},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={4},editor={比埃洛娃、娜塔莉亚和劳塔利斯、尼古拉斯和纳拉亚南、阿尔文德和尼基福拉基斯、尼克},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.83},URN={URN:nbn:de:0030-drops-75483},doi={10.4230/DagRep.7.4.83},annote={关键词:大数据,隐私增强技术,透明度,用户歧视,网络隐私}}
文件
计算几何(17171年达格斯图尔研讨会)

作者:Orfried Cheong、Anne Driemel和Jeff Erickson


摘要
本报告记录了17171年达格斯图尔研讨会“计算几何”的项目和成果。研讨会于2017年4月23日至28日举行,来自各国的47名与会者出席了研讨会。会议介绍了计算几何的最新进展,并确定了新的挑战。该报告收集了研讨会上提出的会谈摘要和公开问题。

引用为

Orfried Cheong、Anne Driemel和Jeff Erickson。计算几何(达格斯图尔研讨会17171)。在《达格斯图尔报告》第7卷第4期第107-127页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{cheong_et_al:DagRep.7.4.107条,作者={Cheong,Orfried and Driemel,Anne and Erickson,Jeff},title={{计算几何(达格斯图尔研讨会17171)}},页数={107--127},日志={Dagstuhl报告},ISSN={2192-5283},年份={2017年},体积={7},数字={4},editor={Cheong,Orfried and Driemel,Anne and Erickson,Jeff},编辑,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.4.107},URN={URN:nbn:de:0030-drops-82771},doi={10.4230/DagRep.7.4.107},annote={关键词:算法、应用、组合学、复杂性、几何计算、高维计算几何、实现、监控和形状数据}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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