达格斯图尔报告，第13卷，第6期
-
部分： 音量： Dagstuhl报告，第13卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2024-02-01 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 13
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
达格斯图尔报告，第13卷，第6期，2023年6月，完整版
摘要
引用为
@第{DagRep.13.6条， title={{Dagstuhl Reports，第13卷，第6期，2023年6月，完整版}}， 页数={1--124}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6 }, URN={URN:nbn:de:0030-drops-196347}， doi＝{10.4230/DagRep.13.6}， annote={关键词：达格斯图尔报告，第13卷，第6期，2023年6月，完整版} }
达格斯图尔报告，目录，第13卷，第6期，2023年
摘要
引用为
@第{DagRep.13.6.i条， title={{Dagstuhl Reports，目录，第13卷，第6期，2023}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.13.6.i }, URN={URN:nbn:de:0030-drops-196352}， doi={10.4230/DagRep.13.6.i}， annote={Keywords:目录，Frontmatter} }
概率模型和程序的可缩放分析（达格斯图尔研讨会23241）
摘要
引用为
@文章{junges_et_al:DagRep.13.6.1， author={Junges、Sebastian和Katoen、Joost-Pieter和Sanner、Scott和Van den Broeck、Guy和Salmani、Bahare}， title={{概率模型和程序的可缩放分析（Dagstuhl研讨会23241）}}， 页数={1--21}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， editor={荣格斯、塞巴斯蒂安和卡托恩、朱斯特·佩特和桑纳、斯科特和范登·布勒克、盖伊和萨勒马尼、巴哈雷}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.1 }, URN={URN:nbn:de:0030-drops-196362}， doi={10.4230/DagRep.13.6.1}， annote={关键词：模型计数、概率推理、概率模型检查、概率规划、概率程序} }
自动和自动驾驶车辆的隐私保护（达格斯图尔研讨会23242）
摘要
引用为
@文章{kargl_et_al:DagRep.13.6.22， author={Kargl、Frank和Krontiris、Ioannis和Millar、Jason和Weimerkilch、Andr和Gomez、Kevin}， title={{自动和自动驾驶车辆的隐私保护（Dagstuhl研讨会23242）}}， 页数={22--54}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， editor={Kargl、Frank和Krontiris、Ioannis和Millar、Jason和Weimerkilch、Andr和Gomez、Kevin}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.22 }, URN={URN:nbn:de:0030-drops-196375}， doi={10.4230/DagRep.13.6.22}， annote={关键词：汽车安全和隐私、隐私和数据保护、协作连接和自动移动} }
基准优化启发式的挑战（达格斯图尔研讨会23251）
摘要
引用为
@文章{auger _ et_al:DagRep.13.6.55， author={Auger、Anne和Bosman、Peter A.N.和Kerschke、Pascal和Whitley、Darrell和Sch\“ {a} permeier公司 ，伦纳德}， title={{基准优化启发式的挑战（达格斯图尔研讨会23251）}}， 页数={55--80}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， editor={奥格、安妮和博斯曼、彼得·A·N·和科尔斯克、帕斯卡和惠特利、达雷尔和施“ {a} permeier公司 ，伦纳德}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.55 }, URN={URN:nbn:de:0030-drops-196383}， doi={10.4230/DagRep.13.6.55}， annote={关键词：基准测试、搜索启发设计、优化、实际应用程序、理解问题复杂性} }
包容性数据可视化（达格斯图尔研讨会23252）
摘要
引用为
@第{lee_et_al条：DagRep.13.6.81， author={Lee、Bongshin和Marriott、Kim和Szafir、Danielle和Weber、Gerhard}， title={{包容性数据可视化（Dagstuhl研讨会23252）}}， 页数={81--105}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， editor={Lee、Bongshin和Marriott、Kim和Szafir、Danielle和Weber、Gerhard}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.81 }, URN={URN:nbn:de:0030-drops-196399}， doi={10.4230/DagRep.13.6.81}， annote={关键词：数据可视化、信息可视化、可访问性、数据访问、人与计算机交互、人与数据交互} }
SAT编码及其后（Dagstuhl研讨会23261）
摘要
引用为
@第{heule_et_al:DagRep.13.6.106条， author={Heule，Marijn J.H.和Lynce，In\^ {e} 秒 斯泽德、斯特凡和希德勒、安德烈}， title={{SAT编码及其他（达格斯图尔研讨会23261）}}， 页数={106--122}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2024}， 体积={13}， 数字={6}， editor={Heule，Marijn J.H.和Lync，In\^ {e} 秒 斯泽德、斯特凡和希德勒、安德烈}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.106 }, URN={URN:nbn:de:0030-drops-196409}， doi={10.4230/DagRep.13.6.106}， annote={关键词：约束传播，上下界，问题公式，命题可满足性，对称破缺} }