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



缩略图PDF

出版物详细信息

  • 发布时间:2024-03-27
  • 出版商:Schloss Dagstuhl–Leibniz Zentrum für Informatik

接入号码

文件

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

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

引用为

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


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第13卷,第9期,2023年

引用为

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


将BibTex复制到剪贴板

@第{DagRep.13.9.i条,title={{Dagstuhl Reports,目录,第13卷,第9期,2023}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.9.i},URN={URN:nbn:de:0030-drops-198197},doi={10.4230/DagRep.13.9.i},annote={关键词:目录,前沿内容}}
文件
预算多目标优化(Dagstuhl研讨会23361)

作者:理查德·奥尔门丁格(Richard Allmendinger)、卡洛斯·丰塞卡(Carlos M.Fonseca)、塞尔皮尔·赛因(Serpil Sayin)、玛格丽特·威塞克(Margaret M.Wiecek)和迈克尔·斯蒂格尔梅尔


摘要
达格斯图尔23361预算多目标优化研讨会(04461,06501,09041,12041,15031,18031,20031)对之前的七次达格斯图研讨会进行了一系列的讨论,重点是多目标优化。本系列的最初目标是加强进化多目标优化(EMO)和多准则决策(MCDM)社区之间的联系,这两个社区是当今关注多目标优化的最大社区。这次研讨会特别关注两个社区的方法可能受到有限资源挑战的情况。本报告记录了Dagstuhl研讨会23361“预算多目标优化”的计划和成果。研讨会强调了三种主要的资源限制:方法、技术和与人有关。不同的工作组考虑了这些限制对优化和决策质量的影响,以及量化和减轻这种影响的方法。

引用为

理查德·奥尔门丁格(Richard Allmendinger)、卡洛斯·丰塞卡(Carlos M.Fonseca)、塞尔皮尔·赛因(Serpil Sayin)、玛格丽特·威塞克(Margaret M.Wiecek)和迈克尔·斯蒂格尔梅尔。预算多目标优化(Dagstuhl研讨会23361)。Dagstuhl报告,第13卷,第9期,第1-68页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2024)


将BibTex复制到剪贴板

@第{allmendinger_et_al:DagRep.13.9.1条,author={Allmendinger、Richard和Fonseca、Carlos M.和Sayin、Serpil和Wiecek、Margaret M.和Stiglmayr、Michael},title={{预算多目标优化(Dagstuhl研讨会23361)}},页数={1--68},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},editor={奥尔门丁格、理查德和丰塞卡、卡洛斯·M·和赛因、塞尔皮尔和威塞克、玛格丽特·M·和斯蒂格迈尔、迈克尔},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.1},URN={URN:nbn:de:0030-drops-198207},doi={10.4230/DagRep.13.9.1},annote={关键词:进化算法,昂贵的优化,少快照学习,机器学习,优化,仿真}}
文件
智能半导体制造的决策技术(Dagstuhl研讨会23362)

作者:汉斯·埃姆、约翰·福勒、拉尔斯·莫奇和丹尼尔·肖恩


摘要
2023年9月,达格斯图尔研讨会23362探讨了半导体行业对新型决策技术和相关信息系统的需求,以实现智能生产的灵活决策。研讨会参与者还花时间确定了模拟试验台的要求,该试验台可用于评估半导体行业的智能规划和控制决策。执行摘要描述了研讨会的过程,并讨论了有关这些主题的关键发现和未来研究领域。研讨会期间的演讲摘要和分组会议的成果将在后续章节中收集。

引用为

汉斯·埃姆、约翰·福勒、拉尔斯·莫奇和丹尼尔·肖恩。智能半导体制造的决策技术(Dagstuhl研讨会23362)。《达格斯图尔报告》,第13卷,第9期,第69-102页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024年)


将BibTex复制到剪贴板

@第{ehm_et_al:DagRep.13.9.69条,author={Ehm、Hans和Fowler、John和M“{o} 英寸、拉尔斯和肖恩、丹尼尔}、,title={{智能半导体制造的决策技术(Dagstuhl研讨会23362)}},页数={69--102},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},编辑={嗯,汉斯和福勒,约翰和M \“{o} 英寸、拉尔斯和肖恩、丹尼尔}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.69},URN={URN:nbn:de:0030-drops-198216},doi={10.4230/DagRep.13.969},annote={关键词:分析、建模、半导体制造、仿真、智能制造}}
文件
负责任机器人路线图(达格斯图尔研讨会23371)

作者:迈克尔·费舍尔(Michael Fisher)、玛丽亚·斯拉夫科维奇(Marija Slavkovik)、安娜·多布罗索维斯特诺娃(Anna Dobrosovestnova)和尼克·舒斯特(Nick Schuster)


