达格斯图尔报告,第11卷,第6期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
达格斯图尔报告,第11卷,第6期,2021年7月,完整版

摘要
达格斯图尔报告,第11卷,第6期,2021年6月,完整版

引用为

《达格斯图尔报告》,第11卷,第6期,第1-165页,达格斯图-莱布尼兹·泽特鲁姆宫(2021)


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第11卷,第6期,2021年

引用为

《达格斯图尔报告》,第11卷,第6期,第i-ii页,达格斯图-莱布尼兹·泽特鲁姆宫(Leibniz-Zentrum für Informatik)(2021年)


将BibTex复制到剪贴板

@第{DagRep.11.i条,title={{Dagstuhl Reports,目录,第11卷,第6期,2021}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.11.6.i},URN={URN:nbn:de:0030-drops-155765},doi={10.4230/DagRep.11.6.i},annote={Keywords:目录,Frontmatter}}
文件
计算蛋白质组学(达格斯图尔研讨会21271)

作者:Sebastian Böcker、Rebekah Gundry、Lennart Martens和Magnus Palmblad


摘要
本报告记录了Dagstuhl研讨会21271“计算蛋白质组学”的计划和成果。由于冠肺炎疫情,研讨会以混合方式举行,包括本地和在线参与,围绕三个主题:蛋白质组学中先进机器学习的快速应用;结构蛋白质组学和自顶向下蛋白质组学的各种快速发展方法的计算挑战;糖组学数据的计算分析。这三个主题是三个相应的分组会议的重点,在整个研讨会期间并行进行。研讨会期间创建了第四次分组会议,主题是基于蛋白质组学数据创建Kaggle竞赛。这里的摘要首先描述了三个介绍性演讲,每个主题一个。然后,在这些演讲摘要之后,每个分组会议都有一个摘要,记录该分组的讨论和结果。还提供了一份执行摘要,其中详细介绍了研讨会的总体结构以及三个主题衍生专题的最重要结论。

引用为

塞巴斯蒂安·伯克(Sebastian Böcker)、丽贝卡·冈德里(Rebekah Gundry)、伦纳特·马滕斯(Lennart Martens)和马格努斯·帕尔姆布拉德(Magnus Palmblad)。计算蛋白质组学(Dagstuhl Seminar 21271)。在《达格斯图尔报告》第11卷第6期第1-13页,达格斯图-莱布尼兹·泽特鲁姆宫(2021年)


将BibTex复制到剪贴板

@文章{bocker_et_al:DagRep.11.6.1,作者=“{o} 克尔、塞巴斯蒂安(Sebastian)和冈德里(Gundry)、丽贝卡(Rebekah)和马滕斯(Martens)、伦纳德(Lennart)和帕尔姆布拉德(Palmblad)、马格纳斯(Magnus)}、,title={{计算蛋白质组学(达格斯图尔研讨会21271)}},页数={1--13},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},编辑器={B\“{o} 克尔、塞巴斯蒂安(Sebastian)和冈德里(Gundry)、丽贝卡(Rebekah)和马滕斯(Martens)、伦纳德(Lennart)和帕尔姆布拉德(Palmblad)、马格纳斯(Magnus)}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.1},URN={URN:nbn:de:0030-drops-155775},doi={10.4230/DagRep.11.6.1},关键词:生物信息学、计算质谱学、机器学习、蛋白质组学}
文件
走向气候友好型互联网研究(达格斯图尔研讨会21272)

作者:瓦比哈夫·巴杰帕伊(Vaibhav Bajpai)、奥利弗·霍尔菲尔德(Oliver Hohlfeld)、乔恩·克劳克罗夫特(Jon Crowcroft)和斯里尼瓦桑·凯沙夫(Srinivasan Keshav)


摘要
本报告提供了确定何时适合虚拟会议或混合会议以及如何设计这些会议的指南。该报告是Dagstuhl研讨会的成果,目的是审查虚拟会议的当前状态,并为混合会议制定最佳实践。与会者就虚拟会议的最新进展提供了意见:哪些有效,哪些无效,以及哪些需要改进。从这次讨论中,与会者讨论了设计混合会议的要求、含义和指导原则。与会者认为,在未来,小型研究会议将完全转移到网上,而大型研究会议将作为混合活动举行。

引用为

Vaibhav Bajpai、Oliver Hohlfeld、Jon Crowcroft和Srinivasan Keshav。走向气候友好型互联网研究(达格斯图尔研讨会21272)。在《达格斯图尔报告》第11卷第6期第14-37页,达格斯图宫-莱布尼茨-泽特鲁姆宫(2021年)


将BibTex复制到剪贴板

