Watson-Crick automata are finite state automata working on double-stranded tapes, introduced to investigate the potential of DNA molecules for computing. In this paper, we continue the investigation of descriptional complexity of Watson-Crick automata initiated in [9]. In particular, we show that any finite language as well as any unary regular language can be recognized by a Watson-Crick autom...

muslim philosophers have since their long history encountered lots of severe surges of doubts and oppositions, so they did their best to remove them all through deep investigation which brought about the progress of islamic philosophy both in quantity and quality. muslim philosophers were sometimes challenged by such questions as, determinism, the temporal creation of the world, the otherness o...

Globalization is one of the major forces behind the growing need to know the extent to which culture and context-related variables influence information technology (IT) use. In this study, data collected from Chinese and Canadian managers was used to assess the impact of cultural dimensions on the extent to which people are interested in both media richness and technological features associated...

A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several process algebras are capable of expressing this property and how they agree on the equivalence of deterministic processes. A number of important properties of processes P , including confluence, can be captured in terms...