摘要
本报告记录了Dagstuhl研讨会23371“负责任机器人路线图”的计划和成果。研讨会关注的是各种形式的机器人,尤其是能够在无人直接监督的情况下做出自己的决定和采取自己的行动的自主机器人。该研讨会汇集了计算机科学、机器人学、工程学、哲学、认知科学、人机交互领域的专家以及行业代表,旨在推动欧洲机器人研究网络(EURON)等参与者朝着道德和负责任的机器人系统迈进,欧盟REELER等。我们讨论的主题包括:“为什么自主机器人需要明确的规范性考虑?”、“哪些利益相关者正在或应该参与机器人系统的开发和部署,以及我们如何配置他们的职责?”,“除了常见的相关主题,即信任、公平、可预测性和可理解性,负责任机器人的主要原则是什么?”。随着机器人系统在人类生活中越来越多地出现并产生影响,受到各种价值观的激励,通过对这些问题和其他相关问题的深入讨论,这个跨学科小组确定了一系列相互关联的优先事项,以指导未来的研究和监管工作。由此产生的路线图旨在确保机器人系统与人类社会共同进化,从而促进而不是破坏人类的能动性和人文价值。

引用为

迈克尔·费舍尔(Michael Fisher)、玛丽亚·斯拉夫科维奇(Marija Slavkovik)、安娜·多布罗索维斯特诺娃(Anna Dobrosovestnova)和尼克·舒斯特(Nick Schuster)。负责任机器人路线图(Dagstuhl研讨会23371)。《达格斯图尔报告》,第13卷,第9期,第103-115页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024年)


将BibTex复制到剪贴板

@第{条fisher_et_al:DagRep.13.9.103,author={Fisher、Michael和Slavkovik、Marija和Dobrosovestnova、Anna和Schuster、Nick},title={{负责任机器人路线图(达格斯图尔研讨会23371)}},页数={103--115},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},editor={Fisher、Michael和Slavkovik、Marija和Dobrosovestnova、Anna和Schuster、Nick},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.103},URN={URN:nbn:de:00030-drops-198223},doi={10.4230/DagRep.13.9.103},annote={关键词:机器人、责任、信任、公平、可预测性、可理解性、道德}}
文件
自动化数据科学起源的以人为本方法(Dagstuhl研讨会23372)

作者:Anamaria Crisan、Lars Kotthoff、Marc Streit和Kai Xu


摘要
自动机器学习(AutoML)技术的范围已经扩展到模型选择和超参数调整的初始边界之外,并朝着数据科学管道的端到端开发和完善方向发展。这些进步,无论是理论上的还是实际实现的,都使数据科学工具更容易为依赖低代码或无代码工具选项来分析和理解其数据的领域专家所用。为了确保自动化数据科学技术得到有效和负责任的应用,认真审核自动做出的决策以及在人类的指导下做出的决策变得越来越紧迫。本次达格斯图尔研讨会探讨了自动化数据科学起源的以人为中心的方法。虽然存在关于起源和机器学习的先前研究,但它并没有解决自动化方法的扩展范围以及大规模将此类技术应用于领域专家群体的后果。此外,以前的大多数工作都集中在这个过程的自动化部分,在支持用户需要执行的感知任务方面留下了差距,例如选择数据集和候选模型,以及确定性能不佳的潜在原因。研讨会汇集了来自不同来源、信息可视化、视觉分析、机器学习和人机交互的专家,阐述了AutoML和自动化数据科学带来的用户挑战,讨论了当前的技术水平,并提出了新研究的方向。更具体地说,本次研讨会:-阐述了AutoML和自动化数据科学的最新技术,以支持决策的起源,-描述了数据科学家和领域专家在与自动化方法交互以理解自动化决策时面临的挑战,-研究起源的以数据为中心、以模型为中心和以用户为中心的模型之间的接口,以及它们如何与自动化技术交互,以及-鼓励探索以人为中心的方法;例如,利用可视化。

引用为

阿纳玛丽亚·克里斯安(Anamaria Crisan)、拉尔斯·科特霍夫(Lars Kotthoff)、马克·斯特雷特(Marc Streit)和徐凯(Kai Xu)。自动化数据科学起源的以人为本方法(Dagstuhl研讨会23372)。Dagstuhl报告,第13卷,第9期,第116-136页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2024)


将BibTex复制到剪贴板

