Visibly Pushdown Languages (VPL) have been proposed as a formalism useful for specifying and verifying complex, recursive systems such as application software. However, VPL turn out to be unsuitable for the compositional specification of concurrent software, as they are not closed under shuffle. Multi-stack Visibly Pushdown Languages (MVPL) express naturally concurrent constructions. We find ho...

Using a multiplexed LNA-based Taqman assay, RT-digital PCR (RT-dPCR) was performed in a prefabricated microfluidic device that monitored absolute viral load in native and immortalized cell lines, overall precision of detection, and the absolute detection limit of an occult RNA virus GB Virus Type C (GBV-C). RT-dPCR had on average a 10% lower overall coefficient of variation (CV, a measurement o...

Paren n is the typical generalization of Dyck language to multiple types parentheses. We generalize its notion balancedness allow parentheses different freely commute. show that balanced regular and [Formula: see text]-regular languages can be characterized by syntactic constraints on expressions and, using shuffle trajectories operator, we define grammars for balanced-by-construction with whic...

The helicase and primase activities of bacteriophage T7 are distributed between the 56- and 63-kDa gene 4 proteins. The 56-kDa gene 4 protein lacks 63 amino acids found at the N terminus of the colinear 63-kDa protein and catalyzes helicase activity. The 63-kDa gene 4 protein catalyzes both primase and helicase activities. A bacteriophage deleted for gene 4, T7 delta 4-1, has been tested for gr...

There are two different co-expression systems including bicistronic; dual-vector or two-promoter to express two different genes simultaneously and also to study protein-protein interactions. Bicistronic system has disadvantages e.g. compared with two-promoter system. In this paper, a simple method based on spliced overlap extension by polymerase chain reaction (SOE-PCR) technique was demonstrat...

We present the genome sequence of Leishmania mexicana MNYC/BZ/62/M379 modified to express Cas9 and T7 RNA-polymerase, revealing high similarity reference (MHOM/GT2001/U1103). Through RNAseq-based annotation coding sequences untranslated regions, we provide primer for construct sgRNA template generation CRISPR-assisted gene deletion endogenous tagging.

Shuffle projection is motivated by the verification of safety properties of special parameterized systems. Basic definitions and properties, especially related to alphabetic homomorphisms, are presented. The relation between iterated shuffle products and shuffle projections is shown. A special class of multi-counter automata is introduced, to formulate shuffle projection in terms of computation...

To represent sequential processes, sets of finite sequences of symbols from a finite alphabet are used. In this approach, alphabet symbols denote events occurring when a process is being executed, a sequence of symbols is a record of one execution of the process, and a set of such sequences represents the process itself by combining all its possible executions together. Although this model turn...

there are two different co-expression systems including bicistronic; dual-vector or two-promoter to express two different genes simultaneously and also to study protein-protein interactions. bicistronic system has disadvantages e.g. compared with two-promoter system. in this paper, a simple method based on spliced overlap extension by polymerase chain reaction (soe-pcr) technique was demonstrat...