977 resultados para Cook-Levin SAT SAT-solver
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Condition of hypoxia caused by hypertrophy of adipose cells in obesity triggers macrophages recruitment and production of cytokines. Additionally, high consumption of saturated fatty acids (SFA) and high glycemic index meals may contribute to oxidative stress and chronic low-grade inflammation by increases NF-kB activation. Thus, the aim of the study was to analyze the contribution of the macronutrients intake in the metabolic and inflammatory profile, by levels of lipoproteins, insulin resistance, anti and pro inflammatory cytokines, in obese adolescents according the gender. sample was composed by 37 adolescents, both genders, identified as obese by body mass index (BMI). Body composition was assessed by Dual-energy X-ray absorptiometry (DEXA) and measures of intra-abdominal adiposity (IAAT) and subcutaneous adiposity tissue (SAT) were done by ultrasound. Biochemical analyses were done and the measurement of cytokines; fatty acids and insulin were performed by the technique of immunoassay ELISA. The estimation of macronutrients consumption was made by 3 day food register regarding food intake. Statistical significance was set at p-value < 5% and the statistical software SPSS version 17.0 (SPSS Inc, Chicago, IL) performed all analyses. BMI (p = 0.316), FM (p = 0.416), IAAT (p = 0.505) and SAT (p = 0.935) presented similarities between genders. Cytokines and metabolic variables values were similar between the groups. Only in the male group, metabolic variables and cytokines were significant correlated with the consumption of total lipids or its fractions. Was observed that insulin concentration had significant interaction with MUFA(g) (= -18.4; p = 0.004) and adiponectin with CHO(g) (= -58.2; p = 0.032) in the group male and female, respectively. macronutrients intake is associated with low-grade inflammation in obesity, by production of inflammatory cytokines and alteration of the lipid profile, especially male obese adolescents which seem to be more responsive of this consumption when compared with female obese adolescents.
Resumo:
The aim of this study was to evaluate the influence of systemic administration of antibiotics (amoxicillin and tetracycline) at the different phases of the repair process (7, 15, 30 days) in immediate rat tooth replantation. Ninety rats had their incisors extracted and stored in saline for 5 min. Next, the teeth were replanted, and the animals were assigned to three groups according to the antibiotic administered by oral gavage: control group, amoxycillin group, and tetracycline group. Euthanasia was performed at 7, 15, and 30 days after replantation. Regardless of the evaluation period, the connective tissue underlying the epithelial attachment and the periodontal ligament showed statistically significant difference relative to the acute inflammatory infiltrate, which was more intense in the control group followed by the tetracycline group. These results point to the fact that systemic antibiotic therapy (SAT) in immediate tooth replantation is beneficial to pulpal and periodontal ligament repair and that amoxycillin is an excellent option. There is a lack of randomized studies assessing how the use of systemic antibiotics could influence tooth healing after immediate replantation.
Resumo:
Systemic antibiotic therapy (SAT) has usually been recommended after tooth replantation, but its actual value has been questioned. As there are no reports in the literature about its influence on tooth replantation, the aim of this study was to evaluate the influence of systemic administration of antibiotics (amoxicillin and tetracycline) at the different phases of the repair process (7, 15, 30 days) in delayed rat tooth replantation. Ninety Wistar rats (Rattus norvegicus albinus) had their maxillary right incisors extracted and bench-dried for 60 min. The dental papilla, enamel organ, pulp tissue, and root surface-adhered periodontal ligament were removed, and the teeth were replanted. The animals received no antibiotics (n = 30) or were medicated systemically with amoxicillin (n = 30) and tetracycline (n = 30), and were euthanized after 7, 15, and 30 days. Regardless of the evaluation period, the acute inflammatory infiltrate was less intense and root resorption presented smaller extent and depth in the group treated with amoxicillin. The results suggest that SAT has a positive influence on the repair process in delayed tooth replantation and that amoxicillin is an excellent treatment option.
Resumo:
The aim of study was to verify what tactical behaviors differ winner from loser teams in small sized games in youth soccer players. The tactical performance of winners and losers teams was compared through of System of Tactical Assessment in Soccer (FUT-SAT). Three thousand eight hundred and eight tactical actions were carried out by seventy-two youth soccer players from the under-11 (n=12), under-13 (n=12), under-15 (n=30) and under-17 (n=18) categories of Portuguese teams. Twenty four teams were composed to analyze, each team carried out one match (12 match analyzed). Each team was composed by three line players with goalkeeper which was not analyzed in test. The statistical analysis was performed thought the SPSS 17.0 software for Windows. A descriptive analyze and the KolmogorovSmirnov, Chi-square, Mann-Whitney U and T-Test tests to the independent samples was carried out, and the Cohen’s Kappa test to determining of the sample reability. Considering 76 variables analyzed, 12 presented significant differences among players of winners and loses teams. The players of the winner teams presented superiority in Macro-Category Action, in the Defensive tactical principles, Equilibrium and Defensive Unity. In the category Local of action in the Field, the winner teams presented superiority in the number of defensive actions performed in the defensive midfielder. In the category Result of the action, the variables Keep without the ball, Retrieving the ball possession and Shots on goal the winner teams presented higher results, while in variables Losing the ball possession and Suffering shot on goal the loser teams presented higher results. In the Performance Macro-Category, the superiority of the winners was showed by better Tactical Performance Index (TPI) in the Penetration principles, Offensive Unity, and in the Offensive phase of the game. The results demonstrated that the winner players presented superiority in both stages of the game.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Killer whale predation on belugas in Cook Inlet, Alaska, has become a concern since the decline of these belugas was documented during the 1990s. Accordingly, killer whale sightings were compiled from systematic surveys, observer databases, and anecdotal accounts. Killer whales have been relatively common in lower Cook Inlet (at least 100 sightings from 1975 to 2002), but in the upper Inlet, north of Kalgin Island, sightings were infrequent (18 in 27 yr), especially prior to the 1990s. Beach cast beluga carcasses with teeth marks and missing flesh also provided evidence of killer whale predation. Most observed killer whale/beluga interactions were in the upper Inlet. During 11 of 15 observed interactions, belugas were obviously injured or killed, either through direct attacks or indirectly as a result of stranding. Assuming at least one beluga mortality occurred during the other four encounters, we can account for 21 belugas killed between 1985 and 2002. This would suggest a minimum estimate of roughly l/yr and does not include at least three instances where beluga calves accompanied an adult that was attacked.
Resumo:
During autumn 2003, several thousand European starlings (Sturnus vulgaris) began roosting on exposed I-beams in a newly constructed, decorative glass canopy that covered the passenger pick-up area at the terminal building for Cleveland Hopkins International Airport, Ohio. The use of lethal control or conventional dispersal techniques, such as pyrotechnics and fire hoses, were not feasible in the airport terminal area. The design and aesthetics of the structure precluded the use of netting and other exclusion materials. In January 2004, an attempt was made to disperse the birds using recorded predator and distress calls broadcast from speakers installed in the structure. This technique failed to disperse the birds. In February 2004, we developed a technique using compressed air to physically and audibly harass the birds. We used a trailer-mounted commercial air compressor producing 185 cubic feet per minute of air at 100 pounds per square inch pressure and a 20-foot long, 1-inch diameter PVC pipe attached to the outlet hose. One person slowly (< 5 mph) drove a pick-up truck through the airport terminal at dusk while the second person sat on a bench in the truck bed and directed the compressed air from the pipe into the canopy to harass starlings attempting to enter the roost site. After 5 consecutive nights of compressed-air harassment, virtually no starlings attempted to roost in the canopy. Once familiar with the physical effects of the compressed air, the birds dispersed at the sound of the air. Only occasional harassment at dusk was needed through the remainder of the winter to keep the canopy free of starlings. Similar harassment with the compressor was conducted successfully in autumn 2004 with the addition of a modified leaf blower, wooden clappers, and laser. In conclusion, we found compressed air to be a safe, unobtrusive, and effective method for dispersing starlings from an urban roost site. This technique would likely be applicable for other urban-roosting species such as crows, house sparrows, and blackbirds.
Resumo:
Edward M. Cook's new book makes an excellent addition to the growing list of "introductions" to the Dead Sea Scrolls. Aimed primarily at a Christian lay and clerical audience, it succeeds admirably in leading its readers through the labyrinthine world of Scroll scholarship and controversy. The book divides itself into two uneven parts. In the first part, chapters 1-4, Cook deals with the discovery of the Scrolls in 1947 and the subsequent history of their decipherment and (often delayed) publication. Cook's treatment of this controversial topic is the most fair and evenhanded I have ever read; he has done meticulous research, reading many accounts of the Scrolls, from Edmund Wilson's in the 1950's to the latest journal articles from 1993. The result is a highly readable account of the finding and purchase of the Scrolls, the appointment of an international team of scholars to decipher and publish them, the delays in publication (including the results of the Six Day War in 1967, when most of the Scroll fragments fell into Israeli hands), and the controversy surrounding then editor-in-chief John Strugnell and the release of the photographs in the late 1980's and early 1990's. Cook is objective and fair throughout, but particularly striking is his sympathetic portrayal of the original seven member editorial team.
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.
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)
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.
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.