44 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this study was to develop a fast capillary electrophoresis method for the determination of propranolol in pharmaceutical preparations. In the method development the pH and constituents of the background electrolyte were selected using the effective mobility versus pH curves. Benzylamine was used as the internal standard. The background electrolyte was composed of 60 mmol L(-1) tris(hydroxymethyl)aminomethane and 30 mmol L(-1) 2-hydroxyisobutyric acid,at pH 8.1. Separation was conducted in a fused-silica capillary (32 cm total length and 8.5 cm effective length, 50 mu m I.D.) with a short-end injection configuration and direct UV detection at 214 nm. The run time was only 14 s. Three different strategies were studied in order to develop a fast CE method with low total analysis time for propranolol analysis: low flush time (Lflush) 35 runs/h, without flush (Wflush) 52 runs/h, and Invert (switched polarity) 45 runs/h. Since the three strategies developed are statistically equivalent, Mush was selected due to the higher analytical frequency in comparison with the other methods. A few figures of merit of the proposed method include: good linearity (R(2) > 0.9999); limit of detection of 0.5 mg L(-1): inter-day precision better than 1.03% (n = 9) and recovery in the range of 95.1-104.5%. (C) 2009 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Neste artigo apresentamos uma análise Bayesiana para o modelo de volatilidade estocástica (SV) e uma forma generalizada deste, cujo objetivo é estimar a volatilidade de séries temporais financeiras. Considerando alguns casos especiais dos modelos SV usamos algoritmos de Monte Carlo em Cadeias de Markov e o software WinBugs para obter sumários a posteriori para as diferentes formas de modelos SV. Introduzimos algumas técnicas Bayesianas de discriminação para a escolha do melhor modelo a ser usado para estimar as volatilidades e fazer previsões de séries financeiras. Um exemplo empírico de aplicação da metodologia é introduzido com a série financeira do IBOVESPA.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As dietas de baixo índice glicêmico e baixa carga glicêmica têm sido associadas à redução do risco de doenças crônicas. Por esse motivo há um interesse crescente na sua aplicação para avaliação e orientação nutricional. No entanto, existem limitações quanto ao uso de dados publicados de índice glicêmico e carga glicêmica, pela variedade e formas de processamento dos alimentos vegetais existentes. Devido à dificuldade de realização de ensaios in vivo, uma vez que são custosos, trabalhosos, invasivos e necessitam de período considerável de experimentação, foram desenvolvidas metodologias in vitro que, a partir da velocidade de digestão dos carboidratos, permitem estimar o índice glicêmico dos alimentos de forma prática, simples e econômica. O presente trabalho apresenta o uso de um marcador in vitro, o índice de hidrólise, na estimativa do índice glicêmico e da carga glicêmica, o método mais empregado por pesquisadores brasileiros, visando à sua aplicação por profissionais da área de Nutrição. Os cálculos e as interpretações para estimativa do Índice glicêmico e da carga glicêmica são apresentados por meio de um exemplo prático com alguns alimentos brasileiros e com o grão de amaranto submetido a diferentes processamentos. Na ausência de dados referentes à resposta glicêmica do alimento de interesse, os valores do marcador in vitro podem ser utilizados para estimar o índice glicêmico e a carga glicêmica dos alimentos. Porém, este marcador não deve ser utilizado indiscriminadamente, uma vez que leva em consideração apenas os fatores intrínsecos aos alimentos que influenciam o aproveitamento dos carboidratos disponíveis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

SEVERAL MODELS OF TIME ESTIMATION HAVE BEEN developed in psychology; a few have been applied to music. In the present study, we assess the influence of the distances travelled through pitch space on retrospective time estimation. Participants listened to an isochronous chord sequence of 20-s duration. They were unexpectedly asked to reproduce the time interval of the sequence. The harmonic structure of the stimulus was manipulated so that the sequence either remained in the same key (CC) or travelled through a closely related key (CFC) or distant key (CGbC). Estimated times were shortened when the sequence modulated to a very distant key. This finding is discussed in light of Lerdahl's Tonal Pitch Space Theory (2001), Firmino and Bueno's Expected Development Fraction Model (in press), and models of time estimation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

