Integrated stress response of Escherichia coli to methylglyoxal : transcriptional readthrough from the nemRA operon enhances protection through increased expression of glyoxalase I

© 2013 The Authors. Molecular Microbiology published by John Wiley & Sons Ltd.Peer reviewedPublisher PD

Parallelization of the SUFI2 algorithm: a Windows HPC approach.

The Soil and Water Assessment Tool (SWAT) has been used for evaluating land use changes on water resources worldwide, and like many models, SWAT requires calibration. However, the execution time of these calibrations can be rather long, reducing the time available for proper analysis. This paper presents a Windows approach for calibrating SWAT using a multinodal cluster computer, composed of six computers with i7 processors (3.2 GHz; 12 cores), 8 GB RAM and 1 TB HDD each. The only requirement for this type of cluster is to have 64-bit processors. Our computers were setup with Windows Server HPC 2012 R2, a network switch 10/100, and regular Ethernet cables. We used the SUFI2 algorithm that comes with SWAT-CUP package to perform calibrations with 100 simulations at node level. Calibration runs were configured as follows: 1-12 (1 process interval), and 12-72 (12 processes interval), resulting in 17 runs. Each run was repeated three times, and results are presented as the mean execution time, in order to minimize any influence of resources fluctuations. Results showed that time of execution was reduced by almost half by using nine processes (15 min) in comparison with the one node control (28 min). We observed a linear decrease of execution time from one to nine processes. With additional processes, execution time increased about 23% and stabilized at 80% of the control. All processing is divided into five steps: distribute files (2.24% of all processing time), organize samples (0.89%), run SWAT (47.59%), collect results (46.51%) and cleanup (0.28%)

On Deciding Local Theory Extensions via E-matching

Satisfiability Modulo Theories (SMT) solvers incorporate decision procedures for theories of data types that commonly occur in software. This makes them important tools for automating verification problems. A limitation frequently encountered is that verification problems are often not fully expressible in the theories supported natively by the solvers. Many solvers allow the specification of application-specific theories as quantified axioms, but their handling is incomplete outside of narrow special cases. In this work, we show how SMT solvers can be used to obtain complete decision procedures for local theory extensions, an important class of theories that are decidable using finite instantiation of axioms. We present an algorithm that uses E-matching to generate instances incrementally during the search, significantly reducing the number of generated instances compared to eager instantiation strategies. We have used two SMT solvers to implement this algorithm and conducted an extensive experimental evaluation on benchmarks derived from verification conditions for heap-manipulating programs. We believe that our results are of interest to both the users of SMT solvers as well as their developers

Correlation-Strength Driven Anderson Metal-Insulator Transition

The possibility of driving an Anderson metal-insulator transition in the presence of scale-free disorder by changing the correlation exponent is numerically investigated. We calculate the localization length for quasi-one-dimensional systems at fixed energy and fixed disorder strength using a standard transfer matrix method. From a finite-size scaling analysis we extract the critical correlation exponent and the critical exponent characterizing the phase transition.Comment: 3 pages; 2 figure

Efeito da uréia no alongamento e enraizamento de microplantas de bananeira in vitro.

A micropropagação de bananeira (Musa spp.) via ápices caulinares já está bem estabelecida para diversas cultivares. Entretanto, podem ser feitos aperfeiçoamentos nos protocolos visando a obtenção de mudas mais vigorosas. Objetivou-se, neste trabalho, verificar a adição de nitrogênio na forma de uréia em diferentes concentrações (0, 100, 200, 400 e 800 mg L-1), no alongamento e enraizamento de brotos das cultivares Grande Naine, Prata Anã, Maçã e Nanicão. Houve efeito positivo da uréia no crescimento dos explantes, na produção de raízes e de massa seca para a cultivar Maçã, até 200 mg L-1 de uréia. As cultivares Prata Anã e Grande Naine não foram beneficiadas com a adição de uréia, e a concentração de 800 mg L-1 gerou morte das microplantas dessas cultivares e da cultivar Maçã. 'Nanicão' foi mais tolerante às altas concentrações de uréia, e a concentração de 800 mg L-1 foi ótima para seu desenvolvimento. Além disso, a uréia induziu brotações em 'Nanicão' nas concentrações mais baixas