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



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
Dagstuhl报告,第12卷,第9期,2022年9月,完整版

引用为

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


将BibTex复制到剪贴板

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

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

引用为

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


将BibTex复制到剪贴板

@第{DagRep.12.9.i条,title={{Dagstuhl Reports,目录,第12卷,第9期,2022}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.9.i},URN={URN:nbn:de:0030-drops-178061},doi={10.4230/DagRep.12.9.i},annote={关键词:目录,前沿内容}}
文件
数字社会中民主的挑战和机遇(Dagstuhl研讨会22361)

作者:亚伯拉罕·伯恩斯坦(Abraham Bernstein)、安妮塔·戈德斯(Anita Gohdes)、克里斯蒂娜·萨拉苏(Cristina Sarasua)、斯特芬·斯塔布(Steffen Staab)和贝斯·西蒙·诺维克(Beth Simone Noveck)


摘要
数字技术放大并改变了社会进程。到目前为止,社会和知识分子对数字转型对民主生活的影响描绘了两个极端。虽然2000年代初至2010年代中期宣布数字技术的“解放”方面,但脱欧后的事件和2016年美国大选都强调了数字革命的“黑暗面”。现在,我们需要做出明确的努力,超越技术救世主主义或厄运场景。为此,我们组织了Dagstuhl研讨会22361“数字社会中民主的挑战和机遇”,讨论数字民主的未来。本报告概述了2022年9月在达格斯图尔举行的研讨会。研讨会吸引了来自不同学科的科学学者,包括政治学、计算机科学、法学和传播科学,以及公民技术从业者。

引用为

亚伯拉罕·伯恩斯坦(Abraham Bernstein)、安妮塔·戈德斯(Anita Gohdes)、克里斯蒂娜·萨拉苏(Cristina Sarasua)、斯特芬·斯塔布(Steffen Staab)和贝斯·西蒙·诺维克(Beth Simone Noveck)。数字社会中民主的挑战和机遇(Dagstuhl研讨会22361)。《达格斯图尔报告》,第12卷,第9期,第1-19页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆(2023)


将BibTex复制到剪贴板

@第{bernstein_et_al:DagRep.12.9.1条,作者={伯恩斯坦、亚伯拉罕和戈迪斯、安妮塔和萨拉苏亚、克里斯蒂娜和斯塔布、斯特芬和诺维克、贝丝·西蒙},title={{数字社会中民主的挑战和机遇(Dagstuhl研讨会22361)}},页数={1--19},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={伯恩斯坦、亚伯拉罕和戈德斯、安妮塔和萨拉苏、克里斯蒂娜和斯塔布、斯特芬和诺维克、贝斯·西蒙},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.9.1},URN={URN:nbn:de:0030-drops-178073},doi={10.4230/DagRep.12.9.1},annote={关键词:共同设计、民主监管、大规模决策、大规模审议、社会}}
文件
数字双胞胎的模型驱动工程(Dagstuhl研讨会22362)

作者:Loek Cleophas、Thomas Godfrey、Djamel Eddine Khelladi、Daniel Lehner、Benoit Combemale、Bernhard Rumpe和Steffen Zschaler


摘要
本报告记录了Dagstuhl研讨会22362“数字双胞胎的模型驱动工程”的项目和成果。数字双胞胎是一个新兴概念,有可能彻底改变我们与物理世界的互动方式。数字孪生可以用于改进对复杂系统的分析和理解,以及对这些系统的控制和转换。数字孪生兄弟本身就是复杂的软件系统,提出了新的软件工程挑战,迄今为止,软件工程研究界尚未充分解决这些挑战。研讨会旨在为基于模型的数字双胞胎开发的新软件工程子学科制定坚实的研究路线图做出贡献。本文是一个中间结果,预计将在使用本研讨会构建的研究社区中进行进一步讨论。

引用为

Loek Cleophas、Thomas Godfrey、Djamel Eddine Khelladi、Daniel Lehner、Benoit Combemale、Bernhard Rumpe和Steffen Zschaler。数字双胞胎的模型驱动工程(Dagstuhl研讨会22362)。《达格斯图尔报告》,第12卷,第9期,第20-40页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆(2023)


将BibTex复制到剪贴板

@第{cleophas_et_al:DagRep.12.9.20,作者={克利奥帕斯、勒克和戈弗雷、托马斯和凯拉迪、杰梅尔·埃丁和莱纳、丹尼尔和库梅莱、贝诺特和伦佩、伯恩哈德和兹谢勒、斯特芬},title={{数字双胞胎的模型驱动工程(Dagstuhl研讨会22362)}},页数={20--40},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={库梅莱、贝诺特和伦佩、伯恩哈德和兹谢勒、斯特芬},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.20},URN={URN:nbn:de:0030-drops-178080},doi={10.4230/DagRep.12.920},annote={关键词:软件工程,模型驱动工程,数字孪生,模型管理,数据管理,模型@运行时}}
文件
计算复杂性中的代数和分析方法(Dagstuhl研讨会22371)

