达格斯图尔报告,第9卷,第7期



缩略图PDF

出版物详细信息


访问号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完成问题
Dagstuhl Reports,第9卷,第7期,2019年7月,完整版

摘要
Dagstuhl Reports,第9卷,第7期,2019年7月,完整版

引用为

达格斯图尔报告,第9卷,第7期,达格斯图宫-莱布尼茨-泽特鲁姆-富尔信息(2020)


将BibTex复制到剪贴板

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

摘要
达格斯图尔报告,目录,第9卷,第7期,2019年

引用为

《达格斯图尔报告》,第9卷,第7期,第i-ii页,达格斯图宫-莱布尼兹·泽特鲁姆宫(2020年)


将BibTex复制到剪贴板

@第{DagRep.9.7.i条,title={{Dagstuhl Reports,目录,第9卷,第7期,2019}},页面={i--ii},日志={Dagstuhl报告},ISSN={2192-5283},年份={2020年},体积={9},数字={7},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.i},URN={URN:nbn:de:00030-drops-118386},doi={10.4230/DagRep.9.7.i},annote={Keywords:目录,Frontmatter}}
文件
教育中的概念机器和编程语言语义(19281年达格斯图尔研讨会)

作者:Mark Guzdial、Shriram Krishnamurthi、Juha Sorva和Jan Vahrenhold


摘要
语言的形式语义有多种用途。它可以帮助调试语言的设计,用于证明类型的正确性,并指导优化器确认其工作是正确的。形式语义由几个标准进行评估:完全抽象、充分性、可靠性和完整性、对底层实现的忠实性,等等。不幸的是,我们对非专业人士(如学生)实际上是如何使用语义的了解相对较少。他们能够掌握哪些模型?它们在解释或调试程序时有多有用?他们对模型的使用是如何随着他们编写的程序的种类而演变的?研究这些问题是否会对语义学的形式产生新的见解?这次达格斯图尔研讨会旨在弥合这一差距。它将两个社区的代表聚集在一起,他们通常在不相交的圆圈中旅行,以实现相互理解和交叉授粉。编程语言社区使用数学并注重形式化结果;计算机教育研究社区使用社会科学方法,关注对人类的影响。两者都不优越:两者都需要找到创建学习工具的全面解决方案。

引用为

Mark Guzdial、Shriram Krishnamurthi、Juha Sorva和Jan Vahrenhold。教育中的概念机器和编程语言语义(19281年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第7期第1-23页,达格斯图宫-莱布尼茨-泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@文章{guzdial_et_al:DagRep.9.7.1,author={古兹迪亚尔、马克和克里希纳穆西、施里拉姆和索尔瓦、朱哈和瓦伦霍尔德,简},title={{教育中的概念机器和编程语言语义(19281年达格斯图尔研讨会)}},页数={1--23},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={古兹迪尔、马克和克里希纳穆尔西、施里拉姆和索尔瓦、朱哈和瓦伦霍尔德,简},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.1},URN={URN:nbn:de:0030-drops-116272},doi={10.4230/DagRep.9.7.1},annote={关键词:计算教育研究,形式语义,误解,概念机器}}
文件
数据系列管理(19282年达格斯图尔研讨会)

作者:Anthony Bagnall、Richard L.Cole、Themis Palpanas和Kostas Zoumpatianos


摘要
我们现在看到,不同领域的用户对数据序列(也称为时间序列)管理产生了浓厚的兴趣。对于产生数据序列的工业应用来说,在几十亿(即多个TB)。因此,分析师无法处理他们拥有的大量数据系列管理和处理。本次研讨会的目的是让研究人员和从业者交流想法并促进数据系列管理主题中的合作,并确定相应的开放研究方向。主要回答的问题如下:i)跨不同领域的数据系列管理需求是什么当前系统的缺点是什么?ii)我们如何使用机器学习来优化当前的数据系统,以及这些系统如何帮助机器学习管道?iii)视觉分析如何帮助分析大数据系列收集的过程?研讨会重点关注以下与数据系列管理相关的关键主题:1) 数据系列存储和访问模式,2)查询优化,3)数据系列的机器学习和数据挖掘,4)数据系列探索的可视化,5)多领域应用。

引用为

