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



缩略图PDF

出版物详细信息

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

接入号码

文件

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

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

引用为

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


将BibTex复制到剪贴板

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

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

引用为

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


将BibTex复制到剪贴板

@第{DagRep.13.11.i条,title={{Dagstuhl Reports,目录,第13卷,第11期,2023}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.11.i},URN={URN:nbn:de:0030-drops-198423},doi={10.4230/DagRep.13.11.i},annote={Keywords:目录,Frontmatter}}
文件
生物医学数据可视化——塑造未来和架起桥梁(达格斯图尔研讨会23451)

作者:卡蒂娅·比勒、巴博拉·科兹利科娃、迈克尔·克龙、卡加泰·图尔盖和拉马萨米·巴赫马纳班


摘要
过去几十年来,生物学和医学的进步及其与可视化领域的相互作用证明,这些领域天生紧密相连。可视化在创造、理解和交流生物和医学发现方面发挥着不可替代的作用。达格斯图尔研讨会23451的目标是在数据、数据分析和数据密集型科学传播日益复杂的背景下,作为一个跨学科平台,以集体方式应对可视化、生物学和医学交叉点的当代和未来新兴科学和社会挑战。在之前研讨会的成功和我们正在进行的社区努力的基础上,这次研讨会的参与者批判性地解决了生物信息学、医学信息学和可视化社区感兴趣的高度相关的科学问题。这些挑战包括生物医学研究中产生的数据越来越复杂和数量越来越多,可视化在支持跨学科研究以及向专家和更广泛的受众传播生物学和医学发现方面的作用,以及可视化,在生物医学应用中实现以用户为中心的可信可解释人工智能。研讨会是通过深入、全面和包容的思想、经验和观点交流,加强和扩大由学术界和工业界的生物、医学和可视化研究人员组成的可持续和充满活力的跨学科社区的重要一步。确定的关键主题涵盖方法、技术、基础设施和社会挑战。讨论和意见交流围绕着生物和生物医学领域中最紧迫的问题,以及如何通过数据可视化解决这些问题,从而为设计和方法的创新开辟了空间。

引用为

卡贾·比勒(Katja Bühler)、巴博拉·科兹利科娃(Barbora Kozlíková)、迈克尔·克龙(Michael Krone)、卡加泰·图尔盖(Cagatay Turkay)和拉马萨米·巴赫马纳班。生物医学数据可视化——塑造未来和架起桥梁(达格斯图尔研讨会23451)。《达格斯图尔报告》,第13卷,第11期,第1-19页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024)


将BibTex复制到剪贴板

@第{buhler_et_al:DagRep.13.11.1条,作者=“{u} 赫勒、卡加和科兹尔、巴博拉和克朗、迈克尔和图尔盖、卡加泰和巴赫马纳班、拉马萨米、,title={生物医学数据的可视化-塑造未来和搭建桥梁(Dagstuhl研讨会23451)},页数={1--19},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},编辑器={B\“{u} 赫勒、卡加和科兹尔、巴博拉和克朗、迈克尔和图尔盖、卡加泰和巴赫马纳班、拉马萨米、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/达格代表13.11.1},URN={URN:nbn:de:0030-drops-198438},doi={10.4230/DagRep.13.11.1},annote={关键词:生物学,计算生物学,跨学科,医学,可视化}}
文件
人与人之间的工作互动(达格斯图尔研讨会23452)

作者:苏珊娜·波尔(Susanne Boll)、安德鲁·库恩(Andrew L.Kun)、巴斯蒂安·弗莱金(Bastian Pfleging)和奥里特·沙尔(Orit Shaer)


摘要
工作正在发生变化。谁在工作,在哪里和何时工作,使用什么工具,如何与他人合作,如何接受培训,以及工作如何与幸福互动,所有这些方面的工作目前都在迅速转变。工作变化的一个关键来源是利用人工智能(AI)技术的计算工具的出现。人工智能将越来越多地支持传统和非传统环境中的工人执行手动视觉任务以及主要需要认知技能的任务。鉴于这种新兴的工作环境,达格斯图尔研讨会的主题是在传统和非传统工作场所以及异类和多样化的远程和现场工作团队中进行人机交互。我们关注以下研究问题:-在实际环境中,我们如何在人类和自动化之间分配任务?-接口如何允许人类对人和机器的角色有适当的理解,如何对机器有适当的信任,以及如何减少不正确的使用和混淆?-我们如何支持用户关注不同的任务、团队和工作环境?-人机交互技术如何支持工作和员工福利?在研讨会上,考虑到这些问题的相互关联性,我们讨论了这些问题。这种对问题相互关联的关注得到了Dagstuhl研讨会跨学科小组的支持,来自工业界和学术界的计算机科学家/工程师、电气工程师、人为因素工程师、交互设计师、UI/UX设计师以及心理学家出席了研讨会。在下文中,我们报告了达格斯图尔研讨会23452“人与人之间的工作互动”的计划、活动和结果

