达格斯图尔报告,第13卷,第2期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
达格斯图尔报告,第13卷,第2期,2023年2月,完整版

摘要
达格斯图尔报告,第13卷,第2期,2023年2月,完整版

引用为

《达格斯图尔报告》,第13卷,第2期,第1-243页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

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

摘要
Dagstuhl报告,目录,第13卷,第2期,2023

引用为

《达格斯图尔报告》,第13卷,第2期,第i-ii页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@第{DagRep.13.2.i条,title={{Dagstuhl Reports,目录,第13卷,第2期,2023}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.2.i},URN={URN:nbn:de:0030-drops-191770},doi={10.4230/DagRep.13.2.i},annote={Keywords:目录,Frontmatter}}
文件
日程安排(Dagstuhl研讨会23061)

作者:妮可·梅戈、本杰明·莫斯利、大卫·什莫伊斯、奥拉·斯文森、谢尔盖·瓦西尔维茨基和延斯·施罗德


摘要
本报告记录了Dagstuhl研讨会23061“日程安排”的计划和结果。研讨会重点讨论了超越最坏情况算法设计的新兴模型,特别是包含学习的最新方法。这包括最近提出的将学习集成到算法设计中的模型,这些模型已经证明了各种调度应用的最新进展:(i)具有容易出错的学习预测的调度,(ii)数据驱动的算法设计,以及(iii)调度中的随机和贝叶斯学习。

引用为

妮可·梅戈、本杰明·J·莫斯利、大卫·斯莫伊斯、奥拉·斯文森、谢尔盖·瓦西里维茨基和延斯·施洛特。日程安排(Dagstuhl研讨会23061)。《达格斯图尔报告》,第13卷,第2期,第1-19页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@第{megow_et_al:DagRep.13.2.1条,author={梅戈、妮科尔和莫斯利、本杰明·J和什莫伊斯、大卫和斯文森、奥拉和瓦西尔维茨基、谢尔盖和施勒“{o} 特,Jens},title={{日程安排(Dagstuhl研讨会23061)}},页数={1--19},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={梅戈、妮科尔和莫斯利、本杰明·J和什莫伊斯、大卫和斯文森、奥拉和瓦西尔维茨基、谢尔盖和施勒“{o} 特,Jens},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.1},URN={URN:nbn:de:00030-drops-191789},doi={10.4230/DagRep.13.2.1},annote={关键词:调度,数学优化,近似算法,学习方法,不确定性}}
文件
编程语言处理(Dagstuhl研讨会23062)

作者:Michael Pradel、Baishakhi Ray、Charles Sutton和Eran Yahav


摘要
本报告记录了Dagstuhl研讨会23062“编程语言处理”(PLP)的计划和成果。研讨会汇集了来自软件工程、编程语言和自然语言处理三个社区的研究人员和实践者,为跨学科和跨学科发展提供了独特的机会。我们讨论了代码的机器学习模型,集成了基于学习的和传统的程序分析,以及从与软件相关的自然语言信息中学习。研讨会有助于更好地理解自然语言和编程语言之间的共性和差异,并了解行业采用PLP的挑战和机遇。

引用为

迈克尔·普拉德尔、白沙基·雷、查尔斯·萨顿和埃兰·雅哈。编程语言处理(Dagstuhl研讨会23062)。《达格斯图尔报告》,第13卷,第2期,第20-32页,达格斯图宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023)


将BibTex复制到剪贴板

@文章{pradel_et_al:DagRep.13.2.20,author={Pradel、Michael和Ray、Baishaki和Sutton、Charles和Yahav、Eran},title={{编程语言处理(Dagstuhl研讨会23062)}},页数={20--32},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={Pradel、Michael和Ray、Baishaki和Sutton、Charles和Yahav、Eran},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.20},URN={URN:nbn:de:0030-drops-191799},doi={10.4230/DagRep.13.220},annote={关键词:ML4PL,ML4SE,神经软件分析}}
文件
从大数据理论到大数据实践(Dagstuhl研讨会23071)

作者:马丁·法拉奇·科尔顿、费比安·丹尼尔·库恩、罗尼特·鲁宾菲尔德和普尔泽米斯·瓦夫·乌兹南斯基


