Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Understanding consumer evaluation criteria for repurchase in a performing arts context

The purpose of this paper is to examine consumers' experience of a performing arts service to identify the predictors of audience behaviour especially as related to positive repurchase intention. Experiential service settings such as the performing arts have been cited in recent research as service contexts that may challenge current theory that repurchase intention is driven by service quality and customer satisfaction. It is posited that consumer emotions and the hedonic nature of the consumption experience may complicate the evaluation process to repurchase intention in a setting such as the performing arts. Qualitative semi-structured indepth interviews were undertaken of twenty-six performing arts consumers using a pool of questions and prompts developed from a review of the extant literature. Transcribed field notes were examined for key words and phrases and data was divided into the main emergent themes related to each of the questions and also coded for confirmation and is-confirmation of the extant literature constructs and relationships. The dimensions of service experience,price, service quality, target goal-directed emotions and non-target appraisal emotions were identified as driving repurchase intention in a performing arts setting. Customer satisfaction in this setting appears to result from emotional factors rather than expectancy dis-confirmation. This research supports the notion that an experiential consumption experience such as the performing arts will challenge the current theory of the drivers of repurchase intention and suggests that a more thorough large scale examination of these dimensions in this service setting is warranted.

Religião e Sexualidade: Estudo de caso sobre a presença ou ausência de práticas educacionais voltadas para a sexualidade infantil nas Igrejas Metodistas do ABC

Esta pesquisa pretende caracterizar a importância da educação sexual dentro dos projetos de educação cristã nas igrejas protestantes. Porém, especificando um pouco mais a questão, esse trabalho circunscreve essas discussões ao âmbito da sexualidade infantil, explicitados em alguns materiais tornados públicos em nível nacional pela Igreja Metodista e, posteriormente, no contexto da prática de suas Escolas Dominicais (ED), localizadas na região do ABC paulista (Santo André, São Bernardo do Campo e São Caetano do Sul), estado de São Paulo. Metodologicamente, o primeiro momento dessa pesquisa pretende compreender os termos e conceitos ligados a religião, a sexualidade e a infância. Neste sentido, realizou-se um trajeto histórico em relação ao tema. Em seguida, são verificados alguns documentos oficiais da Igreja Metodista em relação à educação, a criança e a sexualidade, a fim de se estabelecer um diálogo com a prática observada na pesquisa de campo e concretizada por meio de um questionário respondido pelo pastor(a) da igreja local, um professor(a) de ED e o(a) líder do ministério infantil. Por fim, no quarto capítulo, faz-se uma reflexão acerca do material coletado na pesquisa de campo e também sobre possíveis práticas pastorais que valorizem as questões sobre a educação sexual para a infância.

A IMAGEM E A COMPOSIÇÃO VISUAL NA TV DIGITAL

O trabalho aborda questões sobre a produção e composição da imagem em alta definição na TV Digital HDTV. Por meio dos dados levantados na literatura específica, impressa e eletrônica, e com entrevistas com profissionais da área e observações da programação disponível em HDTV na cidade de São Paulo puderam ser analisadas as imagens e composição visual que advém com a TV Digital de alta definição e interativa. Para tanto, a produção da imagem em alta definição precisa atender a dois tipos de público: o que assiste a transmissão digital e o que ainda continuará assistindo no sistema analógico com baixa percepção para os detalhes visuais. Os resultados demonstraram duas questões fundamentais e interdependentes: as práticas de produção, materiais cenográficos e processos de composição dos elementos da imagem precisam ser atualizados segundo as novas características tecnológicas e que o processo de implantação da TV Digital no Brasil deve ser revisto, com correções de prazos e das políticas adotadas sob o risco de se atrasar todo o processo de produção de conteúdo e da imagem em alta definição para este suporte.

A lifetime of language experience at each click!

Native speakers learn their mother tongue slowly, from birth, by the constant repetition of common words and phrases in a variety of contexts and situations, within the language community. As foreign language learners, we face considerable disadvantages when compared to children learning their mother tongue. Foreign language learners start later in life, have less time, have fewer opportunities to experience the language, and learn in the restricted environment of the classroom. Teachers and books give us information about many words and phrases, but it is difficult for us to know what we need to focus on and learn thoroughly, and what is less important. The rules and explanations are often difficult for us to understand. A large language corpus represents roughly the amount and variety of language that a native-speaker experiences in a whole lifetime. Learners can now access language corpora. We can check which words and phrases are important, and quickly discover their common meanings, collocations, and structural patterns. It is easier to remember things that we find out ourselves, rather than things that teachers or books tell us. Each click on the computer keyboard can show us the same information in different ways, so we can understand it more easily. We can also get many more examples from a corpus. Teachers and native-speakers can also use corpora, to confirm and enhance their own knowledge of a language, and prepare exercises to guide their students. Each of us can learn at our own level and at our own speed.

