4 resultados para Cook-Levin SAT SAT-solver

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A novel amperometric sensor based on the incorporation of ruthenium oxide hexacyanoferrate (RuOHCF) into multiwalled carbon nanotubes (MWCNTs) immobilized on a glassy carbon electrode is described. Cyclic voltammetry experiments indicated that the cathodic reduction of hydrogen peroxide at the RuOHCF/MWCNTs100/GC modified electrode is facilitated, occurring at 0.0 V vs. Ag/AgCl/KCl(sat). Following the optimization of the experimental conditions, the proposed sensor presented excellent analytical properties for hydrogen peroxide determination, with a low limit of detection (4.7 mu mol L-1), a large dynamic concentration range (0.1-10 mmol L-1) and a sensitivity of 1280 mu A mmol(-1) L cm(-2). The usefulness of the RuOHCF/MWCNTs100/GC electrochemical sensor was confirmed by monitoring the consumption of hydrogen peroxide during the degradation of phenol by the Fenton reaction. (C) 2012 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Disrupted circadian rhythms are associated with obesity and metabolic alterations, but little is known about the participation of peripheral circadian clock machinery in these processes. The aim of the present study was to analyze RNA expression of clock genes in subcutaneous (SAT) and visceral (VAT) adipose tissues of male and female subjects in AM (morning) and PM (afternoon) periods, and its interactions with body mass index (BMI). Ninety-one subjects (41 +/- 11 yrs of age) presenting a wide range of BMI (21.4 to 48.6 kg/m(2)) were included. SAT and VAT biopsies were obtained from patients undergoing abdominal surgeries. Clock genes expressions were evaluated by qRT-PCR. The only clock gene that showed higher expression (p < .0001) in SAT in comparison to VAT was PER1 of female (372%) and male (326%) subjects. Different patterns of expression between the AM and PM periods were observed, in particular REV-ERBa, which was reduced (p < .05) at the PM period in SAT and VAT of both women and men (women: similar to 53% lower; men: similar to 78% lower), whereas CLOCK expression was not altered. Relationships between clock genes were different in SAT vs. VAT. BMI was negatively correlated with SATPER1 (r = -.549; p = .001) and SATPER2 (r = -.613; p = .0001) and positively with VATCLOCK (r = .541; p = .001) and VATBMAL1 (r = .468; p = .007) only in women. These data suggest that the circadian clock machinery of adipose tissue depots differs between female and male subjects, with a sex-specific effect observed for some genes. BMI correlated with clock genes, but at this moment it is not possible to establish the cause-effect relationship. (Author correspondence: mzanquetta@gmail.com)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Successful international clones have recently emerged among Escherichia coli that produce CTX-M beta-lactamases as important causes of community-onset urinary tract and bloodstream infections. One hundred and seven isolates that belong to sequence types (STs) ST38, ST131, ST405, ST648, and 38 nonrelated CTX-M producing E. coli from Canada and the Netherlands were assigned to phylogenetic groups and tested for the presence of genes encoding for virulence factors (VFs) using established multiplex polymerase chain reaction. The STs E. coli were significantly more resistant to antibiotics-ST38, ST405, and ST648 belonged to phylogenetic group D while ST131 belonged to B2. Secreted autotransporter toxin (sat), aerobactin receptor, and pathogenicity island marker were significantly more common among the STs; the heat-resistant agglutinin (hra) was present in ST38, sat, and uropathogenic-specific protein, and putative adhesin-siderophore receptor was more common in ST131, while outer membrane protease T was present in ST648. ST131 had a significantly higher VF score. In conclusion, the precise role of these VFs remains to be elucidated; however, we have identified certain putative VFs that possibly contribute to the fitness and success of certain sequence types. (C) 2012 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The modern GPUs are well suited for intensive computational tasks and massive parallel computation. Sparse matrix multiplication and linear triangular solver are the most important and heavily used kernels in scientific computation, and several challenges in developing a high performance kernel with the two modules is investigated. The main interest it to solve linear systems derived from the elliptic equations with triangular elements. The resulting linear system has a symmetric positive definite matrix. The sparse matrix is stored in the compressed sparse row (CSR) format. It is proposed a CUDA algorithm to execute the matrix vector multiplication using directly the CSR format. A dependence tree algorithm is used to determine which variables the linear triangular solver can determine in parallel. To increase the number of the parallel threads, a coloring graph algorithm is implemented to reorder the mesh numbering in a pre-processing phase. The proposed method is compared with parallel and serial available libraries. The results show that the proposed method improves the computation cost of the matrix vector multiplication. The pre-processing associated with the triangular solver needs to be executed just once in the proposed method. The conjugate gradient method was implemented and showed similar convergence rate for all the compared methods. The proposed method showed significant smaller execution time.