达格斯图尔报告，第9卷，第10期

摘要

引用为

《达格斯图尔报告》，第9卷，第10期，第1-153页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

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

摘要

引用为

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

@第{DagRep.9.10.i条，title={{Dagstuhl Reports，目录，第9卷，第10期，2019}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字＝{10}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.9.10.i},URN={URN:nbn:de:0030-drops-119884}，doi={10.4230/DagRep.9.10.i}，annote={Keywords:目录，Frontmatter}}

摘要

引用为

伊丽莎白·安德烈（Elisabeth André）、安娜·佩娃（Ana Paiva）、朱莉·沙阿（Julie Shah）和塞尔玛·萨巴诺维奇（SelmaŠabanovic）。团队工作和团队互动的社会代理人（19411年达格斯图尔研讨会）。《达格斯图尔报告》，第9卷，第10期，第1-46页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第{andre_et_al:DagRep.9.10.1条，author={Andr'{e}、Elisabeth和Paiva、Ana和Shah、Julie和v{S} 阿巴诺维奇，塞尔玛}，title={{团队工作和团队互动的社会代理人（19411年达格斯图尔研讨会）}}，页数={1--46}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={Andr'{e}、Elisabeth和Paiva、Ana和Shah、Julie和{S} 阿巴诺维奇，塞尔玛}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.1},URN={URN:nbn:de:0030-drops-118533}，doi={10.4230/DagRep.9.10.1}，annote={关键词：社交代理、社交机器人、多代理系统、人-代理交互、组和团队}}

摘要

引用为

Michele Mosca、Maria Naya-Plasencia和Rainer Steinwandt。量子密码分析（19421年达格斯图尔研讨会）。在《达格斯图尔报告》第9卷第10期第47-60页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2020）

@文章{mosca_et_al:DagRep.9.10.47，author={Mosca、Michele和Naya-Plasencia、Maria和Steinwandt、Rainer}，title={{量子密码分析（19421年达格斯图尔研讨会）}}，页数={47--60}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={莫斯卡、米歇尔·普拉森西亚、玛丽亚和斯坦万特、雷纳}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.47},URN={URN:nbn:de:0030-drops-118543}，doi={10.4230/DagRep.9.10.47}，annote={关键词：计算代数，后量子密码术，量子电路复杂性，量子计算，标准化}}

摘要

引用为

卡罗拉·多尔（Carola Doerr）、卡洛斯·丰塞卡（Carlos M.Fonseca）、托比亚斯·弗里德里希（Tobias Friedrich）和姚欣（Xin Yao）。随机优化启发式理论（Dagstuhl Reports 19431）。《达格斯图尔报告》，第9卷，第10期，第61-94页，达格斯图-莱布尼兹·泽特鲁姆宫（2020年）

@第{doerr_et_al:DagRep.9.10.61条，author={Doerr、Carola和Fonseca、Carlos M.和Friedrich、Tobias和Yao、Xin}，title={{随机优化启发式理论（Dagstuhl Reports 19431）}}，页数={61--94}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={Doerr、Carola和Fonseca、Carlos M.和Friedrich、Tobias和Yao、Xin}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.61},URN={URN:nbn:de:0030-drops-118567}，doi={10.4230/DagRep.9.10.61}，annote={关键词：算法和复杂性，进化算法，机器学习，优化，软计算}}

摘要

引用为

马里奥·格雷舍尔（Mario Gleirscher）、安妮·E·哈克斯豪森（Anne E.Haxthausen）、马丁·莱克（Martin Leucker）和斯文·林克尔（Sven Linker）。复杂物理环境中的自主移动集合分析（Dagstuhl研讨会19432）。《达格斯图尔报告》，第9卷，第10期，第95-116页，达格斯图-莱布尼兹·泽特鲁姆宫（2020）

@第{条gleirscher_et_al:DagRep.9.10.95，author={Gleirscher、Mario和Haxthausen、Anne E.和Leucker、Martin和Linker、Sven}，title＝{复杂物理环境中自主移动集体的分析（Dagstuhl研讨会19432）}，页数={95--116}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={Gleirscher、Mario和Haxthausen、Anne E.和Leucker、Martin和Linker、Sven}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.95},URN={URN:nbn:de:0030-drops-118579}，doi={10.4230/DagRep.90.95}，annote={关键词：自主集体、控制工程、形式验证、混合系统、不确定性和风险}}

摘要

引用为

卡拉·费雷拉（Carla Ferreira）、菲利普·哈勒（Philipp Haller）和吉多·萨尔瓦内奇（Guido Salvaneschi）。分布式系统和分布式数据管理的程序设计语言（Dagstuhl研讨会19442）。《达格斯图尔报告》，第9卷，第10期，第117-133页，达格斯图-莱布尼兹·泽特鲁姆宫（2020）

@第{条ferreira_et_al:DagRep.9.10.117，author={Ferreira、Carla和Haller、Philipp和Salvaneschi、Guido}，title={{分布式系统和分布式数据管理的编程语言（Dagstuhl研讨会19442）}}，页数={117--133}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={Ferreira、Carla和Haller、Philipp和Salvaneschi、Guido}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.117},URN={URN:nbn:de:0030-drops-118586}，doi={10.4230/DagRep.9.1017}，annote={关键词：编程语言，分布式系统，数据管理}}

摘要

引用为

马格努斯·博德威奇（Magnus Bordewich）、布里塔·多恩（Britta Dorn）、西蒙·林茨（Simone Linz）和罗尔夫·尼德迈尔（Rolf Niedermeier）。系统发育学中的算法和复杂性（19443年达格斯图尔研讨会）。《达格斯图尔报告》，第9卷，第10期，第134-151页，达格斯图-莱布尼兹·泽特鲁姆宫（2020）

@文章{bordewich _et_al:DagRep.9.10.134，author={博德威奇、马格纳斯和多恩、布里塔和林茨、西蒙和尼德迈尔、罗尔夫}，title={{进化论中的算法和复杂性（19443年达格斯图尔研讨会）}}，页数={134--151}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2020年}，体积={9}，数字={10}，editor={波德威奇、马格纳斯和多恩、布里塔和林茨、西蒙和尼德迈尔、罗尔夫}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.134},URN={URN:nbn:de:0030-drops-118590}，doi={10.4230/DagRep.9.1034}，annote={关键词：近似算法、进化、参数化算法、进化树和网络}}