Implementation of multiple specialization in logic programs

We study the múltiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter, and finally producing a new, "multiply specialized" program. While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. We perform such a study in the context of a parallelizing compiler and show that it is indeed a relevant technique in practice. Also, we propose an implementation technique which has the same power as the strongest of the previously proposed techniques but requires little or no modification of an existing abstract interpreter.

A comparative study of methods for automatic compile-time parallelization of logic programs

This paper presents a study of the effectiveness of three different algorithms for the parallelization of logic programs based on compile-time detection of independence among goals. The algorithms are embedded in a complete parallelizing compiler, which incorporates different abstract interpretation-based program analyses. The complete system shows the task of automatic program parallelization to be practical. The trade-offs involved in using each of the algorithms in this task are studied experimentally, weaknesses of these identified, and possible improvements discussed.

Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model

Andorra-I is the first implementation of a language based on the Andorra Principie, which states that determinate goals can (and shonld) be run before other goals, and even in a parallel fashion. This principie has materialized in a framework called the Basic Andorra model, which allows or-parallelism as well as (dependent) and-parallelism for determinate goals. In this report we show that it is possible to further extend this model in order to allow general independent and-parallelism for nondeterminate goals, withont greatly modifying the underlying implementation machinery. A simple an easy way to realize such an extensión is to make each (nondeterminate) independent goal determinate, by using a special "bagof" constract. We also show that this can be achieved antomatically by compile-time translation from original Prolog programs. A transformation that fulfüls this objective and which can be easily antomated is presented in this report.

Abstract specialization and its applications

The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing the program in different ways. Among them, one of the best known techniques is partial evaluation, often referred to simply as program specialization, which optimizes programs by specializing them for (partially) known input data. In this work we describe abstract specialization, a technique whose main features are: (1) specialization is performed with respect to "abstract" valúes rather than "concrete" ones, and (2) abstract interpretation rather than standard interpretation of the program is used in order to propágate information about execution states. The concept of abstract specialization is at the heart of the specialization system in CiaoPP, the Ciao system preprocessor. In this paper we present a unifying view of the different specialization techniques used in CiaoPP and discuss their potential applications by means of examples. The applications discussed include program parallelization, optimization of dynamic scheduling (concurreney), and integration of partial evaluation techniques.

An integration of partial evaluation in a generic abstract interpretation framework

Information generated by abstract interpreters has long been used to perform program specialization. Additionally, if the abstract interpreter generates a multivariant analysis, it is also possible to perform múltiple specialization. Information about valúes of variables is propagated by simulating program execution and performing fixpoint computations for recursive calis. In contrast, traditional partial evaluators (mainly) use unfolding for both propagating valúes of variables and transforming the program. It is known that abstract interpretation is a better technique for propagating success valúes than unfolding. However, the program transformations induced by unfolding may lead to important optimizations which are not directly achievable in the existing frameworks for múltiple specialization based on abstract interpretation. The aim of this work is to devise a specialization framework which integrates the better information propagation of abstract interpretation with the powerful program transformations performed by partial evaluation, and which can be implemented via small modifications to existing generic abstract interpreters. With this aim, we will relate top-down abstract interpretation with traditional concepts in partial evaluation and sketch how the sophisticated techniques developed for controlling partial evaluation can be adapted to the proposed specialization framework. We conclude that there can be both practical and conceptual advantages in the proposed integration of partial evaluation and abstract interpretation.

Comparative analysis of the gene-dense ACHE/TFR2 region on human chromosome 7q22 with the orthologous region on mouse chromosome 5

