Using structured observation and content analysis to explore the presence of older people in public fora in developing countries

There is a lack of research on the everyday lives of older people in developing countries. This exploratory study used structured observation and content analysis to examine the presence of older people in public fora, and considered the methods’ potential for understanding older people’s social integration and inclusion. Structured observation occurred of public social spaces in six cities each located in a different developing country, and in one city in the United Kingdom, together with content analysis of the presence of people in newspaper pictures and on television in the selected countries. Results indicated that across all fieldwork sites and data sources, there was a low presence of older people, with women considerably less present than men in developing countries. There was variation across fieldwork sites in older people’s presence by place and time of day, and in their accompanied status. The presence of older people in images drawn from newspapers was associated with the news/non-news nature of the source. The utility of the study’s methodological approach is considered, as is the degree to which the presence of older people in public fora might relate to social integration and inclusion in different cultural contexts.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Um Estudo dos efeitos organizacionais e sociais da utilização da tecnologia Groupware Lotus Notes na administração pública do Estado do Paraná

Em 1995, o Estado do Paraná escolheu o software Lotus Notes como solução de correio eletrônico distribuído e automação de escritórios para suas estruturas organizacionais. Após 5 anos do início do processo de sua implantação, a previsão inicial de 3.600 licenças de uso dessa tecnologia groupware já foi amplamente superada. Existem atualmente mais de 9.000 usuários do Lotus Notes, distribuídos em praticamente todos os níveis da administração pública. Essa dissertação é o primeiro estudo formal realizado para avaliar os impactos organizacionais e sociais produzidos pela utilização de tecnologias de informação colaborativas na administração pública do Paraná. Os capítulos que fazem parte dessa dissertação focalizam em tecnologias de informação colaborativas, com ênfase no Lotus Notes e a sua utilização na administração pública. Inicialmente são introduzidos conceitos básicos sobre Groupware e CSCW (Computer-Supported Cooperative Work), em seguida é apresentado o Lotus Notes, com um breve histórico de sua criação e uma visão resumida de pesquisas acadêmicas sobre implementações dessa tecnologia. Na seqüência, o ambiente de informática da administração pública do Estado do Paraná e a questão da seleção de uma plataforma tecnológica para resolver o problema de comunicação nesse ambiente são descritos, assim como o processo de implantação do Lotus Notes no Estado. A parte principal desse trabalho é apresentada em seguida: uma ampla pesquisa realizada nos órgãos da administração pública sobre a utilização do Lotus Notes, operacionalizada através de questionários virtuais e entrevistas. O modelo referencial utilizado na pesquisa é mostrado, assim como seu embasamento conceitual e as variáveis consideradas nas questões. Na conclusão são comentados os principais resultados do trabalho realizado, as contribuições e benefícios de sua realização, assim como sugestões de continuidade para futuras pesquisas sobre o assunto.

Melhoramento genético de leguminosas de clima temperado - alfafa (Medicago sativa L) e cornichão (Lotus corniculatus L) para aptidão ao pastejo

O presente trabalho foi realizado com o objetivo de avaliar e selecionar genótipos de alfafa crioula e de cornichão cultivar São Gabriel para aptidão ao pastejo. Neste trabalho, foi proposto o termo aptidão ao pastejo em substituição à resistência ao pastejo. O procedimento padrão utilizado no processo de seleção e de caracterização dos genótipos constou de experimentos nos quais as plantas eram submetidas a uma pressão de pastejo elevada e contínua (3-5 cm de altura do resíduo). Houve diferença (P<0,05) na sobrevivência das diferentes populações de alfafa crioula, evidenciando variabilidade para a aptidão ao pastejo, o que não se evidenciou de forma consistente para o cornichão, que, no entanto, apresentou uma maior porcentagem de sobrevivência em comparação com a alfafa. A avaliação das características morfofisiológicas em alfafa não evidenciou diferenças (P>0,05) na contração das coroas, área da coroa e da raiz, área foliar residual e específica, número de hastes por planta, tipo de haste predominante (basilar ou axilar) e reservas orgânicas. Foram evidenciadas diferenças (P<0,05) no comprimento do entrenó e no índice de gemas específicas, proposto neste trabalho como descritor funcional da aptidão ao pastejo. Ensaios em casa-de-vegetação identificaram um marcador morfológico (altura do primeiro nó) nas plântulas de alfafa e de cornichão, capaz de separar precocemente os genótipos contrastantes quanto à aptidão ao pastejo. Foi comparada a efetividade das estirpes de rizóbio recomendadas para o cornichão com a de novas estirpes isoladas, demonstrando a possibilidade de obtenção de estirpes mais eficientes.

The impact of structured teaching methods on the quality of education

This paper estimates the impact of the use of structured methods on the quality of education of the students in primary public school in Brazil. Structure methods encompass a range of pedagogical and managerial instruments applied to the education system. In recent years, several municipalities in the State of São Paulo have contracted out private educational providers to implement these structured methods in their schooling system. Their pedagogical proposal involves structuring curriculum contents, elaboration and use of teachers and students textbooks, and training and supervision of the teachers and instructors. Using a difference in differences estimation strategy, we find that the fourth and eighth grader students in the municipalities with structured methods performed better in Portuguese and Math than students in municipalities not exposed to the methods. We find no differences in approval rates. However, a robustness check is not able to discard the possibility that unobserved municipal characteristics may affect the results.

Tree-structured smooth transition models

The goal of this paper is to introduce a class of tree-structured models that combines aspects of regression trees and smooth transition regression models. The model is called the Smooth Transition Regression Tree (STR-Tree). The main idea relies on specifying a multiple-regime parametric model through a tree-growing procedure with smooth transitions among different regimes. Decisions about splits are entirely based on a sequence of Lagrange Multiplier (LM) tests of hypotheses.