@第{bajpai_et_al:DagRep.11.6.14条,author={Bajpai、Vaibhav和Hohlfeld、Oliver和Crowcroft、Jon和Keshav、Srinivasan},title={{走向气候友好型互联网研究(达格斯图尔研讨会21272)}},页数={14--37},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},editor={巴杰帕伊、瓦比哈夫和霍尔菲尔德、奥利弗和克劳克罗夫特、乔恩和凯沙夫、斯里尼瓦桑},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.14},URN={URN:nbn:de:0030-drops-155780},doi={10.4230/DagRep.11.6.14},annote={关键词:碳足迹、节能网络、气候变化}}
文件
现代存储器和存储层次结构的数据结构(达格斯图尔研讨会21283)

作者:Stratos Idreos、Viktor Leis、Kai-Uwe Sattler和Margo Seltzer


摘要
本报告记录了Dagstuhl研讨会21283“现代存储器和存储层次结构的数据结构”的计划和结果。几十年来,计算机由CPU、易失性主存储器和持久性磁盘组成。如今,闪存和持久内存等现代存储技术以及通过高速网络连接的虚拟化云实例似乎不可避免的迁移,彻底改变了硬件环境。这些技术对如何设计数据结构和高性能系统软件具有重要意义。研讨会讨论了如何使数据结构和软件系统适应这种新的硬件环境。

引用为

Stratos Idreos、Viktor Leis、Kai-Uwe Sattler和Margo Seltzer。现代存储器和存储层次结构的数据结构(Dagstuhl研讨会21283)。在《达格斯图尔报告》第11卷第6期第38-53页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2021)


将BibTex复制到剪贴板

@第{idreos_et_al:DagRep.11.6.38条,author={Idreos、Stratos和Leis、Viktor和Sattler、Kai-Uwe和Seltzer、Margo},title={{现代存储器和存储层次结构的数据结构(达格斯图尔研讨会21283)}},页数={38--53},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},editor={Idreos、Stratos和Leis、Viktor和Sattler、Kai-Uwe和Seltzer、Margo},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.38},URN={URN:nbn:de:0030-drops-155797},doi={10.4230/DagRep.116.38},annote={关键词:云、数据结构、数据库系统、闪存、近数据处理、持久内存}}
文件
效应的可缩放处理(达格斯图尔研讨会21292)

作者:Danel Ahman、Amal Ahmed、Sam Lindley和Andreas Rossberg


摘要
效果处理程序建立在坚实的数学基础上,为使用用户定义的计算效果进行编程提供了统一而优雅的方法。它们包含许多广泛使用的编程概念和抽象,例如参与者、异步/等待、回溯、协同程序、生成器/迭代器和概率编程。因此,它们允许语言实现者以效果处理程序的单个实现为目标,从而使语言实现者不必维护上述每个功能的单独特殊实现。由于其广泛的适用性,效果处理程序越来越受到学术界和工业界的关注。例如,几个面向效果处理程序的研究语言正在积极开发中(如Eff、Frank和Koka),主流语言的效果处理程序库(如C和Java)也在积极开发中,效果处理程序在概率编程工具(如优步的Pyro)中的使用越来越多,目前正在酝酿将它们以低级语言(如WebAssembly)的形式本地包含在内的建议。效果处理程序也是Multicore OCaml的一个关键部分,它包含了它们的高效实现,以便用该语言统一表示用户定义的并发模型。然而,使效果处理者能够扩展需要解决一些理论和实践上的难题。受实践中开发、编程和推理效果处理程序的经验启发,我们确定了本次达格斯图尔研讨会要解决的五个关键问题领域,以使效果处理程序能够扩展:安全性、模块性、互操作性、易读性和效率。特别是,我们寻求以下问题的答案:-我们如何加强效果处理程序和外部资源之间的安全交互?-我们如何在大规模编程中实现效果处理程序的模块化使用?-我们如何支持用不同语言编写的互操作效果处理程序?-我们如何以主流程序员可以使用的风格编写清晰的效果处理程序?-我们如何从效果处理程序生成高效的代码?

引用为

Danel Ahman、Amal Ahmed、Sam Lindley和Andreas Rossberg。效果的可扩展处理(Dagstuhl研讨会21292)。在《达格斯图尔报告》第11卷第6期第54-81页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2021)


将BibTex复制到剪贴板

@第{ahman_et_al:DagRep.11.6.54条,author={Ahman、Danel和Ahmed、Amal和Lindley、Sam和Rossberg、Andreas},title={{效果的可缩放处理(达格斯图尔研讨会21292)}},页数={54--81},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},编辑={Ahman、Danel和Ahmed、Amal和Lindley、Sam和Rossberg、Andreas},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.54},URN={URN:nbn:de:0030-drops-155800},doi={10.4230/DagRep.11.654},annote={关键词:continuations,Effect处理程序,Wasm}}
文件
图形绘制中的参数化复杂性(Dagstuhl研讨会21293)

