ICCSW 2014:英国伦敦
鲁米亚纳·内科娃 , 尼古拉斯·吴 :
2014年帝国理工学院计算机专业学生研讨会,ICCSW 2014年9月25-26日,英国伦敦。 OASIcs公司 43, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2014 ,国际标准图书编号 978-3-939897-76-7 鲁米亚纳·内科娃 , Nicholas Ng(尼古拉斯·吴) :
前言、目录、前言、车间组织。 谢恩·莱格 :
从学术界到工业界:谷歌DeepMind的故事。 1 菲利普·沃德勒 :
你和你的研究以及风格元素。 2 叶夫根尼·贝里科夫 :
基于历史的适应性工作分配。 3-10 埃塞尔·巴德斯利 :
你所知道的一切都是错误的:惊人的时间旅行CPU,以及其他对并发性的恐惧。 11-18 安德鲁·克洛珀 :
从书中场景的文字描述中识别和推断物体。 19-26 雅库布·丹尼尔 , 帕维尔·帕里泽克 :
程序验证中的谓词抽象:调查和当前趋势。 27-35 德利吉安人 , 阿拉斯泰尔·唐纳森 :
设备驱动程序中数据竞争自由的自动验证。 36-39 罗曼·弗朗西斯科尼 , 保罗·安托因双冈比亚 , 吕克·图雷尔 , 保罗·比斯甘比格里亚 , 大卫·R·C·希尔 :
使用离散事件系统规范的建模和仿真软件框架综述。 40-49 朱莉安娜·佛朗哥 , 索菲亚·德罗索波卢 , 吉田信子 :
使用会话类型和大小计算通信成本。 50-57 Quoc-Sang Phan公司 :
作为DPLL模理论的符号执行。 58-65 约尔格·普勒 :
基于仿真的人工智能应用程序编程范式。 66-73 雷氏 :
定义和评估社会适应性电子学习的学习者体验。 74-82 马西耶·斯科尔斯基 :
利用剩余哈希引理推导密钥的最新进展。 83-90 克里斯托夫·斯潘林 :
选择公理,最大独立集,辩论和对话游戏。 91-98