2006年第四届IFIP TCS:智利圣地亚哥
冈萨洛·纳瓦罗 , 利奥波多·贝尔托西 , 小川吉昭(Yoshiharu Kohayakawa) 以下为:
第四届IFIP国际理论计算机科学会议(TCS 2006),IFIP第19届世界计算机大会,TC-1计算机科学基础,2006年8月23日至24日,智利圣地亚哥。 国际投资促进会 209, 施普林格 2006 ,国际标准图书编号 0-387-34633-3
受邀会谈
马塞洛竞技场 以下为:
查询和转换的位置。 三 乔泽夫·格鲁斯卡 以下为:
从信息学到量子信息学。 5 克劳迪奥·古铁雷斯 以下为:
RDF作为数据模型。 7 马科斯·奇维 以下为:
重新审视对抗性排队理论。 9-10 尼古拉·桑托罗 以下为:
自主移动机器人的分布式算法。 11 米哈利斯·扬纳卡基斯 以下为:
递归和概率。 13
受邀论文
已投稿论文
布莱恩·迪恩 , 米歇尔·戈曼斯 , 妮可·埃莫利卡 以下为:
不可分割的稳定婚姻问题。 65-75 沃尔特·古特曼 , 马库斯·毛切尔 以下为:
具有约束的排序主题的变体。 77至90 卢卡·博托鲁西 , 弗朗西斯科·法布里斯 , 阿尔贝托·波利克里蒂 以下为:
BuST-绑定后缀树。 91-102 安德烈·布罗德尼克 , 约翰·卡尔松 , J.伊恩·蒙罗 , 安德烈·尼尔森 以下为:
专用内存体系结构上前缀和问题的O(1)解决方案。 103-114 Yuichi Sei先生 , 松崎和田 , Shinichi Honiden公司 以下为:
一种减少分布式哈希表中多字搜索通信流量的算法。 115-129 斯特凡·多布雷夫 , 保拉·弗洛奇尼 , 拉斯蒂斯拉夫·克拉洛维奇 , 尼古拉·桑托罗 以下为:
使用标记探索未知图形以定位黑洞。 131-150 马丁·库特里布 , 安德烈亚斯·马尔彻 以下为:
限制细胞间通信的快速细胞自动机:计算能力。 151-164 丹尼斯·卡罗姆 , 卢多维克·亨利奥 以下为:
异步分布式组件:并发性和确定性。 165-183 彼得罗·迪·莱纳 以下为:
正则元胞自动机的可判定性质。 185-196 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 弗拉德·鲁苏 以下为:
扩展自动机的符号决定。 197-212 朱利安·德奥索 , 泰西尔·图利 以下为:
定期对冲模型检查。 213-230 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 以下为:
完成范畴代数。 231-249 汉斯·约阿希姆·比肯豪尔 , 卢卡·福利齐 , 尤拉吉·赫龙科维奇(Juraj Hromkovic) , 约阿希姆·克奈斯 , 约阿希姆·库普克 , 吉多·普罗埃蒂 , 彼得·维德迈尔 以下为:
为本地修改的输入实例重用最佳TSP解决方案。 251-270 阿明·科贾·奥格伦 , 安德烈亚斯·戈德 , 安德烈·兰卡 以下为:
给定期望度的随机图的谱划分。 271-282 马尔科·亚伯拉罕 , 罗尔夫·科特 , 安捷·克鲁姆纳克 , 伊贡·旺克 以下为:
网络中顶点的连接等级。 283-298 黄秀珍 , 陈剑儿 以下为:
关于平面图问题的PTAS。 299-313