One of the standard generalized-gradient approximations (GGAs) in use in modern electronic-structure theory [Perdew-Burke-Ernzerhof (PBE) GGA] and a recently proposed modification designed specifically for solids (PBEsol) are identified as particular members of a family of functionals taking their parameters from different properties of homogeneous or inhomogeneous electron liquids. Three further members of this family are constructed and tested, together with the original PBE and PBEsol, for atoms, molecules, and solids. We find that PBE, in spite of its popularity in solid-state physics and quantum chemistry, is not always the best performing member of the family and that PBEsol, in spite of having been constructed specifically for solids, is not the best for solids. The performance of GGAs for finite systems is found to sensitively depend on the choice of constraints stemming from infinite systems. Guidelines both for users and for developers of density functionals emerge from this work.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Depression in old age is a complex multifactorial phenomenon that is influenced by several biopsychosocial variables. Depressive symptoms are associated with the presence of chronic diseases, with being female, with low education and low income levels, and with poor perceived health assessment. In impoverished areas, older adults may have more physical disability, as they may have less access to health services. Therefore, they may be more likely to report depressive symptoms. Methods: Population-based cross-sectional research was undertaken using data from the FIBRA study conducted in Ermelino Matarazzo, a poor subdistrict of the city of Sao Paulo, Brazil. The participants comprised 303 elderly people, aged 65 years and over, who attended a single-session data collection effort carried out at community centers. The protocol comprised sociodemographic and self-reported health variables, and the Geriatric Depression Scale. Results: The majority of the subjects reported five or fewer symptoms of depression (79.21%), reported one or two self-reported chronic diseases (56.86%), declared themselves to have one or two self-reported health problems (46.15%), and had good perceived health assessment (40.27%). The presence of depressive symptoms was associated with a higher number of self-reported health problems, poor perceived health assessment, and lower schooling levels, in the total sample and in analyses including men only. For women, depressive symptoms were associated with the number of self-reported health problems and family income. Conclusion: The presence of health problems, such as falls and memory problems, lower perceived health, and low education (and low family income for women) were associated with a higher presence of depressive symptoms among elderly people in this poor area of Sao Paulo.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

