达格斯图尔报告，第8卷，第2期
-
部分： 音量： 达格斯图尔报告，第8卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2018-08-29 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 8
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
Dagstuhl报告，第8卷，第2期，2018年2月，完整版
摘要
引用为
@第{DagRep.8.2条， title={{Dagstuhl Reports，第8卷，第2期，2018年2月，完整版}}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字＝{2}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2 }, URN={URN:nbn:de:0030-drops-97377}， doi={10.4230/DagRep.8.2}， annote={关键词：达格斯图尔报告，第8卷，第2期，2018年2月，完整版} }
达格斯图尔报告，目录，第8卷，第2期，2018
摘要
引用为
@第{DagRep.8.2.i条， title={{Dagstuhl Reports，目录，第8卷，第2期，2018年}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.8.2.i }, URN={URN:nbn:de:0030-drops-97364}， doi={10.4230/DagRep.8.2.i}， annote={关键词：达格斯图尔报告，目录，第8卷，第2期，2018年} }
编程语言设计程序员的证据（Dagstuhl研讨会18061）
摘要
引用为
@第{stefik_et_al:DagRep.8.2.1条， author={Stefik、Andreas和Sharif、Bonita和Myers、Brad.A.和Hanenberg、Stefan}， title={{编程语言设计程序员的证据（Dagstuhl研讨会18061）}}， 页数={1--25}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， editor={Stefik，Andreas and Sharif，Bonita and Myers，Brad.A.和Hanenberg，Stefan}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.1 }, URN={URN:nbn:de:0030-drops-92887}， doi={10.4230/DagRep.8.2.1}， annote={关键词：编程语言设计、计算机科学教育、经验软件工程、眼球追踪、证据标准} }
规划与运营研究（18071年达格斯图尔研讨会）
摘要
引用为
@文章{beck_et_al:DagRep.8.2.26， author={Beck、J.Christopher和Magazzeni、Daniele和R“ {o} 蒙古 Gabriele和Van Hoeve，Willem-Jan， title={{规划与运营研究（Dagstuhl研讨会18071）}}， 页数={26--63}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， editor={Beck，J.Christopher和Magazzeni，Daniele和R“ {o} 蒙古 Gabriele和Van Hoeve，Willem-Jan， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.26 }, URN={URN:nbn:de:0030-drops-92894}， doi={10.4230/DagRep.8.2.26}， annote={关键词：人工智能、自动规划和调度、约束规划、动态规划、启发式搜索、混合整数规划、运筹学、优化、现实世界应用、不确定性推理} }
混合整数非线性优化算法的设计与实现（Dagstuhl Seminar 18081）
摘要
引用为
@第{bonami_et_al:DagRep.8.2.64条， author={Bonami、Pierre和Gleixner、Ambros M.和Linderath、Jeff和Misener、Ruth}， title={{混合整数非线性优化算法的设计与实现（Dagstuhl研讨会18081）}}， 页数={64--87}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， editor={博纳米、皮埃尔和格莱克斯纳、安布罗斯·M·林德罗、杰夫和米塞纳、露丝}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.64 }, URN={URN:nbn:de:0030-drops-92909}， doi={10.4230/DagRep.8.2.64}， annote={关键词：复杂性，数学优化，数学软件，混合整数优化，非线性优化，数值问题，优化算法} }
生物分子电路合成的形式化方法（Dagstuhl研讨会18082）
摘要
引用为
@第{benenson_et_al:DagRep.8.2.88条， author={Benenson、Yaakov和Dalchau、Neil和Koeppl、Heinz和Maler、Oded}， title={{生物分子电路合成的形式方法（Dagstuhl研讨会18082）}}， 页数={88--100}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， editor={Benenson、Yaakov和Dalchau、Neil和Koeppl、Heinz和Maler、Oded}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.88 }, URN={URN:nbn:de:0030-drops-92912}， doi={10.4230/DagRep.8.2.88}， annote={关键词：合成生物学、电子设计自动化、程序合成和验证} }
分布式系统中的数据一致性：算法、程序和数据库（Dagstuhl研讨会18091）
摘要
引用为
@第{条bieniusa_et_al:DagRep.8.2.101， author={Bieniusa、Annette和Gotsman、Alexey和Kemme、Bettina和Shapiro、Marc}， title={{分布式系统中的数据一致性：算法、程序和数据库（Dagstuhl研讨会18091）}}， 页数={101--121}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， 编辑＝{Bieniusa，Annette和Gotsman，Alexey和Kemme，Bettina和Shapiro，Marc}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.101 }, URN＝{URN:nbn:de:00030-drops-92923}， doi={10.4230/DagRep.8.2.101}， annote={关键词：一致性，CRDT，分布式算法，分布式计算，分布式系统，分区，复制，强一致性，事务，弱一致性} }
逻辑执行时间范式：多核系统的新视角（Dagstuhl研讨会18092）
摘要
引用为
@第{ernst_et_al:DagRep.8.2.122条， author={Ernst、Rolf和Kuntz、Stefan和Quinton、Sophie和Simons、Martin}， title={{逻辑执行时间范式：多核系统的新视角（Dagstuhl研讨会18092）}}， 页数={122--149}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={8}， 数字={2}， editor={恩斯特、罗尔夫和昆茨、斯特凡和昆顿、索菲和西蒙斯、马丁}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.122 }, URN={URN:nbn:de:0030-drops-92939}， doi={10.4230/DagRep.8.2.122}， annote={关键词：汽车领域，逻辑执行时间，多核架构，实时系统} }