3.CiE 2007:意大利锡耶纳
巴里·库珀 , 贝内迪克特·勒韦 , 安德烈亚·索比 :
《真实世界中的计算和逻辑》,第三届欧洲可计算性会议,2007年6月18日至23日,意大利锡耶纳,《会议记录》。 计算机科学课堂讲稿 4497, 施普林格 2007 ,国际标准图书编号 978-3-540-73000-2 路易吉·阿塞尔比 , 阿尔贝托·登努齐奥 , 恩里科·福门蒂 :
元胞自动机的移位和提升。 1-10 彼得·阿德里安斯 :
作为数据压缩学习。 11-24 埃里克·阿伦德 :
可达性问题:更新。 25-27 安德烈·鲍尔 , 克里斯托弗·斯通 :
RZ:一种将构造性和可计算性数学与编程实践紧密结合的工具。 28-42 弗朗西斯科·贝尔纳迪尼 , 玛丽安·乔尔赫(Marian Gheorghe) , 莫里斯·马根斯坦 , 谢尔盖·弗兰 :
膜系统和Petri网的生产者/消费者。 43-52 荣芳别 , 吴国华 :
商结构中的最小对 M(M) / NCup(网络中心) . 53-62 劳伦特·宾文努(Laurent Bienvenu) , 大卫·多蒂 , 弗兰克·斯蒂芬 :
构造维度和弱真实度。 63-72 纪尧姆·邦芬特 , 马蒂厄·卡奇马雷克 , 珍妮·伊夫·马里恩 :
通过递归定理对病毒进行分类。 73-82 瓦斯科·布拉特卡 , 吉多·格拉迪 :
可计算度量空间上拓扑运算的Borel复杂性。 83-97 道格拉斯S.布里奇斯 :
着色性和勒贝格可积性。 98-104 娜迪亚·布西 , 克劳迪奥·赞德龙 :
使用遗传门进行计算。 105-114 约翰·凯斯 :
资源受限的可计算性理论学习:说明性主题和问题。 115-124 约翰·凯斯 , 塞缪尔·莫利乌斯 :
描述允许程序自我引用的编程系统。 125-134 乔治·巴姆帕利亚斯 , 道格拉斯·A·岑泽 , 杰弗里·雷梅尔 , 丽贝卡·韦伯 :
K(K) -平凡闭集和连续函数。 135-145 道格拉斯·A·岑泽 , 杰弗里·拉福特 , 吴国华 :
伪跳跃算子与P 0 1 课程。 146-151 朱利安·塞维尔 , 恩里科·福门蒂 , 皮埃尔·吉隆 :
元胞自动机的Sofic跟踪子移位。 152-161 赤达冲 , 梁羽 :
图灵度的薄最大反链。 162-168 彼得·柯林斯 :
非线性系统的有效计算。 169-178 安德烈斯·科尔多恩·佛朗哥 , 亚历杭德罗·费尔南德斯·马加里特 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于有界算法中的无规则和无参数系统。 179-188 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , Jerzy Mycka公司 :
模拟计算的新前景。 189-195 芭芭拉·卡西玛 :
根据沉降时间比较C.E.集。 196-204 诺曼·丹纳 , 詹姆斯·罗耶 :
可行仿射递归的时间复杂性语义。 205-217 格雷戈里奥·德·米盖尔·卡萨多 , 胡安·曼努埃尔·加西亚·查米佐 , 玛丽亚·特蕾莎(María Teresa)签署了Pont :
TTE可计算规范化有理数算术单元的代数模型。 218-227 大卫·多蒂 , 菲利普·莫瑟 :
可行深度。 228-237 杰罗姆·杜兰·洛斯 :
抽象几何计算和线性Blum、Shub和Smale模型。 238-247 阿巴斯·艾达拉特 :
实值函数的连续导数。 248-257 何塞·埃斯皮里托·桑托 :
重新聚焦广义归一化。 258-267 迈克尔·R·费罗斯 , 弗朗西斯·罗萨蒙德 :
参数的复杂性生态学:使用有界最大叶数的图解。 268-277 Jörg Flum公司 :
参数化复杂性和逻辑。 278-289 叶卡捷琳娜·福基纳 :
具有可判定理论的可计算结构的索引集。 290-296 约塞普·弗雷克斯 , 泽维尔·莫利内罗 , 萨尔瓦多·鲁拉 :
多数人游戏的最低表现。 297-306 乔尔·弗里德曼 :
布尔复杂性理论中的线性变换。 307-315 赫里斯托·甘切夫 :
的精确对定理 欧米茄 -枚举度。 316-324 应高 , 景德成 :
无分布正相关逻辑的操作语义。 325-335 Giangiacomo Gerla公司 :
多值逻辑、有效性和域。 336-347 吉多·格拉迪 :
内部可计算性。 348-357 乔尔·戴维·哈姆金斯 , 罗素·G·米勒 :
顺序寄存器机器的Post问题。 358-367 石原慎美 :
构造逆向数学中的独特存在性和可计算性。 368-377 桑杰·贾恩 , 艾瑞克·马丁 , 弗兰克·斯蒂芬 :
函数学习中的输入依赖性。 378-388 伊斯坎德尔什卡利穆林 :
关于结构度谱的几点注记。 389-397 肯塔罗·菊池 :
直觉序贯演算的切割-消除程序的融合。 398-407 Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
V中的多项式和线性层次 0 . 408-415 玛格丽塔·科罗维纳 , 奥列格·库迪诺夫 :
均匀性原则 西格玛 -可计算分析应用程序的可定义性。 416-425 米查尔·库克(Michal Kouck) :
正则语言的电路复杂性。 426-435 奥列格·库迪诺夫 , 维克托·塞利瓦诺夫 :
有限标记森林的同态拟序中的可定义性。 436-445 雷迪曼 :
物理与计算:朗道尔原理的现状。 446-454 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 斯科特·萨默斯 :
离散Sierpinski三角形的严格自组装。 455-464 吉西克·李 :
二叉树和(最大)顺序类型。 465-473 安德鲁·刘易斯 , 安东尼奥·蒙塔尔班 , 安德烈·尼斯 :
一个非广义低的弱2-随机集。 474-477 李忠驰(Chung-Chih Li) :
类型2计算中的加速定理。 478-487 乔尔·戴维·哈姆金斯 , 大卫·莱因茨基 , 罗素·G·米勒 :
快速ORM可判定集的复杂性。 488-496 雷姆科·卢斯 :
关于3号拼接处理器的接收网络。 497-506 沃尔夫冈·马斯 :
液体计算。 507-516 玛丽亚·艾米莉亚·迈埃蒂 :
极小类型理论上的商。 517-531 弗洛林·马内亚 , 维克托·米特拉纳 :
发夹完成与发夹减少。 532-541 巴纳比·马丁 , 弗洛伦特·马德兰 :
一元严格NP片段中的层次结构。 542-550 吉安卡洛·毛里 :
膜系统及其在系统生物学中的应用。 551-553 马科·高里 , 克劳斯·梅尔 :
连续时间系统复杂性理论的一些方面。 554-565 亚历山大·梅尔尼科夫 :
枚举和无扭阿贝尔群。 566-574 罗素·G·米勒 :
局部可计算结构。 575-584 阿尼尔·内罗德 :
逻辑和控制。 585-597 马丁·奥尔森 :
可加分离Hedonic对策中的Nash稳定性是NP难的。 598-605 亚历山大·平托 :
比较计算熵的概念。 606-620 伊塔马尔·皮托夫斯基 :
从逻辑到物理:计算的意义是如何随时间变化的。 621-631 迈克尔·拉什扬 :
理论和顺序:顺序分析。 632-637 罗伯特·雷廷格 :
可计算黎曼曲面。 638-647 马克·尼古拉斯·查尔斯·罗德斯 :
Sherali Adams算子的秩下界。 648-659 布拉尼斯拉夫·罗万 , 卢博斯·斯特斯卡尔 :
无限计算和中的层次结构 三角洲 三 . 660-669 格列泽戈兹·罗森伯格 :
自然计算:自然科学和计算科学的一个自然而及时的趋势。 670-671 安德烈·埃伦菲赫特 , 格列泽戈兹·罗森伯格 :
生物化学反应作为计算。 672-673 乔瓦尼·桑宾 :
不用图灵机:建构主义和形式拓扑。 674-675 彼特·舒斯特 :
问题作为解决方案。 676-684 维克托·塞利瓦诺夫 :
一个有用的不确定理论。 685-694 桑卡拉·纳拉亚南·克里希纳 :
关于膜上倒装蛋白质的计算能力。 695-704 罗伯特·索尔 :
可计算性和不相容性。 705-715 亚历山德拉·A·索斯科娃 :
度谱的跳跃反演定理。 716-726 玛丽亚·伊万诺瓦·索斯科娃 , 吴国华 :
拔罐D 2 0 枚举次数为0 e(电子) '. 727-738 克里斯托弗·蒂姆普森 :
量子计算的教训是什么? 739-741 朱塞佩·特劳特 :
细胞会计算吗? 742-747 赫里贝特·沃尔默 :
约束满足的计算复杂性。 748-757 渡边修(Osamu Watanabe) , 米凯尔·翁舍尔 :
寻找最可能的解决方案。 758-767 菲利普·D·韦尔奇 :
无约束图灵:超有限计算。 768-780 吉尔·维德曼 , 卢卡斯·佩特鲁 :
非晶结构中的可计算性。 781-790 达米恩·伍兹 , 图洛·尼里 :
小型通用图灵机的复杂性。 791-799 张鹏(音译) :
树上广义多截的逼近。 799-808 马丁·齐格勒 :
(简短)真实超计算综述。 809-824