Sciweavers

1607 search results - page 163 / 322
» The existence of k-radius sequences
Sort
View
106
Voted
CORR
2010
Springer
76views Education» more  CORR 2010»
15 years 27 days ago
Reconstruction of complete interval tournaments
Let a, b and n be nonnegative integers (b a, b > 0, n 1), Gn(a, b) be a multigraph on n vertices in which any pair of vertices is connected with at least a and at most b edges ...
Antal Iványi
CORR
2008
Springer
77views Education» more  CORR 2008»
15 years 27 days ago
Programming an interpreter using molecular dynamics
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
Jan A. Bergstra, C. A. Middelburg
75
Voted
CORR
2010
Springer
51views Education» more  CORR 2010»
15 years 27 days ago
On ternary square-free circular words
Circular words are cyclically ordered finite sequences of letters. We give a computer-free proof of the following result by Currie: square-free circular words over the ternary alp...
Arseny M. Shur
118
Voted
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 27 days ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
96
Voted
BMCBI
2006
92views more  BMCBI 2006»
15 years 26 days ago
Systematic assignment of thermodynamic constraints in metabolic network models
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...
Anne Kümmel, Sven Panke, Matthias Heinemann