Anthony Bagnall、Richard L.Cole、Themis Palpanas和Kostas Zoumpatianos。数据系列管理(19282年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第7期第24-39页,达格斯图宫-莱布尼茨-泽特鲁姆-富尔信息(2019)


将BibTex复制到剪贴板

@文章{bagnal_et_al:DagRep.9.7.24,author={Bagnall、Anthony和Cole、Richard L.和Palpanas、Themis和Zoumpatianos、Kostas},title={{数据系列管理(19282年达格斯图尔研讨会)}},页码={24-39},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={Bagnall、Anthony和Cole、Richard L.和Palpanas、Themis和Zoumpatianos、Kostas},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.24},URN={URN:nbn:de:0030-drops-116349},doi={10.4230/DagRep.9.7.24},annote={关键词:数据序列;时间序列;序列;管理;索引;分析;机器学习;挖掘;可视化}}
文件
计算中的价值(19291年达格斯图尔研讨会)

作者:Christoph Becker、Gregor Engels、Andrew Feenberg、Maria Angela Ferrario和Geraldine Fitzpatrick


摘要
价值观是指导个人、团体和组织决策的根深蒂固的原则。计算技术不可避免地受到价值观的影响:通过其设计,价值观得以体现和实施。然而,有些值比其他值更容易量化和表达;例如,软件产品的财务价值比其“公平性”更容易衡量。因此,在决策过程中,不太可衡量的价值往往因缺乏证据而被忽视。这尤其是一个问题,因为研究表明,与更容易量化的价值相比,不太可衡量的价值往往与可持续实践更紧密相关;它还表明,我们设计的系统可能不足以解决长期复杂的社会问题,例如环境变化和与健康相关的挑战,而这些问题通常需要计算技术来解决。本研讨会旨在研究价值观、计算技术和社会之间的复杂关系。它将来自计算机科学内外多个领域的从业者和研究人员聚集在一起,包括人机交互、软件工程、计算机伦理学、道德哲学、技术哲学、数据科学和关键数据研究。研究结果包括通过不同学科视角和计算研究、开发和教育价值观指南审查的具体案例,本报告对此进行了阐述。

引用为

克里斯托夫·贝克尔(Christoph Becker)、格雷戈·恩格斯(Gregor Engels)、安德鲁·芬伯格(Andrew Feenberg)、玛丽亚·安吉拉·费拉里奥(Maria Angela Ferrario)和杰拉尔丁·菲茨帕特里克(Geraldine Fitzpatrick)。计算中的价值(19291年达格斯图尔研讨会)。《达格斯图尔报告》第9卷第7期第40-77页,达格斯图宫-莱布尼兹·泽特鲁姆宫(2019)


将BibTex复制到剪贴板

@文章{becker_et_al:DagRep.9.7.40,author={Becker、Christoph和Engels、Gregor和Feenberg、Andrew和Ferrario、Maria Angela和Fitzpatrick、Geraldine},title={{计算中的值(19291年达格斯图尔研讨会)}},页数={40-77},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={Becker、Christoph和Engels、Gregor和Feenberg、Andrew和Ferrario、Maria Angela和Fitzpatrick、Geraldine},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.40},URN={URN:nbn:de:0030-drops-116358},doi={10.4230/DagRep.9.7.40},annote={关键词:社会中的计算、负责任的创新、可持续性信息学、计算机伦理、技术哲学和道德哲学}}
文件
移动数据可视化(19292年达格斯图尔研讨会)

作者:Eun Kyoung Choe、Raimund Dachselt、Petra Isenberg和Bongshin Lee


摘要
移动可视化正在变得越来越流行,未来几年将不断出现新的移动设备形状因素和硬件功能。因此,及时反思迄今为止发现的问题并展望未来。此次达格斯图尔研讨会汇集了来自相关应用和研究领域的资深和初级研究人员、设计师和从业者,包括可视化、普适计算、人机交互和健康信息学。五个演示和五个教程让参与者有机会分享他们的经验和研究,并学习与移动数据可视化相关的技能。通过在分组会议上进行头脑风暴和讨论,以及简短的报告反馈演示,与会者确定了移动数据可视化未来研究的挑战和机遇。

引用为

Eun Kyoung Choe、Raimund Dachselt、Petra Isenberg和Bongshin Lee。移动数据可视化(19292年达格斯图尔研讨会)。在《达格斯图尔报告》第9卷第7期第78-93页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{choe_et_al条:DagRep.9.7.78,author={Choe、Eun Kyong和Dachselt、Raimund和Isenberg、Petra和Lee、Bongshin},title={{移动数据可视化(19292年达格斯图尔研讨会)}},页数={78--93},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={Choe、Eun Kyong和Dachselt、Raimund和Isenberg、Petra和Lee、Bongshin},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.78},URN={URN:nbn:de:00030-drops-116362},doi={10.4230/DagRep.9.78},annote={关键词:数据可视化、人机交互、信息可视化、移动计算、普适计算}}
文件
硬件系统的安全组成(Dagstuhl研讨会19301)

