O impacto do projeto mais sucesso escolar no desempenho educativo dos alunos do 3º ciclo da Escola Secundária da Ramada – estudo de caso

Dissertação de Mestrado em Administração Pública – Especialização em Administração da Educação

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Coordination in Public Good Provision: How Individual Volunteering is Impacted by the Volunteering of Others

In this analysis, we examine the relationship between an individual's decision to volunteer and the average level of volunteering in the community where the individual resides. Our theoretical model is based on a coordination game , in which volunteering by others is informative regarding the benefit from volunteering. We demonstrate that the interaction between this information and one's private information makes it more likely that he or she will volunteer, given a higher level of contributions by his or her peers. We complement this theoretical work with an empirical analysis using Census 2000 Summary File 3 and Current Population Survey (CPS) 2004-2007 September supplement file data. We control for various individual and community characteristics, and employ robustness checks to verify the results of the baseline analysis. We additionally use an innovative instrumental variables strategy to account for reflection bias and endogeneity caused by selective sorting by individuals into neighborhoods, which allows us to argue for a causal interpretation. The empirical results in the baseline, as well as all robustness analyses, verify the main result of our theoretical model, and we employ a more general structure to further strengthen our results.

Coordination in Public Good Provision: How Individual Volunteering is Impacted by the Volunteering of Others

In this analysis, we examine the relationship between an individual’s decision to volunteer and the average level of volunteering in the community where the individual resides. Our theoretical model is based on a coordination game , in which volunteering by others is informative regarding the benefit from volunteering. We demonstrate that the interaction between this information and one’s private information makes it more likely that he or she will volunteer, given a higher level of contributions by his or her peers. We complement this theoretical work with an empirical analysis using Census 2000 Summary File 3 and Current Population Survey (CPS) 2004-2007 September supplement file data. We control for various individual and community characteristics, and employ robustness checks to verify the results of the baseline analysis. We additionally use an innovative instrumental variables strategy to account for reflection bias and endogeneity caused by selective sorting by individuals into neighbourhoods, which allows us to argue for a causal interpretation. The empirical results in the baseline, as well as all robustness analyses, verify the main result of our theoretical model, and we employ a more general structure to further strengthen our results.

Central nervous system involvement in experimental trypanosomiasis cruzi

A review of the available literature on central nervous system involvement in experimental trypanosomiasis cruzi is undertaken. From a critical analysis of 26 works on experimental infections with Trypanosoma cruzi (23 on the acute phase, 2 on the chronic phase, and one describing sequentially both phases), all supported by neuropathologic studies, it can be concluded that: 1) central nervous system involvement during the acute phase, in the form of encephalitis in multiple foci, with variable intensity of the parasitism and inflamatory changes, is frequent and well documented; 2) in animals with more severe central nervous system involvement death occurs as a result of the brain lesions or acute chagasic myocarditis, the latter being always present; 3) in animals with more discrete brain involviment death during the acute phase is due to complications not related to the nervous system, among which congestive heart failure second to acute chagasic myocarditis, a condition that is always present, regardless of whether or not the central nervous system is infected; 4) it is possible that in surviving animals that had mild encephalitis the inflammatory changes from the acute phase usually regress as the infection progress to the chronic phase.

Updated response assessment criteria for high-grade gliomas: response assessment in neuro-oncology working group.

Currently, the most widely used criteria for assessing response to therapy in high-grade gliomas are based on two-dimensional tumor measurements on computed tomography (CT) or magnetic resonance imaging (MRI), in conjunction with clinical assessment and corticosteroid dose (the Macdonald Criteria). It is increasingly apparent that there are significant limitations to these criteria, which only address the contrast-enhancing component of the tumor. For example, chemoradiotherapy for newly diagnosed glioblastomas results in transient increase in tumor enhancement (pseudoprogression) in 20% to 30% of patients, which is difficult to differentiate from true tumor progression. Antiangiogenic agents produce high radiographic response rates, as defined by a rapid decrease in contrast enhancement on CT/MRI that occurs within days of initiation of treatment and that is partly a result of reduced vascular permeability to contrast agents rather than a true antitumor effect. In addition, a subset of patients treated with antiangiogenic agents develop tumor recurrence characterized by an increase in the nonenhancing component depicted on T2-weighted/fluid-attenuated inversion recovery sequences. The recognition that contrast enhancement is nonspecific and may not always be a true surrogate of tumor response and the need to account for the nonenhancing component of the tumor mandate that new criteria be developed and validated to permit accurate assessment of the efficacy of novel therapies. The Response Assessment in Neuro-Oncology Working Group is an international effort to develop new standardized response criteria for clinical trials in brain tumors. In this proposal, we present the recommendations for updated response criteria for high-grade gliomas.

