信息学基础,第107卷
第107卷,第1期,2011
薄翠 , 莉拉·卡里 , Shinnosuke Seki公司 :
K-Comma码及其推广。 1-18 侯赛因·霍贾特 , 穆罕默德·雷扎·穆萨维 , 马尔扬·西尔贾尼 :
过程代数中SystemC设计的形式化分析。 19-42 弗洛里安·坎米勒 :
有限幂等关系的力学分析。 43-65 燕红社 , 何晓丽 , 王国军 :
粗糙逻辑中公式的粗糙真度和近似推理。 67-83 Alicja Wieczorkowska公司 , 埃尔兹别塔·库贝拉 , 阿格涅斯卡·库比克-科马 :
使用支持向量机分析混音中乐器的识别。 85-104 胡雄 , 秦志光 , 李发根 :
无随机预言的基于身份签密的密码分析。 105-109
第107卷,编号2-3,2011年
马可·加瓦内利 , 托尼·曼奇尼 , 阿尔贝托·佩托罗西 :
RCRA 2009组合爆炸问题解决算法的实验评估。 阿梅迪奥·塞斯塔 , 西蒙·弗拉蒂尼 , 安德烈亚·奥兰迪尼 , 阿尔贝托·芬奇 , 恩里科·特隆西 :
灵活的计划验证:可行性结果。 111-137 马修·刘易斯 , 托比亚斯·舒伯特 , 伯恩德·贝克尔 , 保罗·马林 , 马西莫·纳里扎诺 , 恩里科·金奇利亚 :
具有高级知识共享的并行QBF求解。 139-166 阿方索·杰列维尼 , 亚历山德罗·萨埃蒂 , 伊万·塞琳娜 :
通过局部搜索和动作图对规划的一些启发式特征进行实证分析。 167-197 法比奥·马西莫·赞佐托 , 洛伦佐·德尔·阿尔西佩特 , 亚历山德罗·莫希蒂 :
文本隐含识别的高效图形核。 199-222 何军 , 皮埃尔·弗莱纳 , 贾斯汀·皮尔逊 :
局部搜索的自动机约束。 223-248 Inés Lync公司 , 乔安·马奎斯·西尔瓦 :
使用MaxSAT恢复CSP可满足性。 249-266 米歇尔·隆巴迪 , 米歇拉·米兰 , 安德烈亚·罗利 , 亚历山德罗·扎纳里尼 :
从采样和潜水中获取信息。 267-287 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅莱 :
随机搜索的搜索空间划分。 289-311
第107卷,第4期,2011年
菲利普·安达里 , 布鲁诺·帕特鲁 , 皮埃尔·瓦拉彻 :
基本递归算法的一个表示定理。 313-330 Bhaswar B.Bhattacharya公司 :
关于多边形链的费马-韦伯点及其推广。 331-343 莉莉亚娜·科约卡鲁 :
CD语法系统的时间、空间、合作和通信复杂性之间的权衡。 345-378 沃尔夫冈·费伯 , 尼古拉·利昂 , 马可·马拉特 , 弗朗西斯科·里卡 :
使用聚合的ASP程序的回顾技术。 379-413 丁成峰 , 冯晨 , 徐文丽 :
贝叶斯网络中马尔可夫边界归纳的分析:拟阵理论的新观点。 415-434