On space-bounded synchronized alternating Turing machines

AbstractWe continue the study of the computational power of synchronized alternating Turing machines (SATM) introduced in (Hromkovič 1986, Slobodová 1987, 1988a, b) to allow communication via synchronization among processes of alternating Turing machines. We are interested in comparing the four main classes of space-bounded synchronized alternating Turing machines obtained by adding or removing off-line capability and nondeterminism (1SUTM(S(n)), SUTM(S(n)), 1SATM(S(n)), and SATM(S(n)) against one another and against other variants of alternating Turing machines. Denoting the class of languages accepted by machines in C by L(C), we show as our main results that L(1SUTM(S(n))) ⊂ L(SUTM(S(n))) ⊂ L(1SATM(S(n)))= L(SATM(S(n))) for all space-bounded functions S(n)ϵo(n), and L(1SUTM(S(n)))= L(SUTM(S(n))) ⊂ L(1SATM(S(n)))=L(SATM(S(n))) for S(n)) ⩾ n. Furthermore, we show that for log log(n) ⩽ S(n)ϵo(log(n)), L(1SUTM(S(n))) is incomparable to L[1] ATM(S(n))). L(UTM(S(n))), L(1MUTM(S(n))), and L(MUTM(S(n))), where MATMs are alternating Turing machines with modified acceptance proposed in (Inoue 1989); in contrast, we show that these relationships become proper inclusions when log(n) ⩽ S(n)ϵo(n).For deterministic synchronized alternating finite automata with at most k processes (1DSA(k)FA and DSA(k)FA) we establish a tight hierarchy on the number of processes for the one-way case, namely, L(1DSA(n)FA) ⊂ L(1DSA(n+1)FA) for all n > 0, and show that L(1DFA(2)) − ∪k=1∞L(DSA(k)FA) ≠ ∅, where DFA(k) denotes deterministic k-head finite automata. Finally we investigate closure properties under Boolean operations for some of these classes of languages

High performance computing of explicit schemes for electrofusion jointing process based on message-passing paradigm

The research focused on heterogeneous cluster workstations comprising of a number of CPUs in single and shared architecture platform. The problem statements under consideration involved one dimensional parabolic equations. The thermal process of electrofusion jointing was also discussed. Numerical schemes of explicit type such as AGE, Brian, and Charlies Methods were employed. The parallelization of these methods were based on the domain decomposition technique. Some parallel performance measurement for these methods were also addressed. Temperature profile of the one dimensional radial model of the electrofusion process were also given

Structural Drift: The Population Dynamics of Sequential Learning

We introduce a theory of sequential causal inference in which learners in a chain estimate a structural model from their upstream teacher and then pass samples from the model to their downstream student. It extends the population dynamics of genetic drift, recasting Kimura's selectively neutral theory as a special case of a generalized drift process using structured populations with memory. We examine the diffusion and fixation properties of several drift processes and propose applications to learning, inference, and evolution. We also demonstrate how the organization of drift process space controls fidelity, facilitates innovations, and leads to information loss in sequential learning with and without memory.Comment: 15 pages, 9 figures; http://csc.ucdavis.edu/~cmg/compmech/pubs/sdrift.ht

Finite state verifiers with constant randomness

We give a new characterization of $\mathsf{NL}$ as the class of languages whose members have certificates that can be verified with small error in polynomial time by finite state machines that use a constant number of random bits, as opposed to its conventional description in terms of deterministic logarithmic-space verifiers. It turns out that allowing two-way interaction with the prover does not change the class of verifiable languages, and that no polynomially bounded amount of randomness is useful for constant-memory computers when used as language recognizers, or public-coin verifiers. A corollary of our main result is that the class of outcome problems corresponding to O(log n)-space bounded games of incomplete information where the universal player is allowed a constant number of moves equals NL.Comment: 17 pages. An improved versio