Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

A Time Efficient Optical Model for GATE Simulation of a LYSO Scintillation Matrix Used in PET Applications

A time efficient optical model is proposed for GATE simulation of a LYSO scintillation matrix coupled to a photomultiplier. The purpose is to avoid the excessively long computation time when activating the optical processes in GATE. The usefulness of the model is demonstrated by comparing the simulated and experimental energy spectra obtained with the dual planar head equipment for dosimetry with a positron emission tomograph ( DoPET). The procedure to apply the model is divided in two steps. Firstly, a simplified simulation of a single crystal element of DoPET is used to fit an analytic function that models the optical attenuation inside the crystal. In a second step, the model is employed to calculate the influence of this attenuation in the energy registered by the tomograph. The use of the proposed optical model is around three orders of magnitude faster than a GATE simulation with optical processes enabled. A good agreement was found between the experimental and simulated data using the optical model. The results indicate that optical interactions inside the crystal elements play an important role on the energy resolution and induce a considerable degradation of the spectra information acquired by DoPET. Finally, the same approach employed by the proposed optical model could be useful to simulate a scintillation matrix coupled to a photomultiplier using single or dual readout scheme.

Critical applications of SW 846 US EPA methods to evaluation of marine samples quality

Technical evaluation of analytical data is of extreme relevance considering it can be used for comparisons with environmental quality standards and decision-making as related to the management of disposal of dredged sediments and the evaluation of salt and brackish water quality in accordance with CONAMA 357/05 Resolution. It is, therefore, essential that the project manager discusses the environmental agency's technical requirements with the laboratory contracted for the follow-up of the analysis underway and even with a view to possible re-analysis when anomalous data are identified. The main technical requirements are: (1) method quantitation limits (QLs) should fall below environmental standards; (2) analyses should be carried out in laboratories whose analytical scope is accredited by the National Institute of Metrology (INMETRO) or qualified or accepted by a licensing agency; (3) chain of custody should be provided in order to ensure sample traceability; (4) control charts should be provided to prove method performance; (5) certified reference material analysis or, if that is not available, matrix spike analysis, should be undertaken and (6) chromatograms should be included in the analytical report. Within this context and with a view to helping environmental managers in analytical report evaluation, this work has as objectives the discussion of the limitations of the application of SW 846 US EPA methods to marine samples, the consequences of having data based on method detection limits (MDL) and not sample quantitation limits (SQL), and present possible modifications of the principal method applied by laboratories in order to comply with environmental quality standards.

Expression of matrix metalloproteinase 2 (MMP-2) and tissue inhibitor of metalloproteinase 2 (TIMP-2) in medullary thyroid carcinoma: Prognostic implications

Background: Metalloproteinase 2 (MMP-2) and tissue inhibitor of metalloproteinase 2 (TIMP-2) participate in the degeneration of the extracellular matrix and are associated with carcinogenesis. MMP-2 is one of the main metalloproteinases active in neoplasia and is a marker of the malignant phenotype. Since the biological behavior of medullary thyroid carcinoma (MTC) varies widely, the present study was undertaken to determine if there is a correlation between the clinical evolution of MTC and the immunohistochemically detected expression of these enzymes in thyroid surgical specimens containing MTC. If so, their expression would be a novel indicator of the prognosis of MTC. Methods: Thirty-seven patients with MTC who had undergone thyroid surgery were followed for an average of 73 months. Immunohistochemical staining for metalloproteinase-related enzymes was performed in surgical paraffin blocks. The clinical status of the patients after surgery and at the end of the study period was characterized to determine correlations between these and the immunohistochemical markers. A value of p < 0.05 was considered statistically significant. Results: At the end of the study period, 15 patients (40.5%) were alive and without evidence of MTC, 17 (45.9%) had persistent MTC, and 5 (13.5%) had a relapse of their neoplasia. Four patients (10.8%) died during the course of the study. There was a significant correlation (p = 0.0005) between the immunohistochemical staining for MMP-2 and the clinical condition of the patients at the end of the study period, and a correlation between the state of apparent cure compared to persistence of MTC after thyroid surgery (p = 0.0207). No significant correlations were observed between either TIMP-2 expression or immune marking of metastatic lymph nodes and the clinical variables studied. Conclusion: Immunohistochemical expression of MMP-2 in thyroid surgical specimens from patients with MTC is a novel indicator of the prognosis of this cancer.

On the use of Gram matrix in observability analysis

