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



缩略图PDF

出版物详细信息


接入号码

文件

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

摘要
Dagstuhl Reports,第8卷,第1期,2018年1月,完整版

引用为

《达格斯图尔报告》,第8卷,第1期,达格斯图-莱布尼兹·泽特鲁姆宫(2018)


将BibTex复制到剪贴板

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

摘要
目录,Frontmatter

引用为

Dagstuhl报告,第8卷第1期,第i-ii页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2018)


将BibTex复制到剪贴板

@第{DagRep.8.1.i条,title={{Dagstuhl Reports,目录,第8卷,第1期,2018年}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={8},数字={1},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.8.1.i},URN={URN:nbn:de:0030-drops-97345},doi={10.4230/DagRep.8.1.i},annote={关键词:达格斯图尔报告,目录,第8卷,第1期,2018年}}
文件
对称密码术(18021年达格斯图尔研讨会)

作者:琼·戴曼(Joan Daemen)、岩田聪(Tetsu Iwata)、尼尔斯·格雷戈·利安德(Nils Gregor Leander)和凯萨·尼伯格(Kaisa Nyberg)


摘要
本报告记录了2018年1月7日至12日在施洛斯·达格斯图尔-莱布尼茨信息学中心举行的达格斯图18021“对称密码术”研讨会的计划和成果。该研讨会是Dagstuhl于2007年、2009年、2012年、2014年和2016年举办的“对称密码术”系列研讨会中的第六次研讨会。在研讨会期间,许多与会者介绍了他们目前在对称密码算法的设计、分析和应用方面的研究,包括正在进行的工作和未决问题。本报告记录了研讨会期间演讲的摘要或扩展摘要,以及讨论会的摘要。

引用为

Joan Daemen、Tetsu Iwata、Nils Gregor Leander和Kaisa Nyberg,《对称密码术》(Dagstuhl研讨会,18021年)。Dagstuhl报告,第8卷第1期,第1-32页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2018)


将BibTex复制到剪贴板

@第{daemen_et_al:DagRep.8.1.1条,author={Daemen、Joan和Iwata、Tetsu和Leander、Nils Gregor和Nyberg、Kaisa},title={{对称密码术(Dagstuhl研讨会18021)}},页数={1--32},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={8},数字={1},editor={Daemen、Joan和Iwata、Tetsu和Leander、Nils Gregor和Nyberg、Kaisa},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.1},URN={URN:nbn:de:0030-drops-92832},doi={10.4230/DagRep8.1.1},annote={关键词:对称加密、密码分析、认证加密、物联网加密、大规模监视}}
文件
个性化多目标优化:分析视角(Dagstuhl Seminar 18031)

作者:凯瑟琳·克拉姆罗斯(Kathrin Klamroth)、约书亚·D·诺尔斯(Joshua D.Knowles)、格林特·鲁道夫(Günter Rudolph)和玛格丽特·M·威塞克(Margaret M.Wiecek)


摘要
多目标优化中的Dagstuhl研讨会18031个性化:从分析的角度对之前的五个Dagstuhel研讨会(04461、06501、09041、12041和15031)进行了一系列的讨论,重点是多目标优化。本系列的持续目标是加强进化多目标优化(EMO)和多准则决策(MCDM)社区之间的联系,这两个社区是当今关注多目标优化的最大社区。本次研讨会的主题是多目标优化中的个性化,其动机是个性化、大规模定制和海量数据带来的科学挑战,因此将应用挑战与集成了EMO和MCDM各个方面的研究领域联系起来。研讨会的结果是对数据分析和个性化蓬勃发展领域中多目标优化的机会和研究要求提出了新的观点。研讨会期间启动了多个多学科研究项目和新的合作,进一步交织了EMO和MCDM两个社区。

引用为

凯瑟琳·克拉姆罗斯(Kathrin Klamroth)、约书亚·D·诺尔斯(Joshua D.Knowles)、格林特·鲁道夫(Günter Rudolph)和玛格丽特·维切克(Margaret M.Wiecek)。个性化多目标优化:分析视角(Dagstuhl Seminar 18031)。在《达格斯图尔报告》第8卷第1期第33-99页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2018)


将BibTex复制到剪贴板

@第{klamroth_et_al:DagRep.8.1.33条,author={克拉姆罗斯、凯瑟琳和诺尔斯、约书亚·D·和鲁道夫·G·“{u} enter(输入)和玛格丽特·威塞克,title={{个性化多目标优化:分析视角(Dagstuhl研讨会18031)}},页数={33--99},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018},体积={8},数字={1},editor={克拉姆罗斯、凯瑟琳和诺尔斯、约书亚·D·和鲁道夫·G·“{u} enter(输入)和玛格丽特·威塞克,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.33},URN={URN:nbn:de:0030-drops-92846},doi={10.4230/DagRep.8.1.33},annote={关键词:多准则决策,进化多目标优化}}
文件
数据可视化基础(Dagstuhl研讨会18041)

作者:赫尔维格·豪泽(Helwig Hauser)、佩尼·莱因根斯(Penny Rheingans)和杰里克·谢尔曼(Gerik Scheuermann)


摘要
本报告记录了Dagstuhl研讨会18041“数据可视化基础”的项目和成果。它包括对动机和整体组织的讨论,每个参与者的摘要,以及关于每个工作组的报告。

