Manipulation of large sequence data is one of the most important problems in string processing. Recently, Loekito et al. (Knowl. Inf. Syst., 24(2), 235-268, 2009) have introduced a new data structure, called Sequence Binary Decision Diagrams (SeqBDDs, or SDDs), which are descendants of both acyclic DFAs (ADFAs) and binary decision diagrams (BDDs). SDDs can compactly represent sets of sequences ...

Sequence diagrams depict the interaction between entities as a sequence of messages arranged in a temporal order. However, they lack a formal execution semantics: the Unified Modeling Language (UML) specification opts to use natural language to describe fundamental concepts such as interaction operators that alter the behaviour of a fragment. Communicating Sequential Processes (CSP) is a proces...

The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the ...

We present a photometric study of the neglected open cluster Berkeley 53. We derived its fundamental parameters, such as the age, the interstellar reddening, and the distance from the Sun, based on BV photometry combined with near-infrared JHK S data. The structure and the mass function of the cluster were also studied and the total number of members and the total mass were estimated. The clust...

This paper is an introduction to the subject of virtual knot theory, a generalization of classical knot theory that I discovered in 1996 [2]. This paper gives the basic definitions, some fundamental properties and a collection of examples. Subsequent papers will treat specific topics such as classical and quantum link invariants and Vassiliev invariants for virtual knots and links in more detai...

The Coxeter groups that act geometrically on euclidean space have long been classified and presentations for the irreducible ones are encoded in the well-known extended Dynkin diagrams. The corresponding Artin groups are called euclidean Artin groups and, despite what one might naively expect, most of them have remained fundamentally mysterious for more than forty years. Recently, my coauthors ...

in (golchin a. and rezaei p., subpullbacks and flatness properties of s-posets. comm. algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets  over a pomonoid  that can be described by surjectivity of  corresponding to certain (sub)pullback diagrams and new properties such as  and  were discovered. in this article first of all we describe po-flatness propertie...

Understanding the lives and interior structures of stellar objects is a fundamental objective astrophysics. Research in this domain often relies on visualization astrophysical data, for instance results theoretical simulations. However, diagrams commonly employed to effect are usually static, complex, can sometimes be non-intuitive or even counter-intuitive newcomers field. To address some thes...