Optimal clone identifier based on dynamic rules and process algebra

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.

Computational analysis and physico-chemical characterization of an inclusion compound between praziquantel and methyl-beta-cyclodextrin for use as an alternative in the treatment of schistosomiasis

Schistosomiasis is still an endemic disease in many regions, with 250 million people infected with Schistosoma and about 500,000 deaths per year. Praziquantel (PZQ) is the drug of choice for schistosomiasis treatment, however it is classified as Class II in the Biopharmaceutics Classification System, as its low solubility hinders its performance in biological systems. The use of cyclodextrins is a useful tool to increase the solubility and bioavailability of drugs. The aim of this work was to prepare an inclusion compound of PZQ and methyl-beta-cyclodextrin (MeCD), perform its physico-chemical characterization, and explore its in vitro cytotoxicity. SEM showed a change of the morphological characteristics of PZQ:MeCD crystals, and IR data supported this finding, with changes after interaction with MeCD including effects on the C-H of the aromatic ring, observed at 758 cm(-1). Differential scanning calorimetry measurements revealed that complexation occurred in a 1:1 molar ratio, as evidenced by the lack of a PZQ transition temperature after inclusion into the MeCD cavity. In solution, the PZQ UV spectrum profile in the presence of MeCD was comparable to the PZQ spectrum in a hydrophobic solvent. Phase solubility diagrams showed that there was a 5.5-fold increase in PZQ solubility, and were indicative of a type A(L) isotherm, that was used to determine an association constant (K(a)) of 140.8 M(-1). No cytotoxicity of the PZQ:MeCD inclusion compound was observed in tests using 3T3 cells. The results suggest that the association of PZQ with MeCD could be a good alternative for the treatment of schistosomiasis.

A computational tool to assist the analysis of the transformer behavior related to lightning

This paper proposes the application of computational intelligence techniques to assist complex problems concerning lightning in transformers. In order to estimate the currents related to lightning in a transformer, a neural tool is presented. ATP has generated the training vectors. The input variables used in Artificial Neural Networks (ANN) were the wave front time, the wave tail time, the voltage variation rate and the output variable is the maximum current in the secondary of the transformer. These parameters can define the behavior and severity of lightning. Based on these concepts and from the results obtained, it can be verified that the overvoltages at the secondary of transformer are also affected by the discharge waveform in a similar way to the primary side. By using the tool developed, the high voltage process in the distribution transformers can be mapped and estimated with more precision aiding the transformer project process, minimizing empirics and evaluation errors, and contributing to minimize the failure rate of transformers. (C) 2011 Elsevier Ltd. All rights reserved.

Monte Carlo thermodynamic and structural properties of the TIP4P water model: dependence on the computational conditions

Classical Monte Carlo simulations were carried out on the NPT ensemble at 25°C and 1 atm, aiming to investigate the ability of the TIP4P water model [Jorgensen, Chandrasekhar, Madura, Impey and Klein; J. Chem. Phys., 79 (1983) 926] to reproduce the newest structural picture of liquid water. The results were compared with recent neutron diffraction data [Soper; Bruni and Ricci; J. Chem. Phys., 106 (1997) 247]. The influence of the computational conditions on the thermodynamic and structural results obtained with this model was also analyzed. The findings were compared with the original ones from Jorgensen et al [above-cited reference plus Mol. Phys., 56 (1985) 1381]. It is notice that the thermodynamic results are dependent on the boundary conditions used, whereas the usual radial distribution functions g(O/O(r)) and g(O/H(r)) do not depend on them.

Arithmetic fuchsian groups and space time block codes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

Strand Analysis, a free online program for the computational identification of the best RNA interference (RNAi) targets based on Gibbs free energy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Structural studies of prephenate dehydratase from Mycobacterium tuberculosis H37Rv by SAXS, ultracentrifugation, and computational analysis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Deformations of N=2 superconformal algebra and supersymmetric two-component Camassa-Holm equation

This paper is concerned with a link between central extensions of N = 2 superconformal algebra and a supersymmetric two-component generalization of the Camassa-Holm equation. Deformations of superconformal algebra give rise to two compatible bracket structures. One of the bracket structures is derived from the central extension and admits a momentum operator which agrees with the Sobolev norm of a co-adjoint orbit element. The momentum operator induces, via Lenard relations, a chain of conserved Hamiltonians of the resulting supersymmetric Camassa-Holm hierarchy.

Mass generation from Lie algebra extensions

Applied to the electroweak interactions, the theory of Lie algebra extensions suggests a mechanism by which the boson masses are generated without resource to spontaneous symmetry breaking. It starts from a gauge theory without any additional scalar field. All the couplings predicted by the Weinberg-Salam theory are present, and a few others which are nevertheless consistent within the model.

Lorentz-violating dilatations in momentum space and some extensions on nonlinear actions of Lorentz-algebra-preserving systems

We work on some general extensions of the formalism for theories which preserve the relativity of inertial frames with a nonlinear action of the Lorentz transformations on momentum space. Relativistic particle models invariant under the corresponding deformed symmetries are presented with particular emphasis on deformed dilatation transformations. The algebraic transformations relating the deformed symmetries with the usual (undeformed) ones are provided in order to preserve the Lorentz algebra. Two distinct cases are considered: a deformed dilatation transformation with a spacelike preferred direction and a very special relativity embedding with a lightlike preferred direction. In both analysis we consider the possibility of introducing quantum deformations of the corresponding symmetries such that the spacetime coordinates can be reconstructed and the particular form of the real space-momentum commutator remains covariant. Eventually feasible experiments, for which the nonlinear Lorentz dilatation effects here pointed out may be detectable, are suggested.

Discretizing the deformation parameter in the su(q)(2) quantum algebra

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.

Wavelet-Galerkin method for one-dimensional elastoplasticity and damage problems: Constitutive modeling and computational aspects

This work presents an analysis of the wavelet-Galerkin method for one-dimensional elastoplastic-damage problems. Time-stepping algorithm for non-linear dynamics is presented. Numerical treatment of the constitutive models is developed by the use of return-mapping algorithm. For spacial discretization we can use wavelet-Galerkin method instead of standard finite element method. This approach allows to locate singularities. The discrete formulation developed can be applied to the simulation of one-dimensional problems for elastic-plastic-damage models. (C) 2007 Elsevier B.V. All rights reserved.