5.TAMC 2008:中国西安
马宁德拉·阿格拉沃 , 丁祖渡 , 段振华 , 李昂生(Angsheng Li) 以下为:
计算模型的理论与应用,第五届国际会议,TAMC 2008,西安,中国,2008年4月25-29日。 诉讼程序。 计算机科学课堂讲稿 4978, 施普林格 2008 ,国际标准图书编号 978-3-540-79227-7
大会报告
辛提亚·沃克 以下为:
差异隐私:结果调查。 1-19
专题讲座
埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , 约翰·V·塔克 以下为:
论经典物理学中测量的复杂性。 20-30 米克洛斯·桑塔 以下为:
基于量子行走的搜索算法。 31-46
特约演讲
丛天 , 段振华 以下为:
命题投影时序逻辑、Bchi自动机和欧米伽正则表达式。 47-58 小文楼 , 朱大明 以下为:
具有O(logn)单点的无符号置换的基因组重排算法。 59-69 斯蒂芬·芬纳 , 张勇(音) 以下为:
关于隐子群问题的复杂性。 70-81 王建新 , 奇龙峰 以下为:
一种用于3集打包的O*(3.523k)参数化算法。 82-93 跳过乔丹 , 托马斯·齐格曼 以下为:
不可分辨性和一阶逻辑。 94-104 李昂生(Angsheng Li) , 林清堂 以下为:
同态的去随机图测试。 105至115 李昂生(Angsheng Li) , 李伟林 , 潘宜成 , 林清堂 以下为:
有界图灵约简结构中的可定义滤波器。 116-124 杰里·菲亚拉 , 彼得·戈洛维奇 , 扬·克拉托奇维尔 以下为:
树的距离约束标记。 125-135 珍妮·伊夫·马里恩 , 罗曼·佩乔克斯 以下为:
NCk的特征。 136-147 拉尔斯·克里斯蒂安森 , 保罗·J·沃达 以下为:
迂回度的结构。 148-159 谢孙元 , 李嘉伟 以下为:
具有条件边故障的匹配合成网络的哈密顿性。 160-169 尤里克·齐佐维奇 , 斯特凡·多布雷夫 , 埃尔南·冈萨雷斯-阿吉拉尔 , 拉斯蒂斯拉夫·克拉洛维奇 , 伊万杰洛斯·克拉纳基斯 , 雅罗斯拉夫·奥帕特尼 , 拉迪斯拉夫·斯塔乔 , 豪尔赫·乌鲁蒂亚 以下为:
单位圆盘图的平面子图的局部7着色。 170-181 彼得·戈洛维奇 , 扬·克拉托奇维尔 以下为:
退化图中的广义支配:计算复杂性的完全二分法。 182-191 陈海燕 以下为:
关于赋范基本并行过程的弱双相似性的更多内容。 192-203 赵继泰 以下为:
可计算可枚举度中嵌入的扩展。 204-211年 王建新 , 丹宁 , 奇龙峰 , 陈剑儿 以下为:
广义匹配问题的改进参数化算法。 212-222 安德烈·奥斯特洛 以下为:
网格和圆环上的确定性热点置换路由。 223-233 傅斌(Bin Fu) , 明扬考 , 王路生 以下为:
多序列中基于模型的Motif发现的高效算法。 234-245 Pok-Son Kim先生 , 阿恩·库茨纳 以下为:
基于比率的稳定就地合并。 246-257 马蒂亚斯·巴拉 以下为:
普雷斯伯格算法中可定义关系的特征。 258-269 Mingyu Xiao先生 以下为:
在超图中寻找最小三向切割。 270-281 晋松滩 以下为:
最大加权边二次流的不逼近性及其应用。 282-293 张海滨 , 段振华 以下为:
矩形混合系统的符号算法分析。 294-305 比特·博利格 以下为:
关于整数乘法最重要位的OBDD复杂性。 306-317 奥拉夫·贝耶斯多夫 以下为:
命题证明系统的逻辑闭包性质。 318-329 皮纳尔·赫格内斯 , 丹尼尔·梅斯特 , 查里斯·帕帕佐普洛斯 以下为:
线性曲线图——宽度最多3。 330-341 天野之弥 , Jun Tarui先生 以下为:
电路复杂度为5n±o(n)的良好混合函数:Lachish-Raz-型边界的紧性。 342-350 曹子宁 以下为:
分布式高阶pi-演算逻辑。 351-363 马克·德曼吉 , 蒂纳斯·埃金 以下为:
正则二部图中的最小最大匹配是NP-Hard。 364-374 格雷戈里·拉菲特 , 维斯 以下为:
瓦片的拓扑研究。 375-387 托马斯·安贝雷 以下为:
序列精确实程序完全正确性的表示语义。 388-399 Ernst-Erich Doberkat先生 以下为:
Giry Monad的弱互模拟(扩展抽象)。 400-409 辛迪·Y·李 , 普鲁登斯·W·H·王 , 秦欣 , 芬科尔·C·容格 以下为:
DNA微阵列合成的近似边界长度。 410至422 克劳斯·安布罗斯·斯皮斯 , Serikzhan A.Badaev公司 , 谢尔盖·冈查洛夫 以下为:
关于弗兰克·斯蒂芬的一个问题。 423-432 谢敏珠 , 王建新 , 陈剑儿 以下为:
个体单倍型问题MLF的实用参数化算法。 433-444 Jiong Guo(郭炯) , 福尔克·胡夫纳 , 克里斯蒂安·科穆塞维茨 , 张勇(音) 以下为:
改进的双簇编辑算法。 445-456 鲁珀特·霍尔兹尔 , 沃尔夫冈·默克尔 以下为:
生成复杂性与区分复杂性。 457-466 斯蒂芬·杜洛彻 , 埃文格洛斯·克拉纳基斯 , 丹尼·克里桑克 , 拉塔·纳拉亚南 以下为:
使用一圈直线路由平衡流量负载。 467-478 谢尔盖·加斯佩斯 , Saket Saurabh公司 , 阿列克谢·斯特帕诺夫 以下为:
全度生成树的适度指数时间算法。 479-489 奥里安娜·蓬塔 , 福尔克·胡夫纳 , 罗尔夫·尼德迈尔 以下为:
加速某些NP-Hard图重着色问题的动态规划。 490-501 约翰·Z·张 , 神田宗彦 以下为:
查找使房间可搜索的所有门位置的线性时间算法。 502-513 巴哈迪尔·库萨诺夫 , 米娅·米恩斯 以下为:
自动结构的模型理论复杂性(扩展抽象)。 514-525 分析师拉胡尔贾殷 , 阿什温·纳亚克 , 易素 以下为:
信号群的发散和全息信息的分离。 526-541 巴哈迪尔·库萨诺夫 , 刘嘉谋 , 米娅·明尼斯 以下为:
一元自动图:算法视角。 542-553 迈卡·阿德勒 , 布伦特·海伦加 以下为:
最近邻查询的搜索空间缩减。 554-567 马拉特·阿尔斯兰诺夫 , 巴里·库珀 , 伊斯坎德Sh.Kalimullin , 玛丽亚·伊万诺瓦·索斯科娃 以下为:
枚举度的总度数和不可拆分属性。 568-578 托马斯·肯特 以下为:
s-度在e-度内。 579-587 巴里·库珀 , 马修·萨尔茨 , 吴国华 以下为:
非孤立度在可计算枚举度中是向上稠密的。 588-596