CSR 2008:俄罗斯莫斯科
爱德华·赫施 , 亚历山大·拉兹博罗夫 , 亚历克谢·塞梅诺夫 , 阿纳托尔·斯利森科 :
计算机科学-理论与应用,第三届俄罗斯国际计算机科学研讨会,CSR 2008,俄罗斯莫斯科,2008年6月7日至12日,会议记录。 计算机科学课堂讲稿 5010, 施普林格 2008 ,国际标准图书编号 978-3-540-79708-1
开场演讲
阿维·威格德森 :
随机性-计算复杂性视角。 1-2
受邀论文
埃里克·阿伦德 :
防守中的漏洞:在赛道底线上寻找出路。 3-10 苏拉布·卡西达什维利 :
硬件形式等价性验证。 11-12 帕维尔·普德拉克 :
证明复杂性的十二个问题。 13-27 黄利顺(Limsoon Wong) :
生物信息学中不变量的表现和利用。 28 乌里·兹威克 :
简单随机游戏,平均回报游戏,平价游戏。 29
理论轨道
谢尔盖·N·阿特莫夫 , 埃琳娜·诺吉纳 :
证明逻辑的拓扑语义。 30-39 维克拉曼·阿文德 , 比雷斯瓦·达斯 , 约翰内斯·科布勒 :
部分二叉树标准化的对数空间算法。 40-51 阿诺·阿夫伦 , 安娜·扎曼斯基 :
典型演算中的三重对应:强截除、连贯和非确定性语义。 52-63 马克西姆·巴本科 , 塔蒂亚娜·斯塔里科夫斯卡娅 :
通过后缀数组计算最长的公共子串。 64-75 尼古拉斯·贝登 , 亚历克西斯·贝斯 , 奥利维尔纸箱 , 克洛伊·里斯帕 :
线性序索引词的逻辑和有理语言。 76-85 马库斯·布莱泽 , 霍尔格戴尔 , 约翰·马科斯基 :
Bollobás-Riordan多项式的复杂性。 86-98 恩德雷·博罗斯 , 哈立德·埃尔巴西尼 , 弗拉基米尔·古尔维奇 , Kazuhisa Makino公司 , 弗拉基米尔·乌达洛夫 :
利用某些2×2子对策的排除刻画双矩阵对策的Nash可解性。 99-109 迪迪埃·考卡尔 , 斯特凡·哈森 :
语法同步。 110-121 Dmitriy Yu。 切鲁欣 :
具有任意门的Depth-2和Depth-3布尔电路的下限。 122-133 乌戈·达尔·拉戈 , 马丁·霍夫曼 :
轻仿射逻辑多重时间合理性的语义证明。 134-145 罗斯蒂斯拉夫·迪瓦托夫 :
关于形态序列的子词复杂性。 146-157 杰里·菲亚拉 , 丹尼尔·保卢斯马 :
比较多项式时间中的万能覆盖。 158-167 梅尔文配件 :
S4L和局部可实现性。 168-179 Uffe翻盖 , 劳伦·利奥黛特 :
关于有界路径宽度/Cliquewidth矩阵的永久数和完美匹配的表示能力(扩展抽象)。 180-193 恩里科·福门蒂 , 贾科·卡里 , Siamak Taati公司 :
元胞自动机最一般的守恒定律。 194-203 古力 :
数据流频率估计的下限(扩展抽象)。 204-215 约翰内斯·科布勒 , 奥列格·维尔比茨基 :
从不变量到并行规范化。 216-227 罗曼·库兹涅茨 :
正当知识的自我参照性。 228-239 努坦·利马耶 , 米娜·马哈扬 , 安托万·梅耶 :
关于高度确定性下推自动机中隶属度和计数的复杂性。 240-251 丹尼斯·奥辛 , 弗拉基米尔·什皮林 :
公钥加密和加密仿真攻击。 252-260 弗拉基米尔·波多尔斯基 :
感知器重量的统一下限。 261-272 尤里·萨瓦泰耶夫 :
具有一个除法的Lambek语法在多项式时间内是可决定的。 273-282 弗拉基米尔·什皮林 :
Stickel密钥交换方案的密码分析。 283-288 阿塞尼·M·舒尔 :
正则语言的组合复杂性。 289-301 弗拉基米尔·维尤金 :
关于具有不可学习子序列的序列。 302-313 Mingyu Xiao先生 :
多终端切割算法。 314-325 马吕斯·齐曼德 :
对于增加无限序列的Kolmogorov复杂性,两个源优于一个源。 326-338
应用程序和技术轨道
叶夫根尼V.博丹斯基 , 塞尔吉·波波夫 , 塔拉斯·里巴尔琴科 :
短期电力负荷预测的多层神经模糊网络。 339-348 劳拉·科瓦茨 :
带赋值的P-可解循环的不变量生成。 349-359 瓦莱里·A·内波米纳希 , 德米特里·贝洛格拉佐夫 , 塔蒂亚娜·丘里娜 , 米哈伊尔·马斯胡科夫 :
使用彩色Petri网对电信系统进行建模和验证。 360-371 维克多·Y·潘 , 德米特里·伊沃金 , 李新宇和默怀恩 , 里斯·埃里克·罗斯霍尔特 , 余庆堂 , 燕晓东 :
矩阵计算的加性预处理。 372-383 达斯科·巴甫洛维奇 :
网络作为一台计算机:排列路径以查找流。 384-397 最大重新跳出 , 路易斯·费罗 , 谢尔盖·索洛维耶夫 :
属性图重写的统一分类方法。 398-409