To analyse the sensitivity and specificity of clinical indicators of ineffective airway clearance in children with congenital heart disease and to identify the indicators that have high predictive power. The precise establishment of nursing diagnoses has been found to be one of the factors contributing to higher quality of care and cost reduction in healthcare institutions. The use of indicators to diagnose ineffective airway clearance could improve care of children with congenital heart disease. Longitudinal study. Participants consisted of 45 children, <= 1 year of age, with congenital heart disease, who had not had definitive or palliative surgical correction. Six assessments were made at 2-day intervals. Each clinical indicator was defined based on previously established operational criteria. Sensitivity, specificity and positive and negative predictive values of each indicator were calculated based on a model for the longitudinal data. A nursing diagnosis of ineffective airway clearance was made in 31% of patients on the first assessment, rising to 71% on the last assessment, for a 40% increase. Sensitivity was highest for Changes in Respiratory Rates/Rhythms (0.99), followed by Adventitious Breath Sounds (0.97), Sputum Production (0.85) and Restlessness (0.53). Specificity was higher for Sputum Production (0.92), followed by Restlessness (0.73), Adventitious Breath Sounds (0.70) and Changes in Respiratory Rates/Rhythms (0.17). The best positive predictive values occurred for Sputum Production (0.93) and Adventitious Breath Sounds (0.80). Adventitious Breath Sounds followed by Sputum Production were the indicators that had the best overall sensitivity and specificity as well as the highest positive predictive values. The use of simple indicators in nursing diagnoses can improve identification of ineffective airway clearance in children with congenital heart disease, thus leading to early treatment of the problem and better care for these children.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work is related to the so-called non-conventional finite element formulations. Essentially, a methodology for the enrichment of the initial approximation which is typical of the meshless methods and based on the clouds concept is introduced in the hybrid-Trefftz formulation for plane elasticity. The formulation presented allows for the approximation and direct enrichment of two independent fields: stresses in the domains and displacements on the boundaries of the elements. Defined by a set of elements and interior boundaries sharing a common node, the cloud notion is employed to select the enrichment support for the approximation fields. The numerical analysis performed reveals an excellent performance of the resulting formulation, characterized by the good approximation ability and a reduced computational effort. Copyright (C) 2009 John Wiley & Sons, Ltd.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Learning Object (OA) is any digital resource that can be reused to support learning with specific functions and objectives. The OA specifications are commonly offered in SCORM model without considering activities in groups. This deficiency was overcome by the solution presented in this paper. This work specified OA for e-learning activities in groups based on SCORM model. This solution allows the creation of dynamic objects which include content and software resources for the collaborative learning processes. That results in a generalization of the OA definition, and in a contribution with e-learning specifications.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Due to rain events historical monuments exposed to the atmosphere are frequently submitted to wet and dry cycles. During drying periods wetness is maintained in some confined regions and the corrosion product layer, generally denominated patinas, builds up and gets thicker. The aim of this study is to use electrochemical impedance spectroscopy (EIS) to investigate the electrochemical behaviour of pure copper coated with two artificial patina layers and submitted either to continuous or to intermittent immersion tests, this latter aiming to simulate wet and dry cycles. The experiments were performed in 0.1 mol dm(-3) NaCl solution and in artificial rainwater containing the most significant pollutants of the city of Sao Paulo. The results of the continuous immersion tests in the NaCl solution have shown that the coated samples behave like a porous electrode with finite pore length. On the other hand, in the intermittent tests a porous electrode response with semi-infinite pore length can be developed. The results were interpreted based on the model of de Levie and a critical comparison with previous interpretations reported in the literature for similar systems is presented. (C) 2011 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Duration of untreated psychosis (DUP) depends on several factors, including socio-demographic, socioeconomic, clinical and contextual circumstances, such as availability of mental health services. Living arrangements may also play a role, especially in low- and middle-income countries, where most people who develop psychosis live with their relatives. Methods: Population-based study of first-episode psychosis in Sao Paulo, Brazil. Participants were aged 18-64 years, lived in a defined geographic area of the city and had a first contact in life with mental health services due to a psychotic episode. Duration of untreated psychosis was defined as the period between onset of first psychotic symptom and first contact with health service due to psychosis. The median DUP was used to classify participants into short and long DUP. Psychopathology, social adjustment and psychiatric diagnoses were made with standardized assessments. Type of service sought and living arrangements were examined. Results: Two hundred participants were included (52% women, 61% non-affective psychoses). The median DUP was 4.1 weeks (inter-quartile range: 1.9-11.4), and was shorter for affective psychoses. Most participants had their first contact with psychiatric emergency services. Those who did not live with a relative (children older than 18 years, parents, partner) were more likely to present long DUP (OR: 2.63; 95%Cl: 0.98-7.04); p = 0.05). Conclusion: The DUP in Sao Paulo was shorter than expected. Living arrangements may play an important role in shortening the DUP in urban centres of low- and middle income countries that have a network of mental health services. (C) 2009 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A previous mathematical model explaining dengue in Singapore predicted a reasonable outbreak of about 6500 cases for 2006 and a very mild outbreak with about 2000 cases for 2007. However, only 3051 cases were reported in 2006 while more than 7800 were reported in the first 44 weeks of 2007. We hypothesized that the combination of haze with other local sources of particulate matter had a significant impact on mosquito life expectancy, significantly increasing their mortality rate. To test the hypothesis a mathematical model based on the reproduction number of dengue fever and aimed at comparing the impact of several possible alternative control strategies was proposed. This model also aimed at contributing to the understanding of the causes of dengue resurgence in Singapore in the last decade. The model`s simulation demonstrated that an increase in mosquito mortality in 2006 and either a reduction in mortality or an increase in the carrying capacity of mosquitoes in 2007 explained the patterned observed in Singapore. Based on the model`s simulation we concluded that the fewer than expected number of dengue cases in Singapore in 2006 was caused by an increase in mosquito mortality due to the disproportionate haze affecting the country that year and that particularly favourable environmental conditions in 2007 propitiated mosquitoes with a lower mortality rate, which explains the greater than expected number of dengue cases in 2007. Whether our hypothesis is plausible or not should be debated further.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of the present article was to present the series operated by a Liver Transplant Group of the interior of the State of Sao Paulo, Brazil. Sixty patients were transplanted from May 2001 to May 2007. Thirty percent of the patients had alcoholic cirrhosis. 18.3% had C virus-induced cirrhosis, 10% had C virus- and alcohol-induced cirrhosis, 6% had B virus-induced cirrhosis, 13.3% had cryptogenic cirrhosis, 8.3% autoimmune cirrhosis, 13.3% had familial amyloidotic polyneuropathy (FAP), and 13.3% had hepatocellular carcinomas. The series was divided by a chronological criterion into two periods: A (n = 42) and B (n = 18) with the latter group operated based upon the Model for End-stage Liver Disease (MELD) criterion. Sixty-nine percent were men. Age ranged from 14 to 66 years. Period A included 12% Child A: 59.2%, Child B; 24%, Child C; and 4.8%, FAR Period B comprises 22.2% Child A: 11.1%, Child B: 33.3%, Child C: and 33.3%, FAP. MELD scores ranged from 8 to 35 for period A and from 14 to 31 for period B. Intraoperative mortality was 2/42 patients for period A and 0/18 for period B, overall postoperative mortality was 40% including for period A, 35% among Child B and C patients, and 5 % among FAP and Child A patients (P <.05) and 16.6% for period B among 11. 1 % Child B patients and 5.5 % FAP patients; 3.3 % of patients required retransplantation due to hepatic artery thrombosis. Real postoperative survival was 60% during period A and 83.3% during period B, with an overall survival rate of 67% for the two periods. The present results show levels of postoperative mortality, (especially during period B), and survival rates similar to those reported by several other centers in Brazil.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objectives: Collagen disorganization is one of the main degradation patterns found in unsuccessful adhesive restorations. The hypothesis of this study was that pretreatment using natural collagen cross-linking agents rich in proanthocyanidin (PA) would improve mechanical properties and stability over time of the dentin collagen and, thus, confer a more resistant and lasting substrate for adhesive restorations. Methods: PA-based extracts, from grape seed (GSE), cocoa seed (CSE), cranberry (CRE), cinnamon (CNE) and acai berry (ACE) were applied over the demineralized dentin. The apparent elastic modulus (E) of the treated dentin collagen was analyzed over a 12 month period. Specimens were immersed in the respective solution and E values were obtained by a micro-flexural test at baseline, 10, 30, 60, 120 and 240 min. Samples were stored in artificial saliva and re-tested after 3, 6 and 12 months. Data was analyzed using ANOVA and Tukey test. Results: GSE and CSE extracts showed a time-dependent effect and were able to improve [240 min (MPa): GSE = 108.96 +/- 56.08: CSE = 59.21 +/- 24.87] and stabilize the E of the organic matrix [12 months (MPa): GSE = 40.91 +/- 19.69; CSE = 42.11 +/- 13.46]. CRE and CNE extracts were able to maintain the E of collagen matrices constant over 12 months [CRE = 11.17 +/- 7.22; CNE = 9.96 +/- 6.11; MPa]. ACE (2.64 +/- 1.22 MPa) and control groups immersed in neat distilled water (1.37 +/- 0.69 MPa) and ethanol-water (0.95 +/- 0.33 MPa) showed no effect over dentin organic matrix and enable their degradation and reduction of mechanical properties. Significance: Some PA-based extracts were capable of improving and stabilizing collagen matrices through exogenous cross-links induction. (C) 2011 Elsevier Ltd. All rights reserved.