This letter presents some notes on the use of the Gram matrix in observability analysis. This matrix is constructed considering the rows of the measurement Jacobian matrix as vectors, and it can be employed in observability analysis and restoration methods. The determination of nonredundant pseudo-measurements (normally injections pseudo-measurements) for merging observable islands into an observable (single) system is carried out analyzing the pivots of the Gram matrix. The Gram matrix can also be used to verify local redundancy, which is important in measurement system planning. Some numerical examples` are used to illustrate these features. Others features of the Gram matrix are under study.

Dynamic Imaging in Electrical Impedance Tomography of the Human Chest With Online Transition Matrix Identification

One of the electrical impedance tomography objectives is to estimate the electrical resistivity distribution in a domain based only on electrical potential measurements at its boundary generated by an imposed electrical current distribution into the boundary. One of the methods used in dynamic estimation is the Kalman filter. In biomedical applications, the random walk model is frequently used as evolution model and, under this conditions, poor tracking ability of the extended Kalman filter (EKF) is achieved. An analytically developed evolution model is not feasible at this moment. The paper investigates the identification of the evolution model in parallel to the EKF and updating the evolution model with certain periodicity. The evolution model transition matrix is identified using the history of the estimated resistivity distribution obtained by a sensitivity matrix based algorithm and a Newton-Raphson algorithm. To numerically identify the linear evolution model, the Ibrahim time-domain method is used. The investigation is performed by numerical simulations of a domain with time-varying resistivity and by experimental data collected from the boundary of a human chest during normal breathing. The obtained dynamic resistivity values lie within the expected values for the tissues of a human chest. The EKF results suggest that the tracking ability is significantly improved with this approach.

Circulating matrix metalloproteinase-8 (MMP-8) and MMP-9 are increased in chronic periodontal disease and decrease after non-surgical periodontal therapy

Background: Periodontal disease shares risk factors with cardiovascular diseases and other systemic inflammatory diseases. The present study was designed to assess the circulating matrix metalloproteinases (MMPs) from chronic periodontal disease patients and, subsequently, after periodontal therapy. Methods: We compared the plasma concentrations of MMP-2. MMP-3, MMP-8, MMP-9, tissue inhibitor of metalloproteinase-1 (TIMP-1) and TIMP-2, and total gelatinolytic activity in patients with periodontal disease (n =28) with those of control subjects (n = 22) before and 3 months after non-surgical periodontal therapy. Results: Higher plasma MMP-3, MMP-8, and MMP-9 concentrations were found in periodontal disease patients compared with healthy controls (all P<0.05), whereas MMP-2, TIMP-1, and TIMP-2 levels were not different. Treatment decreased plasma MMP-8 and MMP-9 concentrations by 35% and 39%, respectively (both P<0.02), while no changes were found in controls. MMP-2, MMP-3, TIMP-1, and TIMP-2 remained unaltered in both groups. Plasma gelatinolytic activity was higher in periodontal disease patients compared with controls (P<0.001) and decreased after periodontal therapy (P<0.05). Conclusions: This study showed increased circulating MMP-8 and MMP-9 levels and proteolytic activity in periodontal disease patients that decrease after periodontal therapy. The effects of periodontal therapy suggest that it may attenuate inflammatory chronic diseases. (C) 2009 Published by Elsevier B.V.

Differences in both matrix metalloproteinase 9 concentration and zymographic profile between plasma and serum with clot activators are due to the presence of amorphous silica or silicate salts in blood collection devices

Matrix metalloproteinases (MMPs) are promising diagnostic tools, and blood sampling/handling alters MMP concentrations between plasma and serum and between serum with and without clot activators. To explain the higher MMP-9 expression in serum collected with clot accelerators relative to serum with no additives and to plasma, we analyzed the effects of increasing amounts of silica and silicates (components of clot activators) in,citrate plasma, serum, and huffy coats collected in both plastic and glass tubes from 50 healthy donors, and we analyzed the effects of silica and silicate on cultured leukemia cells. The levels of MMP-2 did not show significant changes between glass and plastic tubes, between serum and plasma, between serum with and without clot accelerators, or between silica and silicate treatments. No modification of MMP-9 expression was obtained by the addition of silica or silicate to previously separated plasma and serum. Increasing the amounts of nonsoluble silica and soluble silicate added to citrate and empty tubes prior to blood collection resulted in increasing levels of MMP-9 relative to citrate plasma and serum. Silica and silicate added to buffy coats and leukemia cells significantly induced MMP-9 release/secretion, demonstrating that both silica and silicate induce the release of pro- and complexed MMP-9 forms. We recommend limiting the misuse of serum and avoiding the interfering effects of clot activators. (c) 2007 Elsevier Inc. All rights reserved.

Development of novel bioanodes for ethanol biofuel cell using PAMAM dendrimers as matrix for enzyme immobilization

This paper describes the preparation and application of a novel bioanode for use in ethanol/O(2) biofuel cells based upon immobilization of alcohol dehydrogenase (ADH) and polyamidoamine (PAMAM) dendrimers onto carbon cloth platforms. The power density measurements indicated a direct relationship between the amount of anchored ADH and the anode power values, which increased upon enzyme loading. The power density values ranged from 0.04 to 0.28 mW cm(-2), and the highest power density was achieved with the bioanode prepared with 28 U of ADH, which provided a power density of 0.28 mW cm(-2) at 0.3 V. The latter power output values were the maximum observed, even for higher enzyme concentrations. Stability of the bioanodes was quite satisfactory, since there was no appreciable reduction of enzymatic activity during the measurements. The method of bioanode preparation described here has proven to be very effective. The PAMAM dendrimer represents a friendly environment for the immobilization of enzymes, and it is stable and capable of generating high power density compared to other immobilization methods. (C) 2010 Elsevier B.V. All rights reserved.

EXPRESSION OF MEMBRANE TYPE 1 MATRIX METALLOPROTEINASE IN MEDULLARY THYROID CARCINOMA: PROGNOSTIC IMPLICATIONS

Background. Clinical and pathologic examinations cannot always provide a prognosis for patients with medullary thyroid carcinoma. Membrane type 1 matrix metalloproteinase (MT1-MMP) can act directly on carcinogenesis and takes part in 1 of the processes of metalloproteinase 2 activation, an enzyme related to prognostic impairment of patients with such tumor. Methods. Thirty-five patients who were submitted to surgery were followed up for an average of 74 months, Postoperative and final medical conditions were characterized for comparison with MT1-MMP immunostainings, performed in surgical paraffin blocks. A value of p < .05 was considered statistically significant. Results. Proposed index (association of proportion and intensity of immunostaining) and proportion of immunostained cells in primary specimens were correlated with cure or persistence after initial operations (p = .0216 and p = .0098, respectively). Conclusion. MT1-MMP immunostaining in primary tumor specimens is a new and complementary prognostic predictor in patients with medullary thyroid carcinomas. (C) 2009 Wiley Periodicals, Inc. Head Neck 32: 58-67, 2010

Expression of smooth muscle and extracellular matrix proteins in relation to airway function in asthma

Background: Smooth muscle content is increased within the airway wall in patients with asthma and is likely to play a role in airway hyperresponsiveness. However, smooth muscle cells express several contractile and structural proteins, and each of these proteins may influence airway function distinctly. Objective: We examined the expression of contractile and structural proteins of smooth muscle cells, as well as extracellular matrix proteins, in bronchial biopsies of patients with asthma, and related these to lung function, airway hyperresponsiveness, and responses to deep inspiration. Methods: Thirteen patients with asthma (mild persistent, atopic, nonsmoking) participated in this cross-sectional study. FEV1 % predicted, PC20 methacholine, and resistance of the respiratory system by the forced oscillation technique during tidal breathing and deep breath were measured. Within 1 week, a bronchoscopy was performed to obtain 6 bronchial biopsies that were immunuhistochemically stained for alpha-SM-actin, desmin, myosin light chain kinase (MLCK), myosin, calponin, vimentin, elastin, type III collagen, and fibronectin. The level of expression was determined by automated densitometry. Results: PC20 methacholine was inversely related to the expression of alpha-smooth muscle actin (r = -0.62), desmin (r = -0.56), and elastin (r = -0.78). In addition, FEV1% predicted was positively related and deep inspiration-induced bronchodilation inversely related to desmin (r = -0.60), MLCK (r = -0.60), and calponin (r = -0.54) expression. Conclusion: Airway hyperresponsiveness, FEV1% predicted, and airway responses to deep inspiration are associated with selective expression of airway smooth muscle proteins and components of the extracellular matrix.

Matrix metalloproteinase-2 polymorphism is associated with prognosis in prostate cancer

Objective: Prostate cancer (PCa) is the most frequent tumor in males in Brazil. Single nucleotide polymorphisms (SNP) have been demonstrated in the promoter region of matrix metalloproteinases (MMPs) genes and have been associated with development and progression of some cancers. In this study, our aim was to investigate a possible relation between polymorphism of the promoter region of the MMP2 gene and classical prognostic parameters in prostate cancer. Materials and methods: Genomic DNA was extracted using conventional protocols. The DNA sequence containing the polymorphic site was amplified by real-time polymerase chain reaction, using fluorescent probes (TaqMan). Results: In patients with tumors of a higher stage (pT3), a polymorphic allele in the MMP2 gene was more frequent (P = 0.026) than in patients with lower tumor stage. A polymorphic allele in the MMP2 gene was more frequent in Gleason >= 7 than in Gleason <= 6 (P = 0.042). Conclusions: We conclude that MMP2 polymorphism can be used together with pathological stage and Gleason score to identify patients with worse prognosis. Our results illustrate the potential use of MMP2 SNP as a molecular marker for prostate cancer. (C) 2010 Elsevier Inc. All rights reserved.

Genetic Polymorphisms of Matrix Metalloproteinases: Susceptibility and Prognostic Implications for Prostate Cancer

Purpose: Prostate cancer is the most common tumor in males in Brazil. Single nucleotide polymorphisms have been demonstrated to exist in the promoter regions of matrix metalloproteinase genes and they are associated with the development and progression of some cancers. We investigated the correlation between MMP1, 2, 7 and 9 polymorphisms with susceptibility to prostate cancer, and classic prognostic parameters of prostate cancer. Materials and Methods: Genomic DNA was extracted using conventional protocols. The DNA sequence containing the polymorphic site was amplified by realtime polymerase chain reaction using TaqMan (R) fluorescent probes. Results: For the MMP1 gene the polymorphic allele was more common in the control group than in the prostate cancer group (p <0.001). For the MMP9 gene the incidence of the polymorphic homozygote genotype was higher in the prostate cancer group (p <0.001). For higher stage tumors (pT3) a polymorphic allele in the MMP2 gene was more common (p = 0.026). When considering Gleason score, the polymorphic homozygote genotype of MMP9 was more common in Gleason 6 or less tumors (p = 0.003), while a polymorphic allele in the MMP2 gene was more common in Gleason 7 or greater tumors (p = 0.042). Conclusions: MMP1 and MMP2 may protect against prostate cancer development and MMP9 may be related to higher risk. In contrast, MMP9 polymorphism was associated with a lower Gleason score and MMP2 polymorphism was associated with nonorgan confined disease.

Evaluation of rhBMP-2 and Natural Latex as Potential Osteogenic Proteins in Critical Size Defects by Histomorphometric Methods

This in vivo study evaluated the osteogenic potential of two proteins, recombinant human bone morphogenetic protein-2 (rhBMP-2) and a protein extracted from natural latex (Hevea brasiliensis, P-1), and compared their effects on bone defects when combined with a carrier or a collagen gelatin. Eighty-four (84) Wistar rats were divided into two groups, with and without the use of collagen gelatin, and each of these were divided into six treatment groups of seven animals each. The treatment groups were: (1) 5 mu g of pure rhBMP-2; (2) 5 mu g of rhBMP-2/monoolein gel; (3) pure monoolein gel; (4) 5 mu g of pure P-1; (5) 5 mu g of P-1/monoolein gel; (6) critical bone defect control. The animals were anesthetized and a 6 mm diameter critical bone defect was made in the left posterior region of the parietal bone. Animals were submitted to intracardiac perfusion after 4 weeks and the calvaria tissue was removed for histomorphometric analysis. In this experimental study, it was concluded that rhBMP-2 allowed greater new bone formation than P-1 protein and this process was more effective when the bone defect was covered with collagen gelatin (P < 0.05). Anat Rec, 293:794-801, 2010. (C) 2010 Wiley-Liss, Inc.

Morphologic evaluation and expression of matrix metalloproteinases-2 and 9 and nitric oxide during experimental periodontal disease in rat

The immunopathologic and inflammatory mechanisms involved in periodontal disease (PD) include the participation of host resident, inflammatory cells and chemical mediators. Metalloproteinases (MMPs) and nitric oxide (NO) play essential role in extracellular matrix turnover of periodontal tissue destruction. In this study, by means of RT-PCR through semi-quantitative densitometric scanning methods, the expression of MMPs -2 and -9 and inducible NO synthase (iNOS) was temporally and spatially investigated during the destructive mechanisms of experimentally induced PD in rats. Samples from different periods were microscopically analyzed and compared with the contralateral side (control). Our results showed significant expression of MMP-9 and iNOS in tissues affected by PD, as compared with controls, three days after PD induction, simultaneously with the beginning of alveolar bone loss. At 7 days post induction, only the MMP-9 mRNA presented a significantly higher expression, as compared with the respective controls. Thus, in the rat ligature-induced PD, MMP-9 and iNOS might importantly participate in the early stages of the disease, including inflammatory cell migration, tissue destruction and alveolar bone resorption. Also, we may suggest that the exuberant presence of PMNs may be related to the important expression of iNOS and MMP-9 found at 3 days post induction.