达格斯图尔报告,第8卷,第9期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
Dagstuhl Reports,第8卷,第9期,2018年9月,完整版

摘要
Dagstuhl报告,第8卷,第9期,2018年9月,完整版

引用为

《达格斯图尔报告》,第8卷,第9期,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息(2019)


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第8卷,第9期,2018年

引用为

《达格斯图尔报告》,第8卷,第9期,第i-ii页,达格斯图-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@第{DagRep.8.9.i条,title={{Dagstuhl Reports,目录,第8卷,第9期,2018年}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.8.9.i},URN={URN:nbn:de:0030-drops-105599},doi={10.4230/DagRep.8.9.i},annote={Keywords:目录,Frontmatter}}
文件
衡量计算内容的复杂性:从组合问题到分析(Dagstuhl研讨会18361)

作者:Vasco Brattka、Damir D.Dzhafarov、Alberto Marcone和Arno Pauly


摘要
本报告记录了18361年达格斯图尔研讨会“测量计算内容的复杂性:从组合问题到分析”的项目和成果。它包括研讨会期间提出的演讲摘要和讨论的公开问题,以及上一次会议(Dagstuhl研讨会15392)期间开始的关于Weihrauch复杂性的参考书目,在此期间,该复杂性有了显著增长。“已解决的问题”专题讨论了上一次会议(Dagstuhl研讨会15392)中提出的一些未决问题的解决方案。

引用为

Vasco Brattka、Damir D.Dzhafarov、Alberto Marcone和Arno Pauly。衡量计算内容的复杂性:从组合问题到分析(Dagstuhl研讨会,18361年)。《达格斯图尔报告》,第8卷,第9期,第1-28页,达格斯图宫-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@文章{brattka_et_al:DagRep.8.9.1,author={布拉特卡、瓦斯科和扎法罗夫、达米尔·D·和马可尼、阿尔贝托和保利·阿诺},title={{测量计算内容的复杂性:从组合问题到分析(Dagstuhl研讨会18361)}},页数={1--28},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},editor={布拉特卡、瓦斯科和扎法罗夫、达米尔·D·马可尼、阿尔贝托和保利·阿诺},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.1},URN={URN:nbn:de:00030-drops-103270},doi={10.4230/DagRep.8.9.1},annote={关键词:分析中的可计算性和复杂性、实数计算、可约性、描述性复杂性、计算复杂性、逆向和}}
文件
知识图:语义网络上知识表示的新方向(Dagstuhl研讨会18371)

作者:皮耶罗·安德烈亚·博纳蒂(Piero Andrea Bonatti)、斯特凡·德克尔(Stefan Decker)、阿克塞尔·波莱雷斯(Axel Polleres)和瓦伦蒂娜·普雷苏蒂(Valentina Presutti)


摘要
网络日益普及的本质,扩展到日常生活中的设备和事物,以及人工智能的新趋势,都需要新的范式和语义网络大规模知识表示和处理的新面貌。“知识图”这一新兴但尚待具体形成的概念为语义Web研究的现状提供了一个极好的统一隐喻。二十多年的语义Web研究为在Web上链接数据、本体和知识提供了坚实的基础和有前途的技术和标准栈。然而,知识图的应用程序既不局限于链接的开放数据,也不局限于企业中知识图的实例化——尽管常常受到启发——局限于核心语义Web堆栈。本报告记录了Dagstuhl研讨会18371“知识图:语义网络上知识表示的新方向”的计划和成果,2018年9月初,来自学术界和工业界的一组专家围绕这些主题讨论了一周的基本问题,包括以下内容:什么是知识图?我们预计会出现哪些应用程序?哪些开放的研究问题仍然需要解决,哪些技术差距仍然需要弥补?

引用为

皮耶罗·安德烈亚·博纳蒂(Piero Andrea Bonatti)、斯特凡·德克尔(Stefan Decker)、阿克塞尔·波雷斯(Axel Polleres)和瓦伦蒂娜·普雷苏蒂(Valentina Presutti)。知识图:语义网络上知识表示的新方向(Dagstuhl研讨会18371)。《达格斯图尔报告》第8卷第9期第29-111页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{bonatti_et_al:DagRep.8.9.29条,author={博纳蒂、皮耶罗·安德里亚和德克尔、斯特凡和波雷斯、阿克塞尔和普雷斯布蒂、瓦伦蒂娜},title={{知识图:语义网上知识表示的新方向(Dagstuhl研讨会18371)}},页数={29--111},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},editor={博纳蒂、皮耶罗·安德里亚和德克尔、斯特凡和波雷斯、阿克塞尔和普雷斯布蒂、瓦伦蒂娜},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.29},URN={URN:nbn:de:0030-drops-103283},doi={10.4230/DagRep.8.9.29},annote={关键词:知识图、知识表示、链接数据、本体论、语义网}}
文件
量子编程语言(18381年达格斯图尔研讨会)

作者:米歇尔·莫斯卡、马丁·罗特勒和彼得·塞林格


摘要
本报告记录了达格斯图尔研讨会的计划和成果18381年的“量子编程语言”,汇集了来自量子计算和经典编程语言的研究人员。

引用为