作者:罗伯特·加尼安(Robert Ganian)、法布里奇奥·蒙泰基亚尼(Fabrizio Montecchiani)、马丁·诺伦伯格(Martin Nöllenburg)和梅拉夫·泽哈维(Meirav Zehavi)


摘要
本报告记录了Dagstuhl研讨会21293“图形绘制中的参数化复杂性”的计划和结果。研讨会主要在2021年7月18日至23日期间举行。它汇集了来自图形绘制和参数化复杂性研究社区的28名研究人员,旨在讨论和探索关于这两个领域之间接口的开放性研究问题。报告收集了研讨会上提出的会谈摘要和公开问题,以及工作组的简要进度报告。

引用为

Robert Ganian、Fabrizio Montecchiani、Martin Nöllenburg和Meirav Zehavi。图形绘制中的参数化复杂性(Dagstuhl研讨会21293)。在《达格斯图尔报告》第11卷第6期第82-123页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2021)


将BibTex复制到剪贴板

@文章{ganian_et_al:DagRep.11.6.82,author={加尼安、罗伯特和蒙特基亚尼、法布里齐奥和N“{o} 伦伯格、Martin和Zehavi、Meirav}、,title={{图形绘制中的参数化复杂性(Dagstuhl研讨会21293)}},页数={82--123},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},editor={加尼安、罗伯特和蒙特基亚尼、法布里齐奥和N“{o} 伦伯格、Martin和Zehavi、Meirav}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.82},URN={URN:nbn:de:0030-drops-155817},doi={10.4230/DagRep.11.6.82},annote={关键词:精确计算,图形算法,图形绘制,参数化复杂性}}
文件
偏好匹配:理论与实践(Dagstuhl研讨会21301)

作者:哈里斯·阿齐兹、佩特·比罗、塔马斯·弗莱纳和贝蒂娜·克劳斯


摘要
本报告记录了Dagstuhl研讨会21301“偏好匹配:理论与实践”的计划和结果。研讨会包括技术科学讲座、调查讲座、公开问题演示、工作组会议、五分钟的贡献(“剩余部分”)和小组讨论。这是第一次达格斯图尔研讨会,专门讨论偏好匹配问题。

引用为

哈里斯·阿齐兹、佩特·比罗、塔马斯·弗莱纳和贝蒂娜·克劳斯。偏好下的匹配:理论与实践(Dagstuhl研讨会21301)。在《达格斯图尔报告》第11卷第6期第124-146页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息学(2021)


将BibTex复制到剪贴板

@文章{aziz_et_al:DagRep.11.6.124,作者=阿齐兹、哈里斯和比尔{e} 特还有塔姆·弗莱纳{a} 秒和克劳斯、贝蒂娜,title={{偏好下的匹配:理论与实践(Dagstuhl研讨会21301)}},页数={124--146},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},editor={Aziz,Haris和Bir{e} 特还有塔姆·弗莱纳{a} 秒和克劳斯、贝蒂娜,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.124},URN={URN:nbn:de:00030-drops-155826},doi={10.4230/DagRep.11.6124},annote={关键词:市场设计,偏好匹配,分配约束匹配,器官交换,稳定匹配}}
文件
近似系统(Dagstuhl研讨会21302)

作者:伊娃·达鲁洛娃、巴巴克·法尔萨菲、安德烈亚斯·格斯特劳尔和菲利普·斯坦利·马贝尔


摘要
本报告总结了2021年7月25日至30日举行的Dagstuhl研讨会21302“近似系统”上的演示和讨论会。由于冠肺炎,研讨会以混合方式举行,约三分之一的与会者在现场,其余与会者在线。研讨会讨论了跨堆栈和跨不同应用领域应用近似计算技术的进展和面临的挑战,我们希望本报告也能为其他研究人员提供有用的资源。

引用为

伊娃·达鲁洛娃、巴巴克·法尔萨菲、安德烈亚斯·格斯特劳尔和菲利普·斯坦利·马贝尔。近似系统(Dagstuhl研讨会21302)。在《达格斯图尔报告》第11卷第6期第147-163页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2021)


将BibTex复制到剪贴板

@文章{darulova_et_al:DagRep.11.6.147,author={达鲁洛娃、伊娃和法尔萨菲、巴巴克和格斯特劳尔、安德烈亚斯和斯坦利·马贝尔、菲利普},title={{近似系统(Dagstuhl研讨会21302)}},页数={147--163},日志={Dagstuhl报告},ISSN={2192-5283},年份={2021},体积={11},数字={6},编辑={Darulova,Eva和Falsafi,Babak和Gerstlauer,Andreas和Stanley Marbell,Phillip},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.6.147},URN={URN:nbn:de:0030-drops-155836},doi={10.4230/DagRep.11.6.147},annote={关键词:近似计算、节能计算、帕累托优化}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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