引用为

Susanne Boll、Andrew L.Kun、Bastian Pfleging和Orit Shaer。人与人之间的工作互动(达格斯图尔研讨会23452)。《达格斯图尔报告》,第13卷,第11期,第20-71页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024)


将BibTex复制到剪贴板

@文章{boll_et_al:DagRep.13.11.20,author={波尔、苏珊娜和坤、安德鲁·L·和普弗莱金、巴斯蒂安和谢尔、奥里特},title={{人与人之间的工作互动(达格斯图尔研讨会23452)}},页数={20--71},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},editor={波尔、苏珊娜和坤、安德鲁·L·和普弗莱金、巴斯蒂安和谢尔、奥里特},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.111.20},URN={URN:nbn:de:0030-drops-198444},doi={10.4230/DagRep.13.11.20},annote={关键词:工作的未来,人机交互}}
文件
空间与人工智能(达格斯图尔研讨会23461)

作者:萨索·季洛斯基、霍尔格·胡斯、伯特兰·勒索克斯、伦德特·范德托雷和阿娜·科斯托夫斯卡


摘要
本报告记录了23461“空间与人工智能”达格斯图尔研讨会的计划和成果。研讨会是跨学科的,位于人工智能/计算机科学和空间研究的交叉点。由于每一个领域都是一个非常广泛的领域,我们将重点放在这两个领域中的每一个主题及其交叉点上。在人工智能方面,我们重点关注数据驱动的人工智能,它利用数据来产生智能行为,尤其包括机器学习方法。我们还考虑了基于知识的人工智能,它专注于人类知识的明确形式化及其在推理、规划和调度等任务中的使用。在空间研究方面,我们考虑了空间操作(SO)和地球观测(EO)的两个主要分支。研讨会汇集了一批不同的参与者,一方面是学术界的研究人员,另一方面是来自空间机构(欧空局、美国航天局)和工业界的从业人员。研讨会包括全体会谈和平行小组讨论。通过全体会谈,我们深入了解了人工智能研究和空间研究不同领域的最新进展,尤其是在它们的交叉点。通过平行小组讨论,我们确定了取得进一步进展的障碍和挑战,并为进一步工作指明了方向。

引用为

萨索·季洛斯基、霍尔格·胡斯、伯特兰·勒索克斯、伦德特·范德托雷和阿娜·科斯托夫斯卡。空间与人工智能(达格斯图尔研讨会23461)。Dagstuhl报告,第13卷,第11期,第72-102页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2024)


将BibTex复制到剪贴板

@文章{dzeroski_et_al:DagRep.13.11.72,作者={D\v{z} 爱索基人,安全{s} o(o)还有胡斯、霍尔格·H·和勒索、伯特兰和范德托雷、伦德特和科斯托夫斯卡、阿纳},title={{空间与人工智能(达格斯图尔研讨会23461)}},页数={72--102},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},编辑器={D\v{z} 爱索基人,安全{s} o个还有胡斯、霍尔格·H·和勒索、伯特兰和范德托雷、伦德特和科斯托夫斯卡、阿纳},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.11.72},URN={URN:nbn:de:0030-drops-198454},doi={10.4230/DagRep.13.11.72},annote={关键词:人工智能、机器学习、基于数据的AI、基于知识的AI,深度学习、基础模型、可解释的人工智能、空间研究、空间操作、地球观测}}
文件
定义和强化社会工程中的认知脆弱性(Dagstuhl研讨会23462)

作者:尤姆娜·阿卜杜勒拉赫曼(Yomna Abdelrahman)、弗洛里安·阿尔特(Florian Alt)、蒂尔曼·丁格勒(Tilman Dingler)、克里斯托弗·哈德纳吉(Christopher Hadnagy)、阿比·马罗尼奥(Abbie Maroño)


摘要
社会工程已经成为以人为中心的网络攻击的主要载体,这是过去几年网络犯罪行业空前专业化的结果。因此,通过操纵,犯罪分子试图让受害者采取危及安全的行动,例如泄露证件、支付款项或披露机密信息。除了通过教育提高认识外,目前几乎没有有效的保护手段来防范此类袭击。与此同时,传感器在我们日常生活中的普及,无论是在个人设备还是在我们的(智能)环境中,都为开发评估用户认知脆弱性的解决方案提供了前所未有的机会,并成为新型保护手段的基础。本报告记录了Dagstuhl研讨会23462“定义和加强社会工程中的认知脆弱性”的计划和成果。这个为期三天的研讨会汇集了学术界、工业界和社会工程权威的专家。在研讨会期间,与会者对社会工程形成了共同的理解,确定了重大挑战,制定了研究议程,并以研究项目和联合倡议的形式确定合作思路。

