985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The use of genome-scale metabolic models has been rapidly increasing in fields such as metabolic engineering. An important part of a metabolic model is the biomass equation since this reaction will ultimately determine the predictive capacity of the model in terms of essentiality and flux distributions. Thus, in order to obtain a reliable metabolic model the biomass precursors and their coefficients must be as precise as possible. Ideally, determination of the biomass composition would be performed experimentally, but when no experimental data are available this is established by approximation to closely related organisms. Computational methods however, can extract some information from the genome such as amino acid and nucleotide compositions. The main objectives of this study were to compare the biomass composition of several organisms and to evaluate how biomass precursor coefficients affected the predictability of several genome-scale metabolic models by comparing predictions with experimental data in literature. For that, the biomass macromolecular composition was experimentally determined and the amino acid composition was both experimentally and computationally estimated for several organisms. Sensitivity analysis studies were also performed with the Escherichia coli iAF1260 metabolic model concerning specific growth rates and flux distributions. The results obtained suggest that the macromolecular composition is conserved among related organisms. Contrasting, experimental data for amino acid composition seem to have no similarities for related organisms. It was also observed that the impact of macromolecular composition on specific growth rates and flux distributions is larger than the impact of amino acid composition, even when data from closely related organisms are used.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

INTRODUCTION & OBJECTIVES: Urothelial tumors of upper urinary tract are ranked among the most common types of cancers worldwide. The current standard therapy to prevent recurrence is intravesical Bacillus Calmetteâ Guerin (BCG) immunotherapy, but it presents several disadvantages such as BCG failure and intolerance. Another way is to use chemotherapy, which is generally better tolerated that BCG. In this case, drugs such as epirubicin, doxorubicin, paclitaxel and gemcitabine are used. Nevertheless, intravesical chemotherapy only prevents recurrence in the short-term. These failings can be partially attributed to the short residence time and low bioavailability of the drug within the upper urinary tract and the cancer cells, resulting in a need for frequent drug instillation. To avoid these problems, biodegradable ureteral stents impregnated by supercritical fluid CO2 (SCF) with each of the four anti-cancer drugs were produced. MATERIAL & METHODS: Four formulations with different concentrations of gelatin and alginate and crosslink agent were tested and bismuth was added to confer radiopaque properties to the stent. The preliminary in vivo validation studies in female domestic pigs was conducted at the University of Minho, Braga, after formal approval by the institutionâ s review board and in accordance with its internal ethical protocol for animal experiments. Paclitaxel, epirubicin, doxorubicin and gemcitabine were impregnated in the stents and the release kinetics was measured in artificial urine solution (AUS) for 9 days by UV spectroscopy in a microplate reader. The anti-tumoral effect of the developed stents in transitional cell carcinoma (TCC) and HUVEC primary cells, used as control, was evaluated. RESULTS: The in vivo validation of this second-generation of ureteral stents performed was herein demonstrated. Biodegradable ureteral stents were placed in the ureters of a female pigs, following the normal surgical procedure. The animals remained asymptomatic, with normal urine flow. The in vitro release study in AUS of the stent impregnated showed a higher release in the first 72h for the four anti-cancer drugs impregnated after this time the plateau was achieved and the stent degraded after 9 days. The direct and indirect contact of the anti-cancer biodegradable stents with the TCC and HUVEC cell lines confirm the anti-tumor effect of the stents impregnated with the four anti-cancer drugs, reducing around 75% of the viability of the TCC cell line after 72h and no killing effect in the HUVEC cells. CONCLUSIONS: The use of biodegradable ureteral stent in urology clinical practice not only reduce the stent-related symptoms but also open new treatment therapyâ s, like in urothelial tumors of upper urinary tract. Furthermore, we have demonstrated the clinical validation in vivo pig model. This study has thus shown the killing efficacy of the anti-cancer drug eluting biodegradable stents in vitro for the TCC cell line, with no toxicity observed in the control, non-cancerous cells.The direct and indirect contact of the anti-cancer biodegradable stents with the TCC and HUVEC cell lines confirm the anti-tumor effect of the stents impregnated with the four anti-cancer drugs, reducing around 75% of the viability of the TCC cell line after 72h and no killing effect in the HUVEC cells. This study has thus shown the killing efficacy of the anti-cancer drug eluting biodegradable stents in vitro for the TCC cell line, with no toxicity observed in the control, non-cancerous cells.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Relevância:

20.00% 20.00%

Publicador:

Resumo:

