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



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
达格斯图尔报告,第11卷,第4期,2021年4月,完整版

引用为

《达格斯图尔报告》,第11卷,第4期,第1-95页,达格斯图-莱布尼兹·泽特鲁姆宫(2021)


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第11卷,第4期,2021年

引用为

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


将BibTex复制到剪贴板

@第{DagRep.11.4.i条,title={{Dagstuhl Reports,目录,第11卷,第4期,2021}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={4},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/documents/10.4230/DagRep.11.4.i},URN={URN:nbn:de:0030-drops-154203},doi={10.4230/DagRep.11.4.i},annote={关键词:目录,前沿内容}}
文件
计算几何(达格斯图尔研讨会21181)

作者:Siu-Wing Cheng、Anne Driemel和Jeff M.Phillips


摘要
本报告记录了达格斯图尔21181“计算几何”研讨会的计划和成果。研讨会于2021年5月2日至7日举行。由于冠肺炎,研讨会以虚拟方式在网上举行,来自各国的36名与会者参加了研讨会。会议介绍并讨论了计算几何的新进展和方向。该报告收集了研讨会上提出的会谈摘要和公开问题。

引用为

郑秀荣、安妮·德里梅尔和杰夫·菲利普斯。计算几何(达格斯图尔研讨会21181)。《达格斯图尔报告》,第11卷,第4期,第1-19页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆(2021)


将BibTex复制到剪贴板

@第{cheng_et_al:DagRep.11.4.1条,author={Cheng,Siu-Wing和Driemel,Anne和Phillips,Jeff M.},title={{计算几何(达格斯图尔研讨会21181)}},页数={1--19},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={4},editor={Cheng,Siu-Wing和Driemel,Anne和Phillips,Jeff M.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/documents/10.4230/DagRep.11.4.1},URN={URN:nbn:de:0030-drops-147963},doi={10.4230/DagRep.11.4.1},annote={关键词:算法,计算几何,计算拓扑,数据结构,离散几何}}
文件
归纳程序设计的方法和应用(达格斯图尔研讨会21192)

作者:安德鲁·克罗珀(Andrew Cropper)、吕克·德·雷德(Luc De Raedt)、理查德·埃文斯(Richard Evans)和尤特·施密德(Ute Schmid)


摘要
本报告记录了达格斯图尔研讨会21192“归纳编程的方法和应用”的计划和成果。归纳编程(IP)的目标是从数据中归纳计算机程序,通常是所需程序的输入/输出示例。IP吸引了计算机科学许多领域的研究人员,包括机器学习、自动推理、程序验证和软件工程。此外,IP还促进了计算机科学以外的研究,尤其是认知科学、,IP可以帮助建立人类归纳学习模型,并为智能导师系统提供方法。在以往IP Dagstuhl研讨会(13502、15442、17382和19202)成功的基础上,本次研讨会的新版本的目标是专注于集成学习和推理的IP方法,扩展IP方法以适用于更复杂的现实世界问题,并进一步探索IP在可解释人工智能(XAI),特别是交互式学习中的潜力。本报告中的扩展摘要显示了IP研究的最新进展。包含讨论会结果的简短报告还指出了不同方面之间有趣的相互关系以及IP可能的新方向。

引用为

安德鲁·克罗珀(Andrew Cropper)、吕克·德·雷德(Luc De Raedt)、理查德·埃文斯(Richard Evans)和尤特·施密德(Ute Schmid)。归纳程序设计的方法和应用(达格斯图尔研讨会21192)。《达格斯图尔报告》,第11卷,第4期,第20-33页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆(2021)


将BibTex复制到剪贴板

@条款{cropper_et_al:DagRep.11.4.20,author={Cropper、Andrew和De Raedt、Luc和Evans、Richard和Schmid、Ute},title={{归纳程序设计的方法和应用(达格斯图尔研讨会21192)}},页数={20--33},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={4},编辑={Cropper,Andrew和De Raedt,Luc和Evans,Richard和Schmid,Ute},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.4.20},URN={URN:nbn:de:0030-drops-147975},doi={10.4230/DagRep.11.4.20},annote={关键词:可解释机器学习、可解释人工智能、交互式学习、类人计算、归纳逻辑编程}}
文件
无服务器计算(达格斯图尔研讨会21201)

作者:克里斯蒂娜·阿巴德(Cristina Abad)、伊恩·福斯特(Ian T.Foster)、尼古拉斯·赫伯斯特(Nikolas Herbst)和亚历山德鲁·伊索普(Alexandru Iosup)


摘要
在我们数字社会的主干中,云计算支持开发、组合和提供软件服务的高效、实用的生态系统。为了应对云计算服务变得更易访问、更细粒度、更经济实惠的趋势,无服务器计算在实践中得到了迅速采用,并引起了业界和学术界的极大兴趣。无论怎样成功,无服务器计算都体现了当今新兴技术的机遇和挑战:一个快速发展的领域,但视野分散,大量新技术,但没有连贯的方法来设计解决方案,许多简单的应用程序,但没有令人印象深刻的高级解决方案,云连续体(从数据中心到边缘的资源)的出现,但没有明确的途径来有效利用它,总体上需要很多,但技术上也很复杂。几个相关但不相关的领域,特别是软件和系统工程、并行和分布式系统、系统和性能分析与建模,旨在解决这些机遇和挑战。在未来十年中,这些领域之间的出色合作将是建立无服务器计算这一可行技术的关键。我们组织了这次Dagstuhl研讨会,将无服务器计算领域的研究人员、开发人员和从业人员聚集在一起,为与以下主题相关的及时、相关、开放的挑战制定愿景和详细答案:-主题1:无服务器系统、平台和生态系统的设计决策,-主题2:无服务器应用程序的软件工程,以及系统、平台和生态系统-主题3:无服务器计算的应用程序和领域要求,-主题4:评估无服务器解决方案及其他(隐私、网络物理系统等)。在本文件中,我们通过整合各种观点并综合未来十年无服务器计算的共同愿景,报告了达格斯图尔研讨会21201“无服务器计算”的成果。

引用为

克里斯蒂娜·阿巴德、伊恩·T·福斯特、尼古拉斯·赫布斯特和亚历山德鲁·伊奥苏普。无服务器计算(Dagstuhl研讨会21201)。在《达格斯图尔报告》第11卷第4期第34-93页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2021)


将BibTex复制到剪贴板

@第{abad_et_al:DagRep.11.4.34条,author={Abad、Cristina和Foster、Ian T.和Herbst、Nikolas和Iosup、Alexandru},title={{无服务器计算(Dagstuhl研讨会21201)}},页数={34--93},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={4},editor={Abad、Cristina和Foster、Ian T.和Herbst、Nikolas和Iosup、Alexandru},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.4.34},URN={URN:nbn:de:0030-drops-147982},doi={10.4230/DagRep.114.34},annote={关键词:云计算,云连续体,数据驱动,设计模式,DevOps,实验,模型驱动,无服务器计算,仿真,软件架构,系统管理,愿景}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

提交的反馈

无法发送消息

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