引用为

Helwig Hauser、Penny Rheingans和Gerik Scheuermann。数据可视化基础(Dagstuhl研讨会18041)。《达格斯图尔报告》,第8卷,第1期,第100-123页,达格斯图-莱布尼兹·泽特鲁姆宫(2018)


将BibTex复制到剪贴板

@第{hauser_et_al:DagRep.8.1.100条,author={豪泽、赫尔维格和莱茵甘斯、佩妮和谢尔曼、格里克},title={{数据可视化基础(Dagstuhl研讨会18041)}},页数={100--123},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={8},数字={1},editor={豪泽、赫尔维格和莱茵甘斯、佩妮和谢尔曼、格里克},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.100},URN={URN:nbn:de:0030-drops-92853},doi={10.4230/DagRep.8.1.100},annote={关键词:基础、跨学科合作、理论、可视化}}
文件
证明复杂性(Dagstuhl研讨会18051)

作者:阿尔伯特·阿塞里亚斯(Albert Atserias)、雅各布·诺德斯特伦(Jakob Nordström)、帕维尔·普德拉克(Pavel Pudlák)和拉胡尔·桑坦南(Rahul Santhanam)


摘要
对证明复杂性的研究始于[Cook和Reckhow 1979],作为一种解决P与NP问题的方法,在随后的几十年里,人们发现了许多强大的技术来分析不同的证明系统。证明复杂性还提供了一种研究Peano算法中数学推理能力受到限制的子系统的方法,并根据建立其有效性所需的推理方法的强度来量化不同数学定理的复杂程度。此外,它允许分析工业应用中使用的可满足性算法(SAT解算器)的能力和局限性,其中公式包含多达数百万个变量。在过去的10-15年中,证明复杂性领域出现了复兴带来了许多令人兴奋的结果,并且与其他领域也有了新的联系,例如密码学、代数复杂性理论、通信复杂性和组合优化。虽然20世纪80年代和90年代的许多长期未决问题仍未解决,但最近的进展给人们带来了希望,认为该领域可能已经成熟,可以实现决定性突破。这个研讨会汇集了来自证明复杂性社区不同方面的研究人员,为评估我们站在那里讨论前进的道路。

引用为

阿尔伯特·阿塞里亚斯(Albert Atserias)、雅各布·诺德斯特伦(Jakob Nordström)、帕维尔·普德拉克(Pavel Pudlák)和拉胡尔·桑坦南(Rahul Santhanam)。证明复杂性(Dagstuhl研讨会18051)。《达格斯图尔报告》第8卷第1期第124-157页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2018)


将BibTex复制到剪贴板

@第{atserias_et_al:DagRep.8.1.124条,author={Atserias、Albert和Nordstr\“{o} 米、雅各布和普德尔{a} k个、帕维尔和桑坦南、拉胡尔}、,title={{证明复杂性(Dagstuhl研讨会18051)}},页数={124--157},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={8},数字={1},editor={Atserias、Albert和Nordstr\“{o} 米、雅各布和普德尔{a} k个、帕维尔和桑坦南、拉胡尔}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.124},URN={URN:nbn:de:0030-drops-92864},doi={10.4230/DagRep.8.12.24},annote={关键词:有界算法、计算复杂性、逻辑、证明复杂性、可满足性算法}}
文件
软件的遗传改良(Dagstuhl研讨会18052)

作者:Justyna Petke、Claire Le Goues、Stephanie Forrest和William B.Langdon


摘要
我们记录了Dagstuhl研讨会18052“软件的遗传改进”的计划和直接成果。该研讨会汇集了遗传改良(GI)和软件工程相关领域的研究人员,以研究当前技术可以实现的目标、当前阻碍进步的因素以及GI如何影响软件开发过程。几次会谈涵盖了最新技术和进度。从GI搜索空间的性质到基准测试和实际应用,已经确定了七个紧急主题。研讨会已经发表了多篇研究论文。研讨会的四名参与者将在与软件工程顶级会议同期举行的GI研讨会上发言-ICSE。一些研究人员开始了新的合作,我们希望在不久的将来看到结果。

引用为

贾斯汀娜·佩特克、克莱尔·勒·古伊斯、斯蒂芬妮·福雷斯特和威廉·兰登。软件的遗传改良(Dagstuhl研讨会18052)。《达格斯图尔报告》,第8卷,第1期,第158-182页,达格斯图-莱布尼兹·泽特鲁姆宫(2018)


将BibTex复制到剪贴板

@第{petke_et_al:DagRep.8.1.158条,author={佩特克、朱斯蒂娜和勒·古伊斯、克莱尔和福雷斯特、斯蒂芬妮和兰登、威廉·B·},title={{软件的遗传改良(Dagstuhl研讨会18052)}},页数={158--182},日志={Dagstuhl报告},ISSN={2192-5283},年份={2018年},体积={8},数字={1},editor={佩特克、朱斯蒂娜和勒·古伊斯、克莱尔和福雷斯特、斯蒂芬妮和兰登、威廉·B·},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.158},URN={URN:nbn:de:00030-drops-92878},doi={10.4230/DagRep.8.1.158},annote={关键词:遗传改进GI,基于搜索的软件工程SBSE,软件优化,进化改进,自动化软件改进,自动化程序修复,进化计算,遗传编程,GP}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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