新一代计算计算范式与计算智能 简短标题： 新一代计算机。 出版商： 施普林格日本公司，东京；东京奥姆沙 国际标准编号： 0288-3635；1882-7055/e年 在线： https://link.springer.com/journal/volumesAndIssues/354https://www.ohmsha.co.jp/english/ngc/ 评论： 期刊；不再索引 已编制索引的文档： 327出版物（1983年至2017年） 索引的引用： 312出版物参考文献7214。 全部的 前5名最新问题 352017年第1期 342016年第1-2号 332015年第3期 332015年第2期 332015年第1期 322014年第2期 312013年第4号 312013年第1期 302012年第4号 302012年第1期 292011年第4号 292011年第3期 292011年第1期 282010年第4期 28，第3号（2010年） 282010年第2期 282010年第1期 272009年第4期 272009年第3期 272009年第2期 272009年第1期 262008年第4号 262008年第2期 26，第1号（2008年） 252007年第4号 252007年第3号 252007年第2期 252007年第1期 242006年第4号 242006年第3期 242006年第2期 242006年第1期 232005年第4号 232005年第3期 232005年第1期 222004年第4期 222004年第3期 222004年第2期 222004年第1期 21，第4号（2003） 212003年第3期 212003年第2期 21，第1期（2003） 202002年第4期 20，第3号（2002年） 202002年第2期 20，第1期（2002年） 192001年第4号 19，第3号（2001） 192001年第2期 192001年第1期 15，第1号（1997） 14，第2号（1996） 14，第1号（1996） 13，第3-4号（1995） 121994年第4期 121994年第3期 121994年第2期 12，第1号（1993） 11，第3-4号（1993） 11，第2号（1993） 11，第1期（1992年） 10，第3期（1992年） 10，第2期（1992年） 9，第2期（1991年） 9，第1期（1991年） 8，第4期（1991年） 8，第3期（1990年） 8，第1期（1990年） 6，第4号（1989） 6，第2-3号（1988年） 6，第1期（1988年） 51988年第4期 5，第3期（1987年） 5(1987) 4(1986) 三(1985) 2(1984) 1(1983) 全部的 前5名作者 5 肯·卡内瓦 4 古川县 4 Riichiro沟口 4 埃胡德·夏皮罗。 三 Masami Hagiya 三 何图宝 三 Koichi Hori公司 三 伊芙琳娜·拉姆 三 松本裕治 三 大泽，Yukio 三 阿祖玛·大内 三 布莱恩·罗斯。 三 Masato Takeichi 三 吴新东 三 山田诚司 2 艾尔维拉·阿尔伯特 2 濑户有川 2 Peter W.Arzberger。 2 科迪什，迈克尔 2 Eo，Hyunjun先生 2 鲁道夫·弗伦德 2 福村义彦 2 罗伯特·格莱克 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 克里斯托弗·约翰·霍格 2 石田、多伦 2 Teijiro Isokawa 2 高石Isozaki 2 川崎岩马 2 吉崎市卡巴西马 2 Naotake卡米乌拉 2 川村、秀德内 2 普尔泽米斯·瓦·卡齐恩科 2 秋池康奈亚 2 信亚省小和田市 2 罗伯特·A·科瓦尔斯基。 2 Noboru Kunihiro 2 Koichi Kurumatani 2 安东尼·库萨利克。 2 阿伦·拉科蒂亚 2 Wilfred W.李。 2 约翰·怀利·劳埃德 2 松井，Nobuyuki 2 保罗·梅洛 2 宫野，佐藤 2 Fumio沟口 2 史蒂芬·H·马格尔顿。 2 村田聪 2 丰崎西田 2 西野、铁雄 2 Kohei Noshita公司 2 马赛尤基努毛 2 佩恩，安德烈 2 佩恩，古奥热 2 费迪南德·佩珀 2 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 2 维科特·拉文·普恩特 2 吉安弗兰科·罗西 2 大辅佐藤 2 Ayumi Shinohara 2 武士县信原 2 Leon S.斯特林。 2 瓦利德·塔哈 2 靖国高滨 2 武田，Hideaki 2 托拉，维琴察 2 上野茂美 2 贝诺缬氨酸 2 保罗·J·沃达。 2 山下茂 2 Yi，Kwangkeun先生 2 高石横森 2 Akinori Yonezawa 1 Akinori安倍 1 阿贝、希德诺 1 直纪亚伯 1 萨姆森·艾布拉姆斯基 1 艾布拉姆森，大卫 1 Andrew I.Adamatzky。 1 川崎爱原 1 艾索、希德奥 1 Alemandros-Jiménez，Jesüs M。 1 阿提姆·阿尔哈佐夫 1 Khayri A.M.阿里。 1 Makoto Amamiya 1 Amari，顺一 1 拉里·昂 1 Masashi Aono 1 皮尔雷·让·阿尔杜 1 马萨诺里·阿里塔 1 阿萨达、米诺 1 浅井，肯尼奇 1 佐藤朝川 1 胡安·卡洛斯·奥古斯托 1 苏拉蓬奥瓦塔纳蒙哥尔 1 Av-Ron，Evyatar公司 1 露丝·艾利特 1 彼得·巴阿 1 JoséLuis，Balcázar 1 Baldridge，Kim K。 …还有568位作者 全部的 前5名领域 309 计算机科学（68至XX） 28 数理逻辑与基础（03-XX） 17 总体主题；集合（00-XX） 16 量子理论（81-XX） 7 生物学和其他自然科学（92-XX） 6 统计学（62-XX） 6 运筹学、数学规划（90-XX） 6 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 4 信息与通信理论、电路（94-XX） 三 动力系统和遍历理论（37至XX） 2 功能分析（46倍X倍） 1 历史和传记（01-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 相对论和引力理论（83至XX） 1 地球物理学（86-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 156出版物有被引用1023中的次918文件 引用人▼ 年份▼ 基于逻辑的事件演算。 Zbl 1356.68221号 罗伯特·科瓦尔斯基；马雷克·塞尔戈特 108 1986 通信的力量：具有同向/反向端口的P系统。 Zbl 1024.68037号 佩恩，安德烈；佩恩，古奥热 93 2002 计算学习中的可教性。 Zbl 0712.68084号 Ayumi Shinohara；宫野，佐藤 76 1991 归纳逻辑编程。 Zbl 0712.68022号 斯蒂芬·马格尔顿 54 1991 任意模式语言的多项式时间推断。 Zbl 0712.68082号 斯特芬·兰格；罗尔夫·维哈根 44 1991 单调和非单调归纳推理。 Zbl 0712.68081号 克劳斯·詹特克。 36 1991 MOLOG:一个用模态逻辑扩展PROLOG的系统。 Zbl 0598.68063号 Fariñas del Cerro，L。 24 1986 亚历山大方法-一种在演绎数据库中处理递归公理的技术。 Zbl 0615.68062号 罗默，J。；莱斯科尔，R。；凯里西特，J.M。 19 1986 逻辑编程、诱因和概率。一种自顶向下的任意时间算法，用于估计先验概率和后验概率。 Zbl 0788.68025号 大卫·普尔 18 1993 正数据单调形式系统的归纳推理。 Zbl 0712.68062号 武士县信原 18 1991 计划生成的演绎解决方案。 Zbl 0624.68079号 沃尔夫加·比贝尔 16 1986 声明性错误诊断。 Zbl 0624.68018号 劳埃德，J.W。 15 1987 使用模板进行DNA序列设计。 Zbl 1021.68038号 马萨诺里·阿里塔；佐藤小林 15 2002 人工智能和机器人知识的形式化理论。 Zbl 0596.68061号 斯坦利·罗森谢恩（Stanley J.Rosenschein）。 15 1985 将默认推理系统编译为Prolog。 Zbl 0713.68017号 普尔，大卫 13 1991 Mixtus：一个完整Prolog的自动部分计算器。 Zbl 0942.68516号 丹，萨林 12 1993 一种新的演绎规划方法。 Zbl 0711.68026号 斯特芬·Hölldobler；约瑟夫·施尼伯格 12 1990 基于规则模式的决策树从氨基酸序列中进行机器发现。 Zbl 0780.68099号 濑户有川；宫野，佐藤；Ayumi Shinohara；佐托鲁·库哈拉；静仁幕内；武士县信原 11 1993 量子集理论扩展了量子理论的标准概率解释。 Zbl 1396.81011号 小泽一郎 11 2016 通过模拟退火设计S盒。 Zbl 1103.68047号 约翰·A·克拉克。；杰里米·雅各布。；苏珊·斯蒂芬尼 10 2005 在部分演绎过程中避免无限展开的一般准则。 Zbl 0782.68024号 莫里斯·布吕诺格；丹尼·德·施雷耶；伯尔尼马滕斯 10 1992 函数逻辑程序专业化的窄驱动方法。 Zbl 1016.68024号 艾尔维拉·阿尔伯特；德国维达尔 10 2002 用带活性膜的P系统求解子问题。 Zbl 1092.68043号 佩雷斯·吉梅内斯（Pérez Jiménez），马里奥·J·。；阿古斯汀·里斯科斯·努涅斯 9 2005 在复杂的现实世界中做出决策的机会发现。 Zbl 1037.68931号 大泽，Yukio 9 2002 反应计算作为模型生成。 Zbl 1333.68108号 罗伯特·科瓦尔斯基；法里巴·萨德里 9 2015 使用复杂模糊集对复杂神经模糊系统进行函数逼近——一种新方法。 Zbl 1251.68245号 李春贤；蒋太伟 8 2011 Prolog中出现的检查问题。 Zbl 0595.68007号 David A.Plaisted。 8 1984 组合模型——逻辑程序的理论语义。 Zbl 0782.68023号 安东尼奥·布罗吉；伊芙琳娜·拉姆；保罗·梅洛 7 1992 逻辑程序中的AND并行性和不确定性。 Zbl 0595.68025号 约翰·科纳里。；Dennis F.Kibler。 7 1985 更新知识库。 Zbl 0705.68096号 A.盖索姆。；劳埃德，J.W。 7 1990 用子句连接编写递归逻辑程序。 Zbl 0655.68119号 A.拉科蒂亚。；斯特林，L。 7 1988 面向网格的生物信息学遗传算法框架。 Zbl 1084.68505号 Hiroaki Imade；森下龙平；小野，Isao；小野野彦；冈本正弘 6 2004 基于变形虫的混沌神经计算：通过耦合生物振荡器进行组合优化。 Zbl 1193.92001年 Masashi Aono；吉藤平田；Masahiko Hara；川崎爱原 6 2009 神经学习的数学理论。 Zbl 0712.68079号 Amari，顺一 6 1991 双射S盒的多目标优化。 Zbl 1103.68048号 乔安娜·富勒；威廉·米伦；埃德·道森 5 2005 一般问题求解算法及其实现。 Zbl 0646.68108号 雷沃德·史密斯，V.J。；McKeown，G.P。；F.W.伯顿。 5 1988 云计算：一项前瞻性研究。 Zbl 1192.68085号 王丽芝；冯·拉舍夫斯基，格雷戈；安德鲁·杨格；何熙；马塞尔·昆泽；陶杰；付，程 5 2010 基于归纳定义的逻辑编程基础。 Zbl 0592.68032号 Masami Hagiya；高府樱井 5 1984 严格完成逻辑程序。 Zbl 0714.68084号 沃德齐米尔兹·德拉本特；毛里齐奥·马特利 5 1991 一个自应用的部分求值器及其在增量编译中的使用。 Zbl 0654.68024号 藤田，广岛；Koichi Furukawa 5 1988 线性度和计划生成。 Zbl 0654.68100号 伯特伦·弗伦霍夫 5 1987 量子编程语言的算子代数语义。 Zbl 1443.68041号 Kenta赵 5 2016 临终意味着没有任何信号……还有更多。 兹比尔1396.81010 鲍勃·科克 5 2016 如何发明Prolog机器。 Zbl 0614.68020号 彼得·库萨维 4 1987 量子纠缠作为一种新的信息处理资源。 Zbl 1101.81313号 乔泽夫·格鲁斯卡 4 2003 蜂窝式纳米计算机中的容错性。 Zbl 1114.68011号 Teijiro Isokawa；信亚省小和田市；高田优介；费迪南德·佩珀；Naotake卡米乌拉；松井，Nobuyuki 4 2007 催化和进化通讯P系统的结果。 Zbl 1085.68051号 桑卡拉·纳拉亚南·克里希纳；佩恩，安德烈 4 2004 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 Zbl 1192.68130号 佩德罗·洛佩兹·加西亚；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 4 2010 量子计算：从程序员的角度来看。 Zbl 1298.81051号 贝诺缬氨酸 4 2013 精确的灯罩。 Zbl 1191.68127号 米海·奥尔坦；奥纳州蒙丹 4 2008 Prolog程序的混合计算。 Zbl 0654.68021号 大卫·A·富勒。；萨姆森·艾布拉姆斯基 4 1988 在“多世界”逻辑语言中对元程序进行部分评估。 Zbl 0654.68022号 乔治·列维；朱塞佩·萨尔杜 4 1988 一种有效的贝叶斯网络结构学习策略。 Zbl 1442.68205号 Joe铃木 4 2017 Kochen-Spicker系统至少有22个载体。 Zbl 1396.81015号 桑德·尤伊伦；巴斯·韦斯特班 4 2016 P传感器。 Zbl 1103.68050号 加布里埃尔·乔巴努；佩恩，乔治；tefénescu，乔治 三 2006 基于可逆元胞自动机的分组密码。 兹比尔1103.68049 马尔辛，谢尔丁斯基；帕斯卡尔·布夫里 三 2005 使详尽的搜索程序具有确定性。 Zbl 0631.68074号 Kazunori上田 三 1987 一种在逻辑程序中利用AND并行性的执行模型。 Zbl 0637.68029号 林友健；维平·库马尔 三 1988 关于部分评估和混合计算的注释书目。 Zbl 0646.68016号 彼得·塞斯托夫特；亚历山大五世·扎姆林。 三 1988 最小化进化通信P系统和自动机。 Zbl 1085.68047号 阿提姆·阿尔哈佐夫 三 2004 具有活性膜的P系统生成的语言。 Zbl 1085.68049号 弗朗西斯科·贝尔纳迪尼；玛丽安·盖奥吉 三 2004 带集合的构造性否定和约束逻辑编程。 Zbl 0980.68017号 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 三 2001 抽象携带代码：移动代码安全模型。 Zbl 1169.68356号 艾尔维拉·阿尔伯特；德国普埃布拉；曼纽尔·赫尔梅内吉尔多 三 2008 在线性空间中表示组合子的BC-chain方法。 Zbl 0594.68034号 Kohei Noshita公司；Teruo Hikita公司 三 1985 分解RSA密钥，一种改进的模拟解决方案。 Zbl 1180.68148号 Ed Blakey 三 2009 单变量微观聚集披露风险分析。 Zbl 1183.68251号 尼·乔迪；托拉，维琴察 三 2009 时态析取逻辑编程。 Zbl 0973.68028号 马诺利斯Gergatsoulis；帕诺斯·朗多吉安尼；帕纳伊奥托普洛斯，西米斯 三 2001 关于解释性类比在学习中的作用。 Zbl 0712.68080号 比宾·因杜尔克亚 三 1991 为GHC计划制定规则。 Zbl 0654.68104号 Koichi Furukawa；秋叶大村；村上春树，Masaki 三 1988 逻辑程序的语法相关转换。 Zbl 0722.68019号 D.R.布鲁。；C.J.霍格。 三 1991 隐含的异构多阶段编程。 兹比尔1161.68379 杰森·埃克哈特；鲁门凯亚巴切夫；埃米尔·帕萨利克；科达尔·斯瓦迪；瓦利德·塔哈 三 2007 分段线性常微分方程定性行为的自动分析。 Zbl 0782.65083号 丰崎西田；Kenji Mizutani；舒吉·多希塔 2 1993 投影CLP（\（{\mathcal R}\））约束。 Zbl 0780.68013号 Joxan雅法；迈克尔·马赫（Michael J.Maher）。；彼得·斯图基（Peter J.Stuckey）。；罗兰·H·C·雅普。 2 1993 使用逻辑元组空间的分布式编程。 Zbl 0806.68014号 保罗·西安卡里尼 2 1994 将编程语言视为意义和计算的共生体。 Zbl 0598.68009号 沃达，Paul J。 2 1985 模态逻辑的递归分解方法。 Zbl 0648.03005号 Chan、Man-chung 2 1987 观察事物：利用几何类比和地形图进行创造性推理。 Zbl 1108.68613号 奥多诺休，Diarmuid P。；艾米·博翰；马克·T·基恩。 2 2006 PROLOG的操作形式化定义：一种规范化方法及其应用。 Zbl 0741.68028号 皮埃尔·德兰萨特；杰拉德·费兰德 2 1992 美国生物分子计算的新兴学科。 Zbl 1024.68034号 约翰·赖夫（John H.Reif）。 2 2002 纤毛虫中基因组装暗示的对字符串的一些操作。 Zbl 1021.68039号 鲁道夫·弗伦德；卡洛斯·马丁·维德；维克托·米特拉纳 2 2002 量子计算的数学模型。 Zbl 1013.68089号 西野、铁雄 2 2002 一组混合let-polymorphic类型推理算法的证明。 Zbl 1085.68028号 Eo，Hyunjun先生；Lee，Oukseh先生；Yi，Kwangkeun先生 2 2004 用于解决组合问题的并行体系结构的生物分子实现。 Zbl 0991.68025号 头部，汤姆 2 2001 静态和动态表达式的绑定时分析。 兹比尔0994.68035 浅井，肯尼奇 2 2002 基于广义局部计算的程序转换系统。 兹比尔0994.68132 福村义彦；Konishi，曾次郎；罗伯特·格莱克 2 2002 次一致计算树逻辑。 Zbl 1251.68227号 肯·卡内瓦；诺里希罗·卡米德 2 2011 GeoMergeP：通过丰富的本体匹配实现地理信息集成。 Zbl 1191.68815号 阿古斯丁·布切拉；亚历杭德拉·切奇；多梅尼科·根达米；菲利波·拉努比莱；乔瓦尼·塞梅拉罗；阿提里奥·科拉格罗西 2 2010 学习查询函数依赖类的扩展。 Zbl 1333.68092号 维科尔·拉文·普恩特 2 2015 最大可统一子集和最小不可统一子集。 Zbl 0591.68083号 陈天勇。；J.-L.拉塞兹。；港口，G.S。 2 1986 BUP：嵌入在Prolog中的自下而上解析器。 Zbl 0592.68074号 松本裕治；田中，和美；Hideki Hirakawa；三好、秀秀；靖川秀树 2 1983 基于细胞动力学和适应性的细胞计算能力。 Zbl 1192.68653号 中关俊辅；泰罗，Atsushi；梁小林；伊萨穆·奥尼西；宫崎富代 2 2009 扩展支持向量机的泛化性能和非凸优化。 Zbl 1183.68508号 秋子武田；杉山正树 2 2009 通过高阶和语义统一合成重写程序。 Zbl 0712.68057号 Hagiya，Masami 2 1991 学习多项式时间中的交换确定性有限状态自动机。 兹比尔0712.68078 直纪亚伯 2 1991 在夏皮罗的同期Prolog中，限界等待合并。 Zbl 0596.68012号 安东尼·库萨利克。 2 1984 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫；科迪什，迈克尔；埃胡德·夏皮罗 2 1988 多种算法和性能度量的联合分析。 Zbl 1450.62090号 凯西奥·德·坎波斯。；阿莱西奥·本纳沃利 2 2017 TEA和XTEA简化版本的遗传密码分析的新结果。 Zbl 1093.68590号 埃尔南德斯·卡斯特罗（Hernández Castro）、朱利奥·塞萨尔（Julio César）；佩德罗·伊萨西·维尼埃拉 1 2005 通过内在维度测量不断演变的数据流的行为。 Zbl 1119.68361号 Elaine P.M.de Sousa。；阿格玛·J·M·特拉纳。；Caetano jun火车站。；克里斯托斯·法洛索斯 1 2007 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店；哈拉尔德·森德加德 1 1993 一种有效的贝叶斯网络结构学习策略。 Zbl 1442.68205号 Joe铃木 4 2017 多种算法和性能度量的联合分析。 Zbl 1450.62090号 凯西奥·德·坎波斯。；阿莱西奥·本纳沃利 2 2017 关于模型选择、贝叶斯网络和Fisher信息积分。 Zbl 1450.62007年 邹，袁；蒂姆·罗斯 1 2017 量子集理论扩展了量子理论的标准概率解释。 Zbl 1396.81011号 小泽一郎 11 2016 量子编程语言的算子代数语义。 Zbl 1443.68041号 肯塔·乔 5 2016 终结意味着不屈服……甚至更多。 Zbl 1396.81010号 鲍勃·科克 5 2016 Kochen-Spicker系统至少有22个载体。 Zbl 1396.81015号 桑德·尤伊伦；巴斯·韦斯特班 4 2016 紧张-图和非交换量子结构。 Zbl 1405.16043号 亚历克斯·基辛格；快点，大卫 1 2016 反应计算作为模型生成。 Zbl 1333.68108号 罗伯特·科瓦尔斯基；法里巴·萨德里 9 2015 学习查询函数依赖类的扩展。 Zbl 1333.68092号 维克托·拉文·普恩特 2 2015 量子计算：从程序员的角度来看。 兹比尔1298.81051 贝诺缬氨酸 4 2013 量子计算：教程。 Zbl 1298.81050号 贝诺缬氨酸 1 2012 量子计算与相干计算。 Zbl 1356.81114号 Yoshihisa山本；肯塔州高田；宇都宫，Shoko 1 2012 前言：贝叶斯网络高级方法专刊。 Zbl 1333.00056号 1 2012 使用复杂模糊集对复杂神经模糊系统进行函数逼近——一种新方法。 Zbl 1251.68245号 李春贤；蒋太伟 8 2011 次一致计算树逻辑。 Zbl 1251.68227号 肯·卡内瓦；诺里希罗·卡米德 2 2011 更新和分离逻辑薄弱。 Zbl 1251.68050号 Tan、Gang；邵，钟；冯新余；蔡洪旭 1 2011 S4模态逻辑的经典自然演绎。 Zbl 1251.68071号 大辅木村；川谷义彦 1 2011 具有有界存在类型和实现约束的子类型的可判定性。 Zbl 1251.68075号 斯特凡·韦尔；彼得·蒂曼 1 2011 基于Boosting的顺序输出预测。 兹比尔1251.68180 托马斯·卡季达诺维奇；普尔泽米斯·瓦·卡齐恩科 1 2011 云计算：一项前瞻性研究。 Zbl 1192.68085号 王丽芝；冯·拉舍夫斯基，格雷戈；安德鲁·杨格；何熙；马塞尔·昆泽；陶杰；付，程 5 2010 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 Zbl 1192.68130号 佩德罗·洛佩兹·加西亚；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 4 2010 GeoMergeP：通过丰富的本体匹配实现地理信息集成。 Zbl 1191.68815号 阿古斯丁·布切拉；亚历杭德拉·切奇；多梅尼科·根达尔米；菲律宾拉努比尔；乔瓦尼·塞梅拉罗；阿提利奥·科拉戈西 2 2010 一种数据简化和集成机器分类的方法。 Zbl 1191.68493号 伊雷内乌斯·沙诺夫斯基；彼得·杰约维奇博士 1 2010 基于模型的故障定位：在大规模计算系统中发现行为异常值。 Zbl 1205.68099号 丸山，名古屋；松冈佐治 1 2010 Gfarm网格文件系统。 Zbl 1205.68058号 奥萨穆·塔特比；平贺、高平；苏打水，Noriyuki 1 2010 使用概念学习对弱标记图像进行图像标注和检索。 Zbl 1205.68481号 原田、达苏亚；中山秀树；亚索·库尼约希；大津，Nobuyuki 1 2010 基于变形虫的混沌神经计算：通过耦合生物振荡器进行组合优化。 Zbl 1193.92001年 Masashi Aono；吉藤平田；Masahiko Hara；川崎爱原 6 2009 分解RSA密钥，一种改进的模拟解决方案。 Zbl 1180.68148号 Ed Blakey 三 2009 单变量微观聚集披露风险分析。 Zbl 1183.68251号 尼·乔迪；托拉，维琴察 三 2009 基于细胞动力学和适应性的细胞计算能力。 Zbl 1192.68653号 中关俊辅；泰罗，Atsushi；梁小林；伊萨穆·奥尼西；宫崎富代 2 2009 扩展支持向量机的泛化性能和非凸优化。 Zbl 1183.68508号 秋子武田；杉山正树 2 2009 通过推广减量算法实现支持向量回归的高效省去交叉验证。 Zbl 1185.68535号 Karasuyama、Masayuki；竹内一郎；中野龙平 1 2009 RNA振荡器：基于人工生物分子反应的极限环振荡。 Zbl 1193.92049号 Masahiro Takinoue公司；Kiga、Daisuke；Koh-Ichiroh Shohda公司；阿基拉·苏亚马 1 2009 基于悬停直升机非线性模型仿真的智能模糊调节器的选择和设置。 Zbl 1180.93010号 Dariusz Król；下部，Michał；Szlachetko、Bogusław 1 2009 精确的灯罩。 Zbl 1191.68127号 米海·奥尔坦；奥纳州蒙丹 4 2008 抽象携带代码：移动代码安全模型。 Zbl 1169.68356号 艾尔维拉·阿尔伯特；德国普埃布拉；曼纽尔·赫尔梅内吉尔多 三 2008 博客空间中新闻发布的交互式可视化。 Zbl 1169.68394号 靖国高滨；Akio Matsumura；Tomoki Kajinami 1 2008 多目标FJSSP的双层ACO算法。 Zbl 1175.90201号 邢丽宁；陈英武；杨克伟 1 2008 蜂窝式纳米计算机中的容错性。 Zbl 1114.68011号 Teijiro Isokawa；Shin Kowada；你；高田优介；费迪南德·佩珀；Naotake卡米乌拉；松井，Nobuyuki 4 2007 隐式异构多阶段编程。 Zbl 1161.68379号 杰森·埃克哈特；鲁门凯亚巴切夫；埃米尔·帕萨利克；科达尔·斯瓦迪；瓦利德·塔哈 三 2007 通过内在维度测量不断演变的数据流的行为。 Zbl 1119.68361号 Elaine P.M.de Sousa。；阿格玛·J·M·特拉纳。；Caetano jun火车站。；克里斯托斯·法洛索斯 1 2007 关于虚拟动物与虚拟环境的使用。 兹比尔1112.68491 卡洛斯·德尔加多·马塔；伊巴内兹·马丁内斯，耶稣；西蒙·比伊；罗西奥·鲁伊斯·罗德特；露丝·艾利特 1 2007 挖掘肝炎数据中的时间关系。 Zbl 1154.68371号 Ho、Tu-Bao；阮灿浩；川崎，佐里；乐、思广；Katsuhiko高桥 1 2007 用矛盾、矛盾和分包描述逻辑。 Zbl 1137.68055号 肯·卡内瓦 1 2007 P传感器。 Zbl 1103.68050号 加布里埃尔·乔巴努；佩恩，乔治；tefénescu，乔治 三 2006 观察事物：利用几何类比和地形图进行创造性推理。 Zbl 1108.68613号 运营；Donoghue，Diarmuid P。；艾米·博翰；马克·T·基恩。 2 2006 重新表述和创造性类比：词汇语义视角。 Zbl 1108.68605号 托尼·维勒 1 2006 转化创造力假说。 Zbl 1108.68548号 格雷姆，里奇 1 2006 作为探索性创意的故事策划：拓展叙事搜索空间的技术。 Zbl 1108.68547号 马克·O·里德尔。；R.Michael扬 1 2006 通过模拟退火设计S盒。 Zbl 1103.68047号 约翰·A·克拉克。；杰里米·雅各布。；苏珊·斯蒂芬尼 10 2005 用带活性膜的P系统求解子问题。 Zbl 1092.68043号 佩雷斯·吉梅内斯（Pérez Jiménez），马里奥·J·。；阿古斯汀·里斯科斯·努涅斯 9 2005 双射S盒的多目标优化。 Zbl 1103.68048号 乔安娜·富勒；威廉·米伦；埃德·道森 5 2005 基于可逆细胞自动机的分组密码。 Zbl 1103.68049号 塞雷登斯基（Seredynski，Marcin）；帕斯卡尔·布夫里 三 2005 TEA和XTEA简化版本的遗传密码分析的新结果。 Zbl 1093.68590号 埃尔南德斯·卡斯特罗（Hernández Castro）、朱利奥·塞萨尔（Julio César）；佩德罗·伊萨西·维尼埃拉 1 2005 面向网格的生物信息学遗传算法框架。 兹比尔1084.68505 Hiroaki Imade；森下龙平；小野，伊索；小野野彦；冈本正弘 6 2004 催化和进化通讯P系统的结果。 Zbl 1085.68051号 桑卡拉·纳拉亚南·克里希纳；佩恩，安德烈 4 2004 最小化进化通信P系统和自动机。 Zbl 1085.68047号 阿提姆·阿尔哈佐夫 三 2004 具有活性膜的P系统生成的语言。 Zbl 1085.68049号 弗朗西斯科·贝尔纳迪尼；玛丽安·盖奥吉 三 2004 一组混合let-polymorphic类型推理算法的证明。 Zbl 1085.68028号 Eo，Hyunjun先生；Lee，Oukseh先生；Yi，Kwangkeun先生 2 2004 使用重新标识方法选择可能相关的记录。 Zbl 1088.68564号 多明戈·费雷尔（Josep Domingo-Ferrer）；托拉，维琴察 1 2004 生活项目百科全书：网格软件和部署。 Zbl 1083.68512号 Wilfred W.李。；罗伯特·伯恩斯（Robert W.Byrnes）。；吉姆·海耶斯；亚当·伯恩鲍姆；维森特·雷耶斯（Vicente M.Reyes）。；阿蒂夫·沙哈卜；科尔曼·莫斯利；德米特里·佩库洛夫斯基；格雷格·奎因。；伊利亚·辛迪亚洛夫。；亨利·卡萨诺娃；拉里·昂；弗兰·伯曼；Peter W.Arzberger。；马克·米勒（Mark A.Miller）。；菲利普·伯恩（Philip E.Bourne）。 1 2004 利用EM确定生物结构非常适合网格计算。 Zbl 1084.68932号 何塞·杰西·费尔南德斯；何塞·罗曼·毕尔巴鄂·卡斯特罗；罗伯托·马拉比尼；乔西·玛丽亚·卡拉佐；Inmaculada加西亚 1 2004 分子码头：一个支持网格的应用程序示例。 兹比尔1102.68377 欧文·坦托索；哈比巴·瓦哈卜。；陈华勇 1 2004 本体工程教程。III：本体工程高级课程。 Zbl 1099.68746号 Riichiro沟口 1 2004 并行重写P系统的层次结构——综述。 Zbl 1085.68073号 丹尼尔·贝索齐；吉安卡洛·莫里；克劳迪奥·赞德隆 1 2004 具有活性膜的确定性P系统的Prolog模拟器。 Zbl 1085.68016号 安德烈斯·科多恩·佛朗哥；Miguel A.Gutiérrez-Naranjo。；佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。；费尔南多·桑乔·卡帕里尼 1 2004 语义网：通往互联网上知识基础设施的道路。 Zbl 1085.68573号 武田，Hideaki 1 2004 量子纠缠作为一种新的信息处理资源。 Zbl 1101.81313号 乔泽夫·格鲁斯卡 4 2003 基于CNOT的量子电路的变换规则及其应用。 Zbl 1101.81316号 川崎岩马；山下茂 1 2003 本体工程教程。I：本体工程导论。 Zbl 1088.68785号 Riichiro沟口 1 2003 利用免疫网络模型从文档集序列中发现主题流的Web信息可视化方法。 Zbl 1034.68004号 靖国高滨；高鲁Hirota 1 2003 SATCHMOREBID：具有双向相关性的SATCHMO（RE）。 Zbl 1089.68546号 唐纳德·洛夫兰。；阿德南·H·叶海亚。 1 2003 通过拉马克进化进行信仰修正。 Zbl 1089.68598号 伊芙琳娜·拉姆；法布里齐奥·里古齐；路易斯·莫尼兹·佩雷拉 1 2003 通信的力量：具有同向/反向端口的P系统。 Zbl 1024.68037号 佩恩，安德烈；佩恩，古奥热 93 2002 使用模板进行DNA序列设计。 Zbl 1021.68038号 马萨诺里·阿里塔；佐藤小林 15 2002 函数逻辑程序专业化的窄驱动方法。 Zbl 1016.68024号 艾尔维拉·阿尔伯特；德国维达尔 10 2002 在复杂的现实世界中做出决策的机会发现。 Zbl 1037.68931号 大泽，Yukio 9 2002 美国生物分子计算的新兴学科。 Zbl 1024.68034号 约翰·赖夫（John H.Reif）。 2 2002 纤毛虫中基因组装暗示的对字符串的一些操作。 Zbl 1021.68039号 鲁道夫·弗伦德；卡洛斯·马丁·维德；维克托·米特拉纳 2 2002 量子计算的数学模型。 Zbl 1013.68089号 西野、铁雄 2 2002 静态和动态表达式的绑定时分析。 Zbl 0994.68035号 浅井，肯尼奇 2 2002 基于广义部分计算的程序转换系统。 兹比尔0994.68132 福村义彦；Konishi，曾次郎；罗伯特·格莱克 2 2002 具有集合的构造性否定和约束逻辑编程。 兹伯利0980.68017 阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 三 2001 时态析取逻辑编程。 Zbl 0973.68028号 马诺利斯Gergatsoulis；帕诺斯·朗多吉安尼；帕纳伊奥托普洛斯，西米斯 三 2001 用于解决组合问题的并行体系结构的生物分子实现。 Zbl 0991.68025号 头部，汤姆 2 2001 基于逻辑的带有定语从句翻译语法的遗传编程。 Zbl 0991.68033号 布莱恩·罗斯。 1 2001 演绎数据库中的首选项查询。 Zbl 0973.68053号 坎南Govindarajan；巴拉特·贾亚拉曼；苏里亚·曼塔 1 2001 使用逻辑元组空间的分布式编程。 Zbl 0806.68014号 保罗·西安卡里尼 2 1994 学习DFA的查询复杂性。 Zbl 0812.68107号 JoséL.Balcázar。；约塞普·迪亚斯；里卡德·加瓦尔达；渡边，乌萨木 1 1994 逻辑编程、诱因和概率。一种自顶向下的任意时间算法，用于估计先验概率和后验概率。 Zbl 0788.68025号 大卫·普尔 18 1993 Mixtus：完整Prolog的自动部分求值器。 Zbl 0942.68516号 丹·萨林 12 1993 基于规则模式的决策树从氨基酸序列中进行机器发现。 Zbl 0780.68099号 濑户有川；宫野，佐藤；Ayumi Shinohara；佐托鲁·库哈拉；静仁幕内；武士县信原 11 1993 分段线性常微分方程定性行为的自动分析。 Zbl 0782.65083号 丰崎西田；Kenji Mizutani；舒吉·多希塔 2 1993 投影CLP（\（{\mathcal R}\））约束。 Zbl 0780.68013号 Joxan雅法；迈克尔·马赫（Michael J.Maher）。；彼得·斯图基（Peter J.Stuckey）。；罗兰·H·C·雅普。 2 1993 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店；哈拉尔德·森德加德 1 1993 有序逻辑程序的良好语义和分层。 Zbl 0798.68029号 北卡罗来纳州塞拉利昂。；罗西，G。 1 1993 在部分推导过程中避免无限展开的一般标准。 兹比尔0782.68024 莫里斯·布吕诺格；丹尼·德·施雷耶；伯尔尼马滕斯 10 1992 组合模型——逻辑程序的理论语义。 Zbl 0782.68023号 安东尼奥·布罗吉；伊芙琳娜·拉姆；保罗·梅洛 7 1992 PROLOG的操作形式化定义：一种规范化方法及其应用。 Zbl 0741.68028号 皮埃尔·德兰萨特；杰拉德·费兰德 2 1992 …还有56个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名1521位作者引用 28 桑杰·贾恩 25 弗兰克·斯蒂芬 21 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 17 潘林强 16 凯斯，约翰 16 宋博生 14 托马斯·齐格曼 12 斯特芬·兰格 12 德国维达尔 11 奥斯卡·H·伊巴拉。 11 史蒂芬·H·马格尔顿。 9 阿提姆·阿尔哈佐夫 9 亚历山大·阿提基斯 9 井上，胜美 9 奥雷利亚娜·马丁，大卫 9 路易斯·瓦伦西亚-卡布雷拉 9 桑德拉·齐勒斯 8 曼努埃尔五世（Manuel V.Hermenegildo）。 8 伊芙琳娜·拉姆 8 乔治·巴利乌拉斯 8 佩恩，古奥热 8 法布里齐奥·里古齐 8 亚历山德拉·拉索。 8 彼得·索西克 8 迈克尔·泰尔舍尔 7 戈帕尔·古普塔 7 Efim B.金伯。 7 丹尼尔·雷登巴赫 7 阿古斯汀·里斯科斯·努涅斯 7 法里巴·萨德里 7 阿伦·库马尔·沙尔马 6 艾尔维拉·阿尔伯特 6 安东尼奥·布罗吉 6 佩德罗·卡巴拉尔 6 卡拉 6 蒂莫·科茨 6 法律，Mark M。 6 保罗·梅洛 6 小泽一郎 6 谢尔盖·弗兰 5 布罗达，Krysia B。 5 拉斐尔·E·卡巴列罗。 5 埃兹贝特·苏哈伊·瓦尔朱 5 吕克·德·雷德 5 丹尼尔·迪亚斯·佩尼尔 5 高自远 5 Joseph Yehuda Halpern 5 安德烈·尤尔埃维奇·赫伦尼科夫 5 莫拉莱斯，何塞·弗朗西斯科 5 佩恩，安德烈 5 德国普埃布拉 5 托尔斯滕·绍布（Torsten H.Schaub）。 5 曾祥祥 4 莫里斯·布吕诺格 4 加布里埃尔·乔巴努 4 安德鲁·克洛珀 4 丹尼·德·施雷耶 4 沃德齐米日·德拉本特 4 托马斯·艾特 4 帕特丽斯·恩贾尔伯特 4 鲁道夫·弗伦德 4 Miguel A.Gutiérrez-Naranjo。 4 Teijiro Isokawa 4 斯塔夫罗斯·康斯坦蒂尼迪斯 4 罗伯特·A·科瓦尔斯基。 4 阿尔贝托·莱波蒂 4 Hector J.列夫斯克。 4 保罗·曼卡雷拉 4 马丁·奥列特，纳西索 4 埃里克·马丁。 4 直纪西田 4 费迪南德·佩珀 4 阿尔贝托·佩特罗西 4 恩里科·蓬泰利 4 亨利·普拉德。 4 毛里齐奥·普罗埃蒂 4 阿德里安·里斯科 4 阿方索·罗德里格斯-帕顿 4 马库斯·施密德。 4 马克·斯库塔里 4 法哈德·沙克林 4 汉斯·尤里奇·西蒙 4 塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 4 阿尔贝托·维尔德乔 4 克劳迪奥·赞德隆 三 阿尔夫·罗查，蒂亚戈 三 弗兰克·J·巴尔巴赫。 三 奇塔·R·巴拉尔。 三 伊琳娜·巴西耶娃 三 彼得·鲍姆加特纳 三 瓦夏克·贝勒 三 埃琳娜·贝洛迪 三 Ed Blakey 三 马蒂奥·卡瓦利埃 三 罗地卡Ceterchi 三 维托尔·桑托斯·科斯塔 三 斯科特·迪克 三 马丁·迪盖兹 三 瓦尼亚多斯科奇 三 阿戈斯蒂诺·多维尔 …还有1421名作者 全部的 前5名被126种期刊引用 140 理论计算机科学 65 新一代计算 50 人工智能 39 机器学习 33 逻辑程序设计理论与实践 31 信息与计算 18 国际计算机科学基础杂志 15 数学与人工智能年鉴 14 信息处理信件 14 自然计算 13 国际近似推理杂志 13 膜计算杂志 12 信息科学 12 自动推理杂志 11 计算机与系统科学杂志 11 符号计算杂志 9 杰泰。实验与理论人工智能杂志 8 应用非经典逻辑杂志 8 应用逻辑杂志 7 离散应用数学 7 国际应用数学与计算机科学杂志 6 国际计算机数学杂志 5 信息学报 5 国际并行程序设计杂志 5 函数编程杂志 5 逻辑与代数程序设计杂志 4 应用数学与计算 4 哲学逻辑杂志 4 Studia Logica公司 4 纯逻辑与应用逻辑年鉴 4 MSCS公司。计算机科学中的数学结构 三 国际理论物理杂志 三 凯贝内提卡 三 计算机科学与技术杂志 三 应用数学快报 三 运筹学年鉴 三 应用智能 三 欧洲运筹学杂志 三 工程、通信和计算中的应用代数 三 逻辑、语言与信息杂志 三 软计算 三 高阶和符号计算 三 物理学报A：数学与理论 2 数学心理学杂志 2 合成 2 计算机程序设计科学 2 计算的形式方面 2 非线性科学与数值模拟中的通信 2 国际不确定性、模糊性和基于知识的系统杂志 2 量子信息处理 2 ACM计算逻辑事务 2 计算智能 2 新数学与自然计算 2 符号逻辑述评 2 密码学和通信 2 程序设计中的逻辑和代数方法杂志 1 国际通用系统杂志 1 富兰克林学院学报 1 数学物理杂志 1 数学生物科学 1 应用科学中的数学方法 1 计算 1 模糊集与系统 1 代数杂志 1 最优化理论与应用杂志 1 数学系统理论 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 软件。实践与经验 1 Neerlandica统计 1 复杂性杂志 1 计算机与运筹学 1 国际智能系统杂志 1 数学和计算机建模 1 密码学杂志 1 实时系统 1 神经计算 1 人工智能综述 1 国际鲁棒非线性控制杂志 1 国际应用科学与工程分叉与混沌杂志 1 控制论与系统分析 1 计算优化与应用 1 国际计算机与系统科学杂志 1 有限域及其应用 1 人工智能研究杂志 1 复杂性 1 摩尔多瓦计算机科学杂志 1 计算与数学组织理论 1 运营投资评审 1 国际运筹学汇刊 1 Doklady数学 1 计算系统理论 1 自动机、语言和组合学杂志 1 混乱 1 数据挖掘与知识发现 1 RAIRO公司。理论信息学及其应用 1 科学基础 1 当代数学中的交际 1 计算机基础理论 1 非线性分析。真实世界应用程序 1 定量金融学 …还有26种期刊 全部的 前5名39个领域被引用 822 计算机科学（68至XX） 133 数理逻辑与基础（03-XX） 40 信息与通信理论、电路（94-XX） 36 生物学和其他自然科学（92-XX） 34 量子理论（81-XX） 28 运筹学、数学规划（90-XX） 23 统计学（62-XX） 23 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 16 组合数学（05-XX） 10 常微分方程（34-XX） 9 功能分析（46倍X倍） 9 数值分析（65-XX） 8 系统论；控制（93至XX） 7 阶、格、有序代数结构（06-XX） 7 动力系统和遍历理论（37至XX） 5 范畴理论；同调代数（18-XX） 4 总体主题；集合（00-XX） 4 历史和传记（01-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 三 群论与推广（20-XX） 三 测量和集成（28-XX） 2 结合环与代数（16-XX） 2 算子理论（47-XX） 2 代数拓扑（55-XX） 2 光学、电磁理论（78-XX） 2 相对论和引力理论（83至XX） 1 数论（11-XX） 1 场论与多项式（12-XX） 1 代数几何（14-XX） 1 非结合环和代数（17-XX） 1 差分和函数方程（39至XX） 1 积分变换，运算微积分（44-XX） 1 积分方程（45-XX） 1 歧管和细胞复合体（57-XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 地球物理学（86-XX） 1 数学教育（97-XX） 按年份列出的引文