达格斯图尔报告，第13卷，第3期

摘要

引用为

《达格斯图尔报告》，第13卷，第3期，第1-133页，达格斯图-莱布尼兹·泽特鲁姆宫（2023）

@第{DagRep.13.3条，title={{Dagstuhl Reports，第13卷，第3期，2023年3月，完整版}}，页面＝{1-133}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3},URN={URN:nbn:de:0030-drops-192230}，doi={10.4230/DagRep.13.3}，annote={关键词：达格斯图尔报告，第13卷，第3期，2023年3月，完整版}}

摘要

引用为

《达格斯图尔报告》，第13卷，第3期，第i-ii页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{DagRep.13.3.i条，title={{Dagstuhl Reports，目录，第13卷，第3期，2023}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.3.i},URN={URN:nbn:de:0030-drops-192243}，doi={10.4230/DagRep.13.3.i}，annote＝｛关键词：目录，前沿内容｝}

摘要

引用为

卡提基安·巴加万（Karthikeyan Bhargavan）、乔纳森·普罗琴科（Jonathan Protzenko）、安德烈亚斯·罗斯伯格（Andreas Rossberg）和戴安·斯特凡（Deian Stefan）。网络大会基础（Dagstuhl研讨会23101）。《达格斯图尔报告》，第13卷，第3期，第1-16页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第｛bhargavan_et_al:DagRep.13.3.1条，author={巴加万、卡提基安和普罗琴科、乔纳森和罗斯伯格、安德烈亚斯和斯特凡、戴安}，title={{WebAssembly的基础（Dagstuhl研讨会23101）}}，页数={1--16}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，editor={巴加万、卡提基安和普罗琴科、乔纳森和罗斯伯格、安德烈亚斯和斯特凡、戴安}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.1},URN={URN:nbn:de:0030-drops-192255}，doi={10.4230/DagRep.13.3.1}，annote={关键词：编译，形式化方法，编程语言，验证，虚拟机，WebAssembly}}

摘要

引用为

