达格斯图尔报告，第6卷，第1期

摘要

引用为

《达格斯图尔报告》，第6卷，第1期，达格斯图-莱布尼兹·泽特鲁姆宫（2016）

@第{DagRep.6.1条，title={达格斯图尔报告，第6卷，第1期，2016年1月，完整版}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1},URN={URN:nbn:de:0030-drops-61385}，doi={10.4230/DagRep.6.1}，annote={关键词：达格斯图尔报告，第6卷，第1期，2016年1月，完整版}}

摘要

引用为

《达格斯图尔报告》，第6卷，第1期，第i-ii页，达格斯图-莱布尼兹·泽特鲁姆宫（2016）

@第{DagRep.6.1.i条，title={{Dagstuhl Reports，目录，第6卷，第1期，2016年}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.6.1.i},URN={URN:nbn:de:0030-drops-61374}，doi={10.4230/DagRep.6.1.i}，annote={关键词：Dagstuhl报告，目录，第6卷，第1期，2016年}}

摘要

引用为

尼克·巴顿（Nick Barton）、佩尔·克里斯蒂安·莱雷（Per Kristian Lehre）和尼希特·维什诺伊（Nisheeth Vishnoi）。进化与计算（Dagstuhl研讨会16011）。在《达格斯图尔报告》第6卷第1期第1-14页，达格斯图宫-莱布尼茨-泽特鲁姆宫（2016）

@条款{barton_et_al:DagRep.6.1.1，author={巴顿、尼克和莱利、珀·克里斯蒂安和维什诺伊、尼希特}，title={{进化与计算（Dagstuhl研讨会16011）}}，页数={1--14}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Barton、Nick和Lehre、Per Kristian和Vishnoi、Nisheeth}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.1},URN={URN:nbn:de:0030-drops-58064}，doi={10.4230/DagRep.6.1.1}，annote={关键词：进化，进化计算，自然算法，计算理论}}

摘要

引用为

Vaibhav Bajpai、Arthur W.Berger、Philip Eardley、Jörg Ott和Jürgen Schönwälder。全球测量：实践与经验（Dagstuhl研讨会16012）。在《达格斯图尔报告》第6卷第1期第15-33页，达格斯图宫-莱布尼茨-泽特鲁姆宫（2016）

@文章{bajpai_et_al:DagRep.6.1.15，author={Bajpai、Vaibhav和Berger、Arthur W.和Eardley、Philip和Ott，J“{o} rg公司和附表“{o} 西北\"{a} 奥尔德，J\“{u} rgen公司},title={{全球测量：实践与经验（Dagstuhl研讨会16012）}}，页数={15--33}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Bajpai、Vaibhav和Berger、Arthur W.和Eardley、Philip和Ott，J“{o} rg公司和附表“{o} 西北\"{a} 奥尔德，J\“{u} rgen公司},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.15},URN={URN:nbn:de:0030-drops-58079}，doi={10.4230/DagRep.6.1.15}，annote={关键词：互联网测量、体验质量、流量工程}}

摘要

引用为

弗雷德里克·阿姆克内特（Frederik Armknecht）、岩田聪（Tetsu Iwata）、凯萨·尼伯格（Kaisa Nyberg）和巴特·普雷尼尔（Bart Preneel）。对称密码术（Dagstuhl研讨会16021）。《达格斯图尔报告》第6卷第1期第34-54页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{armknecht_et_al:DagRep.6.1.34条，author={阿姆克内特、弗雷德里克和岩手、铁通和尼伯格、凯萨和普雷尼尔、巴特}，title={{对称密码术（Dagstuhl研讨会16021）}}，第={34-54}页，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={阿姆克内特、弗雷德里克和岩手、铁通和尼伯格、凯萨和普雷尼尔、巴特}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.34},URN={URN:nbn:de:0030-drops-58088}，doi={10.4230/DagRep.6.1.34}，annote={关键词：真实性，块密码，机密性，密码分析，散列函数，完整性，轻量级加密，可证明安全性，流密码}}

摘要

引用为

Giuseppe F.Italiano、Marc van Kreveld、Bettina Speckmann和Guy Theraulaz。集体运动的几何和基于图的方法（Dagstuhl研讨会16022）。《达格斯图尔报告》第6卷第1期第55-68页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{italiano_et_al:DagRep.6.1.55条，作者={Italiano，Giuseppe F.和van Kreveld，Marc和Speckmann，Bettina和Theraulaz，Guy}，title={{几何和基于图形的集体运动方法（Dagstuhl研讨会16022）}}，页数={55--68}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Italiano，Giuseppe F.和van Kreveld，Marc和Speckmann，Bettina和Theraulaz，Guy}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.55},URN={URN:nbn:de:0030-drops-58095}，doi={10.4230/DagRep.6.1.55}，annote={关键词：几何、图形、交互、运动、模式、轨迹}}

摘要

引用为

