达格斯图尔报告，第12卷，第2期

摘要

引用为

《达格斯图尔报告》，第12卷，第2期，第1-144页，达格斯图-莱布尼兹·泽特鲁姆宫（2022）

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

摘要

引用为

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

@第{DagRep.12.i条，title={{Dagstuhl Reports，目录，第12卷，第2期，2022}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.i},URN={URN:nbn:de:0030-drops-169287}，doi={10.4230/DagRep.12.2.i}，annote={Keywords:目录，Frontmatter}}

摘要

引用为

Erich Grädel、Phokion G.Kolaitis、Marc Noy和Matthias Naaf。逻辑和随机离散结构（Dagstuhl研讨会22061）。《达格斯图尔报告》，第12卷，第2期，第1-16页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2022）

@第{gradel_et_al:DagRep.12.1条，作者=“{a} 德尔、埃里希和科莱蒂斯、菲肯·G·诺伊、马克和纳夫、马提亚斯}、，title={{逻辑与随机离散结构（Dagstuhl研讨会22061）}}，页数={1--16}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，editor={Gr\“{a} 德尔、埃里希和科莱蒂斯、菲肯·G·诺伊、马克和纳夫、马提亚斯}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.1},URN={URN:nbn:de:0030-drops-169295}，doi={10.4230/DagRep.12.2.1}，annote={关键词：组合学，复杂性理论，逻辑，随机结构，概率数据库}}

摘要

引用为

梅克·巴钦（Maike Buchin）、安娜·卢比夫（Anna Lubiw）、阿诺德·梅斯梅（Arnaud de Mesmay）、索尔·施莱默（Saul Schleimer）和弗洛雷斯坦·布伦克（Florestan Brunck）。低维拓扑空间中的计算和重构（Dagstuhl研讨会22062）。在《达格斯图尔报告》第12卷第2期第17-66页，达格斯图宫-莱布尼茨-泽特鲁姆宫（2022）

@第{buchin_et_al:DagRep.12.2.17条，author={布钦、梅克和卢比夫、安娜和德梅斯梅、阿尔诺和施莱默、索尔和布伦克、弗洛雷斯坦}，title={{低维拓扑空间中的计算与重构（Dagstuhl研讨会22062）}}，页数={17--66}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，editor={布钦、梅克和卢比夫、安娜和德梅斯梅、阿尔诺和施莱默、索尔和布伦克、弗洛雷斯坦}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.17（https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.17）},URN＝{URN:nbn:de:00030-drops-169305}，doi={10.4230/DagRep.12.2.17}，annote={关键词：几何拓扑、计算几何、图形绘制、重构、达格斯图尔研讨会}}

摘要

引用为

埃里卡·亚伯拉罕（Erika Abraham）、詹姆斯·达文波特（James H.Davenport）、马修·英格兰（Matthew England）和阿尔贝托·格里乔（Alberto Griggio）。符号计算和可满足性检查的新观点（Dagstuhl研讨会22072）。《达格斯图尔报告》，第12卷，第2期，第67-86页，达格斯图-莱布尼兹·泽特鲁姆宫（Leibniz-Zentrum für Informatik）（2022年）

@第{abraham_et_al:DagRep.12.2.67条，author={亚伯拉罕、埃里卡和达文波特、詹姆斯·H和英格兰、马修和格里乔、阿尔贝托}，title={{符号计算和可满足性检验的新观点（Dagstuhl研讨会22072）}}，页数={67--86}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，editor={亚伯拉罕、埃里卡和达文波特、詹姆斯·H和英格兰、马修和格里乔、阿尔贝托}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67},URN={URN:nbn:de:0030-drops-169310}，doi={10.4230/DagRep.12.2.67}，annote={关键词：计算机代数系统，SMT求解器，验证}}

摘要

引用为

安妮·奥格（Anne Auger）、卡洛斯·丰塞卡（Carlos M.Fonseca）、托比亚斯·弗里德里希（Tobias Friedrich）、约翰内斯·伦格勒（Johannes Lengler）和阿尔曼·吉斯勒（Armand Gissler）。随机优化启发式理论（Dagstuhl研讨会22081）。在《达格斯图尔报告》第12卷第2期第87-102页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2022）

@第{auger _ et_al:DagRep.12.2.87条，author={Auger、Anne和Fonseca、Carlos M.和Friedrich、Tobias和Lengler、Johannes和Gissler、Armand}，title={{随机优化启发式理论（Dagstuhl研讨会22081）}}，页数={87--102}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，editor={奥格、安妮和丰塞卡、卡洛斯·M·和弗里德里希、托比亚斯和伦格勒、约翰内斯和吉斯勒、阿尔芒}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.87},URN={URN:nbn:de:0030-drops-169325}，doi={10.4230/DagRep.12.2.87}，annote={关键词：黑盒优化，无导数优化，进化和遗传算法，随机搜索算法，随机梯度下降，理论计算机科学}}

摘要

引用为

梅纳德·穆勒（Meinard Müller）、雷切尔·比特纳（Rachel Bittner）、朱汉·南（Juhan Nam）、迈克尔·克劳斯（Michael Krause）和伊吉坎·泽尔（YigitcanØzer）。音乐音频分析的深度学习和知识整合（Dagstuhl研讨会22082）。在《达格斯图尔报告》第12卷第2期第103-133页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2022）

@第{muller_et_al:DagRep.12.2.103条，作者={M\“{u} 勒尔，Meinard和Bittner，Rachel和Nam，Juhan和Krause，Michael和\“{O} 泽尔，伊吉坎人}，title={{音乐音频分析的深度学习和知识整合（Dagstuhl研讨会22082）}}，页数={103--133}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，编辑器={M\“{u} 勒尔梅纳德和比特纳、雷切尔和纳姆、朱汉和克劳斯、迈克尔和\“{O} 泽尔，伊吉坎人}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.103},URN={URN:nbn:de:0030-drops-169333}，doi={10.4230/DagRep.12.2.103}，annote={关键词：音频信号处理、深度学习、知识表示、音乐信息检索、用户交互和界面}}

摘要

引用为

克劳迪娅·克洛帕特（Claudia Clopath）、鲁本·德温内（Ruben De Winne）和汤姆·绍尔（Tom Schaul）。AI造福社会（达格斯图尔研讨会22091）。在《达格斯图尔报告》第12卷第2期第134-142页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学（2022）

@第{clopath_et_al:DagRep.12.2.134条，author={Clopath、Claudia和De Winne、Ruben和Schaul、Tom}，title={{AI for the Social Good（达格斯图尔研讨会22091）}}，页数={134--142}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2022}，体积={12}，数字={2}，editor={Clopath、Claudia和De Winne、Ruben和Schaul、Tom}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.134},URN={URN:nbn:de:0030-drops-169345}，doi={10.4230/DagRep.12.2.134}，annote={关键词：机器学习、人工智能、社会公益、NGO、可持续发展目标、非政府组织}}