摘要
本报告记录了Dagstuhl研讨会23071“从大数据理论到大数据实践”的计划和成果。大数据算法理论的一些最新进展——次线性/局部算法、流算法和外部内存算法——在实践中取得了显著的进步,而其他一些算法仍然顽固地抵制有用的实现。本研讨会旨在收集这些算法中导致实际实现的方面的经验教训,以了解所吸取的经验教训是否能够改进其他理论思想的实现,并帮助指导下一代理论进步。

引用为

马丁·法拉奇·科尔顿、费比安·丹尼尔·库恩、罗尼特·鲁宾菲尔德和普尔泽米斯·瓦夫·乌兹南斯基。从大数据理论到大数据实践(Dagstuhl研讨会23071)。《达格斯图尔报告》,第13卷,第2期,第33-46页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@文章{farachcolton_et_al:DagRep.13.2.33,author={Farach-Colton、Martin和Kuhn、Fabian Daniel和Rubinfeld、Ronitt和Uzna{n} 滑雪板,Przemys{\l}aw},title={{从大数据理论到大数据实践(Dagstuhl研讨会23071)}},页数={33--46},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={Farach-Colton、Martin和Kuhn、Fabian Daniel和Rubinfeld、Ronitt和Uzna{n} 滑雪板,Przemys{\l}aw},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.33},URN={URN:nbn:de:0030-drops-191809},doi={10.4230/DagRep.13.2.33},annote={关键词:外部内存,局部算法,次线性算法}}
文件
深度生成建模的挑战和前景(Dagstuhl研讨会23072)

作者:文森特·福图因(Vincent Fortuin)、李英珍(Yingzhen Li)、凯文·墨菲(Kevin Murphy)、斯蒂芬·曼特(Stephan Mandt)和劳拉·曼杜奇(Laura Manduchi)


摘要
深生成模型,如变分自编码器、生成对抗网络、规范化流和扩散概率模型,近年来吸引了很多人的兴趣。然而,我们认为有几个挑战阻碍了其更广泛的应用:(C1)客观评估生成数据的困难;(C2)为快速似然评估或采样设计可扩展架构的挑战;(C3)与寻找可再现、可解释和语义意义的潜在表征有关的挑战。在这次达格斯图尔研讨会上,我们在深层生成模型的实际应用背景下讨论了这些开放性问题,包括(A1)科学数据的生成建模,(A2)神经数据压缩和(A3)分布外检测。通过在具体环境A1-A3中讨论挑战C1-C3,我们致力于确定常见问题和克服这些问题的方法。因此,我们预计此次研讨会将产生许多未来的研究合作,讨论的想法将为未来富有成果的研究途径奠定基础。我们在本报告中总结了研讨会的主要成果,然后概述了不同的会谈和工作组讨论。

引用为

文森特·福图因(Vincent Fortuin)、李英珍(Yingzhen Li)、凯文·墨菲(Kevin Murphy)、斯蒂芬·曼特(Stephan Mandt)和劳拉·曼杜奇(Laura Manduchi)。深度生成建模的挑战和前景(Dagstuhl研讨会23072)。《达格斯图尔报告》,第13卷,第2期,第47-70页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2023)


将BibTex复制到剪贴板

@第{fortuin_et_al:DagRep.13.2.47条,作者={Fortuin,Vincent和Li,Yingzhen和Murphy,Kevin和Mandt,Stephan和Manduchi,Laura},title={{深度生成建模的挑战和前景(Dagstuhl研讨会23072)}},页数={47--70},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={Fortuin、Vincent和Li、Yingzhen和Murphy、Kevin和Mandt、Stephan和Manduchi、Laura},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.47},URN={URN:nbn:de:0030-drops-191817},doi={10.4230/DagRep.13.2.47},annote={关键词:深层生成模型、表示学习、生成建模、神经数据压缩、分布外检测}}
文件
网上代理(Dagstuhl研讨会23081)

作者:奥利维埃·博西耶、安德烈·西奥提亚、安德烈亚斯·哈特、亚历山德罗·里奇和达纳伊·瓦奇塞瓦诺


