Numbering document components such as sections, subsections, figures and equations gives each component a unique identifier and helps the user locate the component when it is crossreferenced. This paper discusses ways in which such numbering can be described and proposes a simple paradigm for declarative specification of how components should be numbered. The class of algorithms for incremental...

In [3], Rogers discussed the concept of Gödel numbering. He defined a semi-effective numbering, constructed a semi-lattice of equivalence classes of semi-effective numberings, and showed that all Gödel numberings belong to the unique maximal element of this semi-lattice. In [l], Friedberg gave a recursive enumeration without repetition of the set of partial recursive functions of a single varia...

Workflow graphs, consisting of actions, events, and logical switches, are used to model business processes. In order to easily identify the actions within a workflow graph, it is useful to number them in such a way that the numbering reflects the structure of the workflow. However, available tools offer only rudimental numbering schemes. In the paper, a set of natural requirements is defined th...

We consider a DNA strand as mathematical statement. Inspired by the work of Kurt Gödel, we attach to each Gödel’s number, product prime numbers raised appropriate powers. To chain corresponds single number G , and inversely given can specify it stands for. Next, considering composed N bases, study statistical distribution g logarithm . Our assumption is that choice m th term random with equal p...

Examination of the entire von Willebrand factor (VWF) gene for mutations, particularly in types 1 and 3 von Willebrand disease (VWD) is becoming more widely practised. The sequence of the entire VWF gene will soon be compiled as a single sequence. For these reasons, a clearly defined nomenclature to use for numbering the VWF nucleotide and amino acid sequence is required. The following recommen...

Commonly used in network routing, programming, classification and knowledge representation systems, labeling schemes have also interested the XML community. We thus motivate and describe numbering schemes, their applications, and the trade off between storage capacities and runtime performance. We present a taxonomy of numbering schemes for XML based on the types of supported queries (ancestor,...

In this paper, we revisit the problem of detecting the page numbers of a document. This work is motivated by a need for a generic method which applies on a large variety of documents, as well as the need for analyzing the document page numbering scheme rather than spotting one number per page. We propose here a novel method, based on the notion of sequence, which goes beyond any previous descri...