Jean Goubault-Larrecq、Monika Seisenberger、Victor Selivanov和Andreas Weiermann。计算机科学中的良好准序（Dagstuhl研讨会16031）。《达格斯图尔报告》第6卷第1期第69-98页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{goubaultlarrecq_et_al:DagRep.6.1.69条，author={古鲍尔特·拉雷克（Goubault-Larrecq）、让（Jean）和塞森伯格（Seisenberger）、莫妮卡（Monika）和塞利万诺夫（Selivanov）、维克多（Victor）和魏尔曼（Weiermann）、安德烈亚斯（Andreas}，title={{计算机科学中的良好准序（Dagstuhl研讨会16031）}}，页数={69--98}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={古鲍尔特·拉雷克（Goubault-Larrecq）、让（Jean）和塞森伯格（Seisenberger）、莫妮卡（Monika）和塞利万诺夫（Selivanov）、维克多（Victor）和魏尔曼（Weiermann）、安德烈亚斯（Andreas}），publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.69}，URN={URN:nbn:de:0030-drops-58158}，doi={10.4230/DagRep.6.1.69}，annote={关键词：更好的拟阶、良好的拟阶，层次，无限状态机，逻辑，诺特空间，可约性，终止，拓扑复杂性，}}

摘要

引用为

乔治·达尼齐斯（George Danezis）、斯特凡·卡岑贝塞尔（Stefan Katzenbeisser）、克里斯蒂安·彼得斯（Christiane Peters）和巴特·普雷尼尔（Bart Preneel）。智能能源电网中的隐私和安全（Dagstuhl研讨会16032）。在《达格斯图尔报告》第6卷第1期第99-107页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@第{danezis_et_al:DagRep.6.1.99条，author={Danezis、George和Katzenbeisser、Stefan和Peters、Christiane和Preneel、Bart}，title={{智能能源电网中的隐私和安全（Dagstuhl研讨会16032）}}，页数={99--107}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Danezis、George和Katzenbeisser、Stefan和Peters、Christiane和Preneel、Bart}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.99},URN={URN:nbn:de:0030-drops-58160}，doi={10.4230/DagRep.6.1.99}，annote={关键词：关键基础设施保护，智能能源电网}}

摘要

引用为

朱利安娜·弗雷尔（Juliana Freire）、诺伯特·富尔（Norbert Fuhr）和安德烈亚斯·劳贝尔（Andreas Rauber）。电子科学中面向数据实验的再现性（Dagstuhl研讨会16041）。《达格斯图尔报告》第6卷第1期第108-159页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{freire_et_al:DagRep.6.1.108条，author={弗雷尔、朱莉安娜和福尔、诺伯特和劳伯、安德烈亚斯}，title={{电子科学中面向数据实验的再现性（Dagstuhl研讨会16041）}}，页数={108--159}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Freire、Juliana和Fuhr、Norbert和Rauber、Andreas}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.108},URN={URN:nbn:de:0030-drops-58174}，doi={10.4230/DagRep.6.1.108}，annote={关键词：文档、可靠性、可重复性、可复制性、可再现性、软件}}

摘要

引用为

Andreas Bulling、Ozan Cakmakci、Kai Kunze和James M.Rehg。眼镜计算——用头戴式可穿戴助理增强人类（Dagstuhl研讨会16042）。《达格斯图尔报告》第6卷第1期第160-206页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔Informatik（2016）

@第{buling_et_al:DagRep.6.1.160条，作者＝{Bulling，Andreas和Cakmakci，Ozan和Kunze，Kai和Rehg，James M.}，title={{眼镜计算-用头戴式可穿戴助理增强人类（Dagstuhl研讨会16042）}}，页数={160--206}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={布林、安德烈亚斯和卡克马科奇、奥赞和昆泽、凯和雷格、詹姆斯·M·}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.160},URN={URN:nbn:de:0030-drops-58204}，doi={10.4230/DagRep.6.1.160}，annote={关键词：增强人类、认知软件计算、可穿戴计算、自我中心视觉、头戴式眼睛跟踪、光学、显示器、人机交互}}

摘要

引用为

Kristin Lauter、Radu Sion和Nigel P.Smart。现代密码学与安全：社区间对话（Dagstuhl研讨会16051）。在《达格斯图尔报告》第6卷第1期第207-223页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@第{lauter_et_al:DagRep.6.1.207条，author={Lauter、Kristin和Sion、Radu和Smart、Nigel P.}，title={{现代密码学与安全：社区间对话（达格斯图尔研讨会16051）}，页数={207--223}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Lauter、Kristin和Sion、Radu和Smart、Nigel P.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.207},URN={URN:nbn:de:0030-drops-58183}，doi={10.4230/DagRep.6.1.207}，annote={关键词：反监视/反审查系统，同态加密，后量子加密，安全硬件设计，安全多方计算，安全外包，侧面/隐蔽通道，虚拟化安全}}

摘要

引用为

Hans Michael Gerndt、Michael Glaß、Sri Parameswaran和Barry L.Rountree。《暗硅：从嵌入式到HPC系统》（Dagstuhl研讨会16052）。在《达格斯图尔报告》第6卷第1期第224-244页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@第{gerndt_et_al:DagRep.6.1.224条，author={Gerndt、Hans Michael和Gla、Michael和Parameswaran、Sri和Rountree、Barry L.}，title={{暗硅：从嵌入式到HPC系统（Dagstuhl研讨会16052）}}，页数={224--244}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={1}，editor={Gerndt、Hans Michael和Gla、Michael和Parameswaran、Sri和Rountree、Barry L.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.224},URN={URN:nbn:de:0030-drops-58198}，doi={10.4230/DagRep.6.1.224}，annote={关键词：暗硅、嵌入式、hpc、并行计算、性能分析和调整、功率密度、功率建模、编程工具、资源管理}}