达格斯图尔报告，第11卷，第10期
-
部分： 音量： 达格斯图尔报告，第11卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2022-04-11 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 11
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
达格斯图尔报告，第11卷，第10期，2021年11月，完整版
摘要
引用为
@第{DagRep.11.10条， title={{Dagstuhl Reports，第11卷，第10期，2021年11月，完整版}}， 页数={1--206}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10 }, URN={URN:nbn:de:0030-drops-159231}， doi={10.4230/DagRep.11.10}， annote={关键词：达格斯图尔报告，第11卷，第10期，2021年11月，完整版} }
Dagstuhl报告，目录，第11卷，2021年第10期
摘要
引用为
@第{DagRep.11.10.i条， title={{Dagstuhl Reports，目录，第11卷，第10期，2021}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.110.i }, URN={URN:nbn:de:0030-drops-159248}， doi={10.4230/DagRep.11.10.i}， annote={Keywords:目录，Frontmatter} }
HPC系统的自适应资源管理（Dagstuhl研讨会21441）
摘要
引用为
@第{gerndt_et_al:DagRep.11.10.1条， author={Gerndt、Michael和Kondo、Masaaki和Miller、Barton P.和Patki、Tapasya}， title={{HPC系统的自适应资源管理（Dagstuhl研讨会21441）}}， 页数={1--19}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={Gerndt、Michael和Kondo、Masaaki和Miller、Barton P.和Patki、Tapasya}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.1 }, URN={URN:nbn:de:0030-drops-159256}， doi={10.4230/DagRep.11.10}， annote={关键词：高性能计算、动态资源管理、可延展的HPC应用程序、电源管理、计算连续体} }
确保数据库管理系统的可靠性和健壮性（Dagstuhl研讨会21442）
摘要
引用为
@文章{bohm_et_al:DagRep.11.10.20， 作者=“ {o} 嗯 、亚历山大和克里斯塔基斯、玛丽亚和罗、埃里克和里格、曼努埃尔}、， title={{确保数据库管理系统的可靠性和健壮性（Dagstuhl研讨会21442）}}， 页数={20--35}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， 编辑器={B\“ {o} 嗯 、亚历山大和克里斯塔基斯、玛丽亚和罗、埃里克和里格、曼努埃尔}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.20 }, URN={URN:nbn:de:0030-drops-159269}， doi={10.4230/DagRep.11.10.20}， annote={关键词：数据库，可靠性，健壮性，测试，Dagstuhl研讨会} }
网络保险工业控制系统安全风险管理（Dagstuhl研讨会21451）
摘要
引用为
@第{dejung_et_al:DagRep.11.10.36条， author={Dejung、Simon和Liu、Mingyan和L\“ {u} 命令 阿恩特和威普，埃德加}， title={{管理网络保险的工业控制系统安全风险（Dagstuhl研讨会21451）}}， 页数={36--56}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={Dejung、Simon和Liu、Mingyan和L\“ {u} 命令 阿恩特和威普，埃德加}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.36 }, URN={URN:nbn:de:0030-drops-159273}， doi={10.4230/DagRep.11.10.36}， annote={关键词：工业控制系统、安全、网络保险、网络风险量化、生产系统工程、风险工程、SCADA、工业4.0} }
自动机理论中的无歧义（Dagstuhl研讨会21452）
摘要
引用为
@第{colcombet_et_al:DagRep.11.10.57条， author={Colcombet、Thomas和Quaas、Karin和Skrzypczak、Micha{\l}}， title={{自动机理论中的无歧义（Dagstuhl研讨会21452）}}， 页数={57--71}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={Colcombet、Thomas和Quaas、Karin和Skrzypczak、Micha{\l}}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.57 }, URN={URN:nbn:de:0030-drops-159282}， doi={10.4230/DagRep.11.10.57}， annote={关键词：自动机理论中的无歧义性，达格斯图尔研讨会} }
描述性集合理论与可计算拓扑（Dagstuhl研讨会21461）
摘要
引用为
@第{hoyrup_et_al:DagRep.11.10.72条， 作者＝{Hoyrup，Mathieu和Pauly，Arno和Selivanov，Victor和Soskova，Mariya I.}， title={{描述性集合理论与可计算拓扑（Dagstuhl研讨会21461）}}， 页数={72--93}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={霍洛普、马修和保利、阿诺和塞利瓦诺夫、维克多和索斯科娃、玛丽亚一世}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.72 }, URN={URN:nbn:de:0030-drops-159293}， doi={10.4230/DagRep.11.10.72}， annote={关键词：可计算分析，枚举度，拟光滑空间，合成拓扑} }
持久编程基础（Dagstuhl研讨会21462）
摘要
引用为
@第{boehm_et_al:DagRep.11.10.94条， 作者＝{Boehm，Hans-J.和Lahav，Ori和Raad，Azalea}， title={{持久编程的基础（Dagstuhl研讨会21462）}}， 页数={94--110}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={Boehm、Hans-J.和Lahav、Ori和Raad、Azalea}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.94 }, URN={URN:nbn:de:0030-drops-159303}， doi={10.4230/DagRep.11.10.94}， annote={关键词：并发；非易失性内存；持久性；语义；弱内存模型} }
几何建模：互操作性和新挑战（Dagstuhl研讨会21471）
摘要
引用为
@第{chen_et_al:DagRep.11.10.11条， author={Chen，Falai和Dokken，Tor和Morin，G {e} 雷丁 }, title={{几何建模：互操作性和新挑战（Dagstuhl研讨会21471）}}， 页数={111--150}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， 编辑＝｛Chen，Falai和Dokken，Tor和Morin，G\' {e} 雷丁 }, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.111 }, URN＝{URN:nbn:de:00030-drops-159319}， doi={10.4230/DagRep.11.1011}， annote={关键词：增材制造；计算机图形学；设计优化；几何建模；几何；几何处理；等几何分析；形状设计；计算机辅助设计} }
几何逻辑、构造和自动定理证明（Dagstuhl研讨会21472）
摘要
引用为
@第{coquand_et_al:DagRep.11.10.151条， author={Coquand、Thierry和Ishihara、Hajime和Negri、Sara和Schuster、Peter M.}， title={{几何逻辑、构造和自动定理证明（Dagstuhl研讨会21472）}}， 页数={151--172}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={Coquand、Thierry和Ishihara、Hajime和Negri、Sara和Schuster、Peter M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.151 }, URN={URN:nbn:de:0030-drops-159321}， doi={10.4230/DagRep.11.1051}， annote={关键词：自动定理证明，范畴语义，构造，几何逻辑，证明理论} }
安全编译（Dagstuhl研讨会21481）
摘要
引用为
@第{chisnall_et_al:DagRep.11.10.173条， author={奇斯内尔、戴维和加格、迪帕克和赫里特库、加泰林和佩耶、马蒂亚斯}， title={{安全编译（Dagstuhl研讨会21481）}}， 页数={173--204}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2022}， 体积={11}， 数字={10}， editor={奇斯内尔、戴维和加格、迪帕克和赫里特库、卡塔林和佩耶、马蒂亚斯}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.173 }, URN={URN:nbn:de:0030-drops-159332}， doi={10.4230/DagRep.110.173}， annote={关键词：安全编译、低级攻击、源代码级推理、攻击者模型、完整抽象、超属性、实施机制、划分、安全架构、副通道} }