达格斯图尔报告，第12卷，第7期
-
部分： 体积： 达格斯图尔报告，第12卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2023-02-03 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 12
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
达格斯图尔报告，第12卷，第7期，2022年7月，完整版
摘要
引用为
@第{DagRep.12.7条， title={{Dagstuhl Reports，第12卷，第7期，2022年7月，完整版}}， 页数={1--238}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7 }, URN={URN:nbn:de:0030-drops-176072}， doi={10.4230/DagRep.12.7}， annote={关键词：达格斯图尔报告，第12卷，第7期，2022年7月，完整版} }
达格斯图尔报告，目录，第12卷，第7期，2022年
摘要
引用为
@第{DagRep.12.7.i条， title={{Dagstuhl Reports，目录，第12卷，第7期，2022}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.7.i }, URN={URN:nbn:de:0030-drops-176080}， doi＝{10.4230/DagRep.12.7.i}， annote={Keywords:目录，Frontmatter} }
参与式民主算法（Dagstuhl研讨会22271）
摘要
引用为
@文章{brill_et_al:DagRep.12.7.1， author={Brill、Markus和Chen、Jiehua和Darmann、Andreas和Pennock、David和Greger、Matthias}， title＝{参与式民主的算法（Dagstuhl研讨会22271）}， 页数={1--18}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， 编辑＝{Brill，Markus和Chen，Jiehua和Darmann，Andreas和Pennock，David和Greger，Matthias}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.7.1 }, URN={URN:nbn:de:0030-drops-176096}， doi={10.4230/DagRep.12.7.1}， annote={关键词：流动民主、参与式预算、社会选择和货币、集体决策平台} }
Eat-IT：理解互动技术和食品（Dagstuhl研讨会22272）
摘要
引用为
@第{mueller_et_al:DagRep.12.7.19条， 作者＝{Mueller，Florian‘Floyd’和Obrist，Marianna和Kim，Soh和Inami，Masahiko和Deng，Jialin}， title={{Eat-IT:Towards Understanding Interactive Technology and Food（达格斯图尔研讨会22272）}}， 页数={19--40}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字＝{7}， editor={米勒、弗洛里安·弗洛伊德和欧布里斯特、玛丽安娜和金、苏和伊纳米、马萨希科和邓嘉林}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.19 }, URN={URN:nbn:de:0030-drops-176109}， doi={10.4230/DagRep.12.7.19}， annote={关键词：人与食物的互动，食物HCI} }
机器学习的安全性（Dagstuhl研讨会22281）
摘要
引用为
@第{biggio_et_al:DagRep.12.7.41条， author={Biggio、Battista和Carlini、Nicholas和Laskov、Pavel和Rieck、Konrad和Cin、Antonio Emanuele}， title={{机器学习的安全性（Dagstuhl研讨会22281）}}， 页数={41--61}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={Biggio、Battista和Carlini、Nicholas和Laskov、Pavel和Rieck、Konrad和Cin、Antonio Emanuele}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.41 }, URN={URN:nbn:de:0030-drops-176117}， doi＝{10.4230/DagRep.12.7.41}， annote={关键词：对抗性机器学习，机器学习安全} }
知识表示和推理的当前和未来挑战（Dagstuhl研讨会22282）
摘要
引用为
@第{delgrande_et_al条：DagRep.12.7.62， author={Delgrand、James P.和Glimm、Birte和Meyer、Thomas和Truszczynski、Miroslaw和Teixeira、Milene Santos和Wolter、Frank}， title={{当前和未来知识表示和推理的挑战（达格斯图尔研讨会22282）}}， 页数={62--79}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={Delgrand、James P.和Glimm、Birte和Meyer、Thomas和Truszczynski、Miroslaw和Teixeira、Milene Santos和Wolter、Frank}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.62 }, URN={URN:nbn:de:0030-drops-176126}， doi={10.4230/DagRep.12.7.62}， annote={关键词：逻辑、声明表示、形式逻辑、知识表示和推理的应用} }
机器学习和逻辑推理：新的前沿（Dagstuhl研讨会22291）
摘要
引用为
@第{bardin_et_al:DagRep.12.7.80条， author={Bardin，S {e} 巴斯蒂安 Jha、Somesh、Ganesh、Vijay}、， title={{机器学习和逻辑推理：新前沿（达格斯图尔研讨会22291）}}， 页数={80--111}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={Bardin，S\' {e} 巴斯蒂安 Jha、Somesh、Ganesh、Vijay}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.80 }, URN={URN:nbn:de:0030-drops-176131}， doi={10.4230/DagRep.127.80}， annote={关键词：ML的逻辑，求解器的基于ML的启发式，SAT/SMT/CP求解器和定理证明器，基于ML的系统的安全性、可靠性和隐私性} }
数字化历史报纸的计算方法（Dagstuhl研讨会22292）
摘要
引用为
@第{ehrmann_et_al:DagRep.12.7.112条， author={Ehrmann、Maud和D\“ {u} 环 、马滕和纽德克、克莱门斯和杜塞特、安托万}、， title={{数字化历史报纸的计算方法（Dagstuhl研讨会22292）}}， 页数={112--179}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={埃尔曼、莫德和D“ {u} 环 、马滕和纽德克、克莱门斯和杜塞特、安托万}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.112 }, URN={URN:nbn:de:0030-drops-176141}， doi={10.4230/DagRep.12.7.112}， 注释={关键词：历史文档处理、文档结构和布局分析、自然语言处理、信息提取、自然语言加工、数字历史、数字学术} }
信息理论的算法方面（Dagstuhl研讨会22301）
摘要
引用为
@第{kolaitis_et_al:DagRep.12.7.180条， author={Kolaitis、Phokion G.和Romashchenko、Andrej E.和Studen\'{y}、Milan和Suciu、Dan和Boege、Tobias A， title={{信息理论的算法方面（Dagstuhl研讨会22301）}}， 页数={180--204}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={Kolaitis、Phokion G.和Romashchenko、Andrej E.和Studen、Milan和Suciu、Dan和Boege、Tobias A， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.180 }, URN＝{URN:nbn:de:00030-drops-176155}， doi={10.4230/DagRep.12.7.180}， annote={关键词：信息理论，信息不等式，条件独立结构，数据库查询评估和包含，决策问题} }
教育编程语言和系统（达格斯图尔研讨会22302）
摘要
引用为
@文章{brown_et_al:DagRep.12.7.205， author={Brown、Neil和Guzdial、Mark J.和Krishnamurthi、Shriram和M\“ {o} 尼格 ，Jens}， title={{教育编程语言和系统（达格斯图尔研讨会22302）}}， 页数={205--236}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2023}， 体积={12}， 数字={7}， editor={Brown、Neil和Guzdial、Mark J.和Krishnamurthi、Shriram和M\“ {o} 尼格 ，Jens}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.205 }, URN={URN:nbn:de:0030-drops-176165}， doi＝{10.4230/DagRep.12.7.205}， annote={关键词：计算机科学教育研究、错误、学习进度、编程环境} }