安娜·加尔（Anna Gál）、米娜·马哈扬（Meena Mahajan）、拉胡尔·桑塔纳姆（Rahul Santhanam）、蒂尔·坦托（Till Tantau）和马纳斯威·巴拉沙尔（Manaswi Paraashar）。离散问题的计算复杂性（Dagstuhl研讨会23111）。《达格斯图尔报告》，第13卷，第3期，第17-31页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{gal_et_al:DagRep.13.3.17条，作者={G\'{a} 我、安娜和马哈真、米纳和桑坦南、拉胡尔和坦套、蒂尔和巴拉沙尔、玛拿西}、，title={{离散问题的计算复杂性（Dagstuhl研讨会23111）}}，页数={17--31}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，编辑器={G\'{a} 我、安娜和马哈真、米纳和桑坦南、拉胡尔和坦套、蒂尔和巴拉沙尔、玛拿西}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.17},URN＝{URN:nbn:de:00030-drops-192261}，doi={10.4230/DagRep.13.3.17}，annote={关键词：电路复杂性、通信复杂性、计算复杂性、下限、随机性}}

摘要

引用为

斯文·雅各布斯（Swen Jacobs）、肯尼斯·麦克米兰（Kenneth McMillan）、鲁普沙·萨曼塔（Roopsha Samanta）和伊利亚·谢尔盖（Ilya Sergey）。可信分布式系统的统一形式方法（Dagstuhl研讨会23112）。《达格斯图尔报告》，第13卷，第3期，第32-48页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2023）

@第{jacobs_et_al:DagRep.13.3.32条，author={雅各布斯、斯温和麦克米兰、肯尼思和萨曼塔、鲁普沙和谢尔盖、伊利亚}，title={{可信分布式系统的统一形式方法（Dagstuhl研讨会23112）}}，页数={32--48}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，editor={雅各布斯、斯温和麦克米兰、肯尼思和萨曼塔、鲁普沙和谢尔盖、伊利亚}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.32},URN={URN:nbn:de:0030-drops-192278}，doi={10.4230/DagRep.13.32}，annote={关键词：演绎验证，分布式算法，形式验证，模型检查}}

摘要

引用为

David Bevan、Miklós Bóna和István Miklös。模式避免、统计力学和计算复杂性（Dagstuhl研讨会23121）。《达格斯图尔报告》，第13卷，第3期，第49-73页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{bevan_et_al:DagRep.13.3.49条，author={Bevan、David和B\'{o} 纳，米克尔\'{o} 秒和Mikl\'{o} 秒，Istv\'{a} n个},title={{模式避免、统计力学和计算复杂性（Dagstuhl研讨会23121）}}，页数={49--73}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，editor={Bevan、David和B\'{o} 纳，米克尔\'{o} 秒和Mikl\'{o} 秒，Istv\'{a} n个},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.49},URN={URN:nbn:de:0030-drops-192289}，doi={10.4230/DagRep.13.3.49}，annote={关键词：算法、计数和采样、建模、置换模式、统计物理。}}

摘要

引用为

Tinne Tuytelaars、Bing Liu、Vincenzo Lomonaco、Gido van de Ven和Andrea Cossu。深度持续学习（Dagstuhl研讨会23122）。《达格斯图尔报告》，第13卷，第3期，第74-91页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{tuytelaars_et_al:DagRep.13.3.74条，author={Tuytelaars、Tinne和Liu、Bing和Lomonaco、Vincenzo和van de Ven、Gido和Cossu、Andrea}，title={{深度持续学习（Dagstuhl研讨会23122）}}，页数={74--91}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，editor={Tuytelaars、Tinne和Liu、Bing和Lomonaco、Vincenzo和van de Ven、Gido和Cossu、Andrea}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.74},URN={URN:nbn:de:0030-drops-192298}，doi＝{10.4230/DagRep.13.74}，annote={关键词：持续学习，增量学习}}

摘要

引用为

马塞尔·博赫梅（Marcel Böhme）、玛丽亚·克里斯塔基斯（Maria Christakis）、罗汉·帕德伊（Rohan Padhye）、克斯特亚·塞雷布雷尼（Kostya Serebryany）、安德烈亚斯·泽勒（Andreas Zeller）和哈桑·费里特·恩。软件缺陷检测：挑战与协作（Dagstuhl研讨会23131）。《达格斯图尔报告》，第13卷，第3期，第92-105页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{bohme_et_al条：DagRep.13.3.92，作者={B\“{o} 哈密马赛尔和克里斯塔基斯、玛丽亚和帕迪、罗汉和塞雷布雷尼、克斯特亚和泽勒、安德烈亚斯和伊内塞、哈桑·费里特}，title={{软件错误检测：挑战与协同（Dagstuhl研讨会23131）}}，页数={92--105}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，编辑器={B\“{o} 哈密马赛尔和克里斯塔基斯、玛丽亚和帕迪、罗汉和塞雷布雷尼、克斯特亚和泽勒、安德烈亚斯和伊内塞、哈桑·费里特}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.92},URN={URN:nbn:de:0030-drops-192308}，doi={10.4230/DagRep.13.3.92}，annote={关键词：缺陷发现、覆盖率、ML4SE、甲骨文、软件测试、软件验证}}

摘要

引用为

同僚蒂莫·布雷默、布莱恩·斯皮尔斯、汤姆·吉布斯和迈克尔·巴斯曼。AI-增强设施：ML桥接实验和模拟（Dagstuhl研讨会23132）。《达格斯图尔报告》，第13卷，第3期，第106-131页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2023年）

@第{条bremer_et_al:DagRep.13.3.106，author={Bremer、Peer-Timo和Spears、Brian和Gibbs、Tom和Bussmann、Michael}，title＝{人工智能增强设施：用ML桥接实验和模拟（Dagstuhl研讨会23132）}，页数={106--131}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2023}，体积={13}，数字={3}，editor={布雷默、皮尔·蒂莫和斯皮尔斯、布莱恩·吉布斯、汤姆和巴斯曼、迈克尔}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.106},URN={URN:nbn:de:0030-drops-192317}，doi={10.4230/DagRep.13.3.106}，annote={关键词：自驾实验、智能设施、人工智能模型、多模态数据、加速科学发现、实验用人工智能软件堆栈}}