作者:迪维亚·阿罗拉(Divya Arora)、伊利亚·波利安(Ilia Polian)、弗朗西斯科·雷加佐尼(Francesco Regazzoni)和帕特里克·绍蒙特(Patrick Schaumont)


摘要
19301年达格斯图尔研讨会“硬件系统的安全组成”的目标是建立对原则和技术的共同理解,这些原则和技术可以促进硬件系统的组成和集成,以实现特定的安全保证。安全组合的理论基础在过去已经奠定,但它们仅限于软件系统。当一个由一系列硬件组件(包括特定应用程序块、可编程微控制器和可重新配置结构)组成的真实系统组合在一起时,就会出现新的独特的安全挑战。例如,这些组件可能具有不同的所有者、不同的信任假设,甚至可能没有共同的语言来相互描述其安全属性。利用各种物理属性破坏系统安全目标的物理攻击和副通道攻击为安全合成问题增加了另一层复杂性。此外,实际硬件系统包括巨大规模和复杂性的软件,而硬件和软件的交互可能会带来新的安全挑战。研讨会从纯硬件的角度考虑了安全组合,其中多个硬件块组合在芯片上系统(SoC)中,从硬件-软件的角度考虑,硬件集成在包含软件的系统中。研讨会汇集了必须处理安全合成的领域的研究人员和行业从业人员:安全硬件架构、面向硬件的安全、应用密码学、安全属性测试和验证。通过让行业参与者参与进来,我们能够深入了解现实世界中的挑战、启发式方法和用于解决这些挑战的方法,并开始讨论新的解决方案。

引用为

Divya Arora、Ilia Polian、Francesco Regazzoni和Patrick Schaumont。硬件系统的安全组成(Dagstuhl研讨会19301)。在《达格斯图尔报告》第9卷第7期第94-116页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{arora_et_al:DagRep.9.7.94条,author={Arora、Divya和Polian、Ilia和Regazzoni、Francesco和Schaumont、Patrick},title={{硬件系统的安全组合(Dagstuhl研讨会19301)}},页数={94--116},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={Arora、Divya和Polian、Ilia和Regazzoni、Francesco和Schaumont、Patrick},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.94},URN={URN:nbn:de:0030-drops-116377},doi={10.4230/DagRep.9.7.94},annote={关键词:硬件,安全合成,安全,软件}}
文件
网络安全威胁——从欺骗到侵略(19302年达格斯图尔研讨会)

作者:Zinaida Benenson、Marianne Junger、Daniela Oliveira和Gianluca Stringhini


摘要
一些恶意活动,如网络欺凌、虚假信息和网络钓鱼,正在变得越来越严重,从财务和心理上影响互联网用户的福祉。这些恶意活动本质上是社会技术性的,因此针对它们的有效对策不仅必须借鉴工程和计算机科学,还必须借鉴其他学科。为了讨论这些主题并找到适当的对策,我们召集了来自计算机科学、犯罪学、犯罪科学、心理学和教育等多个学科的研究人员。通过五天的集思广益和讨论,参与者制定了关于这些主题的未来研究路线图,包括四个方向:建模攻击者、测量人类行为、青少年在线威胁的检测和预防方法,以及了解缓解技术的意外后果。

引用为

Zinaida Benenson、Marianne Junger、Daniela Oliveira和Gianluca Stringhini。网络安全威胁——从欺骗到侵略(19302年达格斯图尔研讨会)。《达格斯图尔报告》第9卷第7期第117-154页,达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2019)


将BibTex复制到剪贴板

@第{benenson_et_al:DagRep.9.7.117条,author={Benenson、Zinaida和Junger、Marianne和Oliveira、Daniela和Stringhini、Gianluca},title={{网络安全威胁-从欺骗到攻击(19302年达格斯图尔研讨会)}},页数={117--154},日志={Dagstuhl报告},ISSN={2192-5283},年份={2019},体积={9},数字={7},editor={Benenson、Zinaida和Junger、Marianne和Oliveira、Daniela和Stringhini、Gianluca},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.7.117},URN={URN:nbn:de:0030-drops-116387},doi={10.4230/DagRep.9.7.117},annote={关键词:网络安全、网络法律和道德问题、在线社交网络、安全和隐私}}

过滤器


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

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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