On theory multiple contraction

The one which is considered the standard model of theory change was presented in [AGM85] and is known as the AGM model. In particular, that paper introduced the class of partial meet contractions. In subsequent works several alternative constructive models for that same class of functions were presented, e.g.: safe/kernel contractions ([AM85, Han94]), system of spheres-based contractions ([Gro88]) and epistemic entrenchment-based contractions ([G ar88, GM88]). Besides, several generalizations of such model were investigated. In that regard we emphasise the presentation of models which accounted for contractions by sets of sentences rather than only by a single sentence, i.e. multiple contractions. However, until now, only two of the above mentioned models have been generalized in the sense of addressing the case of contractions by sets of sentences: The partial meet multiple contractions were presented in [Han89, FH94], while the kernel multiple contractions were introduced in [FSS03]. In this thesis we propose two new constructive models of multiple contraction functions, namely the system of spheres-based and the epistemic entrenchment-based multiple contractions which generalize the models of system of spheres-based and of epistemic entrenchment-based contractions, respectively, to the case of contractions (of theories) by sets of sentences. Furthermore, analogously to what is the case in what concerns the corresponding classes of contraction functions by one single sentence, those two classes are identical and constitute a subclass of the class of partial meet multiple contractions. Additionally, and as the rst step of the procedure that is here followed to obtain an adequate de nition for the system of spheres-based multiple contractions, we present a possible worlds semantics for the partial meet multiple contractions analogous to the one proposed in [Gro88] for the partial meet contractions (by one single sentence). Finally, we present yet an axiomatic characterization for the new class(es) of multiple contraction functions that are here introduced.

O tratamento ortodôntico em uma perspectiva a longo prazo: avaliação da estabilidade oclusal e do grau de satisfação dos pacientes

This study aimed to evaluate factors associated to orthodontic treatment stability and patient satisfaction in the long-term. A total of 209 patients (88 class I and 121 class II) treated with straight wire fixed appliance were selected at least 5 years post treatment. Six hundred twenty seven dental casts were examined with the PAR Index at pretreatment (T1), end of treatment (T2), and at long-term follow up (T3, mean 8.5 years post treatment). At T3, a Dental Impact on Daily Living questionnaire was used to assess patient satisfaction with the dentition in the long-term. Friedman test and multiple regression analysis were used to evaluate changes among the time points and factors associated with stability and patient satisfaction. Predictive factors used to exam the occlusion were: PAR Index at T1 and T2, age at T1, the amount of time without retainer, length of Hawley retainer wear, length of follow-up, sex, extraction and third molar status. To assess patient satisfaction were considered: changes produced by the orthodontic treatment (PAR T2-T1), post treatment stability (PAR T3), age at the start of treatment (T1), length of treatment (T2-T1), gender, and extraction. Orthodontic treatment produced a significant improvement of 94.2% in the PAR Index (T2-T1), but this change was not associated with the level of satisfaction when the patient was questioned at T3. No significant change was observed between T2 and T3. However, when the sample was divided according to the level of finalization (PAR T2), it was observed that well-finished patients experienced some deterioration (P<.001), whereas the less well-finished ones showed some improvement (P<.05). Even with the deterioration, the well-finished patients still had a better PAR Index at T3 compared to the less well-finished ones (PAR T2- T3). Regression analysis showed that PAR Index at T1 and T2, age at T1, and length of retainer wear had a slight association with occlusal stability (R2 = 0.27). Patient satisfaction was significantly associated only with PAR Index at T3 (r2=0.125, P<.0001). We can conclude that, even thought orthodontic treatment is quite stable, not so well-finished treatments tend to show some improvement and well-finished ones deteriorate some in the long-term. Despite of that, well-finished patients still have better occlusal characteristics. Patient satisfaction is not related to the result of orthodontic treatment; nevertheless, there is a slight association with dentition in the long-term

Bundle Block Adjustment of CBERS-2B HRC Imagery Combining Control Points and Lines

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

Effect of haematocrit on pump and kidney dysfunction after myocardial revascularization

Objective - Kidney dysfunction is a common complication after cardiac surgery. It occurs in 7 to 31% of the patients. The lowest haematocrit after cardiopulmonary bypass surgery (LHCT) has been identified as a risk factor for kidney dysfunction after cardiac surgery. The aim of this study is to determine whether different levels of haematocrit during cardiopulmonary bypass surgery are related to kidney dysfunction.Methods and results-A prospective study was conducted on consecutive adult patients undergoing myocardial revascularization. Preoperative renal function was assessed by baseline serum creatinine level (CrPre). Peak postoperative creatinine (CrPost) was defined as the highest daily in-hospital postoperative value. Peak fractional change in creatinine (% Delta Cr) was defined as the difference between the CrPre and CrePost represented as a percentage of the preoperative value. The LHTC was defined as the lowest recorded haematocrit prior to weaning from the initial pump run. A category variable was created for haematocrit based on the distribution of values. The category variable had the following cut-off points: less than 23%, 23.1 to 28% and greater than 28.1 %. Lowest haematocrit (26.62 +/- 4.15%), CPB (74.71 +/- 24.90 min), CrPre (1.23 +/- 0.37 mg/dl) and highest CrPost (1.52 +/- 0.47 mg/dl) data varied in near-normal fashion. Statistical significance has been observed in the < 23% lowest haematocrit group (CrIPOD and Cr5POD; P = 0.006) and the 23.1 28% lowest haematocrit level group (CrPre and Cr2POD; P = 0.047). CrPre and Cr5POD did not differ between groups (P > 0.05). The multiple linear regression model confirmed that the determinants for higher %Delta Cr were age, body surface area and preoperative serum creatinine level.Conclusion - The LHTC was not identified as a risk factor for kidney dysfunction after myocardial revascularization.

