In this paper we investigate the descriptional complexity of knot theoretic problems and show upper bounds for planarity problem of signed and unsigned knot diagrams represented by Gauss words. Since a topological equivalence of knots can involve knot diagrams with arbitrarily many crossings then Gauss words will be considered as strings over an infinite (unbounded) alphabet. For establishing t...

We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generalizations of the Tutte polynomial, matching polynomials, interlace polynomials, and the cover polynomial of digraphs. We introduce the class of (hyper)graph polynomials definable in second order logic, and outline a research progr...

Also in this issue Editorial Commentary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2 IN CONTRO L : Postexposure Prophylaxis . . . . . . . . . . . . . . . . . . . . . . . . . . . .3 Medical Lore: Hemophilia — A Look Back............................5 F e a t u r e : An Overview of the Infectious Substance Transport Requirements . . ....

v Acknowledgements vii Chapter

This paper proves that every recursively enumerable language is generated by a scattered context grammar with no more than four nonterminals and three non-context-free productions. In its conclusion, it gives an overview of the results and open problems concerning scattered context grammars and languages.

This paper proposes a new method to rank the cases classified by a decision tree. The method applies a posteriori without modification of the tree and doesn’t use additional training cases. It consists in computing the distance of the cases to the decision boundary induced by the decision tree, and to rank them according to this geometric score. When the data are numeric it is very easy to impl...

Descriptive software process modeling is a key activity in process engineering. However, a systematic approach on how to collect the information needed to develop such a model is needed. This position paper points out the major problems when doing descriptive software process modeling in industrial contexts and suggests to use qualitative research methods to develop a method for systematic soft...

New technological advances and globalization have undoubtedly given rise to new forms of learning. Massive Open Online Courses (MOOCs), which are a kind evolution on e-learning, the endorsement prestigious universities around world, transforming traditional teaching–learning process. In Ecuador, these online courses based Basic General Education system neither popular among students nor widely ...