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


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study aimed to determine the optimal intake of lysine and threonine for broiler breeder hens. Two experiments were conducted to evaluate the responses of birds to digestible lysine (Lys) and threonine (Thr). Eight treatments were assessed in both experiments, with six replicates of eight birds in the Lys experiment and ten birds in the Thr experiment. The dietary levels of Lys and Thr were obtained by a dilution technique. The experimental period was ten weeks for each amino acid studied, which included six weeks of adaptation and four weeks of data collection. The amino acid intake, egg mass and body weight were adjusted using a Reading model. Based on the model coefficients, the cost of the synthetic amino acids sources and the price of fertile eggs determined the intake of each amino acid to maximize. The minimum intake of Lys and Thr reduced egg production by 40 and 30%, respectively, the weight of the eggs decreased by 12 and 9% with the same intake of Lys and Thr, respectively. The models generated by predicting Lys and Thr intake were as follows: Lys=11 x E+31 x W and Thr=9.5 x E+32 x W, where E=egg mass, g/bird per day, and W=body weight, kg/bird. Based on the models, 3 kg birds with an egg mass production of 50 g/day require 643 mg/bird per day of Lys and 569 mg/bird per day of Thr. The optimum economic intake was calculated at 954 and 834 mg/bird per day for Lys and Thr, respectively, reflecting a dietary concentration of 0.636% Lys and 0.556% Thr for a feed intake of 150 g/bird per day. (C) 2015 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Educação - FCT

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of this study was to investigate the effectiveness of implementing the Self-Regulated Strategy Development (SRSD) model of instruction (Graham & Harris, 2005; Harris & Graham, 1996) on the writing skills and writing self-regulation, attitudes, self-efficacy, and knowledge of 6 first grade students. A multiple-baseline design across participants with multiple probes (Kazdin, 2010) was used to test the effectiveness of the SRSD instructional intervention. Each participant was taught an SRSD story writing strategy as well as self-regulation strategies. All students wrote stories in response to picture prompts during the baseline, instruction, independent performance, and maintenance phases. Stories were assessed for essential story components, length, and overall quality. All participants also completed a writing attitude scale, a writing self-efficacy scale, and participated in brief interviews during the baseline and independent performance phases. Results indicated that SRSD can be beneficial for average first grade writers. Participants wrote stories that contained more essential components, were longer, and of better quality after SRSD instruction. Participants also showed some improvement in writing self-efficacy from pre- to post-instruction. All of the students maintained positive writing attitudes throughout the study.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVE: To assess the prevalence of asthma and risk factors associated in children and adolescents. METHODS: Population-based cross-sectional study with 1,185 female and male children and adolescents carried out in the city of Sao Paulo, Southeastern Brazil, from 2008 to 2009. Data were collected through home interviews. Respondents were selected from two-stage (census tract, household) cluster random sampling stratified by gender and age. Multiple Poisson regression was used in the adjusted analysis between the outcome and socioeconomic, demographic, lifestyle and health condition variables. RESULTS: Of all respondents, 9.1% (95%CI 7.0; 11.7) reported asthma. After adjustment, the following variables were found independently associated with asthma: age (0 to 4 years vs. 15 to 19) (PR 3.18, 95%CI 1.20;8.42); age (5 to 9 years vs. 15 to 19) (PR 6.37, 95%CI 2.64;15.39); age (10 to 14 years vs. 15 to 19) (PR 4.51,95%CI 1.95;10.40); allergy (yes vs. no) (PR 2.22, 95%CI 1.24;4.00); rhinitis (yes vs. no) (PR 2.13, 95%CI 1.22;3.73); health conditions in the 15 days preceding the interview (yes vs. no) (PR 1.96, 95%CI 1.23;3.11); number of rooms in the household (1 to 3 vs. 4 and more) (PR 1.67, 95%CI 1.05;2.66); and skin color (black and mixed vs. white) (PR 2.00, 95%CI 1.14;3.49). CONCLUSIONS: This study showed the importance of factors associated with asthma including rhinitis and allergy; age between 5 to 9 years old; black and mixed skin color; and household with few rooms. Frequent health problems are seen as a common consequence of asthma.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVES: Hemodynamic support is aimed at providing adequate O-2 delivery to the tissues; most interventions target O-2 delivery increase. Mixed venous O-2 saturation is a frequently used parameter to evaluate the adequacy of O-2 delivery. METHODS: We describe a mathematical model to compare the effects of increasing O-2 delivery on venous oxygen saturation through increases in the inspired O-2 fraction versus increases in cardiac output. The model was created based on the lungs, which were divided into shunted and non-shunted areas, and on seven peripheral compartments, each with normal values of perfusion, optimal oxygen consumption, and critical O-2 extraction rate. O-2 delivery was increased by changing the inspired fraction of oxygen from 0.21 to 1.0 in steps of 0.1 under conditions of low (2.0 L.min(-1)) or normal (6.5 L.min(-1)) cardiac output. The same O-2 delivery values were also obtained by maintaining a fixed O-2 inspired fraction value of 0.21 while changing cardiac output. RESULTS: Venous oxygen saturation was higher when produced through increases in inspired O-2 fraction versus increases in cardiac output, even at the same O-2 delivery and consumption values. Specifically, at high inspired O-2 fractions, the measured O-2 saturation values failed to detect conditions of low oxygen supply. CONCLUSIONS: The mode of O-2 delivery optimization, specifically increases in the fraction of inspired oxygen versus increases in cardiac output, can compromise the capability of the "venous O-2 saturation" parameter to measure the adequacy of oxygen supply. Consequently, venous saturation at high inspired O-2 fractions should be interpreted with caution.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper consists of a review of the literature about dividend policy in Brazil, focusing on the empirical studies conducted from 1990 to 2010 that were published in major Brazilian administration, accounting and finance journals and major conference proceedings on this subject. The analyzed sample comprised 39 studies using various methods and conducted in various periods. Based on the model of Harris and Raviv (1991), this paper grouped studies according to model type, and it found five main categories. We were able to find some tendencies, such as: dividend policy relevance in the Brazilian market; confirmation of existence of agency problems; conflicting findings regarding the clientele hypothesis; tax signaling in, and tax impact on, defining dividend policy; non-conflicting findings regarding key factors of dividend policy..

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article analyses the changes in Brazilian food retailing by investigating the co-existence of, and the pricing variation across, large supermarket chains and small independent supermarkets. It uses cointegration tests to show that, despite the widespread belief that small supermarkets are inefficient and charge higher prices, they in fact charge lower prices. Accordingly, in contrast to the prevailing literature on food-retail development, competition in food retail is complex and cannot be described as a simple Darwinian process of market concentration. The article explores the survival of small retail and its consequences for the current discussion on modern food retail in developing countries.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background Cost-effectiveness studies have been increasingly part of decision processes for incorporating new vaccines into the Brazilian National Immunisation Program. This study aimed to evaluate the cost-effectiveness of 10-valent pneumococcal conjugate vaccine (PCV10) in the universal childhood immunisation programme in Brazil. Methods A decision-tree analytical model based on the ProVac Initiative pneumococcus model was used, following 25 successive cohorts from birth until 5 years of age. Two strategies were compared: (1) status quo and (2) universal childhood immunisation programme with PCV10. Epidemiological and cost estimates for pneumococcal disease were based on National Health Information Systems and literature. A 'top-down' costing approach was employed. Costs are reported in 2004 Brazilian reals. Costs and benefits were discounted at 3%. Results 25 years after implementing the PCV10 immunisation programme, 10 226 deaths, 360 657 disability-adjusted life years (DALYs), 433 808 hospitalisations and 5 117 109 outpatient visits would be avoided. The cost of the immunisation programme would be R$10 674 478 765, and the expected savings on direct medical costs and family costs would be R$1 036 958 639 and R$209 919 404, respectively. This resulted in an incremental cost-effectiveness ratio of R$778 145/death avoided and R$22 066/DALY avoided from the society perspective. Conclusion The PCV10 universal infant immunisation programme is a cost-effective intervention (1-3 GDP per capita/DALY avoided). Owing to the uncertain burden of disease data, as well as unclear long-term vaccine effects, surveillance systems to monitor the long-term effects of this programme will be essential.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background Previous studies have established that mycobacterial infections ameliorate allergic inflammation. However, a non-infectious approach that controls allergic responses might represent a safer and more promising strategy. The 60-65 kDa heat shock protein (Hsp) family is endowed with anti-inflammatory properties, but it is still unclear whether and how single mycobacterial Hsp control allergic disorders. Objective Therefore, in this study we determined whether the administration of Mycobacterial leprae Hsp65 expressed by recombinant a DNA plasmid could attenuate a previously established allergic response. Methods We used an experimental model of airway allergic inflammation to test the effects of immunotherapy with DNA encoding Hsp65. Allergic mice, previously sensitized and challenged with ovalbumin, were treated with tree intramuscular doses of recombinant DNA encoding Hsp65. After treatment, mice received a second allergen challenge and the allergic response was measured. Results We found that immunotherapy attenuated eosinophilia, pulmonary inflammation, Th2 cytokine and mucus production. Moreover, we showed that the inhibition of allergic response is dependent on IL-10 production. Both Hsp65 and allergen-specific IL-10-producing cells contributed to this effect. Cells transferred from DNA-immunized mice to allergic mice migrated to allergic sites and down-modulated the Th2 response. Conclusions and Clinical Relevance Our findings clearly show that immunotherapy with DNA encoding Hsp65 can attenuate an established Th2 allergic inflammation through an IL-10-dependent mechanism; moreover, the migration of allergen-and Hsp65-specific cells to the allergic sites exerts a fundamental role. This work represents a novel contribution to the understanding of immune regulation by Hsp65 in allergic diseases.