达格斯图尔报告，第13卷，第10期
-
部分： 体积： Dagstuhl报告，第13卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2024-04-08 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
达格斯图尔报告，第13卷，第10期，2023年10月，完整版
摘要
引用为
@第{DagRep.13.10条， title={{Dagstuhl Reports，第13卷，第10期，2023年10月，完整版}}， 页数={1--213}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10 }, URN={URN:nbn:de:0030-drops-198292}， doi={10.4230/DagRep.13.10}， annote={关键词：Dagstuhl报告，第13卷，第10期，2023年10月，完整期} }
达格斯图尔报告，目录，第13卷，第10期，2023年
摘要
引用为
@第{DagRep.13.10.i条， title={{Dagstuhl Reports，目录，第13卷，第10期，2023}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.10.i }, URN={URN:nbn:de:0030-drops-198302}， doi={10.4230/DagRep.13.10.i}， annote={Keywords:目录，Frontmatter} }
自动化数学：集成证明、算法和数据（达格斯图尔研讨会23401）
摘要
引用为
@第{bauer_et_al:DagRep.13.10.1条， author={Bauer、Andrej和Ber\v {c} 我 \v{c}，卡加和拉贝，弗洛里安和提伊 {e} 里 ，Nicolas和Taslak，Jure｝， title={{自动化数学：集成证明、算法和数据（Dagstuhl研讨会23401）}}， 页数={1--23}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， editor={Bauer、Andrej和Ber\v {c} 我 \v{c}，卡加和拉贝，弗洛里安和提伊 {e} 里 尼古拉斯和塔斯拉克，朱尔， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.1 }, URN={URN:nbn:de:0030-drops-198319}， doi＝{10.4230/DagRep.13.01}， annote={关键词：数学知识管理、数学软件、形式化数学、计算机代数、数学结构数据库} }
责任软件系统（Dagstuhl研讨会23411）
摘要
引用为
@第{konighofer_et_al:DagRep.13.10.24条， author={K\“ {o} 尼格霍费尔 Bettina和Kroll、Joshua A.和Piskac、Ruzica和Veale、Michael和C\' {o} rdoba公司 ，菲利普·卡诺}， title={{责任软件系统（Dagstuhl研讨会23411）}}， 页数={24--49}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， 编辑器={K\“ {o} 尼霍弗 Bettina和Kroll、Joshua A.和Piskac、Ruzica和Veale、Michael和C\' {o} rdoba公司 ，菲利普·卡诺}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.24 }, URN＝{URN:nbn:de:00030-drops-198328}， doi={10.4230/DagRep.13.10.24}， annote={关键词：问责制，负责任的决策，人工智能的社会影响} }
正确持久编程的形式化方法（Dagstuhl研讨会23412）
摘要
引用为
@第{lahav_et_al:DagRep.13.10.50条， 作者={Lahav、Ori和Raad、Azalea和Tassarotti、Joseph和Vafeiadis、Viktor和Podkopaev、Anton}， title={{正确持久编程的形式化方法（Dagstuhl研讨会23412）}}， 页数={50--64}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积＝{13}， 数字={10}， editor={拉哈夫、奥里和拉德、杜鹃和塔萨罗蒂、约瑟夫和瓦菲亚迪斯、维克托和波德科帕耶夫、安东}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.50 }, URN={URN:nbn:de:0030-drops-198337}， doi={10.4230/DagRep.13.10.50}， annote={关键词：并发，形式化方法，非易失性内存，持久性，验证} }
量子密码分析（Dagstuhl研讨会23421）
摘要
引用为
@第{alagic_et_al:DagRep.13.10.65条， author={Alagic、Gorjan和Naya-Plasencia、Maria和Steinwandt、Rainer和Shingane、Manasi}， title={{量子密码分析（Dagstuhl研讨会23421）}}， 页数={65--75}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， editor={Alagic、Gorjan和Naya-Plasencia、Maria和Steinwandt、Rainer和Shingane、Manasi}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.65 }, URN＝{URN:nbn:de:00030-drops-198345}， doi={10.4230/DagRep.13.10.65}， annote={关键词：计算代数，密码分析，后量子密码术，量子算法，量子资源估计} }
图形算法：切割、流和网络设计（Dagstuhl研讨会23422）
摘要
引用为
@第{li_et_al:DagRep.13.10.76条， author={Li、Jason和Panigrahi、Debmalya和Sanita、Laura和Saranurak、Thatchaphol}， title={{图形算法：剪切、流和网络设计（达格斯图尔研讨会23422）}}， 页数={76--89}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， editor={李、杰森和帕尼格拉希、德巴马利亚和桑蒂亚、劳拉和萨拉努拉克、塔查普勒}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.76 }, URN={URN:nbn:de:0030-drops-198357}， doi={10.4230/DagRep.13.10.76}， annote={关键词：近似，图算法，最大流，最小割，网络设计} }
网络攻击检测和防御-AI驱动的威胁和响应（Dagstuhl研讨会23431）
摘要
引用为
@文章{dietrich_et_al:DagRep.13.10.90， author={Dietrich、Sven和Kargl、Frank和K“ {o} 尼格 、哈特穆特和拉斯科夫、帕维尔和赫尔曼、阿图尔}、， title={{网络攻击检测和防御-AI驱动的威胁和响应（Dagstuhl研讨会23431）}}， 页数={90--129}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， editor=｛Dietrich、Sven和Kargl、Frank和K｝ {o} 尼格 、哈特穆特和拉斯科夫、帕维尔和赫尔曼、阿图尔}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.90 }, URN={URN:nbn:de:0030-drops-198365}， doi={10.4230/DagRep.13.10.90}， annote={关键词：人工智能、网络安全、入侵检测、机器学习} }
Edge-AI：识别边缘智能的关键促成因素（Dagstuhl研讨会23432）
摘要
引用为
@文章{ding_et_al:DagRep.13.130， author={Ding、Aaron和de Lara、Eyal和Dustdar、Schahram和Peltonen、Ella和Meuser、Tobias}， title={{Edge-AI:Identifying Key Enablers in Edge Intelligence（达格斯图尔研讨会23432）}}， 页数={130--138}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份＝{2024}， 体积={13}， 数字={10}， editor={丁、亚伦和德拉腊、埃亚尔和达斯特达尔、沙拉姆和佩尔顿、埃拉和梅瑟、托拜厄斯}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.130 }, URN={URN:nbn:de:0030-drops-198376}， doi={10.4230/DagRep.13.130}， annote={关键词：云计算、边缘计算、边缘智能} }
确保数据库管理系统的可靠性和健壮性（Dagstuhl研讨会23441）
摘要
引用为
@文章{muhleisen_et_al:DagRep.13.10.139， 作者={M\“ {u} 赫利森 、Hannes和Porobic、Danica和Rigger、Manuel}、， title={{确保数据库管理系统的可靠性和健壮性（Dagstuhl研讨会23441）}}， 页数={139--181}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份＝{2024}， 体积={13}， 数字={10}， 编辑器={M\“ {u} 赫利森 、Hannes和Porobic、Danica和Rigger、Manuel}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.139 }, URN={URN:nbn:de:0030-drops-198383}， doi={10.4230/DagRep.13.139}， annote={关键词：数据库基准测试，数据库可靠性，数据库测试} }
归纳程序设计的方法和应用（Dagstuhl研讨会23442）
摘要
引用为
@第{deraedt_et_al:DagRep.13.10.182条， 作者＝{De Raedt，Luc和Schmid，Ute和Langer，Johannes}， title={{归纳程序设计的方法和应用（Dagstuhl研讨会23442）}}， 页数={182--211}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={10}， editor={De Raedt，Luc和Schmid，Ute和Langer，Johannes}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.182 }, URN={URN:nbn:de:0030-drops-198397}， doi={10.4230/DagRep.13.10.182}， annote={关键词：可解释人工智能、类人机器学习、归纳逻辑编程、可解释机器学习、神经符号人工智能} }