达格斯图尔报告，第7卷，第8期
-
部分： 体积： 达格斯图尔报告，第7卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2018-03-21 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 数据库管理程序： 数据库/期刊/dagstuhl-reports/dagstuhl-report 7
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
Dagstuhl Reports，第7卷，第8期，2017年8月，完整版
摘要
引用为
@第{DagRep.7.8条， title={{Dagstuhl Reports，第7卷，第8期，2017年8月，完整版}}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={8}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8 }, URN＝{URN:nbn:de:00030-drops-86599}， doi={10.4230/DagRep.7.8}， annote={关键词：达格斯图尔报告，第7卷，第8期，2017年8月，完整版} }
Dagstuhl报告，目录，第7卷，2017年第8期
摘要
引用为
@第{DagRep.7.8.i条， title={达格斯图尔报告，目录，第7卷，2017年第8期}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={8}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.7.8.i }, URN={URN:nbn:de:0030-drops-86587}， doi={10.4230/DagRep.7.8.i}， annote={关键词：Dagstuhl报告，目录，第7卷，第8期，2017年} }
可缩放集合可视化（Dagstuhl研讨会17332）
摘要
引用为
@第{hu_et_al:DagRep.7.8.1条， author={Hu、Yifan和Micallef、Luana和N\“ {o} 伦伯格 、马丁和罗杰斯、彼得}、， title={{可缩放集合可视化（Dagstuhl研讨会17332）}}， 页数={1--22}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份＝{2018}， 体积={7}， 数字={8}， editor={Hu、Yifan和Micallef、Luana和N\“ {o} 伦堡 、马丁和罗杰斯、彼得}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.1 }, URN={URN:nbn:de:0030-drops-84274}， doi={10.4230/DagRep.7.8.1}， annote={关键词：算法、信息可视化、可伸缩性、集合可视化、可视化分析} }
计算计数（Dagstuhl研讨会17341）
摘要
引用为
@文章{bezakova_et_al:DagRep.7.8.23， author={Bez\' {a} 可夫 \‘{a}，Ivona和Goldberg，Leslie Ann和Jerrum，Mark R.}， title={{计算计数（Dagstuhl研讨会17341）}}， 页数={23--44}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积＝{7}， 数字={8}， 编辑器={Bez\' {a} 可夫 \“{a}，伊沃纳和戈德堡，莱斯利·安和杰鲁姆，马克·R。}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.23 }, URN={URN:nbn:de:0030-drops-84283}， doi={10.4230/DagRep.7.8.23}， annote={关键词：近似算法，计算复杂性，计数问题，配分函数，相变} }
SLEBOK：软件语言工程知识体系（Dagstuhl研讨会17342）
摘要
引用为
@第{条combemale_et_al：DagRep.7.8.45， author={Combemale，贝诺\^ {i} 吨 和L“ {a} 梅尔 、拉尔夫和范怀克、埃里克}、， title={{SLEBOK：软件语言工程知识体系（Dagstuhl研讨会17342）}}， 页数={45--54}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={8}， editor={Combemale，贝诺\^ {i} t吨 和L“ {a} 梅尔 、拉尔夫和范怀克、埃里克}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.45 }, URN={URN:nbn:de:0030-drops-84296}， doi={10.4230/DagRep.7.8.45}， annote={关键词：知识体系、语言设计和实现、元编程、软件语言} }
机器学习和形式化方法（Dagstuhl研讨会17351）
摘要
引用为
@第{seshia_et_al:DagRep.7.8.55条， author={Seshia，Sanjit A.和Zhu，Xianjin（Jerry）和Krause，Andreas和Jha，Susmit}， title={{机器学习和形式方法（Dagstuhl研讨会17351）}}， 页数={55--73}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={8}， editor={Seshia，Sanjit A.和Zhu，Xianjin（Jerry）和Krause，Andreas和Jha，Susmit}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.55 }, URN={URN:nbn:de:0030-drops-84302}， doi={10.4230/DagRep.7.8.55}， annote={关键词：形式化方法，机器学习} }
浮点程序的分析和综合（Dagstuhl研讨会17352）
摘要
引用为
@第{darulova_et_al:DagRep.7.8.74条， author={达鲁洛娃、伊娃和唐纳森、阿拉斯泰尔·F·和拉卡马利奇、茨沃尼米尔和鲁比奥·贡兹\' {a} 列兹 ，辛迪}， title={{浮点程序的分析与合成（Dagstuhl研讨会17352）}}， 页数={74--101}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={8}， editor={达鲁洛娃、伊娃和唐纳森、阿拉斯泰尔·F·和拉卡马利奇、茨沃尼米尔和鲁比奥·贡兹\' {a} 列兹 ，辛迪}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.74 }, URN={URN:nbn:de:0030-drops-84318}， doi={10.4230/DagRep.7.74}， annote={关键词：节能计算、浮点运算、精度分配、程序优化、严格编译} }