阿兰·图灵 2012
安德烈·沃伦科夫 :
图灵-100——阿兰·图灵百年诞辰,英国曼彻斯特,2012年6月22日至25日。 EPiC计算系列 10, Easy椅子 2012 克劳迪奥·安吉奥内 , 乔瓦尼·卡拉佩扎 , 乔尔·科斯坦萨 , 彼得罗·利奥 , 朱塞佩·尼科西亚 :
使用代谢机器进行计算。 1-15 乔莎·巴赫 , 马里奥·威尔迪奇奥 :
头脑是什么样的机器? 16-19 以色列贝尔弗 :
物理学中的信息计算转向。 20-33 福阿德·切迪德 :
论物体的自然表征。 34-41 埃德加·G·日光 :
图灵对编程的影响。 42-52 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
无界博弈的纳什均衡计算。 53-65 迈克尔·斯蒂芬·菲斯克 :
图灵不可辩驳计算。 66-91 杰罗恩·福克 :
图灵心智论文中的国际象棋例子实际上是关于模糊性的。 92-97 Rusins Freivalds公司 :
超大型自动机和图灵机器。 98-112 安东尼·基诺 , Teruo Fujii先生 , 扬尼克·伦德雷斯(Yannick Rondelez) :
利用线性和非线性动力学的竞争神经网络进行分子计算。 113-117 拉斯洛·琼约西 , 桑多·伊姆雷 :
零专用容量量子信道上的安全通信。 118-131 拉斯洛·琼约西 , 桑多·伊姆雷 :
零容量量子信道通信的数学边界。 132-139 何塞·埃尔南德斯·奥拉洛 , 哈维尔·因萨·卡布雷拉 , 大卫·L·杜 , 比尔·希伯德 :
用图灵机器进行图灵测试。 140-156 徐赞生 , Churn Jung Liau先生 , 王大伟 :
逻辑、概率和隐私:指定隐私要求的框架。 157-167 科尼莉斯·惠泽 , 鲁德·科伊伯 , 汤姆·弗霍夫 :
赖斯定理的推广,适用于可执行和不可执行形式主义。 168-180 哈迪·卡特比 , 卡伦·萨卡拉 , 伊戈尔·马尔科夫 :
图形对称性检测和规范标记:差异与协同。 181-195 乔泽夫·科勒曼 :
关于图灵的三项先驱计划及其相互作用的说明。 196-203 丹尼尔·利万特 :
交替图灵机和分析层次结构。 204-213 杰罗姆·勒鲁 :
向量加法系统可达性问题(一个更简单的解决方案)。 214-228 刘少英 :
利用Hoare逻辑加强程序错误检测测试。 229-238 拉奥·米克基利尼尼 , 阿尔伯特·科比里尼 , 乔瓦尼·莫拉纳 :
图灵O-Machine和DIME网络体系结构:将体系结构弹性注入分布式计算。 239-251 克里斯蒂安·普里萨卡里奥 :
过去的荣耀与几何的并行。 252-267 普罗斯特(Frédéric Prost) :
信息技术对社会的影响:通过国际象棋游戏的历史视角。 268-277 云尚 , 西安路 , 如前路 :
基于量子逻辑的图灵机的计算能力。 278-288 强身(Qiang Shen) , 任刁 , 潘苏 :
特征选择集成。 289-306 米哈伊尔·苏琴斯基 , 瓦尔·耶希亚 :
走向表达性实践逻辑行动理论。 307-325 索林Stratulat :
一阶逻辑归纳推理的统一视图。 326-352 奥姆里·塔尔 :
人口结构的信息论方法。 353-369 托尼·维勒 :
新Cliché的灵魂:常见形式创造性语言变体中的惯例和元惯例。 370-385 伊琳娜B.维氏夕卡岩 , 纳塔利娅·格里博夫斯卡娅 , 艾克·贝斯特 :
定时过渡系统的统一等效性。 386-404 彼得·韦格纳 , 尤金·埃伯巴赫 , 马克·布尔金 :
交互机器和图灵机的计算完备性。 405-414 格雷厄姆·怀特 :
框架问题和经典证明的语义。 415-429