引用为

尤姆娜·阿卜杜勒拉赫曼(Yomna Abdelrahman)、弗洛里安·阿尔特(Florian Alt)、蒂尔曼·丁格勒(Tilman Dingler)、克里斯托弗·哈德纳吉(Christopher Hadnagy)、阿比·马罗尼奥(Abbie Maroño)和。定义和强化社会工程中的认知脆弱性(Dagstuhl研讨会23462)。《达格斯图尔报告》,第13卷,第11期,第103-129页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024年)


将BibTex复制到剪贴板

@文章{abdelrahman_et_al:DagRep.13.1103,author={Abdelrahman、Yomna和Alt、Florian和Dingler、Tilman和Hadnagy、Christopher和Maro\~{n} o个、阿比和迪斯特勒、维雷纳}、,title={{定义和强化社会工程中的认知脆弱性(Dagstuhl研讨会23462)}},页数={103--129},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},editor={Abdelrahman、Yomna和Alt、Florian和Dingler、Tilman和Hadnagy、Christopher和Maro\~{n} o个、阿比和迪斯特勒、维雷纳}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.1103},URN={URN:nbn:de:0030-drops-198461},doi={10.4230/DagRep.13.1103},annote={关键词:社会工程,认知漏洞,网络钓鱼,视觉}}
文件
下一代演绎系统:从合成到合成(达格斯图尔研讨会23471)

作者:玛丽亚·保拉·博纳西纳(Maria Paola Bonacina)、帕斯卡尔·方丹(Pascal Fontaine)、科劳迪亚·纳隆(Cláudia Nalon)、克劳迪娅·肖恩(Claudia Schon)和马丁·德沙奈斯(Martin Desharnais)


摘要
演绎系统是利用推理或转换规则、搜索策略和多种支持算法,通过逻辑演绎推理解决问题的计算机程序。它们是SAT/SMT求解器、定理证明器和证明助手的核心。这些工具的广泛成功应用表明逻辑演绎推理非常适合机器。然而,可满足性和有效性是一个难题,应用程序需要推理机来处理大型和异构的知识库,并生成规模和多样性不断增加的证明和模型。因此,开发了大量技术,导致研讨会上确定的增长危机。这场危机也表现为软件危机,在研讨会上称为自动推理软件危机。许多演绎系统仍然是原型,而相对较少的成熟系统诉诸于将技术组合成对实验有用的组合,但不会导致突破。为了解决这一增长危机,达格斯图研讨会“下一代演绎系统:从合成到合成”(23471)集中讨论了合成的关键概念,即保留组件属性的组合。组合适用于演绎的所有构建块:规则系统、策略、证据和模型。研讨会期间讨论了所有这些组合实例,包括基于实例和基于叠加的推理系统的组合,以及SMT求解器中用于证明生成的模块的组合。研讨会期间分析的其他类型的作文包括推理和学习的作文,以及推理系统和知识系统的作文。事实上,推理者在派生过程中学习,而对于应用程序,从验证到机器人,证明者和求解者需要使用其他基于知识的组件。为了解决自动推理软件危机,研讨会详细阐述了合成的概念,作为理论和设计层面上合成的工程对应物。研讨会明确指出模块化是实现组合的第一步,建议将现有系统分解为可在新系统中重新组合的模块库。随后的讨论区分了作为行业动力工具的自动推理机和作为教学工具的自动理性机。在社会层面上,这种区别对于应对新生因无法与行业电动工具竞争而气馁,或被诱导只加入那些致力于行业电动工具的研究小组的现象非常重要。总之,研讨会完全成功地促进了对未来工作的意见和建议交流。

引用为

玛丽亚·保拉·博纳西纳(Maria Paola Bonacina)、帕斯卡尔·方丹(Pascal Fontaine)、科劳迪亚·纳隆(Cláudia Nalon)、克劳迪亚·肖恩(Claudia Schon)和马丁·德沙奈斯(Martin Desharnais)。下一代演绎系统:从合成到合成(达格斯图尔研讨会23471)。《达格斯图尔报告》,第13卷,第11期,第130-150页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024年)


将BibTex复制到剪贴板