米歇尔·莫斯卡(Michele Mosca)、马丁·罗特勒(Martin Roettler)和彼得·塞林格(Peter Selinger)。量子编程语言(Dagstuhl研讨会,18381年)。《达格斯图尔报告》第8卷第9期第112-132页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@文章{mosca_et_al:DagRep.8.9.112,author={Mosca、Michele和Roettler、Martin和Selinger、Peter},title={{量子编程语言(Dagstuhl研讨会18381)}},页面={112-132},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},editor={莫斯卡、米歇尔·罗特勒、马丁和塞林格、彼得},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.112},URN={URN:nbn:de:0030-drops-103291},doi={10.4230/DagRep.8.9.112},annote={关键词:编译器,函数编程,量子计算,可逆计算,验证}}
文件
计算复杂性中的代数方法(18391年达格斯图尔研讨会)

作者:马库斯·巴泽尔(Markus Bläser)、瓦伦丁·卡巴内茨(Valentine Kabanets)、雅各布·托兰(Jacobo Torán)和克里斯托弗·乌曼斯(Christopher Umans)


摘要
计算复杂性涉及算法检测组合对象和结构属性所需的资源。事实证明,讨论这些组合对象的最佳方法是建立与行为良好的代数设置的连接(也许是近似的)。事实上,计算复杂性中许多最深入、最强大的结果都依赖于代数证明技术。用于证明常深度电路下界的Razborov-Smolensky多项式近似方法、NP的PCP表征和Agrawal-Kayal-Saxena多项式时间素性检验是一些最突出的方法示例。在计算复杂性的一些最令人兴奋的最新进展中,代数主题仍然发挥着核心作用。最近在代数电路下限和所谓深度4的鸿沟方面有了重大进展表明目前正在考虑的受限模型距离这将导致一个普遍的结果。也有类似的成功关于多项式恒等式测试与电路的相关问题代数模型中的重建(这些与中心关于计算中随机性力量的问题)。此外,去量化和编码理论领域也取得了重要进展。研讨会旨在利用最近的进展,将使用各种代数方法的研究人员共个设置。这些领域的研究人员越来越依赖该研讨会的目标是在教育多元化社区了解最新的数学知识方面发挥重要作用技术。

引用为

马库斯·巴泽尔(Markus Bläser)、瓦伦丁·卡巴内茨(Valentine Kabanets)、雅各布·托兰(Jacobo Torán)和克里斯托弗·乌曼斯(Christopher Umans)。计算复杂性中的代数方法(Dagstuhl研讨会,18391年)。《达格斯图尔报告》,第8卷,第9期,第133-153页,达格斯图-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@文章{blaser_et_al:DagRep.8.9.133,author={Bl\“{a} 服务器马库斯和卡巴内茨,瓦伦丁和托尔{a} n个雅各布和乌曼,克里斯托弗},title={{计算复杂性中的代数方法(Dagstuhl研讨会18391)}},页数={133--153},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},editor={Bl\“{a} 服务器马库斯和卡巴内茨,瓦伦丁和托尔{a} n个雅各布和乌曼,克里斯托弗},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.133},URN={URN:nbn:de:0030-drops-103438},doi={10.4230/DagRep.8.9.133},annote={关键词:计算复杂性,代数,(去)随机化,电路,编码,下限}}
文件
自动化数据科学(18401年达格斯图尔研讨会)

作者:Tijl De Bie、Luc De Raedt、Holger H.Hoos和Padhrac Smyth


摘要
数据科学涉及从数据中提取知识和见解,并最终提取社会或经济价值。它是对传统统计的补充,因为它的对象是数据,因为它在野外呈现自己(通常是复杂和异构、有噪声、结构松散、有偏见等),而不是在精心设计的研究中采样的结构良好的数据。它还具有很强的计算机科学重点,与大数据、机器学习、数据挖掘和知识发现等热门领域相关。随着大数据的丰富,数据科学变得越来越重要,而熟练的数据科学家数量却相对滞后。这就提出了一个问题,即是否有可能在多种情况下实现数据科学的自动化。首先,从人工智能的角度来看,研究(数据)科学(或其中的一部分)是否可以自动化是一件很有趣的事情,因为这是一项目前需要高度专业知识的活动。其次,机器学习领域长期以来一直对在元层次应用机器学习感兴趣,以获得更好的机器学习算法,并在自动参数调整、算法配置和算法选择方面取得了最近的成功。第三,人们不仅对模型构建过程本身的自动化感兴趣(参见自动化统计学家),而且对预处理步骤的自动化感兴趣(数据争论)。这次达格斯图尔研讨会汇集了与数据科学有关的所有领域的研究人员,以研究数据科学是否可以自动化、自动化程度如何以及自动化的方式。

引用为

Tijl De Bie、Luc De Raedt、Holger H.Hoos和Padhraic Smyth。自动化数据科学(18401年达格斯图尔研讨会)。在《达格斯图尔报告》第8卷第9期第154-181页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{debie_et_al:DagRep.8.9.154条,author={De Bie、Tijl和De Raedt、Luc和Hoos、Holger H.和Smyth、Padhrac},title={{自动化数据科学(Dagstuhl研讨会18401)}},页数={154--181},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={8},数字={9},editor={De Bie、Tijl和De Raedt、Luc和Hoos、Holger H.和Smyth、Padhrac},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.9.154},URN={URN:nbn:de:0030-drops-103443},doi={10.4230/DagRep.8.9.154},annote={关键词:人工智能、自动机器学习、自动科学发现、数据科学、归纳编程}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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