Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Towards a History didactics definition

This paper aims to define history didactics along the lines of the current German literature, which conceives it to be closer to history than to education. Associated to the word Geschichtsdidaktik, this definition is opposed to the concepts of history didactics as the art of teaching - Lehrkunst - history or as a collection of methods used both in the teaching of history and in the teaching of other school subjects - Unterrichtsmethoden. In opposition to these two definitions, this paper discusses German, French and Brazilian literatures to propose a conception of history didactics as a subarea of history, once it does not encompass only history teaching, but all history elaborations without a scientific form - nicht- wissenschaftsformigen Geschichtsverarbeitungen.

Corporate Education and the Role of the Chief Learning Officer

This paper aims to present an overview on characteristics, roles and responsibilities of those who arc in charge. of the Corporate Educational Systems in several organizations from distinct industries in Brazil, based on a research carried out by the authors. The analysis compares what is available in the literature on this subject so that it may provide insights on how Brazilian companies have dealt with the difficult task of developing competences in their employees. Special attention is given to the Chief Learning Officer`s role (or the lack of it) - someone who was supposed to be in charge of the employees` development processes in a given organization. The results show that this role has not been a clear or unanimous concept yet, neither in terms of the functions to be performed nor the so-called strategic importance given to this sort of executive. This research is both exploratory and descriptive, and due to the use of intentional sample, the inferences are limited. Despite these limitations, its comments may enrich the discussion on this subject.

Exploratory Approach to the use of Techniques of Regression Analysis and Pooled Analysis in Studies of Consumer Behavior

This paper is part of a large study to assess the adequacy of the use of multivariate statistical techniques in theses and dissertations of some higher education institutions in the area of marketing with theme of consumer behavior from 1997 to 2006. The regression and conjoint analysis are focused on in this paper, two techniques with great potential of use in marketing studies. The objective of this study was to analyze whether the employement of these techniques suits the needs of the research problem presented in as well as to evaluate the level of success in meeting their premisses. Overall, the results suggest the need for more involvement of researchers in the verification of all the theoretical precepts of application of the techniques classified in the category of investigation of dependence among variables.

GREEN MANAGEMENT, CLIMATE CHANGE AND SMALL BUSINESS IN BRAZIL: IMPLICATIONS FOR TRAINING AND EDUCATION FOR SUSTAINABLE DEVELOPMENT

This paper presents the results of a study on the analysis of training needs regarding environmental (green) management and climate change topics in micro and small enterprises (MSEs) in Brazil and its implications on education for sustainable development. It reports on an e-mail survey of Brazilian small enterprises, whose results indicate that they are indeed interested in environmental management and climate change topics in an education for sustainable development context. The study indicates that proposals for courses on environmental management and climate change should follow a systemic perspective and take sustainable development into account. By applying factor analysis, it was found that the topics of interest can be grouped into thematic modules, which can be useful in the design of training courses for the top management leaders of those companies.

The Development of Science Education Research in Brazil and Contributions from the History and Philosophy of Science

Over the last 50 years a new research area, science education research, has arisen and undergone singular development worldwide. In the specific case of Brazil, research in science education first appeared systematically 40 years ago, as a consequence of an overall renovation in the field of science education. This evolution was also related to the political events taking place in the country. We will use the theoretical work of Rene Kaes on the development of groups and institutions as a basis for our discussion of the most important aspects that have helped the area of science education research develop into an institution and kept it operating as such. The growth of this area of research can be divided into three phases: The first was related to its beginning and early configurations; the second consisted of a process of consolidation of this institution; and the third consists of more recent developments, characterised by a multiplicity of research lines and corresponding challenges to be faced. In particular, we will analyse the special contributions to this study gleaned from the field known as the history and philosophy of science.

The prevalence, intensities and risk factors associated with geohelminth infection in tea-growing communities of Assam, India

