达格斯图尔报告，第4卷，第3期

摘要

引用为

《达格斯图尔报告》，第4卷，第3期，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2014）

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

摘要

引用为

《达格斯图尔报告》，第4卷，第3期，第i-ii页，达格斯图宫——莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2014）

@第{DagRep.4.3.i条，title={{Dagstuhl Reports，目录，第4卷，第3期，2014年}}，页面={i--ii}，journal={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.4.3.i},URN={URN:nbn:de:0030-drops-46750}，doi={10.4230/DagRep.4.3.i}，annote＝｛关键词：目录，前沿内容｝}

摘要

引用为

约翰内斯·弗恩克兰茨、埃克·赫勒梅尔、辛西娅·鲁丁、罗曼·斯洛文斯基和斯科特·桑纳。偏好学习（Dagstuhl研讨会14101）。《达格斯图尔报告》，第4卷，第3期，第1-27页，达格斯图宫——莱布尼兹·泽特鲁姆宫（2014）

@第{furnkerz_et_al:DagRep.4.3.1条，作者={F\“{u} 恩克兰兹、约翰内斯和H“{u} 勒梅耶、艾克和鲁丁、辛西娅和斯洛文斯基、罗曼和桑纳、斯科特}、，title={{偏好学习（Dagstuhl研讨会14101）}}，页数={1--27}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，编辑器={F\“{u} rnkranz公司，Johannes和H\“{u} 勒梅耶、艾克和鲁丁、辛西娅和斯洛文斯基、罗曼和桑纳、斯科特}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.1},URN={URN:nbn:de:0030-drops-45506}，doi={10.4230/DagRep.4.3.1}，annote={关键词：机器学习、偏好学习、偏好启发、排名、社会选择、多准则决策、风险决策和unce信息检索}}

摘要

引用为

马克西姆·克罗切莫尔（Maxime Crochemore）、詹姆斯·库里（James D.Currie）、格雷戈里·库切洛夫（Gregory Kucherov）和德克·诺沃特卡（Dirk Nowotka）。弦的组合数学和算法（Dagstuhl研讨会14111）。在《达格斯图尔报告》第4卷第3期第28-46页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2014）

@第{crochemore_et_al:DagRep.4.3.28条，author={克罗切莫尔、马克西姆和库里、詹姆斯·D·库切洛夫、格雷戈里和诺沃特卡、德克}，title={{弦的组合数学和算法（达格斯图尔研讨会14111）}}，页数={28--46}，journal={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={克罗切莫尔、马克西姆和库里、詹姆斯·D·库切洛夫、格雷戈里和诺沃特卡、德克}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.28},URN={URN:nbn:de:0030-drops-45524}，doi={10.4230/DagRep.4.3.2.8}，annote={关键词：单词组合，字符串算法，自动机}}

摘要

引用为

皮埃尔·迪伦堡（Pierre Dillenbourg）、克劳德·基什内尔（Claude Kirchner）、约翰·米切尔（John C.Mitchell）和马丁·威辛（Martin Wirsing）。大规模开放在线课程，现状和观点（Dagstuhl Perspectives Workshop 14112）。Dagstuhl报告，第4卷第3期，第47-61页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2014）

@第{dillenbourg_et_al:DagRep.4.3.47条，author={Dillenbourg，Pierre and Kirchner，Claude and Mitchell，John C.和Wirsing，Martin}，title={{大规模开放在线课程、现状和前景（Dagstuhl Perspectives Workshop 14112）}}，页数={47--61}，日志={Dagstuhl报告}，ISSN＝{2192-5283}，年份={2014}，体积={4}，数字={3}，editor={Dillenbourg，Pierre and Kirchner，Claude and Mitchell，John C.和Wirsing，Martin}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.47},URN={URN:nbn:de:0030-drops-45910}，doi={10.4230/DagRep.4.347}，annote={关键词：大规模开放在线课程、MOOC、SPOC、电子学习、教育}}

摘要

引用为

安娜·高尔（Anna Gal）、米查尔·库基（Michal Koucky）、奥德·雷格夫（Oded Regev）和吕迪格·赖舒克（Rüdiger Reischuk）。离散问题的计算复杂性（Dagstuhl研讨会14121）。在《达格斯图尔报告》第4卷第3期第62-84页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2014）

@第{gal_et_al:DagRep.4.3.62条，author={Gal、Anna和Koucky、Michal和Regev、Oded和Reischuk、R“{u} 挖掘者},title={{离散问题的计算复杂性（Dagstuhl研讨会14121）}}，页数={62--84}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={加尔，安娜和库基，迈克尔和雷格夫，奥德和雷舒克，R\“{u} 挖掘机},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.62},URN={URN:nbn:de:0030-drops-45921}，doi={10.4230/DagRep.4.3.62}，annote={关键词：离散问题，计算复杂性，图灵机，布尔电路，算术电路，量子计算，通信复杂性，伪随机性，去域化，近似，数据流}}