Use of computational fluid dynamics in the design of bubble column reactors

Investigations into the modelling techniques that depict the transport of discrete phases (gas bubbles or solid particles) and model biochemical reactions in a bubble column reactor are discussed here. The mixture model was used to calculate gas-liquid, solid-liquid and gasliquid-solid interactions. Multiphase flow is a difficult phenomenon to capture, particularly in bubble columns where the major driving force is caused by the injection of gas bubbles. The gas bubbles cause a large density difference to occur that results in transient multi-dimensional fluid motion. Standard design procedures do not account for the transient motion, due to the simplifying assumptions of steady plug flow. Computational fluid dynamics (CFD) can assist in expanding the understanding of complex flows in bubble columns by characterising the flow phenomena for many geometrical configurations. Therefore, CFD has a role in the education of chemical and biochemical engineers, providing the examples of flow phenomena that many engineers may not experience, even through experimentation. The performance of the mixture model was investigated for three domains (plane, rectangular and cylindrical) and three flow models (laminar, k-e turbulence and the Reynolds stresses). mThis investigation raised many questions about how gas-liquid interactions are captured numerically. To answer some of these questions the analogy between thermal convection in a cavity and gas-liquid flow in bubble columns was invoked. This involved modelling the buoyant motion of air in a narrow cavity for a number of turbulence schemes. The difference in density was caused by a temperature gradient that acted across the width of the cavity. Multiple vortices were obtained when the Reynolds stresses were utilised with the addition of a basic flow profile after each time step. To implement the three-phase models an alternative mixture model was developed and compared against a commercially available mixture model for three turbulence schemes. The scheme where just the Reynolds stresses model was employed, predicted the transient motion of the fluids quite well for both mixture models. Solid-liquid and then alternative formulations of gas-liquid-solid model were compared against one another. The alternative form of the mixture model was found to perform particularly well for both gas and solid phase transport when calculating two and three-phase flow. The improvement in the solutions obtained was a result of the inclusion of the Reynolds stresses model and differences in the mixture models employed. The differences between the alternative mixture models were found in the volume fraction equation (flux and deviatoric stress tensor terms) and the viscosity formulation for the mixture phase.

Statistical analysis in microbiology:statnotes

This book is aimed primarily at microbiologists who are undertaking research and who require a basic knowledge of statistics to analyse their experimental data. Computer software employing a wide range of data analysis methods is widely available to experimental scientists. The availability of this software, however, makes it essential that investigators understand the basic principles of statistics. Statistical analysis of data can be complex with many different methods of approach, each of which applies in a particular experimental circumstance. Hence, it is possible to apply an incorrect statistical method to data and to draw the wrong conclusions from an experiment. The purpose of this book, which has its origin in a series of articles published in the Society for Applied Microbiology journal ‘The Microbiologist’, is an attempt to present the basic logic of statistics as clearly as possible and therefore, to dispel some of the myths that often surround the subject. The 28 ‘Statnotes’ deal with various topics that are likely to be encountered, including the nature of variables, the comparison of means of two or more groups, non-parametric statistics, analysis of variance, correlating variables, and more complex methods such as multiple linear regression and principal components analysis. In each case, the relevant statistical method is illustrated with examples drawn from experiments in microbiological research. The text incorporates a glossary of the most commonly used statistical terms and there are two appendices designed to aid the investigator in the selection of the most appropriate test.

Fair testing in employment selection

This project represents the collaboration of Charta Mede Ltd and the Interdisciplinary Higher Degrees Scheme at the University of Aston. The aim of the project was to monitor the effects of the Civil Service's Executive Officer Qualifying Test Battery on minority group applicants. Prior to monitoring the EO Test Battery, however, an ethnic classification had to be developed which was reliable, acceptable to respondents and appropriate for monitoring. Three pilot studies were conducted to examine these issues, during which different classifications and different ways of asking the question were trialled. The results indicated that by providing more precise instructions as to the meanings of categories, it was possible to obtain classifications which were acceptable and reliable. However, there were also certain terms and expressions which should be avoided such as those referring to colour and anthropological racial groups. Two classifications were used in the Executive Officer Study - one derived from an Office of Population Censuses and Surveys classification and one developed for this project - the MultiCultural British Classification. The results indicated that some minority groups (Asians, West Indians and Africans in particular) pass the tests in significantly lower proportions than the majority group and also score significantly less well on the tests. Factors which were significantly related to pass/fail and test scores included educational qualifications and age on entering the UK (the latter being negatively correlated). Using variables in this study, however, it was only possible to account for 5% of the variance in pass/fail rates and 11% of the variance in test scores. Analyses of covariance carried out indicated that the differences in test scores still remained even though the effects of significantly correlated variables were removed. Although indirect discrimination could not be inferred from the data, further research into differential validity and fairer methods of select ion is needed.

