1000 resultados para proofs by induciton


Relevância:

30.00% 30.00%

Publicador:

Resumo:

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The micellization of a homologous series of zwitterionic surfactants, a group of sulfobetaines, was studied using isothermal titration calorimetry (ITC) in the temperature range from 15 to 65 °C. The increase in both temperature and the alkyl chain length leads to more negative values of ΔGmic(0) , favoring the micellization. The entropic term (ΔSmic(0)) is predominant at lower temperatures, and above ca. 55-65 °C, the enthalpic term (ΔHmic(0)) becomes prevalent, figuring a jointly driven process as the temperature increases. The interaction of these sulfobetaines with different polymers was also studied by ITC. Among the polymers studied, only two induced the formation of micellar aggregates at lower surfactant concentration: poly(acrylic acid), PAA, probably due to the formation of hydrogen bonds between the carboxylic group of the polymer and the sulfonate group of the surfactant, and poly(sodium 4-styrenesulfonate), PSS, probably due to the incorporation of the hydrophobic styrene group into the micelles. The prevalence of the hydrophobic and not the electrostatic contributions to the interaction between sulfobetaine and PSS was confirmed by an increased interaction enthalpy in the presence of electrolytes (NaCl) and by the observation of a significant temperature dependence, the latter consistent with the proposed removal of hydrophobic groups from water.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Basic phospholipases A2 (PLA2) are toxic and induce a wide spectrum of pharmacological effects, although the acidic enzyme types are not lethal or cause low lethality. Therefore, it is challenging to elucidate the mechanism of action of acidic phospholipases. This study used the acidic non-toxic Ba SpII RP4 PLA2 from Bothrops alternatus as an antigen to develop anti-PLA2 IgG antibodies in rabbits and used in vivo assays to examine the changes in crude venom when pre-incubated with these antibodies. Using Ouchterlony and western blot analyses on B. alternatus venom, we examined the specificity and sensitivity of phospholipase A2 recognition by the specific antibodies (anti-PLA2 IgG). Neutralisation assays using a non-toxic PLA2 antigen revealed unexpected results. The (indirect) haemolytic activity of whole venom was completely inhibited, and all catalytically active phospholipases A2 were blocked. Myotoxicity and lethality were reduced when the crude venom was pre-incubated with anti-PLA2 immunoglobulins. CK levels in the skeletal muscle were significantly reduced at 6 h, and the muscular damage was more significant at this time-point compared to 3 and 12 h. When four times the LD50 was used (224 μg), half the animals treated with the venom-anti PLA2 IgG mixture survived after 48 h. All assays performed with the specific antibodies revealed that Ba SpII RP4 PLA2 had a synergistic effect on whole-venom toxicity. IgG antibodies against the venom of the Argentinean species B. alternatus represent a valuable tool for elucidation of the roles of acidic PLA2 that appear to have purely digestive roles and for further studies on immunotherapy and snake envenoming in affected areas in Argentina and Brazil.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Valproic acid (VPA) and trichostatin A (TSA) are known histone deacetylase inhibitors (HDACIs) with epigenetic activity that affect chromatin supra-organization, nuclear architecture, and cellular proliferation, particularly in tumor cells. In this study, chromatin remodeling with effects extending to heterochromatic areas was investigated by image analysis in non-transformed NIH 3T3 cells treated for different periods with different doses of VPA and TSA under conditions that indicated no loss of cell viability. Image analysis revealed chromatin decondensation that affected not only euchromatin but also heterochromatin, concomitant with a decreased activity of histone deacetylases and a general increase in histone H3 acetylation. Heterochromatin protein 1-α (HP1-α), identified immunocytochemically, was depleted from the pericentromeric heterochromatin following exposure to both HDACIs. Drastic changes affecting cell proliferation and micronucleation but not alteration in CCND2 expression and in ratios of Bcl-2/Bax expression and cell death occurred following a 48-h exposure of the NIH 3T3 cells particularly in response to higher doses of VPA. Our results demonstrated that even low doses of VPA (0.05 mM) and TSA (10 ng/ml) treatments for 1 h can affect chromatin structure, including that of the heterochromatin areas, in non-transformed cells. HP1-α depletion, probably related to histone demethylation at H3K9me3, in addition to the effect of VPA and TSA on histone H3 acetylation, is induced on NIH 3T3 cells. Despite these facts, alterations in cell proliferation and micronucleation, possibly depending on mitotic spindle defects, require a longer exposure to higher doses of VPA and TSA.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Yellowing is an undesirable phenomenon that is common in people with white and grey hair. Because white hair has no melanin, the pigment responsible for hair colour, the effects of photodegradation are more visible in this type of hair. The origin of yellowing and its relation to photodegradation processes are not properly established, and many questions remain open in this field. In this work, the photodegradation of grey hair was investigated as a function of the wavelength of incident radiation, and its ultrastructure was determined, always comparing the results obtained for the white and black fibres present in grey hair with the results of white wool. The results presented herein indicate that the photobehaviour of grey hair irradiated with a mercury lamp or with solar radiation is dependent on the wavelength range of the incident radiation and on the initial shade of yellow in the sample. Two types of grey hair were used: (1) blended grey hair (more yellow) and (2) grey hair from a single-donor (less yellow). After exposure to a full-spectrum mercury lamp for 200 h, the blended white hair turned less yellow (the yellow-blue difference, Db(*) becomes negative, Db(*)=-6), whereas the white hair from the single-donor turned slightly yellower (Db(*)=2). In contrast, VIS+IR irradiation resulted in bleaching in both types of hair, whereas a thermal treatment (at 81 °C) caused yellowing of both types of hair, resulting in a Db(*)=3 for blended white hair and Db(*)=9 for single-donor hair. The identity of the yellow chromophores was investigated by UV-Vis spectroscopy. The results obtained with this technique were contradictory, however, and it was not possible to obtain a simple correlation between the sample shade of yellow and the absorption spectra. In addition, the results are discussed in terms of the morphology differences between the pigmented and non-pigmented parts of grey hair, the yellowing and bleaching effects of grey hair, and the occurrence of dark-follow reactions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ca(2+)/calmodulin-dependent protein kinase II (CaMKII) functions both in regulation of insulin secretion and neurotransmitter release through common downstream mediators. Therefore, we hypothesized that pancreatic ß-cells acquire and store the information contained in calcium pulses as a form of metabolic memory, just as neurons store cognitive information. To test this hypothesis, we developed a novel paradigm of pulsed exposure of ß-cells to intervals of high glucose, followed by a 24-h consolidation period to eliminate any acute metabolic effects. Strikingly, ß-cells exposed to this high-glucose pulse paradigm exhibited significantly stronger insulin secretion. This metabolic memory was entirely dependent on CaMKII. Metabolic memory was reflected on the protein level by increased expression of proteins involved in glucose sensing and Ca(2+)-dependent vesicle secretion, and by elevated levels of the key ß-cell transcription factor MAFA. In summary, like neurons, human and mouse ß-cells are able to acquire and retrieve information.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study investigated the effect of simulated microwave disinfection (SMD) on the linear dimensional changes, hardness and impact strength of acrylic resins under different polymerization cycles. Metal dies with referential points were embedded in flasks with dental stone. Samples of Classico and Vipi acrylic resins were made following the manufacturers' recommendations. The assessed polymerization cycles were: A-- water bath at 74ºC for 9 h; B-- water bath at 74ºC for 8 h and temperature increased to 100ºC for 1 h; C-- water bath at 74ºC for 2 h and temperature increased to 100ºC for 1 h;; and D-- water bath at 120ºC and pressure of 60 pounds. Linear dimensional distances in length and width were measured after SMD and water storage at 37ºC for 7 and 30 days using an optical microscope. SMD was carried out with the samples immersed in 150 mL of water in an oven (650 W for 3 min). A load of 25 gf for 10 sec was used in the hardness test. Charpy impact test was performed with 40 kpcm. Data were submitted to ANOVA and Tukey's test (5%). The Classico resin was dimensionally steady in length in the A and D cycles for all periods, while the Vipi resin was steady in the A, B and C cycles for all periods. The Classico resin was dimensionally steady in width in the C and D cycles for all periods, and the Vipi resin was steady in all cycles and periods. The hardness values for Classico resin were steady in all cycles and periods, while the Vipi resin was steady only in the C cycle for all periods. Impact strength values for Classico resin were steady in the A, C and D cycles for all periods, while Vipi resin was steady in all cycles and periods. SMD promoted different effects on the linear dimensional changes, hardness and impact strength of acrylic resins submitted to different polymerization cycles when after SMD and water storage were considered.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