Chromosome 7q22 has been the focus of many cytogenetic and molecular studies aimed at delineating regions commonly deleted in myeloid leukemias and myelodysplastic syndromes. We have compared a gene-dense, GC-rich sub-region of 7q22 with the orthologous region on mouse chromosome 5. A physical map of 640 kb of genomic DNA from mouse chromosome 5 was derived from a series of overlapping bacterial artificial chromosomes. A 296 kb segment from the physical map, spanning Ache to Tfr2, was compared with 267 kb of human sequence. We identified a conserved linkage of 12 genes including an open reading frame flanked by Ache and Asr2, a novel cation-chloride cotransporter interacting protein Cip1, Ephb4, Zan and Perq1. While some of these genes have been previously described, in each case we present new data derived from our comparative sequence analysis. Adjacent unfinished sequence data from the mouse contains an orthologous block of 10 additional genes including three novel cDNA sequences that we subsequently mapped to human 7q22. Methods for displaying comparative genomic information, including unfinished sequence data, are becoming increasingly important. We supplement our printed comparative analysis with a new, Web-based program called Laj (local alignments with java). Laj provides interactive access to archived pairwise sequence alignments via the WWW. It displays synchronized views of a dot-plot, a percent identity plot, a nucleotide-level local alignment and a variety of relevant annotations. Our mouse–human comparison can be viewed at http://web.uvic.ca/~bioweb/laj.html. Laj is available at http://bio.cse.psu.edu/, along with online documentation and additional examples of annotated genomic regions.

Significados da reinserção escolar de crianças após queimaduras: um estudo etnográfico

As queimaduras na infância compreendem importante causa de atendimento hospitalar e internação e podem desencadear sequelas físicas e emocionais. Dependendo da gravidade e complexidade das lesões, a hospitalização da criança é prolongada para realização de tratamento adequado e ela é afastada tanto do convívio familiar como do social. O número de crianças em idade escolar que sofrem queimaduras, e consequentemente interrompem as atividades escolares, por períodos curtos ou até as abandonam, é significativo, tornando digno de preocupação o processo de reinserção escolar. Este estudo teve como objetivo interpretar os significados do processo de reinserção escolar de crianças sobreviventes de queimaduras. Realizou-se uma pesquisa com abordagem metodológica qualitativa, fundamentada no referencial teórico da Antropologia Interpretativa e no método etnográfico. Após a aprovação do estudo pelos Comitês de Ética em Pesquisa com Seres Humanos das instituições envolvidas, convidaram-se crianças sobreviventes de queimaduras em seguimento em um hospital-escola do interior paulista. Coletaram-se dados no hospital, no domicílio e na escola das crianças, de janeiro de 2012 a dezembro de 2013, por meio de entrevistas em profundidade audiogravadas e observação participante, complementadas pelo diário de campo. Participaram da pesquisa 14 crianças e os atores sociais envolvidos neste processo, como familiares, profissionais de saúde, professores, vizinha e amigo, totalizando 57 participantes. A coleta e análise dos dados ocorreram concomitantemente, e esta última seguiu os pressupostos da análise temática indutiva. Identificaram-se códigos, os quais, posteriormente, embasaram a construção das duas unidades de sentidos: \"Fatos e fatores prévios ao retorno escolar\" e \"A volta à escola\". A partir destas, identificou-se o núcleo temático, \"O olho puxa essas coisas. A gente olha mesmo\": enxergando o outro como diferente, o qual apresenta a explicação compreensiva do processo de reinserção escolar, fornecendo os significados da experiência. Os significados foram explicados por meio dos conceitos antropológicos de estigma, identidade e corporeidade. O culto ao corpo presente no contexto cultural brasileiro foi fator intensificador do estigma sofrido pelas crianças. Identificaram-se fatores facilitadores do processo, como: dar continuidade às atividades escolares e manter contato com professores e colegas durante a hospitalização; preparar a escola para receber a criança; abordar sobre queimadura na escola para evitar curiosidade; encarar a presença da discriminação e trabalhar as diferenças. Estas estratégias fazem com que todos os envolvidos se sintam ao menos mais confortáveis durante esse difícil processo que merece atenção e envolvimento dos familiares, profissionais de saúde e equipe escolar. A partir dos resultados desta pesquisa, esperamos empoderar as crianças e seus familiares acerca da melhor maneira para lidar com as queimaduras durante a reinserção escolar e contribuir para o desenvolvimento de ações e estratégias baseadas na cultura para que este processo ocorra da forma menos traumática possível