@文章{crisan_et_al:DagRep.13.9.116,作者={克里斯安、阿纳玛丽亚和科特霍夫、拉尔斯和斯特雷特、马克和徐、凯},title={{自动化数据科学起源的以人为本方法(达格斯图尔研讨会23372)}},页数={116--136},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},editor={克里斯安、阿纳玛丽亚和科特霍夫、拉尔斯和斯特雷特、马克和徐、凯},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.116},URN={URN:nbn:de:0030-drops-198236},doi={10.4230/DagRep.13.9.116},annote={关键词:Dagstuhl研讨会,起源,AutoML,数据科学,信息可视化,可视化分析,机器学习,人机交互}}
文件
可视化与人文:走向共同的研究议程(达格斯图尔研讨会23381)

作者:Johanna Drucker、Mennatallah El-Assady、Uta Hinrichs、Florian Windhager和Derya Akbaba


摘要
本报告记录了达格斯图尔研讨会23381“可视化与人文:走向共同研究议程”的项目和成果。研讨会的动机是,可视化最近已成为(数字)人文主义研究实践中的一个重要元素,而可视化与人文学科交叉点研究的价值和影响仍在双方广泛辩论和频繁争论。可视化学者批评了以服务为导向的关注,认为可视化是一种促进人文主义研究的工具,这阻碍了对所有相关领域互补和相互丰富的研究视角的发现。与此同时,人文主义者警告说,视觉化起源于数量科学,它在知识权力的拓扑结构中引入了非平凡的转变,造成了认知、政治、伦理、教育和文化的紧张关系。基于这一年轻且高度跨学科的研究领域的进展,研讨会讨论了如何利用协同效应,以及如何在跨越广泛研究哲学和方法的可视化和(数字)人文领域交叉点的方法论之间建立富有成效的张力。因此,研讨会汇集了可视化、计算机科学、人文科学和设计领域的研究人员和实践者,反思可视化和人文学科的现有研究方法,以确定不同领域之间的紧张关系和协同作用,并开发解决和利用这些问题的具体途径。

引用为

约翰娜·德鲁克(Johanna Drucker)、梅纳塔拉·埃尔·阿萨迪(Mennatallah El-Assady)、乌塔·辛里希斯(Uta Hinrichs)、弗洛里安·温德哈格(Florian Windhager)和德里亚·阿克巴巴(Derya Akbaba。可视化与人文:走向共同的研究议程(达格斯图尔研讨会23381)。《达格斯图尔报告》,第13卷,第9期,第137-165页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024年)


将BibTex复制到剪贴板

@文章{drucker_et_al:DagRep.13.9.137,作者={Drucker、Johanna和El-Assady、Mennatallah和Hinrichs、Uta和Windhager、Florian和Akbaba、Derya},title={{可视化与人文:走向共同的研究议程(达格斯图尔研讨会23381)}},页数={137--165},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},editor={德鲁克、约翰娜和艾尔·阿萨迪、梅纳塔拉和辛里希斯、乌塔和温德哈格、弗洛里安和阿克巴巴、德里亚},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.137},URN={URN:nbn:de:0030-drops-198246},doi={10.4230/DagRep.13.9.137},annote={关键词:数字人文、艺术、人文、方法论、研究计划、可视化}}
文件
反应合成的未来(Dagstuhl研讨会23391)

作者:Nathanaël Fijalkow、Bernd Finkbeiner、Guillermo A.Pérez、Elizabeth Polgreen和Rémi Morvan


摘要
2023年9月举行的Dagstuhl研讨会23391“反应合成的未来”旨在聚集邻近社区,共同实现一个目标:反应合成。我们确定了五个趋势:神经符号计算、基于模板的约束编程求解、符号算法、语法引导合成和模型学习;目的是讨论该领域的潜在前景。

引用为

纳塔娜·菲亚尔科夫、伯恩德·芬克贝纳、吉列尔莫·佩雷斯、伊丽莎白·波尔格林和雷米·莫尔文。反应合成的未来(Dagstuhl研讨会23391)。《达格斯图尔报告》,第13卷,第9期,第166-184页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024)


将BibTex复制到剪贴板

@文章{fijalkow_et_al:DagRep.13.9.166,author={Fijalkow,Nathana\“{e} 我Finkbeiner、Bernd和P\'{e} 雷兹吉列尔莫A.和波尔格林,伊丽莎白和莫尔万,R{e} 英里},title={{反应合成的未来(达格斯图尔研讨会23391)}},页数={166--184},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={9},editor={Fijalkow,Nathana\“{e} 我Finkbeiner、Bernd和P\'{e} 雷兹吉列尔莫A.和波尔格林,伊丽莎白和莫尔万,R{e} 英里},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166},URN={URN:nbn:de:0030-drops-198259},doi={10.4230/DagRep.13.9.166},annote={关键词:程序合成,程序验证,反应合成,时间合成}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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