3 resultados para Process algebra
em Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho"
Resumo:
The rule creation to clone selection in different projects is a hard task to perform by using traditional implementations to control all the processes of the system. The use of an algebraic language is an alternative approach to manage all of system flow in a flexible way. In order to increase the power of versatility and consistency in defining the rules for optimal clone selection, this paper presents the software OCI 2 in which uses process algebra in the flow behavior of the system. OCI 2, controlled by an algebraic approach was applied in the rules elaboration for clone selection containing unique genes in the partial genome of the bacterium Bradyrhizobium elkanii Semia 587 and in the whole genome of the bacterium Xanthomonas axonopodis pv. citri. Copyright© (2009) by the International Society for Research in Science and Technology.
Resumo:
Due to the wide diversity of unknown organisms in the environment, 99% of them cannot be grown in traditional culture medium in laboratories. Therefore, metagenomics projects are proposed to study microbial communities present in the environment, from molecular techniques, especially the sequencing. Thereby, for the coming years it is expected an accumulation of sequences produced by these projects. Thus, the sequences produced by genomics and metagenomics projects present several challenges for the treatment, storing and analysis such as: the search for clones containing genes of interest. This work presents the OCI Metagenomics, which allows defines and manages dynamically the rules of clone selection in metagenomic libraries, thought an algebraic approach based on process algebra. Furthermore, a web interface was developed to allow researchers to easily create and execute their own rules to select clones in genomic sequence database. This software has been tested in metagenomic cosmid library and it was able to select clones containing genes of interest. Copyright 2010 ACM.
Resumo:
Inspired in recent works of Biedenham [1, 2] on the realization of the q-algebra su(q)(2), We show in this note that the condition [2j + 1](q) = N-q(j) = integer, implies the discretization of the deformation parameter alpha, where q = e(alpha). This discretization replaces the continuum associated to ct by an infinite sequence alpha(1), alpha(2), alpha(3),..., obtained for the values of j, which label the irreps of su(q)(2). The algebraic properties of N-q(j) are discussed in some detail, including its role as a trace, which conducts to the Clebsch-Gordan series for the direct product of irreps. The consequences of this process of discretization are discussed and its possible applications are pointed out. Although not a necessary one, the present prescription is valuable due to its algebraic simplicity especially in the regime of appreciable values of alpha.