摘要

引用为

Rupak Majumdar、Richard M.Murray和Pavithra Prabhakar。网络物理系统验证（Dagstuhl研讨会14122）。在《达格斯图尔报告》第4卷第3期第85-102页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2014）

@第｛majumdar_et_al:DagRep.4.3.85条，author={Majumdar、Rupak和Murray、Richard M.和Prabhakar、Pavithra}，title={{网络物理系统验证（达格斯图尔研讨会14122）}}，页数={85--102}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积＝{4}，数字={3}，editor={Majumdar、Rupak和Murray、Richard M.和Prabhakar、Pavithra}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.85},URN={URN:nbn:de:0030-drops-45937}，doi={10.4230/DagRep.4.385}，annote={关键词：形式验证，网络物理系统，混合系统}}

摘要

引用为

伊丽莎白·安德烈（Elisabeth André）、鲁斯·艾利特（Ruth Aylett）、格特·扬·霍夫斯泰德（Gert Jan Hofstede）和安娜·佩娃（Ana Paiva）。人与主体互动的文化行为计算模型（达格斯图尔研讨会14131）。在《达格斯图尔报告》第4卷第3期第103-137页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2014）

@第{andre_et_al:DagRep.4.3.103条，author={Andr'{e}，Elisabeth和Aylett，Ruth和Hofstede，Gert Jan和Paiva，Ana}，title＝{{用于人与代理交互的文化行为的计算模型（Dagstuhl研讨会14131）}}，页数={103--137}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={Andr'{e}，Elisabeth和Aylett，Ruth和Hofstede，Gert Jan和Paiva，Ana}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.103},URN={URN:nbn:de:0030-drops-45945}，doi={10.4230/DagRep.4.103}，annote={关键词：文化模型、文化基础、社会模拟、情感计算、（多）Agent体系结构、虚拟代理、社交机器人}}

摘要

引用为

Maike Buchin、Luca Giuggioli、van Kreveld。Marc和Guy Theraulaz。互动和集体动作处理（达格斯图尔研讨会14132）。在《达格斯图尔报告》第4卷第3期第138-152页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2014）

@第{buchin_et_al:DagRep.4.3.138条，author={Buchin、Maike和Giuggioli、Luca和van Kreveld、Marc和Theraulaz、Guy}，title={{互动和集体动作处理（达格斯图尔研讨会14132）}}，pages＝{138-152}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={Buchin，Maike和Giuggioli，Luca和van Kreveld，Marc和Theraulaz，Guy}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.138},URN＝{URN:nbn:de:00030-drops-45953}，doi={10.4230/DagRep.4.138}，annote={关键词：集体运动，运动实体，计算几何，地理信息科学，生态学，集体运动，轨迹，运动分析}}

摘要

引用为

哈维尔·埃斯帕尔扎（Javier Esparza）、阿兰·芬克尔（Alain Finkel）、皮埃尔·麦肯齐（Pierre McKenzie）和乔尔·瓦克宁（Joel Ouaknine）。无限状态系统的可达性问题（Dagstuhl研讨会14141）。在《达格斯图尔报告》第4卷第3期第153-180页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2014）

@第{条esparza_et_al:DagRep.4.3.153，author={Esparza、Javier和Finkel、Alain和McKenzie、Pierre和Ouaknine、Joel}，title={{无限状态系统的可达性问题（Dagstuhl研讨会14141）}}，页数={153--180}，journal={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={Esparza、Javier和Finkel、Alain和McKenzie、Pierre和Ouaknine、Joel}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.153},URN={URN:nbn:de:0030-drops-46121}，doi＝{10.4230/DagRep.44.3.153}，annote={关键词：无限状态系统，可达性问题，形式验证，良好结构转换系统，计数器，向量加法系统，定时系统}}

摘要

引用为

Aldo Gangemi、Verena V.Hafner、Werner Kuhn、Simon Scheider和Luc Steels。语义网和机器人学中的空间参考（Dagstuhl研讨会14142）。Dagstuhl报告，第4卷第3期，第181-201页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2014）

@第{gangemi_et_al:DagRep.4.3.181条，author={甘格米、阿尔多和哈夫纳、维雷纳五世和库恩、沃纳和谢德、西蒙和斯蒂尔斯、卢克}，title={{语义网和机器人学中的空间参考（Dagstuhl研讨会14142）}}，页数={181--201}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2014}，体积={4}，数字={3}，editor={甘格米、阿尔多和哈夫纳、维雷纳五世和库恩、沃纳和谢德、西蒙和斯蒂尔斯、卢克}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.181（https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.181）},URN={URN:nbn:de:0030-drops-46134}，doi={10.4230/DagRep.4.181}，annote={关键词：空间参考系统，语义网，机器人，体现，空间认知}}