The development of collaborative skills in young children

This thesis examines young children's early collaborative development when engaged in joint tasks with both a peer and a parent. It begins by examining how the term "collaborative" has been applied and researched in previous literature. As collaboration is found to usually require dialogue, and intersubjectivity is seen as an important component in the construction of both collaboration and dialogue, the ability to construct intersubjectivity is the subject of the rest of the chapter. The chapter concludes by introducing the research questions that underpin the experiments that follow. A number of experiments are then described. Experiments 1 and 2 investigate age differences in interaction styles and the communication strategies used by similar aged dyads. Experiments 3 and 4 investigate differences due to the age of the child and/or the status of the information giver (either parent or child) in the styles of interaction and the communication strategies used by parent and child dyads. Experiment 5 investigates the benefits of collaborating with a parent, and finally, Experiment 6 examines the collaborative ability of pre-schools. The thesis identifies a series of skills required for successful collaboration. These include recognition of a joint goal and the need to suppress individual desires, the ability to structure joint interaction, moving from role-based to a negotiating style, and communicative skills, for example, asking for clarification. Other reasons for children's failure in collaborative tasks involve task-related skills, such as the development of spatial terms, and failure to recognise the need for accuracy. The findings support Vygotsky's theory that when working with an adult, children perform at a higher level than when working with a peer. Evidence was also found of parents scaffolding the interaction for their children. However, further research is necessary to establish that such scaffolding skills affect the child's development of collaborative interactive skills.

The application of remote sensing to water resources

Techniques are developed for the visual interpretation of drainage features from satellite imagery. The process of interpretation is formalised by the introduction of objective criteria. Problems of assessing the accuracy of maps are recognized, and a method is developed for quantifying the correctness of an interpretation, in which the more important features are given an appropriate weight. A study was made of imagery from a variety of landscapes in Britain and overseas, from which maps of drainage networks were drawn. The accuracy of the mapping was assessed in absolute terms, and also in relation to the geomorphic parameters used in hydrologic models. Results are presented relating the accuracy of interpretation to image quality, subjectivity and the effects of topography. It is concluded that the visual interpretation of satellite imagery gives maps of sufficient accuracy for the preliminary assessment of water resources, and for the estimation of geomorphic parameters. An examination is made of the use of remotely sensed data in hydrologic models. It is proposed that the spectral properties of a scene are holistic, and are therefore more efficient than conventional catchment characteristics. Key hydrologic parameters were identified, and were estimated from streamflow records. The correlation between hydrologic variables and spectral characteristics was examined, and regression models for streamflow were developed, based solely on spectral data. Regression models were also developed using conventional catchment characteristics, whose values were estimated using satellite imagery. It was concluded that models based primarily on variables derived from remotely sensed data give results which are as good as, or better than, models using conventional map data. The holistic properties of remotely sensed data are realised only in undeveloped areas. In developed areas an assessment of current land-use is a more useful indication of hydrologic response.

Environmental quality in residential areas : a social survey approach to improvement priorities

The research is concerned with the measurement of residents' evaluations of the environmental quality of residential areas. The research reflects the increased attention being given to residents' values in planning decisions affecting the residential environment. The work was undertaken in co-operation with a local authority which was in the process of revising its housing strategy, and in particular the priorities for improvement action. The study critically examines the existing evidence on environmental values and their relationship to the environment and points to a number of methodological and conceptual deficiencies. The research strategy developed on the basis of the research review was constrained by the need to keep any survey methods simple so that they could easily be repeated, when necessary, by the sponsoring authority. A basic perception model was assumed, and a social survey carried out to measure residents' responses to different environmental conditions. The data was only assumed to have ordinal properties, necessitating the extensive use of non-parametric statistics. Residents' expressions of satisfaction with the component elements of the environment (ranging from convenience to upkeep and privacy) were successfully related to 'objective' measures of the environment. However the survey evidence did not justify the use of the 'objective' variables as environmental standards. A method of using the social survey data directly as an aid to decision-making is discussed. Alternative models of the derivation of overall satisfaction with the environment are tested, and the values implied by the additive model compared with residents' preferences as measured directly in the survey. Residents' overall satisfactions with the residential environment were most closely related to their satisfactions with the "Appearance" and the "Reputation" of their areas. By contrast the most important directly measured preference was "Friendliness of area". The differences point to the need to define concepts used in social research clearly in operational terms, and to take care in the use of values 'measured' by different methods.

Translation practices at the European Central Bank with reference to metaphors