High-throughput screening of physical, genetic and chemical-genetic interactions brings important perspectives in the Systems Biology field, as the analysis of these interactions provides new insights into protein/gene function, cellular metabolic variations and the validation of therapeutic targets and drug design. However, such analysis depends on a pipeline connecting different tools that can automatically integrate data from diverse sources and result in a more comprehensive dataset that can be properly interpreted. We describe here the Integrated Interactome System (IIS), an integrative platform with a web-based interface for the annotation, analysis and visualization of the interaction profiles of proteins/genes, metabolites and drugs of interest. IIS works in four connected modules: (i) Submission module, which receives raw data derived from Sanger sequencing (e.g. two-hybrid system); (ii) Search module, which enables the user to search for the processed reads to be assembled into contigs/singlets, or for lists of proteins/genes, metabolites and drugs of interest, and add them to the project; (iii) Annotation module, which assigns annotations from several databases for the contigs/singlets or lists of proteins/genes, generating tables with automatic annotation that can be manually curated; and (iv) Interactome module, which maps the contigs/singlets or the uploaded lists to entries in our integrated database, building networks that gather novel identified interactions, protein and metabolite expression/concentration levels, subcellular localization and computed topological metrics, GO biological processes and KEGG pathways enrichment. This module generates a XGMML file that can be imported into Cytoscape or be visualized directly on the web. We have developed IIS by the integration of diverse databases following the need of appropriate tools for a systematic analysis of physical, genetic and chemical-genetic interactions. IIS was validated with yeast two-hybrid, proteomics and metabolomics datasets, but it is also extendable to other datasets. IIS is freely available online at: http://www.lge.ibi.unicamp.br/lnbio/IIS/.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In Brazil, the consumption of extra-virgin olive oil (EVOO) is increasing annually, but there are no experimental studies concerning the phenolic compound contents of commercial EVOO. The aim of this work was to optimise the separation of 17 phenolic compounds already detected in EVOO. A Doehlert matrix experimental design was used, evaluating the effects of pH and electrolyte concentration. Resolution, runtime and migration time relative standard deviation values were evaluated. Derringer's desirability function was used to simultaneously optimise all 37 responses. The 17 peaks were separated in 19min using a fused-silica capillary (50μm internal diameter, 72cm of effective length) with an extended light path and 101.3mmolL(-1) of boric acid electrolyte (pH 9.15, 30kV). The method was validated and applied to 15 EVOO samples found in Brazilian supermarkets.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