@第{条bonacina_et_al:DagRep.13.11.130,author={博纳西纳,玛丽亚·保拉和方丹,帕斯卡和纳隆,Cl\'{a} 奥迪亚肖恩、克劳迪娅和德斯哈奈斯、马丁,title={{下一代演绎系统:从构图到构图(Dagstuhl研讨会23471)}},页数={130--150},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},editor={博纳西纳,玛丽亚·保拉和方丹,帕斯卡和纳隆,Cl\'{a} 奥迪亚肖恩、克劳迪娅和德斯哈奈斯、马丁,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.131.130},URN={URN:nbn:de:0030-drops-198472},doi={10.4230/DagRep.13.11.130},annote={关键词:人工智能,自动推理,合成,演绎,逻辑}}
文件
MAD:微型建筑攻击和防御(达格斯图尔研讨会23481)

作者:克里斯托弗·弗莱彻(Christopher W.Fletcher)、马可·瓜尼埃里(Marco Guarnieri)、大卫·科尔布伦纳(David Kohlbrenner)和克莱门汀·莫里斯(Clémentine Maurice)


摘要
微体系结构攻击颠覆了许多软件级安全机制所依赖的安全假设,从而威胁到我们IT系统的安全。这些攻击利用处理器内部优化泄漏敏感信息并危害系统安全所产生的副作用(如程序执行时间的细微计时差异)。构建抵抗此类攻击的系统需要从根本上重新考虑硬件和软件安全机制的设计。这次研讨会汇集了在硬件-软件界面安全方面工作的主要研究人员,他们跨越四个不同的社区:计算机安全、计算机架构、编程语言和验证以及应用密码学。目标是(1)全面概述微结构攻击和防御的当前进展,(2)促进来自不同研究社区的研究人员之间的互动和未来合作,以及(3)确定有趣的研究方向和需要解决的开放挑战,以构建抵抗微体系结构攻击的下一代系统。

引用为

Christopher W.Fletcher、Marco Guarnieri、David Kohlbrenner和Clémentine Maurice。MAD:微型建筑攻击和防御(达格斯图尔研讨会23481)。Dagstuhl报告,第13卷,第11期,第151-166页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2024)


将BibTex复制到剪贴板

@文章{fletcher_et_al:DagRep.13.11.151,author={Fletcher、Christopher W.和Guarnieri、Marco和Kohlbrenner、David和Maurice,Cl\'{e} 门汀},title={{MAD:微型建筑攻击和防御(达格斯图尔研讨会23481)}},页数={151--166},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},editor={Fletcher、Christopher W.和Guarnieri、Marco和Kohlbrenner、David和Maurice,Cl\'{e} 薄荷碱},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.131.151},URN={URN:nbn:de:0030-drops-198488},doi={10.4230/DagRep.13.11.151},annote={关键词:硬件-软件安全协同设计,微体系结构攻击,安全体系结构,副通道分析}}
文件
社交XR:沟通与合作的未来(达格斯图尔研讨会23482)

作者:Mark Billinghurst、Pablo Cesar、Mar Gonzalez-Franco、Katherine Isbister、Julie Williamson和Alexandra Kitson


摘要
我们正迅速迈向一个混合世界,在这个世界里,沟通和协作发生在现实、虚拟以及两者之间的任何地方。但是,目前的技术已经为这种转变做好了准备吗?社交扩展现实(XR)系统有望克服当前实时电话会议系统的局限性,实现更好的沉浸感,增强存在感,培养更成功的人际互动。XR中熟悉的、有意义的和战略性增强的社交互动的可能性将沉浸式技术定位为实时通信和协作的未来。此次达格斯图尔研讨会汇集了来自不同学科的学者和从业者,以应对沉浸式互动的公开挑战,包括可能的未来的道德、法律和社会方面。参与者通过快速讲座和XR演示分享了他们的工作。研讨会组织者在小型小组开会讨论三天的三个主题之前进行了挑衅性演讲:XR设计方法、道德和价值观;捕捉和建模;以及proxemics、metrics、instrumentation和evaluation。最后,我们总结了社会XR领域在移情计算、混合现实、资产和数据集以及调查工具方面的一系列重大挑战。

引用为

Mark Billinghurst、Pablo Cesar、Mar Gonzalez Franco、Katherine Isbister、Julie Williamson和Alexandra Kitson。社交XR:沟通与合作的未来(达格斯图尔研讨会23482)。《达格斯图尔报告》,第13卷,第11期,第167-196页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2024)


将BibTex复制到剪贴板

@第{条billinghurst_et_al:DagRep.13.1167,author={比林赫斯特、马克和塞萨尔、巴勃罗和冈萨雷斯-弗兰科、马尔和伊斯比斯特、凯瑟琳和威廉姆森、朱莉和基特森、亚历山德拉},title={{Social XR:沟通与合作的未来(达格斯图尔研讨会23482)}},页数={167--196},日志={Dagstuhl报告},ISSN={2192-5283},年份={2024},体积={13},数字={11},editor={比林赫斯特、马克和塞萨尔、巴勃罗和冈萨雷斯-弗兰科、马尔和伊斯比斯特、凯瑟琳和威廉姆森、朱莉和基特森、亚历山德拉},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.131.167},URN={URN:nbn:de:0030-drops-198492},doi={10.4230/DagRep.13.11.167},annote={关键词:社交XR、增强现实、虚拟现实、扩展现实、社交计算}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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