首页>外文会议>Conference on computability in Europe

Conference on computability in Europe

召开年：2014
召开地：Budapest(HU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics

机译：基于FPGA的高性能计算机RIVYERA，用于生物信息学
- 作者：Lars Wienbrandt
- 会议名称：《Conference on computability in Europe》 | 2014年
2.Exploiting Membrane Features to Compute

机译：利用膜功能进行计算
- 作者：Claudio Zandron
- 会议名称：《Conference on computability in Europe》 | 2014年
3.Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability

机译：通过去除和修饰叶片的基因树校正：可牵引性和近似性
- 作者：Stefano Beretta;Riccardo Dondi
- 会议名称：《Conference on computability in Europe》 | 2014年
4.Uniform Schemata for Proof Rules

机译：证明规则的统一图式
- 作者：Ulrich Berger;Tie Hou
- 会议名称：《Conference on computability in Europe》 | 2014年
- Proof calculi;
- Semantics and logic of computation;
- Realiz-ability;
5.Short Lists with Short Programs in Short Time - A Short Proof

机译：短时间内包含短程序的短列表-简短证明
- 作者：Marius Zimand
- 会议名称：《Conference on computability in Europe》 | 2014年
6.Preface

机译：前言
- 作者：Arnold Beckmann;Erzsebet Csuhaj-Varju;Klaus Meer
- 会议名称：《Conference on computability in Europe》 | 2014年
7.Graph Polynomials Motivated by Gene Rearrangements in Ciliates

机译：纤毛虫基因重排的图多项式
- 作者：Robert Brijder;Hendrik Jan Hoogeboom
- 会议名称：《Conference on computability in Europe》 | 2014年
8.On the Equivalence of Automata for KAT-expressions

机译：关于KAT表达式的自动机的等价性
- 作者：Sabine Broda;Antonio Machiavelo;Nelma Moreira;Rogerio Reis
- 会议名称：《Conference on computability in Europe》 | 2014年
- Kleene algebra with tests;
- automata;
- equivalence;
- derivative;
9.Algorithmic Randomness for Infinite Time Register Machines

机译：无限时间寄存器机器的算法随机性
- 作者：Merlin Carl
- 会议名称：《Conference on computability in Europe》 | 2014年
10.Constraint Logic Programming for Resolution of Relative Time Expressions

机译：相对时间表达式解析的约束逻辑程序设计
- 作者：Henning Christiansen
- 会议名称：《Conference on computability in Europe》 | 2014年
11.Computability and Categoricity of Ultrahomogeneous Structures

机译：超均质结构的可计算性和分类性
- 作者：Francis Adams;Douglas Cenzer
- 会议名称：《Conference on computability in Europe》 | 2014年
- computability theory;
- ultrahomogeneous;
- injections;
- effective categoricity;
- computable model theory;
12.Parameterized Inapproximability of Target Set Selection and Generalizations

机译：目标集选择和概括的参数化不可逼近
- 作者：Cristina Bazgan;Morgan Chopin;Andre Nichterlein;Florian Sikora
- 会议名称：《Conference on computability in Europe》 | 2014年
13.Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries

机译：具有生成膜边界的膜系统中的最大并行度
- 作者：Zoltan Ernoe Csajbok;Tamas Mihalydeak
- 会议名称：《Conference on computability in Europe》 | 2014年
- Membrane computing;
- communication P systems;
- maximal parallelism;
- multiset theory;
- partial approximation of multisets;
14.Learnability Thesis Does Not Entail Church's Thesis

机译：学习性论题并不包含教会论题
- 作者：Marek Czarnecki;Michal Tomasz Godziszewski;Dariusz Kalocinski
- 会议名称：《Conference on computability in Europe》 | 2014年
- computability;
- algorithmic learnability;
- potential infinity;
- FM-representability;
- low sets;
- Learnability Thesis;
- Church's Thesis;
15.How can Grammatical Inference Contribute to Computational Linguistics?

机译：语法推理如何有助于计算语言学？
- 作者：Leonor Becerra-Bonache
- 会议名称：《Conference on computability in Europe》 | 2014年
16.Algorithms and Their Explanations

机译：算法及其解释
- 作者：Marco Benini;Federico Gobbo
- 会议名称：《Conference on computability in Europe》 | 2014年
17.Phase Transitions Related to the Pigeonhole Principle

机译：与鸽孔原理有关的相变
- 作者：Michiel De Smet;Andreas Weiermann
- 会议名称：《Conference on computability in Europe》 | 2014年
- Ackermann function;
- pigeonhole principle;
- Ramsey theory;
- phase transitions;
18.Generic Parallel Algorithms

机译：通用并行算法
- 作者：Nachum Dershowitz;Evgenia Falkovich
- 会议名称：《Conference on computability in Europe》 | 2014年
19.Isomorphisms of Non-Standard Fields and Ash's Conjecture

机译：非标准场的同构与Ash的猜想
- 作者：Rumen Dimitrov;Valentina Harizanov;Russell Miller;K.J. Mourad
- 会议名称：《Conference on computability in Europe》 | 2014年
20.Modeling Life as Cognitive Info-computation

机译：将生活建模为认知信息计算
- 作者：Gordana Dodig-Crnkovic
- 会议名称：《Conference on computability in Europe》 | 2014年
21.Deciding the Borel Complexity of Regular Tree Languages

机译：确定常规树语言的Borel复杂性
- 作者：Alessandro Facchini;Henryk Michalewski
- 会议名称：《Conference on computability in Europe》 | 2014年
22.Chemical Production and Molecular Computing in Addressable Reaction Compartments

机译：可寻址反应室中的化学生产和分子计算
- 作者：Harold Fellermann;Natalio Krasnogor
- 会议名称：《Conference on computability in Europe》 | 2014年
23.Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY

机译：复杂系统的可视化建模：面向PORGY的抽象机
- 作者：Maribel Fernandez;Helene Kirchner;Ian Mackie;Bruno Pinaud
- 会议名称：《Conference on computability in Europe》 | 2014年
- port graph;
- graph rewriting;
- strategies;
- operational semantics;
- abstract machine;
24.Fixed Points and Attractors of Reaction Systems

机译：反应系统的不动点和吸引子
- 作者：Enrico Formenti;Luca Manzoni;Antonio E. Porreca
- 会议名称：《Conference on computability in Europe》 | 2014年
25.Fit-Preserving Data Refinement of Mass-Action Reaction Networks

机译：大规模反应网络的适度保留数据细化
- 作者：Cristian Gratie;Ion Petre
- 会议名称：《Conference on computability in Europe》 | 2014年
- biomodeling;
- model fit;
- parameter estimation;
- quantitative model refinement;
26.On Maximal Block Functions of Computable η-like Linear Orderings

机译：关于可计算的η类线性排序的最大块函数
- 作者：Charles M. Harris
- 会议名称：《Conference on computability in Europe》 | 2014年
- Computable;
- linear ordering;
- η-like;
- ∏_2~0;
- maximal block;
27.Lossiness of Communication Channels Modeled by Transducers

机译：换能器模拟的通信通道损耗
- 作者：Oscar H. Ibarra;Cewei Cui;Zhe Dang;Thomas R. Fischer
- 会议名称：《Conference on computability in Europe》 | 2014年
- automata;
- transducers;
- Shannon information;
28.Predicate Characterizations in the Polynomial-Size Hierarchy

机译：多项式大小层次结构中的谓词表征
- 作者：Christos A. Kapoutsis
- 会议名称：《Conference on computability in Europe》 | 2014年
29.Function Spaces for Second-Order Polynomial Time

机译：二阶多项式时间的函数空间
- 作者：Akitoshi Kawamura;Arno Pauly
- 会议名称：《Conference on computability in Europe》 | 2014年
- cartesian closed;
- computational complexity;
- higher order;
- computable analysis;
- admissible representation;
- Weihrauch reducibility;
30.Complexity of Operation Problems

机译：操作问题的复杂性
- 作者：Martin Kutrib
- 会议名称：《Conference on computability in Europe》 | 2014年
31.A Computational Model of XACML-Based Access Control Management in Distributed Networks

机译：分布式网络中基于XACML的访问控制管理的计算模型
- 作者：Katalin Anna Lazar
- 会议名称：《Conference on computability in Europe》 | 2014年
32.Early Machine Translation Integration and Transfers between Computing and the Language Sciences

机译：早期机器翻译的集成以及计算与语言科学之间的转换
- 作者：Jacqueline Leon
- 会议名称：《Conference on computability in Europe》 | 2014年
- Machine Translation;
- mathematization of language;
- universal languages;
- history;
33.Lines Missing Every Random Point

机译：线缺少每个随机点
- 作者：Jack H. Lutz;Neil Lutz
- 会议名称：《Conference on computability in Europe》 | 2014年
- randomness;
- algorithmic geometric measure theory;
- computable analysis;
34.Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction

机译：自然描述和人类偏见：所罗门诺夫归纳法中存在的问题
- 作者：Simon McGregor
- 会议名称：《Conference on computability in Europe》 | 2014年
- algorithmic information;
- Solomonoff induction;
- anthropic bias;
- anthropic principle;
- natural Turing machines;
- Kolmogorov complexity;
35.An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations

机译：通过k-C-Continuations求解方程树自动机的高效算法
- 作者：Ludovic Mignot;Nadia Ouali Sebti;Djelloul Ziadi
- 会议名称：《Conference on computability in Europe》 | 2014年
36.On the Effectiveness of Symmetry Breaking

机译：关于对称破缺的有效性
- 作者：Russell Miller;Reed Solomon;Rebecca M. Steiner
- 会议名称：《Conference on computability in Europe》 | 2014年
37.On the Ramseyan Factorization Theorem

机译：关于拉姆西扬因式定理
- 作者：Shota Murakami;Takeshi Yamazaki;Keita Yokoyama
- 会议名称：《Conference on computability in Europe》 | 2014年
38.The Complexity of Satisfaction Problems in Reverse Mathematics

机译：逆数学中的满意度问题的复杂性
- 作者：Ludovic Patey
- 会议名称：《Conference on computability in Europe》 | 2014年
39.An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences

机译：早期完成算法：Thue在1914年发表的有关符号序列变换的论文
- 作者：James F. Power
- 会议名称：《Conference on computability in Europe》 | 2014年
40.Metric-Driven Grammars and Morphogenesis (Extended Abstract)

机译：公制驱动文法和形态发生（扩展摘要）
- 作者：Przemyslaw Prusinkiewicz;Brendan Lane;Adam Runions
- 会议名称：《Conference on computability in Europe》 | 2014年
- natural computing;
- computational modeling of plant development;
- growth and form;
- L-system;
- cell complex;
41.Hyperprojective Hierarchy of qcbo-Spaces

机译：qcbo空间的超投影层次
- 作者：Matthias Schroeder;Victor Selivanov
- 会议名称：《Conference on computability in Europe》 | 2014年
- Hyperprojective hierarchy;
- qcb_0-space;
- continuous functionals of countable types;
- cartesian closed category;
42.Online Bin Packing: Old Algorithms and New Results

机译：在线装箱：旧算法和新结果
- 作者：Jiri Sgall
- 会议名称：《Conference on computability in Europe》 | 2014年
43.Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice

机译：多元主义被忽视：教会转向的论点与哲学实践
- 作者：G. Graham White
- 会议名称：《Conference on computability in Europe》 | 2014年