作者:马库斯·巴泽尔(Markus Bläser)、瓦伦丁·卡巴内茨(Valentine Kabanets)、罗恩·沙蒂尔(Ronen Shaltiel)和雅各布·托兰(Jacobo Torán)


摘要
本报告记录了Dagstuhl研讨会2237“计算复杂性中的代数和分析方法”的计划和结果。计算复杂性涉及算法检测组合对象和结构属性所需的资源。事实证明,讨论这些组合对象的最佳方法是建立与行为良好的代数设置的连接(也许是近似的)。除了代数方法外,分析方法在理论计算机科学中也已经使用了相当长的一段时间。这些方法也可以用来解决代数问题,最近在去域化、编码理论或电路下界领域的许多例子都表明了这一点。这些新方向是达格斯图尔研讨会的重点,反映了自18391年达格斯图研讨会以来该领域的发展。这次Dagstuhl研讨会汇集了在各种环境中使用各种代数和分析方法的研究人员。这些领域的研究人员正在依赖越来越复杂和专业化的数学,这次研讨会在教育不同社区了解最新新技术方面发挥了作用,推动了进一步的进步。

引用为

马库斯·巴泽尔(Markus Bläser)、瓦伦蒂·卡巴内茨(Valentine Kabanets)、罗恩·沙蒂尔(Ronen Shaltiel)和雅各布·托兰(Jacobo Torán)。计算复杂性中的代数和分析方法(Dagstuhl研讨会22371)。《达格斯图尔报告》,第12卷,第9期,第41-59页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@文章{blaser_et_al:DagRep.12.9.41,author={Bl\“{a} 服务器、马库斯和卡巴内茨、瓦伦丁和沙蒂尔、罗恩和托尔{a} n个,雅各布},title={{计算复杂性中的代数和分析方法(Dagstuhl研讨会22371)}},页数={41--59},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},编辑器={Bl\“{a} 服务器、马库斯和卡巴内茨、瓦伦丁和沙蒂尔、罗恩和托尔{a} n个,雅各布},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.41},URN={URN:nbn:de:0030-drops-178092},doi={10.4230/DagRep.12.941},annote={关键词:(去)随机化,代数,电路,编码,计算复杂性}}
文件
知识图及其在21世纪知识工程中的作用(Dagstuhl研讨会22372)

作者:Paul Groth、Elena Simperl、Marieke van Erp和Denny Vrandeć


摘要
本报告记录了2022年9月举行的Dagstuhl研讨会22372“知识图及其在21世纪知识工程中的作用”的计划和成果。研讨会旨在更好地了解当今创建、维护和使用知识图的方式,并确定整个知识工程生命周期中的研究挑战,包括建模、表示、推理和进化等任务。参与者确定了应对这些挑战的研究方向,这将构成新方法、方法和工具的基础,适用于使用知识图的各种人工智能系统,例如自然语言处理或信息检索。研讨会汇集了知识工程和邻近社区的概况,包括这些领域的主要专家、学者、从业者和新星。它实现了其目标——参与者盘点了现有和新兴的解决方案,讨论了悬而未决的问题和实际挑战,并为新的研究、技术转让和跨学科合作确定了充足的机会。讨论的主题包括:为知识图设计工程方法,将大型语言模型和结构化数据集成到知识工程管道中,知识工程的神经方法,在知识图构建中负责任地使用人工智能,其他形式的知识表示,以及产生用户和开发人员的买进。除了一系列联合出版物、黑客马拉松和项目提案外,参与者建议与其他科学界联合开展活动,特别是那些致力于大型语言模型、生成性人工智能、FAccT(公平、问责、透明)和人机交互的科学界。由于凯瑟琳·艾伦(Catherine Allan)的帮助,这些讨论被捕捉到了可视化摘要中-您可以在https://www.catherineallan.co.uk/。摘要排列在整个报告中。最后,有关研讨会的知识可以在Wikidata中获取,网址为https://www.wikidata.org/wiki/Q113961931

引用为

Paul Groth、Elena Simperl、Marieke van Erp和Denny Vrandeć。知识图及其在21世纪知识工程中的作用(Dagstuhl研讨会22372)。在《达格斯图尔报告》第12卷第9期第60-120页,达格斯图宫-莱布尼茨-泽特鲁姆宫(2023年)