P2X7 receptors play an important role in inflammatory hyperalgesia, but the mechanisms involved in their hyperalgesic role are not completely understood. In this study, we hypothesized that P2X7 receptor activation induces mechanical hyperalgesia via the inflammatory mediators bradykinin, sympathomimetic amines, prostaglandin E2 (PGE2), and pro-inflammatory cytokines and via neutrophil migration in rats. We found that 2'(3')-O-(4-benzoylbenzoyl)adenosine 5'-triphosphate triethylammonium salt (BzATP), the most potent P2X7 receptor agonist available, induced a dose-dependent mechanical hyperalgesia that was blocked by the P2X7 receptor-selective antagonist A-438079 but unaffected by the P2X1,3,2/3 receptor antagonist TNP-ATP. These findings confirm that, although BzATP also acts at both P2X1 and P2X3 receptors, BzATP-induced hyperalgesia was mediated only by P2X7 receptor activation. Co-administration of selective antagonists of bradykinin B1 (Des-Arg(8)-Leu(9)-BK (DALBK)) or B2 receptors (bradyzide), β1 (atenolol) or β2 adrenoceptors (ICI 118,551), or local pre-treatment with the cyclooxygenase inhibitor indomethacin or the nonspecific selectin inhibitor fucoidan each significantly reduced BzATP-induced mechanical hyperalgesia in the rat hind paw. BzATP also induced the release of the pro-inflammatory cytokines tumor necrosis factor α (TNF-α), interleukin (IL)-1β, IL-6 and cytokine-induced neutrophil chemoattractant-1 (CINC-1), an effect that was significantly reduced by A-438079. Co-administration of DALBK or bradyzide with BzATP significantly reduced BzATP-induced IL-1β and CINC-1 release. These results indicate that peripheral P2X7 receptor activation induces mechanical hyperalgesia via inflammatory mediators, especially bradykinin, which may contribute to pro-inflammatory cytokine release. These pro-inflammatory cytokines in turn may mediate the contributions of PGE2, sympathomimetic amines and neutrophil migration to the mechanical hyperalgesia induced by local P2X7 receptor activation.