The European Union institutions represent a complex setting and a specific case of institutional translation. The European Central Bank (ECB) is a particular context as the documents translated belong to the field of economics and, thus, contain many specialised terms and neologisms that pose challenges to translators. This study aims to investigate the translation practices at the ECB, and to analyse their effects on the translated texts. In order to illustrate the way texts are translated at the ECB, the thesis will focus on metaphorical expressions and the conceptual metaphors by which they are sanctioned. Metaphor is often associated with literature and less with specialised texts. However, according to Lakoff and Johnson’s (1980) conceptual metaphor theory, our conceptual system is fundamentally metaphorical in nature and metaphors are pervasive elements of thought and speech. The corpus compiled comprises economic documents translated at the ECB, mainly from English into Romanian. Using corpus analysis, the most salient metaphorical expressions were identified in the source and target texts and explained with reference to the main conceptual metaphors. Translation strategies are discussed on the basis of a comparison of the source and target texts. The text-based analysis is complemented by questionnaires distributed to translators, which give insights into the institution’s translation practices. As translation is an institutional process, translators have to follow certain guidelines and practices; these are discussed with reference to translators’ agency. A gap was identified in the field of institutional translation. The translation process in the EU institutions has been insufficiently explored, especially regarding the new languages of the European Union. By combining the analysis of the institutional practices, the texts produced in the institution and the translators’ work (by the questionnaires distributed to translators), this thesis intends to bring a contribution to institutional translation and metaphor translation, particularly regarding a new EU language, Romanian.

Issues in learning an ontology from text

Ontology construction for any domain is a labour intensive and complex process. Any methodology that can reduce the cost and increase efficiency has the potential to make a major impact in the life sciences. This paper describes an experiment in ontology construction from text for the animal behaviour domain. Our objective was to see how much could be done in a simple and relatively rapid manner using a corpus of journal papers. We used a sequence of pre-existing text processing steps, and here describe the different choices made to clean the input, to derive a set of terms and to structure those terms in a number of hierarchies. We describe some of the challenges, especially that of focusing the ontology appropriately given a starting point of a heterogeneous corpus. Results - Using mainly automated techniques, we were able to construct an 18055 term ontology-like structure with 73% recall of animal behaviour terms, but a precision of only 26%. We were able to clean unwanted terms from the nascent ontology using lexico-syntactic patterns that tested the validity of term inclusion within the ontology. We used the same technique to test for subsumption relationships between the remaining terms to add structure to the initially broad and shallow structure we generated. All outputs are available at http://thirlmere.aston.ac.uk/~kiffer/animalbehaviour/ webcite. Conclusion - We present a systematic method for the initial steps of ontology or structured vocabulary construction for scientific domains that requires limited human effort and can make a contribution both to ontology learning and maintenance. The method is useful both for the exploration of a scientific domain and as a stepping stone towards formally rigourous ontologies. The filtering of recognised terms from a heterogeneous corpus to focus upon those that are the topic of the ontology is identified to be one of the main challenges for research in ontology learning.

Issues in learning an ontology from text

Ontology construction for any domain is a labour intensive and complex process. Any methodology that can reduce the cost and increase efficiency has the potential to make a major impact in the life sciences. This paper describes an experiment in ontology construction from text for the Animal Behaviour domain. Our objective was to see how much could be done in a simple and rapid manner using a corpus of journal papers. We used a sequence of text processing steps, and describe the different choices made to clean the input, to derive a set of terms and to structure those terms in a hierarchy. We were able in a very short space of time to construct a 17000 term ontology with a high percentage of suitable terms. We describe some of the challenges, especially that of focusing the ontology appropriately given a starting point of a heterogeneous corpus.

Finding qualitative research: an evaluation of search strategies

Background Qualitative research makes an important contribution to our understanding of health and healthcare. However, qualitative evidence can be difficult to search for and identify, and the effectiveness of different types of search strategies is unknown. Methods Three search strategies for qualitative research in the example area of support for breast-feeding were evaluated using six electronic bibliographic databases. The strategies were based on using thesaurus terms, free-text terms and broad-based terms. These strategies were combined with recognised search terms for support for breast-feeding previously used in a Cochrane review. For each strategy, we evaluated the recall (potentially relevant records found) and precision (actually relevant records found). Results A total yield of 7420 potentially relevant records was retrieved by the three strategies combined. Of these, 262 were judged relevant. Using one strategy alone would miss relevant records. The broad-based strategy had the highest recall and the thesaurus strategy the highest precision. Precision was generally poor: 96% of records initially identified as potentially relevant were deemed irrelevant. Searching for qualitative research involves trade-offs between recall and precision. Conclusions These findings confirm that strategies that attempt to maximise the number of potentially relevant records found are likely to result in a large number of false positives. The findings also suggest that a range of search terms is required to optimise searching for qualitative evidence. This underlines the problems of current methods for indexing qualitative research in bibliographic databases and indicates where improvements need to be made.