An algorithm for the solution of fixed-point equations for infinite words
An algorithm to calculate the kernel of certain polynomial ring homomorphisms.
An algorithm to compute the möbius function of the rotation lattice of binary trees
An Algorithmic Approach to Inferring Cross-Ontology Links while Mapping Anatomical Ontologies
ACM Computing Classification System (1998): J.3.Automated and semi-automated mapping and the subsequently merging of two (or more) anatomical ontologies can be achieved by (at least) two direct procedures. The first concerns syntactic matching between the terms of the two ontologies; in this paper, we call this direct matching (DM). It relies on identities between the terms of the two input ontologies in order to establish cross-ontology links between them. The second involves consulting one or...
An almost naive algorithm for finding relative neighbourhood graphs in metrics
An alternative approach to missing information in the GUHA method
An alternative approach to rough sets
An alternative formulation of the factorization conjecture for codes. (Une formulation alternative de la conjecture de factorisation des codes.)
An analogue of the Thue-Morse sequence.
An analysis of Lambek's production machines
An analysis of programs by algebraic means
An analysis of selection sort using recurrence relations.
This paper presents a method for obtaining the expected number of data movements executed by the well-known Selection sort algorithm along with its corresponding variance. The approach presented here requires hardly any specific mathematical background. In particular, the average-case cost and variance are represented using recurrence relations whose solutions lead to the desired results. Even though this method is not applicable in general, it serves to conveniently present average-case algorithm...
An analytical iterative statistical algorithm for image reconstruction from projections
The main purpose of the paper is to present a statistical model-based iterative approach to the problem of image reconstruction from projections. This originally formulated reconstruction algorithm is based on a maximum likelihood method with an objective adjusted to the probability distribution of measured signals obtained from an x-ray computed tomograph with parallel beam geometry. Various forms of objectives are tested. Experimental results show that an objective that is exactly tailored statistically...
An angent based approach to modeling the secure electronic transaction protocol.
An answer to a question by J. Milnor.
An aperiodicity problem for multiwords
Multiwords are words in which a single symbol can be replaced by a nonempty set of symbols. They extend the notion of partial words. A word w is certain in a multiword M if it occurs in every word that can be obtained by selecting one single symbol among the symbols provided in each position of M. Motivated by a problem on incomplete databases, we investigate a variant of the pattern matching problem which is to decide whether a word w is certain in a multiword M. We study the language CERTAIN(w)...
An aperiodicity problem for multiwords
Multiwords are words in which a single symbol can be replaced by a nonempty set of symbols. They extend the notion of partial words. A word w is certain in a multiword M if it occurs in every word that can be obtained by selecting one single symbol among the symbols provided in each position of M. Motivated by a problem on incomplete databases, we investigate a variant of the pattern matching problem which is to decide whether a word w is certain in a multiword M. We study the language CERTAIN(w)...
An application framework to systematically develop complex learning resources based on collaborative knowledge engineering
This contribution proposes software infrastructure to support new types of learning methodologies and resources based on collaborative knowledge engineering by means of an innovative application framework called the virtualized collaborative sessions framework (VCSF). The VCSF helps meet challenging collaborative knowledge engineering requirements in online learning, such as increasing group members' learning performance during the on-line collaborative learning process. In turn, systematic application...
An application of algebraic geometry to encryption: tame transformation method.
An Application of Discriminant Analysis and Artificial Neural Networks to Classification Problems