信息机制。计算的基础和物理方面。细胞自动机理论。互连复杂性,同步。正式的计算模型与微观物理学(均匀性,位置,可逆性,惯性和其他保护原理,计算的变异,相对论和量子方面)一致。证明了可逆细胞自动机(1977)的计算通用性;提出了猜想(后来由卡里证明),所有可逆细胞自动机在结构上都是可逆的(1990)。介绍了“ to o oli Gate”(1981),后来被Feynman和其他人作为量子计算的基本逻辑原始词。提出,与弗雷德金(Fredkin)提出了第一个具体指控的计算计划(1980),这是近年来低功率行业所采用的想法。证明了耗散性细胞自动机算法可以用非解剖性晶格气体算法取代(2006– 2009年)。量子信息理论和热力学的进步(2006-2010)。批量计算的可及性;拉格朗日动作与计算能力之间的联系(1998-)。细粒体系结构,用于大规模并行计算。关于蜂窝机器机器的开创性工作:设计,实现,支持和应用(1982)。的开发和实现(与诺曼·玛格鲁斯(Norman Margolus)的CAM 8(一种精细的,难以扩展的多处理器体系结构)体现了可编程物质的概念(1987-1993)。微观动力学过程与宏观现象学之间的联系。在伴侣科学模拟中使用这些体系结构的方法以及探索各种平行计算方案。与TED Bach(2002-04)一起设计和实现SIMP/Step,软件引擎和IDE的IDE和IDE。discrete模型;开创了晶状体气体流体动力学的想法(1985)。对应原理是微观组合和宏观计算特性的;紧急计算。物理建模方法,利用了大量平行的,细粒度的计算资源。神经网络的某些方面。基于细粒度的自主动力学(1995)的图像操纵和三维渲染。微观动力学对模式识别:模拟染色,纹理锁定环。知识结构。作为旨在开发知识工程课程的电子书的一部分,创建并教授了新的研究生课程“个人知识工程”(2007-09)。与BU Earlab在大脑建模项目(2002- 2008年)合作。工作(自1998年起)开展了一项称为个人知识结构的倡议,旨在使普通人有效地利用计算机扩展其个人能力,这是识字的扩展。该策略是开发一套综合的文化和计算机资源,并建立一个试点社区,以支持和传播该学科。
主要关键词