摘要
最近物联网和(社会)链接数据的标准化为基于Web的多代理系统的研究提供了新的实际用例和新的机会。虽然现有的多代理系统研究有助于工程化自适应和灵活的基于Web的系统,但按照最新标准增加系统部署可以为工程化大规模开放多代理系统带来新的见解。这些发展激发了对更广阔视角的需求,而只有通过Web架构和物联网、语义Web和链接数据、自治代理和多代理系统等研究社区的共同努力才能实现这一需求。因此,Dagstuhl网上代理研讨会23081的主要目标是调查这些新的研究机会,支持不同社区之间的知识和成果转移,并围绕这些主题创建一个由领先学者和实践者组成的网络。本报告记录了研讨会的计划和成果。为了在研讨会结束后继续联合工作,研讨会参与者创建了W3C网上自治代理(WebAgents)社区小组。

引用为

奥利维埃·博西耶、安德烈·西奥提亚、安德烈亚斯·哈特、亚历山德罗·里奇和达纳伊·瓦奇塞瓦诺。网上代理(Dagstuhl研讨会23081)。《达格斯图尔报告》,第13卷,第2期,第71-162页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@文章{boissier_et_al:DagRep.13.2.71,author={博西耶、奥利维尔和乔尔提亚、安德烈和哈特、安德烈亚斯和里奇、亚历山德罗和瓦希塞瓦努、达奈},title={{网上代理(Dagstuhl研讨会23081)}},页数={71--162},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={博西耶、奥利维尔和乔尔提亚、安德烈和哈特、安德烈亚斯和里奇、亚历山德罗和瓦希塞瓦努、达奈},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.71},URN={URN:nbn:de:0030-drops-191820},doi={10.4230/DagRep.13.2.71},annote={关键词:Web架构,物联网,语义Web,链接数据,多代理系统}}
文件
弹性软件配置和基础设施代码分析(Dagstuhl研讨会23082)

作者:尤尔根·西托、鲁齐卡·皮斯卡、马克·桑托卢西托、安迪·扎伊德曼和丹尼尔·索科洛夫斯基


摘要
源于基础设施及其配置的错误是系统故障和系统降级的主要原因之一,导致安全漏洞、应用程序中断和程序执行不正确。调查此类问题的根本原因和补救措施需要从不同的研究角度进行洞察,包括系统、编程语言、软件工程和验证。为了促进这一领域的进展,达格斯图尔研讨会汇集了学术界和工业界的专家,实现了不同软件系统分区之间的协同作用。研讨会是一个跨学科讨论的论坛,架起了社区的桥梁,并就新方法展开了新的对话。研讨会期间揭示的新主题包括:将基础设施作为代码,配置工程和软件工程之间的相似性和差异,程序分析技术对配置分析的可移植性(或缺乏),配置语言可表达性的设计空间,以及安全、安保和审计分析的未来挑战。研讨会促成了新的短期和长期合作和联系,包括组织额外的研讨会和联合愿景文件。

引用为

尤尔根·西托(Jürgen Cito)、鲁齐卡·皮斯卡(Ruzica Piskac)、马克·桑托卢西托(Mark Santolucito)、安迪·扎伊德曼(Andy Zaidman)和丹尼尔·索科洛夫斯基(Daniel Sokolowski)。弹性软件配置和基础设施代码分析(Dagstuhl研讨会23082)。《达格斯图尔报告》,第13卷,第2期,第163-182页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@第{cito_et_al:DagRep.13.2.163条,author={Cito,J“{u} rgen公司以及Piskac、Ruzica和Santolucito、Mark和Zaidman、Andy和Sokolovski、Daniel},title={{Resilient Software Configuration and Infrastructure Code Analysis(Dagstuhl研讨会23082)}},页数={163--182},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},编辑器={Cito,J\“{u} rgen公司Piskac、Ruzica和Santolucito、Mark和Zaidman、Andy和Sokolowski、Daniel},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.163},URN={URN:nbn:de:0030-drops-191836},doi={10.4230/DagRep.13.2.163},annote={关键词:计算基础设施、配置、程序分析}}
文件
可编程物质的算法基础(Dagstuhl研讨会23091)

作者:Aaron Becker、Sándor Fekete、Irina Kostitsyna、Matthew J.Patitz、Damien Woods和Ioannis Chatziganakis