Trypanosoma cruzi strains and autonomic nervous system pathology in experimental chagas disease

Lesions involving the sympathetic (para-vertebral ganglia) and para-sympathetic ganglia of intestines (Auerbach plexus) and heart (right atrial ganglia) were comparatively analyzed in mice infected with either of three different strain types of Trypanosoma cruzi, during acute and chronic infection, in an attempt to understand the influence of parasite strain in causing autonomic nervous system pathology. Ganglionar involvement with neuronal destruction appeared related to inflammation, which most of the times extended from neighboring adipose and cardiac, smooth and striated muscular tissues. Intraganglionic parasitism was exceptional. Inflammation involving peripheral nervous tissue exhibited a focal character and its variability in the several groups examined appeared unpredictable. Although lesions were generally more severe with the Y strain, comparative qualitative study did not allow the conclusion, under the present experimental conditions, that one strain was more pathogenic to the autonomic nervous system than others. No special tropism of the parasites from any strain toward autonomic ganglia was disclosed.

Rehabilitation needs assessment in persons with spinal cord injury following the 2010 earthquake in Haiti: a pilot study using an ICF-based tool.

OBJECTIVE: The aim of this pilot study was to describe problems in functioning and associated rehabilitation needs in persons with spinal cord injury after the 2010 earthquake in Haiti by applying a newly developed tool based on the International Classification of Functioning, Disability and Health (ICF). DESIGN: Pilot study. SUBJECTS: Eighteen persons with spinal cord injury (11 women, 7 men) participated in the needs assessment. Eleven patients had complete lesions (American Spinal Injury Association Impairment Scale; AIS A), one patient had tetraplegia. METHODS: Data collection included information from the International Spinal Cord Injury Core Data Set and a newly developed needs assessment tool based on ICF Core Sets. This tool assesses the level of functioning, the corresponding rehabilitation need, and required health professional. Data were summarized using descriptive statistics. RESULTS: In body functions and body structures, patients showed typical problems following spinal cord injury. Nearly all patients showed limitations and restrictions in their activities and participation related to mobility, self-care and aspects of social integration. Several environmental factors presented barriers to these limitations and restrictions. However, the availability of products and social support were identified as facilitators. Rehabilitation needs were identified in nearly all aspects of functioning. To address these needs, a multidisciplinary approach would be needed. CONCLUSION: This ICF-based needs assessment provided useful information for rehabilitation planning in the context of natural disaster. Future studies are required to test and, if necessary, adapt the assessment.

Individual versus standard quality of life assessment in a phase II clinical trial in mesothelioma patients: feasibility and responsiveness to clinical changes.

BACKGROUND: In patients with malignant pleural mesothelioma undergoing a multimodality therapy, treatment toxicity may outweigh the benefit of progression-free survival. The subjective experience across different treatment phases is an important clinical outcome. This study compares a standard with an individual quality of life (QoL) measure used in a multi-center phase II trial. PATIENTS AND METHODS: Sixty-one patients with stage I-III technically operable pleural mesothelioma were treated with preoperative chemotherapy, followed by pleuropneumonectomy and subsequent radiotherapy. QoL was assessed at baseline, at day 1 of cycle 3, and 1, 3 and 6 months post-surgery by using the Rotterdam Symptom Checklist (RSCL) and the Schedule for the Evaluation of Quality of Life-Direct Weighting (SEIQoL-DW), a measure that is based on five individually nominated and weighted QoL-domains. RESULTS: Completion rates were 98% (RSCL) and 92% (SEIQoL) at baseline and 98%/89% at cycle 3, respectively. Of the operated patients (N=45) RSCL and SEIQoL were available from 86%/72%, 93%/74%, and 94%/76% at months 1, 3, and 6 post-surgery. Average assessment time for the SEIQoL was 24min compared to 8min needed for the RSCL. Median changes from baseline indicate that both RSCL QoL overall score and SEIQoL index remained stable during chemotherapy with a clinically significant deterioration (change>or=8 points) 1 month after surgery (median change of -66 and -14 for RSCL and SEIQoL, respectively). RSCL QoL overall scores improved thereafter, but remained beneath baseline level until 6 months after surgery. SEIQoL scores improved to baseline-level at month 3 after surgery, but worsened again at month 6. RSCL QoL overall score and SEIQoL index were moderately correlated at baseline (r=.30; p<or=.05) and at 6-month follow-up (r=.42; p<or=.05) but not at the other time points. CONCLUSION: The SEIQoL assessment seems to be feasible within a phase II clinical trial, but may require more effort from staff. More distinctive QoL changes in accordance with clinical changes were measured with the RSCL. Our findings suggest that the two measures are not interchangeable: the RSCL is to favor when mainly information related to the course of disease- and treatment is of interest.