Sciweavers

1607 search results - page 163 / 322
» The existence of k-radius sequences
Sort
View
CORR
2010
Springer
76views Education» more  CORR 2010»
13 years 9 months 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»
13 years 9 months 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
CORR
2010
Springer
51views Education» more  CORR 2010»
13 years 9 months 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
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 9 months 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...
BMCBI
2006
92views more  BMCBI 2006»
13 years 9 months 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