将BibTex复制到剪贴板

@文章{groth_et_al:DagRep.12.9.60,author={格罗斯、保罗和辛佩尔、埃琳娜和范埃尔普、玛丽克和弗兰德\v{c} 我\{c},丹尼},title={{知识图及其在21世纪知识工程中的作用(Dagstuhl研讨会22372)},页数={60--120},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={格罗斯、保罗和辛珀、埃琳娜和范·埃尔普、玛丽克和弗兰德\v{c} 我\{c},丹尼},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.60},URN={URN:nbn:de:0030-drops-178105},doi={10.4230/DagRep.12.960},annote={关键词:达格斯图尔研讨会}}
文件
核糖核酸的合理设计(Dagstuhl研讨会22381)

作者:Sven Findeiß、Christoph Flamm和Yann Ponty


摘要
本报告记录了Dagstuhl研讨会22381“核糖核酸的合理设计”(RNAs)的计划和结果。研讨会涵盖了广泛的模型、算法策略、分子尺度和模式,所有这些都是针对执行预定生物功能的RNA的电子设计。它包括一系列的会谈,每一次都有一个慷慨的时间预算,可以经常(欢迎!)中断并进行富有成效的讨论。合理RNA设计的应用包括mRNA疫苗;作为传感器的RNA;自我复制RNA,与RNA世界/生命起源研究相关;执行计算的RNA种群,例如通过绞线置换系统;RNA折纸通过自组装形成纳米结构;弱相互作用RNA通过液-液相分离诱导细胞内液滴的形成。这些不同的应用通常由倾向于生物信息学的科学家来解决,他们为生命科学的不同领域做出了贡献,因此,他们在一定程度上是孤立的,有时不知道邻近领域的类似研究。此次会议的首要目标是聚集来自多个领域的计算科学家,提高对遥远社区相关工作的认识,并最终促成RNA设计本身成为研究对象的横向视角。

引用为

Sven Findeiß、Christoph Flamm和Yann Ponty。核糖核酸的合理设计(Dagstuhl研讨会22381)。《达格斯图尔报告》,第12卷,第9期,第121-149页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@第{findei_et_al:DagRep.12.9.121条,作者={Findei{\ss},Sven和Flamm,Christoph和Ponty,Yann},title={{核糖核酸的合理设计(Dagstuhl研讨会22381)}},页数={121--149},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={Findei{\ss},Sven和Flamm,Christoph和Ponty,Yann},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.121},URN={URN:nbn:de:0030-drops-178110},doi={10.4230/DagRep.12.9121},注释={关键词:RNA,RNA设计,反向折叠,RNA结构,mRNA设计,RNA传感器,共转录折叠,分子进化,远同源性,药物设计}}
文件
科学机器学习:数据驱动和机械建模的桥梁(Dagstuhl研讨会22382)

作者:菲利普·贝伦斯(Philipp Berens)、凯尔·克兰默(Kyle Cranmer)、尼尔·D·劳伦斯(Neil D.Lawrence)、乌里克·冯·卢克斯堡(Ulrike von Luxburg)和杰西卡·蒙哥马利(Jessica Montgomery)


摘要
本报告记录了Dagstuhl研讨会22382“科学机器学习:桥接数据驱动和机械建模”的计划和成果。当今的科学挑战以复杂性为特征。相互连接的自然、技术和人类系统受到跨时间和空间尺度的力的影响,导致复杂的交互作用和突发行为。理解这些现象,并利用科学进步提供创新解决方案,以改善社会的健康、财富和福祉,需要新的方法来分析复杂系统。人工智能的变革潜力源于其跨学科的广泛适用性,只有通过跨研究领域的整合才能实现。人工智能是科学的交汇点。它汇集了人工智能和应用领域的专业知识;将建模知识与工程知识相结合;并依赖于跨学科、人与机器之间的协作。除了技术进步外,该领域的下一波进步将来自于建立一个由机器学习研究人员、领域专家、公民科学家和工程师组成的社区,共同设计和部署有效的人工智能工具。本报告总结了研讨会的讨论,并提供了一个路线图,以建议不同社区如何合作,以实现人工智能及其科学发现应用的新一轮进展。

引用为