Predictors of health status do not change over three-year periods and exacerbation makes difference in chronic obstructive pulmonary disease

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

Immunization with pVAXhsp65 Decreases Inflammation and Modulates Immune Response in Experimental Encephalomyelitis

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

Experimental autoimmune encephalomyelitis evolution was not modified by multiple infections with Strongyloides venezuelensis

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

Chromosome spreading of associated transposable elements and ribosomal DNA in the fish Erythrinus erythrinus. Implications for genome change and karyoevolution in fish

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

Are large-scale distributional shifts of the blue-winged macaw (Primolius maracana) related to climate change?

Aim To evaluate whether observed geographical shifts in the distribution of the blue-winged macaw (Primolius maracana) are related to ongoing processes of global climate change. This species is vulnerable to extinction and has shown striking range retractions in recent decades, withdrawing broadly from southern portions of its historical distribution. Its range reduction has generally been attributed to the effects of habitat loss; however, as this species has also disappeared from large forested areas, consideration of other factors that may act in concert is merited.Location Historical distribution of the blue-winged macaw in Brazil, eastern Paraguay and northern Argentina.Methods We used a correlative approach to test a hypothesis of causation of observed shifts by reduction of habitable areas mediated by climate change. We developed models of the ecological niche requirements of the blue-winged macaw, based on point-occurrence data and climate scenarios for pre-1950 and post-1950 periods, and tested model predictivity for anticipating geographical distributions within time periods. Then we projected each model to the other time period and compared distributions predicted under both climate scenarios to assess shifts of habitable areas across decades and to evaluate an explanation for observed range retractions.Results Differences between predicted distributions of the blue-winged macaw over the twentieth century were, in general, minor and no change in suitability of landscapes was predicted across large areas of the species' original range in different time periods. No tendency towards range retraction in the south was predicted, rather conditions in the southern part of the species' range tended to show improvement for the species.Main conclusions Our test permitted elimination of climate change as a likely explanation for the observed shifts in the distribution of the blue-winged macaw, and points rather to other causal explanations (e.g. changing regional land use, emerging diseases).

Invasive Africanized honeybees change the structure of native pollination networks in Brazil

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

An analytical and numerical study of plane change maneuvers using aerodynamic force

The goal of the present work is to analyze space missions that use the terrestrial atmosphere to accomplish orbital maneuvers that involve a plane change. A set of analytical solutions is presented for the variation of the orbital elements due to a single passage through the atmosphere, assuming that the interval the spacecraft travels through the atmosphere is not too large. The study considers both the lift influence on the spacecraft orbit as well as drag. The final equations are tested with numerical integration and can be considered in accordance with the numerical results whenever the perigee height is larger than a critical value. Next, a numerical study of the ratio between the velocity increment required to correct the semimajor axis decay due to the atmospheric passage and the velocity variation required to obtain the change in the inclination is also presented. This analysis can be used to decide if a maneuver passing through the atmosphere can decrease the fuel consumption of the mission and, in the cases where this technique can be used, if a multiple passage is more efficient than a single passage.

Thermistor behaviour and electric conduction analysis of Ni-doped niobate ferroelectric: the role of multiple beta parameters

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Structural change and productivity growth, 20 years later: old problems, new opportunities

Includes bibliography

Climate Change and Development in Latin America and the Caribbean. Overview 2009

Includes bibliography

The swing-by effect in the Vesta-Magnya case. Single and multiple encounters.

It was verified that the asteroid Magnya has some physical and chemical characteristics similar to the bodies from Vesta family. However, astronomical observations revealed that Magnya is distant from these bodies. In the present work, we assumed that Magnya originated from Vesta and we try to justify its current distant orbital location taking into account the effects of close encounters between Magnya and Vesta. The methodology adopted involved an analytical approach considering the technique of the gravity assisted maneuver, also known as swing-by. We found that the energy variation achieved through a single swing-by between Vesta and Magnya are very small when compared to the variation that would be required to change the orbit of Magnya. The effects of multiple close encounters were also considered and discussed. We concluded that the possibility of multiple encounters is limited, and therefore, that Magnya should suffer other perturbations (such as resonances, collisions or close encounters with other bodies, for instance) that would provide the supposed change in its orbit.