"Series title: Springerbriefs in applied sciences and technology, ISSN 2191-530X"

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado em Ciências da Educação (área de especialização em Educação de Adultos)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To evaluate the use of the intraaortic balloon (IAoB) in association with coronary angioplasty in high-risk patients. METHODS: Fourteen high-risk patients unresponsive to clinical therapy and with formal contraindication to surgical revascularization were treated by coronary angioplasty, most of which was followed by stenting. All procedures were performed with circulatory support with the IAoB. This study reports the early results and the late findings after 12 months of follow-up. Six patients had multivessel coronary disease; of these, four had left main equivalent lesions and two had unprotected left main coronary artery disease, one of whom had severe "end-vessel" stenosis and the other was a patient with Chagas' disease with single-vessel lesion. Eleven patients had a left ventricular ejection fraction <30%. RESULTS: In 100% of the patients, the procedures were initially successful. Two patients had severe bleeding during the withdrawal of the left femoral sheath. At the end of twelve months, 4 patients were asymptomatic and the others were clinically controlled. There were two late deaths in the 7th and 11th months. CONCLUSION: The combined use of the intraaortic balloon pump and percutaneous coronary angioplasty in high-risk patients with acute ischemic syndromes provides the necessary hemodynamic stability to successfully perform the procedures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents an automated optimization framework able to provide network administrators with resilient routing configurations for link-state protocols, such as OSPF or IS-IS. In order to deal with the formulated NP-hard optimization problems, the devised framework is underpinned by the use of computational intelligence optimization engines, such as Multi-objective Evolutionary Algorithms (MOEAs). With the objective of demonstrating the framework capabilities, two illustrative Traffic Engineering methods are described, allowing to attain routing configurations robust to changes in the traffic demands and maintaining the network stable even in the presence of link failure events. The presented illustrative results clearly corroborate the usefulness of the proposed automated framework along with the devised optimization methods.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

"Series: Solid mechanics and its applications, vol. 226"

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE - The aim of our study was to assess the profile of a wrist monitor, the Omron Model HEM-608, compared with the indirect method for blood pressure measurement. METHODS - Our study population consisted of 100 subjects, 29 being normotensive and 71 being hypertensive. Participants had their blood pressure checked 8 times with alternate techniques, 4 by the indirect method and 4 with the Omron wrist monitor. The validation criteria used to test this device were based on the internationally recognized protocols. RESULTS - Our data showed that the Omron HEM-608 reached a classification B for systolic and A for diastolic blood pressure, according to the one protocol. The mean differences between blood pressure values obtained with each of the methods were -2.3 +7.9mmHg for systolic and 0.97+5.5mmHg for diastolic blood pressure. Therefore, we considered this type of device approved according to the criteria selected. CONCLUSION - Our study leads us to conclude that this wrist monitor is not only easy to use, but also produces results very similar to those obtained by the standard indirect method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To assess, in myocardium specimens obtained from necropsies, the correlation between the concentration of hydroxyproline, measured with the photocolorimetric method, and the intensity of fibrosis, determined with the morphometric method. METHODS: Left ventricle myocardium samples were obtained from 45 patients who had undergone necropsy, some of them with a variety of cardiopathies and others without any heart disease. The concentrations of hydroxyproline were determined with the photocolorimetric method. In the histologic sections from each heart, the myocardial fibrosis was quantified by using a light microscope with an integrating ocular lens. RESULTS: A median of, respectively, 4.5 and 4.3 mug of hydroxyproline/mg of dry weight was found in fixed and nonfixed left ventricle myocardium fragments. A positive correlation occurred between the hydroxyproline concentrations and the intensity of fibrosis, both in the fixed (Sr=+0.25; p=0.099) and in the nonfixed (Sr=+0.32; p=0.03) specimens. CONCLUSION: The biochemical methodology was proven to be adequate, and manual morphometry was shown to have limitations that may interfere with the statistical significance of correlations for the estimate of fibrosis intensity in the human myocardium.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To evaluate the performance of the turbidimetric method of C-reactive protein (CRP) as a measure of low-grade inflammation in patients admitted with non-ST elevation acute coronary syndromes (ACS). METHODS: Serum samples obtained at hospital arrival from 68 patients (66±11 years, 40 men), admitted with unstable angina or non-ST elevation acute myocardial infarction were used to measure CRP by the methods of nephelometry and turbidimetry. RESULTS: The medians of C-reactive protein by the turbidimetric and nephelometric methods were 0.5 mg/dL and 0.47 mg/dL, respectively. A strong linear association existed between the 2 methods, according to the regression coefficient (b=0.75; 95% C.I.=0.70-0.80) and correlation coefficient (r=0.96; P<0.001). The mean difference between the nephelometric and turbidimetric CRP was 0.02 ± 0.91 mg/dL, and 100% agreement between the methods in the detection of high CRP was observed. CONCLUSION: In patients with non-ST elevation ACS, CRP values obtained by turbidimetry show a strong linear association with the method of nephelometry and perfect agreement in the detection of high CRP.