肯尼思·雷根
人员信息
附属: 美国纽约州纽约州布法罗市布法罗大学
优化列表
2020年–今天
2021 [公元36年] 罗纳德·费金 , 乔纳森·伦奇纳 , 肯尼思·雷根 , 尼基尔·维亚斯 :
多结构游戏和量词数量。 低收入国家 2021 : 1月13日 [i6] 罗纳德·费金 , 乔纳森·伦奇纳 , 肯尼思·雷根 , 尼基尔·维亚斯 :
多结构游戏和量词数量。 CoRR公司 abs/2104.14709 ( 2021 ) 2020 [公元35年] 关朝文 , 肯尼思·雷根 :
量子电路中的一个新的图多项式和广义Tutte-Grothendieck不变量。 ACSS(1) 2020 : 3-16
2010 – 2019
2019 [第7页] 肯尼思·雷根 :
通过国际象棋评定计算机科学——纪念丹尼尔·科佩克和汉斯·贝利纳。 计算与软件科学 2019 : 200-216 [i5] 关朝文 , 肯尼思·雷根 :
稳定电路,二次型,和计算矩阵秩。 CoRR公司 abs/1904.00101 ( 2019 ) 2018 [公元24年] 马克·B·维拉里诺 , 威廉·加斯奇 , 肯尼思·雷根 :
希尔伯特不可约定理的证明。 美国数学。 周一。 125 ( 6 ) : 513-530 ( 2018 ) [公元23年] 肯尼思·雷根 , 阿姆兰·查克拉巴蒂 , 关朝文 :
量子电路的代数和逻辑仿真。 事务处理。 计算。 科学。 31 : 41-76 ( 2018 ) [公元34年] 苏布拉马尼亚姆·卡利亚纳桑达拉姆 , 肯尼思·雷根 :
NTM接受路径数的精确计算。 卡尔达姆 2018 : 105-117 2015 [公元22年] 塔马尔·比斯瓦斯 , 肯尼思·雷根 :
通过专用数据结构对序列参数进行函数求值的近似。 西奥。 计算。 科学。 607 : 113年至123年 ( 2015 ) [公元33年] 盖伊·霍沃斯 , 塔马尔·比斯瓦斯 , 肯尼思·雷根 :
技能评估的比较回顾:绩效、预测和分析。 ACG公司 2015 : 135-146年 [公元32年] 塔马尔·比斯瓦斯 , 肯尼思·雷根 :
量化思维和知识的深度和复杂性。 ICAART(2) 2015 : 602-607 [公元31年] 塔马尔·比斯瓦斯 , 肯尼思·雷根 :
测量游戏数据中的K级推理、满意度和人为错误。 ICMLA公司 2015 : 941-947 2014 [公元30年] 肯尼思·温盖特·里根 , 塔马尔·比斯瓦斯 , 杰森·周 :
国际象棋中的人类和计算机偏好。 AAAI的MPREF 2014 [公元29年] 塔马尔·比斯瓦斯 , 肯尼思·雷根 :
序列自变量上近似函数求值的有效模因化。 AAIM公司 2014 : 185-196 [第6页] 埃里克·阿伦德 , 迈克尔·路易斯 , 肯尼思·雷根 :
复杂性理论。 计算机手册,第三版(1) 2014 : 7: 1-33 [i4] 罗伯特·L·苏洛夫卡 , 肯尼思·雷根 :
多项式模复合数:解集结构的Ax-Katz型定理。 CoRR公司 abs/1404.4852 ( 2014 ) 2013 【b1】 理查德·利普顿 , 肯尼思·雷根 :
人、问题和证据——哥德尔《失落的信:2010》的散文。 施普林格 2013 ,国际标准图书编号 978-3-642-41421-3 第I-XVIII页,1-333页 [公元28年] 肯尼思·雷根 , 塔马尔·比斯瓦斯 :
通过游戏进行决策的心理测量模型。 CIG公司 2013 : 1-8 2012 [公元21年] Subrahmanyam Kalyanasundaram公司 , 理查德·利普顿 , 肯尼思·雷根 , 法博德·肖克里赫 :
改进了不确定图灵机的仿真。 西奥。 计算。 科学。 417 : 66-73 ( 2012 ) [i3] 理查德·利普顿 , 肯尼思·雷根 , 阿特里·鲁德拉 :
模拟特殊但自然的量子电路。 CoRR公司 abs/1201.3306 ( 2012 ) 2011 [公元27年] 肯尼思·温盖特·里根 , 盖伊·麦克罗珊·霍沃斯 :
内在国际象棋评分。 AAAI公司 2011 : 834-839 [c26] 肯尼思·雷根 , 巴特洛米耶·马西耶 , 盖伊·麦克罗桑·霍沃斯 :
了解国际象棋表演的分布。 ACG公司 2011 : 230至243 [公元25年] 理查德·利普顿 , 肯尼思·雷根 , 阿特里·鲁德拉 :
对称函数捕获一般函数。 MFCS公司 2011 : 436-447 2010 [公元24年] Subrahmanyam Kalyanasundaram公司 , 理查德·利普顿 , 肯尼思·雷根 , 法博德·肖克里赫 :
非确定性图灵机的改进仿真。 MFCS公司 2010 : 453-464
2000 – 2009
2009 【c23】 盖伊·霍沃斯 , 肯尼思·雷根 , 朱塞佩·迪法塔 :
性能和预测:国际象棋中错误选择的贝叶斯模型。 ACG公司 2009 : 99至110 [公元22年] 朱塞佩·迪法塔 , G.麦克。 哈沃斯 , 肯尼思·雷根 :
贝叶斯推断的技能等级。 CIDM公司 2009 : 89-94 2008 [公元20年] 莫里斯·詹森 , 肯尼思·雷根 :
基于离散不确定性原理的定深算术电路的非线性下界。 西奥。 计算。 科学。 409 ( 三 ) : 617-622 ( 2008 ) 2007 【c21】 莫里斯·詹森 , 肯尼思·雷根 :
深度三算术公式的“抵抗”多项式和更强的下界。 茧 2007 : 470-481 2006 [公元19年] 刘洪(音) , 肯尼思·雷根 :
改进了行列式和永久性的普遍性构造。 信息处理。 莱特。 100 ( 6 ) : 233-237 ( 2006 ) 2004 [公元18年] 申爱达 , 马塞尔·克拉斯马鲁 , 肯尼思·雷根 , 渡边大木 :
具有独特属性的游戏。 理论计算。 系统。 37 ( 1 ) : 29-47 ( 2004 ) [公元20年] 马塞尔·克拉斯马鲁 , 克里斯蒂安·格拉(Christian Glaßer) , 肯尼思·雷根 , 萨米克·森古普塔 :
序列化独特策略的协议。 MFCS公司 2004 : 660-672 2002 [公元17年] 肯尼思·雷根 :
理解P与NP的Mulmuley-Sohoni方法。 牛市。 EATCS公司 78 : 86-99 ( 2002 ) [公元16年] 布莱恩·波斯托 , 肯尼思·雷根 , 卡尔·H·史密斯 :
UPSILON:具有不完全惰性对象表示法的通用编程系统。 芬丹。 信息学 50 ( 3-4 ) : 325-359 ( 2002 ) [第19条] 申爱达 , 马塞尔·克拉斯马鲁 , 肯尼思·雷根 , 渡边大木 :
具有独特属性的游戏。 STACS公司 2002 : 396-407 2000 [公元15年] 哈里·布尔曼 , 迪特尔·范·梅尔凯贝克 , 肯尼思·雷根 , D.西瓦库马尔 , 马丁·施特劳斯 :
基于资源的度量的推广,应用于BPP与EXP问题。 SIAM J.计算。 30 ( 2 ) : 576-601 ( 2000 )
1990 – 1999
1999 [第5页] 陶江 , 李明(音) , 巴拉·拉维库马尔 , 肯尼思·雷根 :
可计算性。 算法和计算理论手册 1999 [第4页] 陶江 , 李明(音) , 巴拉·拉维库马尔 , 肯尼思·雷根 :
形式语法和语言。 算法与计算理论手册 1999 [第3页] 埃里克·阿伦德 , 迈克尔·路易斯 , 肯尼思·雷根 :
复杂性类。 算法和计算理论手册 1999 [第2页] 埃里克·阿伦德 , 迈克尔·路易斯 , 肯尼思·雷根 :
可简化性和完整性。 算法和计算理论手册 1999 [第1页] 埃里克·阿伦德 , 迈克尔·C·路易 , 肯尼思·雷根 :
其他复杂性类别和度量。 算法和计算理论手册 1999 1998 [公元14年] Arun K.Jagota公司 , 吉里·纳拉辛汉 , 肯尼思·雷根 :
二进制加权联想存储器的信息容量。 神经计算 19 ( 1-3 ) : 35-58 ( 1998 ) [j13] 罗德尼·G·唐尼 , 迈克尔·R·费罗斯 , 肯尼思·雷根 :
参数化电路复杂性和W层次。 西奥。 计算。 科学。 191 ( 1-2 ) : 97-115 ( 1998 ) [第18条] 肯尼思·雷根 , D.西瓦库马尔 :
概率鞅和BPTIME类。 CCC公司 1998 : 186- [第17条] 哈里·布尔曼 , 迪特尔·范·梅尔凯贝克 , 肯尼思·雷根 , D.西瓦库马尔 , 马丁·施特劳斯 :
基于资源的度量的推广及其应用(扩展抽象)。 STACS公司 1998 : 161-171 [i2] 哈里·布尔曼 , 迪特尔·范·梅尔凯贝克 , 肯尼思·雷根 , 马丁·施特劳斯 , D.西瓦库马尔 :
基于资源的度量的推广,应用于BPP与EXP问题。 电子。 计算机学术讨论会。 复杂。 TR98型 ( 1998 ) 1997 [公元12年] Arun K.Jagota公司 , 肯尼思·雷根 :
多元高度可压缩图上最大团的神经网络启发式性能。 J.全球。 最佳方案。 10 ( 4 ) : 439-465 ( 1997 ) [公元11年] 肯尼思·雷根 , 赫里贝特·沃尔默 :
间隙语言和日志时间复杂性类。 西奥。 计算。 科学。 188 ( 1-2 ) : 101-116 ( 1997 ) [第16条] 肯尼思·雷根 :
多项式邻域电路和非线性下限。 CCC公司 1997 : 61-68 1996 [公元10年] 肯尼思·雷根 :
线性时间和内存效率计算。 SIAM J.计算。 25 ( 1 ) : 133-168年 ( 1996 ) [公元9年] 肯尼思·雷根 :
复杂度类的索引集和表示。 西奥。 计算。 科学。 161 ( 1&2 ) : 263-287 ( 1996 ) [第15条] 罗德尼·G·唐尼 , 迈克尔·R·费罗斯 , 肯尼思·雷根 :
描述复杂性和 W公司 等级制度。 证明复杂性与可行算法 1996 : 119-134 1995 [j8] 弗雷德里克·格林 , 约翰内斯·科布勒 , 肯尼思·雷根 , 托马斯·施温蒂克 , 雅各布·托兰 :
#P函数中间位的幂。 J.计算。 系统。 科学。 50 ( 三 ) : 456-467 ( 1995 ) [j7] 肯尼思·雷根 , 詹姆斯·罗耶 :
有界双面错误复杂类的闭包性质。 数学。 系统。 理论 28 ( 三 ) : 229-243 ( 1995 ) [j6] 阿什什·奈克 , 肯尼思·雷根 , D.西瓦库马尔 :
关于准线性时间复杂性理论。 西奥。 计算。 科学。 148 ( 2 ) : 325-349 ( 1995 ) [第14条] 肯尼思·雷根 :
论复杂性理论中的超线性下限。 SCT公司 1995 : 50-64 [第13条] 肯尼思·雷根 , D.西瓦库马尔 , Jin-yi Cai公司 :
伪随机生成器、测量理论和自然证明。 光纤通信系统 1995 : 26-35 [c12] Jin-yi Cai公司 , 理查德·利普顿 , 卢克·朗普雷 , Mitsunori Ogihara公司 , 肯尼思·雷根 , D.西瓦库马尔 :
小范围关键协议的通信复杂性。 堆栈 1995 : 38-49 [i1] 肯尼思·雷根 , D.西瓦库马尔 , Jin-yi Cai公司 :
伪随机生成器、测量理论和自然证明。 电子。 计算机学术讨论会。 复杂。 95土耳其里拉 ( 1995 ) 1994 [j5] 肯尼思·雷根 , 王杰(音译) :
拟线性同构挑战。 SIGACT新闻 25 ( 三 ) : 106-113 ( 1994 ) [第11条] 肯尼思·雷根 :
内存层次中的线性时间算法。 IFIP大会(1) 1994 : 288-293 [第10条] 肯尼思·雷根 :
线性加速、信息邻近和有限状态机。 IFIP大会(1) 1994 : 609-614 【c9】 阿什什·奈克 , 肯尼思·雷根 , D.西瓦库马尔 :
准线性时间复杂性理论。 STACS公司 1994 : 97-108 【c8】 肯尼思·雷根 :
一种新的并行向量模型,具有NC^k的精确特征。 STACS公司 1994 : 289-300 1993 【j4】 肯尼思·雷根 :
机器模型和线性时间复杂性。 SIGACT新闻 24 ( 三 ) : 5-15 ( 1993 ) 【c7】 肯尼思·雷根 :
关于图灵机时和随机访问机时的区别。 国际协调委员会 1993 : 36-40 1992 [j3] 肯尼思·雷根 :
对角化、一致性和不动点定理。 Inf.计算。 98 ( 1 ) : 1-40 ( 1992 ) [注2] 肯尼思·雷根 :
最小复杂度配对函数。 J.计算。 系统。 科学。 45 ( 三 ) : 285-295 ( 1992 )
1980 – 1989
1989 【c6】 肯尼思·雷根 :
金融子结构语言。 SCT公司 1989 : 第87页至第96页 1988 [j1] 肯尼思·雷根 :
复杂性理论中的可证明拓扑。 J.计算。 系统。 科学。 36 ( 三 ) : 384-432 ( 1988 ) 1987 【c5】 肯尼思·雷根 :
难以驾驭的语言。 SCT公司 1987 : 69-80 1986 【c4】 肯尼思·雷根 :
复杂性理论中的可证明拓扑。 SCT公司 1986 : 291-310 【c3】 肯尼思·雷根 :
一致约化定理——推广了J.Grollmann和A.Selman的一个结果。 ICALP公司 1986 : 324-333 1983 [c2] 肯尼思·雷根 :
对角化方法与语言类结构。 FCT公司 1983 : 368-380 【c1】 肯尼思·雷根 :
复杂类索引集的算术程度。 逻辑和机器 1983 : 118-130