OBJECTIVE To determine the prevalence, intensity and associated risk factors for infection with Ascaris, hookworms and Trichuris in three tea-growing communities in Assam, India. METHODS Single faecal samples were collected from 328 individuals and subjected to centrifugal floatation and the Kato Katz quantitation technique and prevalence and intensities of infection with each parasite calculated. Associations between parasite prevalence, intensity and host and environmental factors were then made using both univariate and multivariate analysis. RESULTS The overall prevalence of Ascaris was 38% [95% confidence interval (CI): 33, 43], and the individual prevalence of hookworm and Trichuris was 43% (95% CI: 38, 49). The strongest predictors for the intensity of one or more geohelminths using multiple regression (P less than or equal to 0.10) were socioeconomic status, age, household crowding, level of education, religion, use of footwear when outdoors, defecation practices, pig ownership and water source. CONCLUSION A universal blanket treatment with broad-spectrum anthelmintics together with promotion of scholastic and health education and improvements in sanitation is recommended for helminth control in the communities under study.

Assessing cost-effectiveness - Mental health: introduction to the study and methods

Objective: The Assessing Cost-Effectiveness - Mental Health (ACE-MH) study aims to assess from a health sector perspective, whether there are options for change that could improve the effectiveness and efficiency of Australia's current mental health services by directing available resources toward 'best practice' cost-effective services. Method: The use of standardized evaluation methods addresses the reservations expressed by many economists about the simplistic use of League Tables based on economic studies confounded by differences in methods, context and setting. The cost-effectiveness ratio for each intervention is calculated using economic and epidemiological data. This includes systematic reviews and randomised controlled trials for efficacy, the Australian Surveys of Mental Health and Wellbeing for current practice and a combination of trials and longitudinal studies for adherence. The cost-effectiveness ratios are presented as cost (A$) per disability-adjusted life year (DALY) saved with a 95% uncertainty interval based on Monte Carlo simulation modelling. An assessment of interventions on 'second filter' criteria ('equity', 'strength of evidence', 'feasibility' and 'acceptability to stakeholders') allows broader concepts of 'benefit' to be taken into account, as well as factors that might influence policy judgements in addition to cost-effectiveness ratios. Conclusions: The main limitation of the study is in the translation of the effect size from trials into a change in the DALY disability weight, which required the use of newly developed methods. While comparisons within disorders are valid, comparisons across disorders should be made with caution. A series of articles is planned to present the results.

Evaluating curriculum changes in undergraduate cancer education

Background. Previous studies have indicated that Australian medical schools have not adequately prepared our graduating doctors to care for patients with cancer. The University of Western Australia (UWA) introduced a two-week clinical attachment in cancer medicine for fifth-year students in 2000 and a four-day clinical attachment in palliative care for sixth-year students in 2001. This article evaluates the introduction of these dedicated clinical attachments in cancer and palliative care. Method. The Australian Cancer Society's Cancer Education Survey was administered to the UWA graduates starting their intern year in teaching hospitals in Perth, Western Australia, in 2002. Their responses were compared with data collected in a similar national survey of Australian and New Zealand interns in 2001. Results. The response rate was 56% (n = 70). When compared with the national data for 2001, more UWA interns (2002) would refer a newly diagnosed breast cancer patient to a multidisciplinary breast clinic (97% vs. 74%, P<.001). Fewer UWA 2002 interns rated their training as poor or very poor in the management of patients with incurable cancer (19% vs. 35%, P=.008) and the management of symptoms in patients dying from cancer (10% vs. 37%, P<.001), but they were more likely to rate their training in assisting a patient to stop smoking as poor or very poor (54% vs. 21%, P<.001). Only a quarter of the UWA 2002 interns had examined a patient with a cancer of the mouth or tongue (25% vs. 49%, P<.001), and only two thirds had examined a patient with lymphoma (64% vs. 83%, P<.001). Conclusions. Our data reflect changes in the final two years of the medical course at UWA and suggest that the introduction of dedicated attachments in cancer and palliative care has better prepared graduating doctors to care for patients with cancer.

Computational methods for prediction of T-cell epitopes - a framework for modelling, testing, and applications