摘要
本报告记录了Dagstuhl研讨会23091“可编程物质的算法基础”的计划和成果,这是一个新兴的领域,将算法的理论工作与广泛的实际应用结合在一起,从小型嵌入式系统到纳米级的网络物理结构。本次研讨会的目的是将计算几何学、分布式计算、DNA计算和群集机器人领域的研究人员聚集在一起,让他们了解每个领域的最新发展,并讨论新研究的未来模型、方法和方向。与前两次关于可编程物质的达格斯图尔研讨会(16271年和18331年)类似,我们确实关注了一些基本问题,但也考虑了现在可以研究的新问题。

引用为

亚伦·贝克尔(Aaron Becker)、桑多·费科特(Sándor Fekete)、伊琳娜·科斯蒂奇纳(Irina Kostitsyna)、马修·帕蒂茨(Matthew J.Patitz)、达米安·伍兹(Damien Woods)和伊奥尼斯·查齐亚纳基。可编程物质的算法基础(Dagstuhl研讨会23091)。《达格斯图尔报告》,第13卷,第2期,第183-198页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@文章{becker_et_al:DagRep.13.2.183,author={Becker、Aaron和Fekete,S{a} 无人机Kostitsyna、Irina和Patitz、Matthew J.和Woods、Damien和Chatziganakis、Ioannis},title={{可编程物质的算法基础(Dagstuhl研讨会23091)}},页数={183--198},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={Becker、Aaron和Fekete,S{a} 恩多尔Kostitsyna、Irina和Patitz、Matthew J.和Woods、Damien和Chatziganakis、Ioannis},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.183},URN={URN:nbn:de:0030-drops-191848},doi={10.4230/DagRep.13.2.183},annote={关键词:计算几何、分布式算法、DNA计算、可编程物质、群机器人}}
文件
推动变革走向可持续未来的人机交互视角(Dagstuhl Perspectives Workshop 23092)

作者:苏珊娜·波尔(Susanne Boll)、凯萨·瓦恩·内恩(Kaisa Väänänen)、尼古拉·比德维尔(Nicola Bidwell)、马克·哈森扎尔(Marc Hassenzahl)和罗宾·纽豪斯(Robin Neuhaus)


摘要
在我们的日常生活中,人们受到常规、社会期望、软硬件技术和基础设施的制约。他们处理事情、思考事情的方式、预期的方式以及被治理的方式很少受到质疑,因为资源的有限性及其影响。挑战在于改变人们的思维和行为方式,并重塑这些工具和期望。然而,变革是令人筋疲力尽、富有挑战性的,需要支持。技术可以提供这样的支持,但如果认为这种改变不会产生摩擦、争议和限制,那就太天真了。但另一方面,大多数需要改变的便利条件都是基于一种错误和虚假的假设,即我们可以随心所欲、尽可能快、尽可能高、尽可能愉快地去做而不考虑他人。在本次研讨会中,我们探讨了人机交互如何促进、要求甚至实施我们应该采取的方式,以减少使用、放慢速度或采取不同的行动。在Dagstuhl展望研讨会上,我们讨论了HCI在可持续发展目标下可以做出的贡献,以及HCI在告知和改变个人和集体行为方面必须发挥的作用。

引用为

苏珊娜·波尔(Susanne Boll)、凯萨·瓦恩·内恩(Kaisa Väänänen)、尼古拉·比德维尔(Nicola Bidwell)、马克·哈森扎尔(Marc Hassenzahl)和罗宾·纽豪斯(Robin Neuhaus)。推动变革走向可持续未来的人机交互视角(Dagstuhl Perspectives Workshop 23092)。在《达格斯图尔报告》第13卷第2期第199-241页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2023)


将BibTex复制到剪贴板

@第{boll_et_al:DagRep.13.2.199条,作者={Boll、Susanne和V\“{a}\”{a} n个\"{a} 嫩、凯萨和比德维尔、尼古拉和哈森扎尔、马克和纽豪斯、罗宾}、,title={{推动变革走向可持续未来的人机交互视角(Dagstuhl Perspectives Workshop 23092)}},页码={199--241},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={13},数字={2},editor={Boll、Susanne和V\“{a}\”{a} n个\"{a} 嫩、凯萨和比德维尔、尼古拉和哈森扎尔、马克和纽豪斯、罗宾}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.199},URN={URN:nbn:de:0030-drops-191853},doi={10.4230/DagRep.13.2.199},annote={关键词:Dagstuhl透视研讨会}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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