Philipp Berens、Kyle Cranmer、Neil D.Lawrence、Ulrike von Luxburg和Jessica Montgomery。科学机器学习:架起数据驱动和机械建模的桥梁(Dagstuhl研讨会22382)。《达格斯图尔报告》,第12卷,第9期,第150-199页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@文章{berens_et_al:DagRep.12.9.150,author={Berens、Philipp和Cranmer、Kyle和Lawrence、Neil D.和von Luxburg、Ulrike和Montgomery、Jessica},title={{科学机器学习:架起数据驱动和机械建模的桥梁(Dagstuhl研讨会22382)}},页数={150--199},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={贝伦斯、菲利普和克莱默、凯尔和劳伦斯、尼尔·D·和冯·卢克斯堡、乌尔里克和蒙哥马利、杰西卡},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.150},URN={URN:nbn:de:0030-drops-178125},doi={10.4230/DagRep.12.9150},annote={关键词:机器学习、人工智能、生命科学、物理科学、环境科学、模拟、因果关系、建模}}
文件
认知机器人(Dagstuhl研讨会22391)

作者:Fredrik Heintz、Gerhard Lakemeyer和Sheila McIlraith


摘要
本报告记录了Dagstuhl研讨会22391关于“认知机器人”主题的计划和成果。认知机器人学致力于赋予机器人或软件代理更高层次的认知功能,包括推理,例如关于目标、感知、动作、其他代理的心理状态以及协作任务执行。该研讨会是1998年发起的关于这一主题的一系列活动中的最新活动。基于知识表示和推理,本次研讨会的计划受到了机器学习和深度学习的革命性进展、人机交互的最新进展以及可信认知机器人系统开发中出现的问题的影响。为了反映这一点,研讨会专门讨论了以下四个主题:认知机器人和KR、认知机器人验证、人机交互和机器人道德、规划和学习。每一个主题都包括全体会谈、全体讨论和工作组,形成了未来几年的研究路线图。还有一个海报会议,参与者可以展示新的或公布的结果。由于达格斯图尔学院提供了良好的交流环境,研讨会非常成功,受到了与会者的欢迎。

引用为

Fredrik Heintz、Gerhard Lakemeyer和Sheila McIlraith。认知机器人(Dagstuhl研讨会22391)。Dagstuhl报告,第12卷,第9期,第200-219页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2023)


将BibTex复制到剪贴板

@第{heintz_et_al:DagRep.12.9.200,author={Heintz、Fredrik和Lakemeyer、Gerhard和McIlraith、Sheila},title={{认知机器人学(Dagstuhl研讨会22391)}},页数={200--219},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={Heintz、Fredrik和Lakemeyer、Gerhard和McIlraith、Sheila},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.200},URN={URN:nbn:de:0030-drops-178132},doi={10.4230/DagRep.12.9200},annote={关键词:人工智能、知识表示与推理、认知机器人、验证、人机交互、机器人伦理、机器学习、规划}}
文件
作为用户界面问题的透明定量研究(Dagstuhl研讨会22392)

作者:Chat Wacharamanotham、Yvonne Jansen、Amelia A.McNamara、Kasper Hornbk、Judy Robertson和Lahari Goswami


摘要
许多科学领域的复制危机激发了走向开放科学的运动。在这场运动中,推动了提高研究透明度。尽管人机交互(HCI)和可视化(VIS)领域的研究人员面临这些挑战,但他们拥有研究、设计和评估创新的方法学专业知识,这些创新有助于提高研究透明度。本次达格斯图尔研讨会汇集了HCI和VIS研究人员以及统计和心理学等邻近领域的研究人员,讨论在促进和采用研究透明度方面的挑战,创建潜在解决方案的原型,并接收研究界政策影响者的反馈。这次研讨会为未来的倡议和合作培育了种子,以提高HCI、VIS和其他科学领域的研究透明度。

引用为

Chat Wacharamanotham、Yvonne Jansen、Amelia A.McNamara、Kasper Hornbk、Judy Robertson和Lahari Goswami。作为用户界面问题的透明定量研究(Dagstuhl研讨会22392)。《达格斯图尔报告》,第12卷,第9期,第220-234页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2023年)


将BibTex复制到剪贴板

@第{wacharamanotham_et_al:DagRep.12.9.220条,author={Wacharamanotham、Chat和Jansen、Yvonne和McNamara、Amelia A.和Hornb{\ae}k、Kasper和Robertson、Judy和Goswami、Lahari},title={{作为用户界面问题的透明定量研究(Dagstuhl研讨会22392)}},页数={220--234},日志={Dagstuhl报告},ISSN={2192-5283},年份={2023},体积={12},数字={9},editor={Wacharamanotham、Chat和Jansen、Yvonne和McNamara、Amelia A.和Hornb{\ae}k、Kasper和Robertson、Judy和Goswami、Lahari},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.220},URN={URN:nbn:de:0030-drops-178149},doi={10.4230/DagRep.12.9220},annote={关键词:开放科学,研究透明度,可复制性,再现性,达格斯图尔研讨会}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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