Bullying Victimization and Perpetration Among Adolescent Sport Teammates

Purpose: Bullying is a specific pattern of repeated victimization explored with great frequency in school-based literature, but receiving little attention within sport. The current study explored the prevalence of bullying in sport, and examined whether bullying experiences were associated with perceptions about relationships with peers and coaches. Method: Adolescent sport team members (n = 359, 64% female) with an average age of 14.47 years (SD = 1.34) completed a pen-and-paper or online questionnaire assessing how frequently they perpetrated or were victimized by bullying during school and sport generally, as well as recent experiences with 16 bullying behaviors on their sport team. Participants also reported on relationships with their coach and teammates. Results: Bullying was less prevalent in sport compared with school, and occurred at a relatively low frequency overall. However, by identifying participants who reported experiencing one or more act of bullying on their team recently, results revealed that those victimized through bullying reported weaker connections with peers, whereas those perpetrating bullying only reported weaker coach relationships. Conclusion: With the underlying message that bullying may occur in adolescent sport through negative teammate interactions, sport researchers should build upon these findings to develop approaches to mitigate peer victimization in sport.

Bibliography on taxation in underdeveloped countries.

Mode of access: Internet.

Oversight on federal nutrition programs [microform] : hearings before the Subcommittee on Nutrition of the Committee on Agriculture, Nutrition, and Forestry, United States Senate, Ninety-seventh Congress, second session, February 22 and 23, 1982.

CIS Microfiche Accession Numbers: CIS 82 S161-18

New law limits idling of diesel vehicles to reduce emissions and save fuel.

Diesel trucks and buses account for approximately 50 percent of the particulate matter (PM) and oxides of nitrogen (NOx) air pollution from on-road vehicles in Illinois. PM and NOx may contribute to a variety of health effects, including nausea, headaches, increased risk of asthma attacks, lung cancer, and premature death. Children and people with lung and heart conditions, are generally the most sensitive to diesel exhaust. Millions of tons of air pollution are emitted every year in the U.S. by trucks and buses that idle while parked.

Free and reduced price meal and free milk policy handbook.

Includes parent letter and sample application in Spanish.

Free and reduced price meal and free milk policy handbook.

Includes parent letter and sample application in Spanish.

Out of the generosity of your heart: Are we creating active citizens through compulsory volunteer programmes for young people in Australia?

Using governmentality as a theoretical framework, we examine two Australian policy areas where young people are disciplined into becoming good, active citizens. These policies-mutual obligation through the work for the dole programme, and school-based active citizenship programmes similar to American service learning programmes-both mirror volunteer-ope activities, in a social context where volunteers are viewed as good citizens. In this study, we present findings from a qualitative study that addresses the question of whether young people will develop active citizenship through compulsory volunteer-type programmes. The findings show that first, young people are very conscious of the lack of choice involved in these programmes and that this weakened their sense of agency. Second, the programmes failed to develop positive community attitudes and active social behaviours. These results suggest that policies that compel individuals to contribute to society may actually weaken their citizenship identities.

'I never imagined I'd have to teach these children': Providing authentic learning experiences for secondary pre-service teachers in teaching students with special needs

This article describes a collaborative and cross-curricula initiative undertaken in the School of Education at the University of Queensland, Brisbane, Australia. The project involved developing an integrated approach to providing professional year pre-service secondary teacher education students with experiences that would assist them to develop their knowledge and skills to teach students with special needs in their classrooms. These experiences were undertaken in the authentic teaching and learning context of a post-school literacy program for young adults with intellectual disabilities. In preliminary interviews pre-service teachers revealed that they lacked experience, knowledge and understanding related to teaching students with special needs, and felt that their teacher education program lacked focus in this field. This project was developed in response to these expressed needs. Through participating in the project, pre-service teachers' knowledge and understanding about working with students with diverse learning needs were developed as they undertook real and purposeful tasks in an authentic context.