Computational models complement laboratory experimentation for efficient identification of MHC-binding peptides and T-cell epitopes. Methods for prediction of MHC-binding peptides include binding motifs, quantitative matrices, artificial neural networks, hidden Markov models, and molecular modelling. Models derived by these methods have been successfully used for prediction of T-cell epitopes in cancer, autoimmunity, infectious disease, and allergy. For maximum benefit, the use of computer models must be treated as experiments analogous to standard laboratory procedures and performed according to strict standards. This requires careful selection of data for model building, and adequate testing and validation. A range of web-based databases and MHC-binding prediction programs are available. Although some available prediction programs for particular MHC alleles have reasonable accuracy, there is no guarantee that all models produce good quality predictions. In this article, we present and discuss a framework for modelling, testing, and applications of computational methods used in predictions of T-cell epitopes. (C) 2004 Elsevier Inc. All rights reserved.

HPLC-FLD methods to quantify chloroaluminum phthalocyanine in nanoparticles, plasma and tissue: application in pharmacokinetic and biodistribution studies

Analytical and bioanalytical methods of high-performance liquid chromatography with fluorescence detection (HPLC-FLD) were developed and validated for the determination of chloroaluminum phthalocyanine in different formulations of polymeric nanocapsules, plasma and livers of mice. Plasma and homogenized liver samples were extracted with ethyl acetate, and zinc phthalocyanine was used as internal standard. The results indicated that the methods were linear and selective for all matrices studied. Analysis of accuracy and precision showed adequate values, with variations lower than 10% in biological samples and lower than 2% in analytical samples. The recoveries were as high as 96% and 99% in the plasma and livers, respectively. The quantification limit of the analytical method was 1.12 ng/ml, and the limits of quantification of the bioanalytical method were 15 ng/ml and 75 ng/g for plasma and liver samples, respectively. The bioanalytical method developed was sensitive in the ranges of 15-100 ng/ml in plasma and 75-500 ng/g in liver samples and was applied to studies of biodistribution and pharmacokinetics of AlClPc. (C) 2011 Elsevier B.V. All rights reserved.

HISTORIOGRAPHY OF PSYCHOLOGY IN BRAZIL: Pioneer Works, Recent Developments

The evolution of the historiography of psychology in Brazil is surveyed, to describe how the field has evolved from the seminal works of the pioneer, mostly self-taught, psychologists, to the now professional historians working from a variety of theoretical models and methods of inquiry. The first accounts of the history of psychology written by Brazilians and by foreigners are surveyed, as well as the recent works made by researchers linked to the Work Group on the History of Psychology of the Brazilian Association of Research and Graduate Education in Psychology and published in periodicals such as Memorandum and Mnemosine. The present historiography focuses mainly the relationship of psychological knowledge to specific social and cultural conditions, emphasizing themes such as women`s participation in the construction of the field, the development of psychology as a science and as a profession in education and health, and the development of psychology as an expression of Brazilian culture and of the experience of resistance of local communities to domination. To reveal this process of identity construction, a cultural historiography is an important tool, coupled with methodological pluralism.

Estimate of Dementia Prevalence in a Community Sample from Sao Paulo, Brazil

Aims: To estimate dementia prevalence and describe the etiology of dementia in a community sample from the city of Sao Paulo, Brazil. Methods: A sample of subjects older than 60 years was screened for dementia in the first phase. During the second phase, the diagnostic workup included a structured interview, physical and neurological examination, laboratory exams, a brain scan, and DSM-IV criteria diagnosis. Results: Mean age was 71.5 years (n = 1,563) and 58.3% had up to 4 years of schooling (68.7% female). Dementia was diagnosed in 107 subjects with an observed prevalence of 6.8%. The estimate of dementia prevalence was 12.9%, considering design effect, nonresponse during the community phase, and positive and negative predictive values. Alzheimer`s disease was the most frequent cause of dementia (59.8%), followed by vascular dementia (15.9%). Older age and illiteracy were significantly associated with dementia. Conclusions: The estimate of dementia prevalence was higher than previously reported in Brazil, with Alzheimer`s disease and vascular dementia being the most frequent causes of dementia. Dementia prevalence in Brazil and in other Latin American countries should be addressed by additional studies to confirm these higher dementia rates which might have a sizable impact on countries` health services. Copyright (C) 2008 S. Karger AG, Basel