Informatique Théorique et Applications,第40卷
2006年1月至3月第40卷第1期
西尔万·伦巴第 , 让·梅莱斯 :
max-plus和min-plus有理级数是明确的。 1-14 Jean-Pierre Borel公司 , 克里斯托夫·鲁特诺尔 :
关于Christoffel课程。 15-27 克莱莉亚·德·费利塞 :
关于分解代码的完整操作集。 29-52 迪特里希·库斯克 :
词序理论。 53-74 伊迪丝·赫玛斯潘德拉 , 约格·罗特 , 霍尔格·斯帕科夫斯基 :
对于NP的并行访问,识别启发式何时可以近似最小顶点覆盖是完全的。 75-91
2006年4月-6月第40卷第2期
保拉·坎帕德利 , 克里斯蒂安·乔夫鲁特 , 马西米利亚诺·戈德沃尔姆 , 毛罗·托雷利 :
前言。 迭戈·德·法尔科 , 达里奥·塔马塞利 :
可逆计算模型中的熵生成。 93-105 毛罗·托雷利 :
递增整数序列和哥德巴赫猜想。 107-121 帕奥拉·坎帕德利 , 拉斐拉·兰扎罗蒂 , 朱塞佩·利波里 :
用于人脸识别的眼睛定位。 123-139 安东尼奥·波雷卡 , 吉安卡洛·毛里 , 克劳迪奥·赞德龙 :
膜系统的复杂性等级。 141-162 乔治·瓦伦蒂尼 , 弗朗西丝卡·鲁菲诺 :
通过基因表达聚类有效性评估确定肺部肿瘤亚型。 163-176 乔泽夫·格鲁斯卡 , 萨尔瓦托雷拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 :
基本网格网络上行刑队同步问题的不同时间解决方案。 177-206 马西米利亚诺·戈德沃尔姆 , 罗伯托·拉基奥尼 :
模式统计的概率模型。 207-225 保罗·博尔迪 , 维奥莱塔·罗纳蒂 , 马西莫·桑蒂尼 , 塞巴斯蒂亚诺·维格纳 :
图的fibrations、图同构和PageRank。 227-253 奥利维尔纸箱 , 克里斯蒂安·乔夫鲁特 , 谢尔盖·格里戈里夫 :
理性关系的主要子家族之间的决策问题。 255-275 马塞拉·安塞尔莫 , 多拉·贾马尔西 , 玛丽亚·马多尼亚 , 安东尼奥·雷斯蒂沃 :
清晰可辨的二维语言。 277-293 保罗·马萨扎 , 佩特里·萨梅拉 :
关于语言最简单的中心化器。 295-301 达尼洛·布鲁西 , 乔瓦尼·皮奇奇尼 :
字符串距离和入侵检测:架起正式语言和计算机安全之间的桥梁。 303-313 卡洛·梅雷盖蒂 , 比阿特丽斯·帕拉诺 :
带有控制语言的量子有限自动机。 315-332 詹皮罗·卡塔内奥 , 阿尔贝托·丹尼恩齐奥 , 法比奥·法里纳 :
离散时间动力系统传递性研究综述。 符号系统和相关语言的应用。 333-352 毛罗·比拉塔里 , 马克·兹洛钦 , 多里戈 :
面向元启发式设计的实践理论:机器学习视角。 353-369 朱利亚诺·格罗西 , 马西莫·马奇 , 罗伯托·波塞纳托 :
用异步分布式hopfield型神经网络求解最大独立集。 371-388 彼得·奥尔 , 尼科尔·塞萨·比安奇 :
最大化偏好的分布式投票方案。 389-403
2006年7月至9月第40卷第3期
格温娜·里科姆 :
前言。 405-405 弗拉维奥·达莱桑德罗 , 斯特凡诺·瓦里奇奥 :
好的拟阶、不可避免集和导子系统。 407-426 帕斯卡·奥切姆 :
无限单词的形态生成器。 427-441 安娜·E·弗里德 :
关于算术复杂性的可能增长。 443-458 托米·卡基 :
在复杂度为2n+1的子类中扩展的数的超越。 459-471 香迪·布朗 , Narad Rampersad公司 , 杰弗里·沙利特 , 特洛伊·瓦西加 :
Thue-Morse序列和一些变体中的正方形和重叠。 473-484 加琳娜·吉尔拉斯科娃 :
最小NFA的决定性放大。 485-499 加琳娜·吉尔拉斯科娃 :
拉斯维加斯自动机问题的复杂性说明。 501-510 伊莎贝尔·法格诺 :
关于形态化的斯图尔语单词的更多信息。 511-518
第40卷第4期,2006年10月至12月
Stéphane Vialette酒店 :
(0,1)-矩阵的装箱。 519-535 西蒙·博扎帕利迪斯 , 格拉马提科波卢执政官 :
图片代码。 537-550 维萨·哈拉瓦 , Tero Harju公司 :
规模为9的无限后对应问题的不确定性。 551-557 弗朗西斯科·卡雷拉斯 , 安东尼奥·马加尼亚 , 卡洛斯·穆努埃拉 :
访问结构的可访问性。 559-567 谢尔盖·V·阿夫古斯蒂诺维奇 , 朱利安·卡萨因 , 安娜·E·弗里德 :
算术复杂度低的序列。 569-582 斯蒂芬·霍卢布 :
关于多期词。 583-591 安妮·米凯利 , 多米尼克·罗辛 :
编辑未标记有序树之间的距离。 593-609 维利亚姆·格弗特 , 卢博米拉·伊斯托诺娃 :
将正则表达式转换为实时自动机。 第611-629页