An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Academic achievement : the role of praise in motivating students

The motivation of students is an important issue in higher education, particularly in the context of the increasing diversity of student populations. A social-cognitive perspective assumes motivation to be dynamic, context-sensitive and changeable, thereby rendering it to be a much more differentiated construct than previously understood. This complexity may be perplexing to tutors who are keen to develop applications to improve academic achievement. One application that is within the control of the tutor, at least to some extent, is the use of praise. Using psychological literature the article argues that in motivating students, the tutor is not well served by relying on simplistic and common sense understandings of the construct of praise and that effective applications of praise are mediated by students' goal orientations, which of themselves may be either additive or interactive composites of different objectives and different contexts

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Cost effectiveness analysis of clinically driven versus routine laboratory monitoring of antiretroviral therapy in Uganda and Zimbabwe.

BACKGROUND: Despite funding constraints for treatment programmes in Africa, the costs and economic consequences of routine laboratory monitoring for efficacy and toxicity of antiretroviral therapy (ART) have rarely been evaluated. METHODS: Cost-effectiveness analysis was conducted in the DART trial (ISRCTN13968779). Adults in Uganda/Zimbabwe starting ART were randomised to clinically-driven monitoring (CDM) or laboratory and clinical monitoring (LCM); individual patient data on healthcare resource utilisation and outcomes were valued with primary economic costs and utilities. Total costs of first/second-line ART, routine 12-weekly CD4 and biochemistry/haematology tests, additional diagnostic investigations, clinic visits, concomitant medications and hospitalisations were considered from the public healthcare sector perspective. A Markov model was used to extrapolate costs and benefits 20 years beyond the trial. RESULTS: 3316 (1660LCM;1656CDM) symptomatic, immunosuppressed ART-naive adults (median (IQR) age 37 (32,42); CD4 86 (31,139) cells/mm(3)) were followed for median 4.9 years. LCM had a mean 0.112 year (41 days) survival benefit at an additional mean cost of $765 [95$7386 [3277,dominated] per life-year gained and $7793 [4442,39179] per quality-adjusted life year gained. Routine toxicity tests were prominent cost-drivers and had no benefit. With 12-weekly CD4 monitoring from year 2 on ART, low-cost second-line ART, but without toxicity monitoring, CD4 test costs need to fall below$3.78 to become cost-effective (<3xper-capita GDP, following WHO benchmarks). CD4 monitoring at current costs as undertaken in DART was not cost-effective in the long-term. CONCLUSIONS: There is no rationale for routine toxicity monitoring, which did not affect outcomes and was costly. Even though beneficial, there is little justification for routine 12-weekly CD4 monitoring of ART at current test costs in low-income African countries. CD4 monitoring, restricted to the second year on ART onwards, could be cost-effective with lower cost second-line therapy and development of a cheaper, ideally point-of-care, CD4 test

Sheep Updates 2005 - Part 3

This session covers seven papers from different authors: CUSTOMER 1. Benefits VIAscanR to producers and WAMMCO, Rob Davidson, Supply Development Manager, David Pethick, School of Veterinary and Biomedical Studies, Murdock University. 2. Healthy fats in lamb: how WA lambs compare with others, C. F. Engelke Animal Biology, University of Western Australia, bCSIRO Livestock Industries, Western Australia B.D. Siebert, Department of Animal Science, University of Adelaide, South Australia, K. Gregg, Centre for High-Throughput Agricultural Genetic Analysis, Murdoch University, Western Australia. A-D.G. Wright CSIRO Livestock Industries, Western Australia, P.E Vercoe Animal Biology, University of Western Australia 3. Shelf life of fresh lamb meat: lamb age & electrical stimulation, Dr Robin Jacob, Department of Agriculture, Western Australia 4. Pastures from space - An evaluation of adoption of by Australian woolgrowers, Russell Barnett, Australian Venture Consultants, Joanne Sneddon, University of Western Australia 5. Your clients can learn from ASHEEP\u27s example, Sandra Brown Department of Agriculture Western Australia 6. Lifetime Wool - Farmers attitudes affect their adoption of recommended ewe management, G. Rose Department of Agriculture Western Australia, C. Kabore, Kazresearch, Lower Templestowe Vic, J. Dart, Clear Horizons, Hastings Vic 7. Sustainable certification of Australian Merino, what will customers be looking for? Stuart Adams, i-merino / iZWool International Pty Lt

Validation of a risk prediction tool for coronary heart disease in middle-aged women

Background: Health risk appraisal tools may be useful for identifying individuals who would benefit from lifestyle changes and increased surveillance. We evaluated the validity of the Your Disease Risk tool (YDR) for estimating relative risk of coronary heart disease (CHD) among middle-aged women. Methods: We included 55,802 women in the Nurses’ Health Study who completed a mailed questionnaire about risk factors in 1994 and had no history of heart disease at that time. Participants were followed through 2004 for the occurrence of CHD. We estimated each woman’s 10-year relative risk of CHD using YDR, and we compared the estimated YDR relative risk category (ranging from “very much below average” to “very much above average”) to the observed relative risk for each category using logistic regression. We also examined the discriminatory accuracy of YDR using concordance statistics (c-statistics). Results: There were 1165 CHD events during the 10-year follow-up period. Compared to the “about average” category, the observed age-adjusted relative risk was 0.43 (95 % confidence interval: 0.33, 0.56) for the “very much below average” category and 2.48 (95 % confidence interval: 1.68, 3.67) for the “very much above average” category. The age-adjusted c-statistic for the model including the YDR relative risk category was 0.71 (95 % confidence interval: 0.69, 0.72). The model performed better in younger than older women. Conclusion: The YDR tool appears to have moderate validity for estimating 10-year relative risk of CHD in this population of middle-aged women. Further research should aim to improve the tool’s performance and to examine its validity in other populations. Electronic supplementary material The online version of this article (doi:10.1186/s12905-015-0250-x) contains supplementary material, which is available to authorized users

Showing Israel the red card. Activists engaged in pro-Palestinian sport-related campaigns

© 2017 Informa UK Limited, trading as Taylor & Francis Group. This article explores the motivations of activists involved in pro-Palestinian sports-based campaigns. The activists’ intention is to bring pressure to bear upon Israel until it complies with international law and supports the rights of Palestinian people under the universal principles of human rights. In response to expressions of pro-Palestinian solidarity, the Israeli state and its supporters are interpreting such activity as a ‘new’ manifestation of ‘old’ antisemitism. In seeking to assess whether such activity is informed by antisemitism, 10 semi-structured interviews were conducted with activists to examine their motives. Their political biographies were explored as were their views on the use of sport as platform to express support for the Palestinian people and/or their displeasure at Israeli participation in international sport. One central theme was the activists’ responses to the suggestion that they were motivated by antisemitism. A qualitative content analysis of the interview transcripts revealed a shared observation that the accusation of antisemitism was a ‘shameless tactic’ employed by those seeking to cover up the ongoing injustices experienced by the Palestinian people. Sport was seen as a legitimate platform for political activity, to raise public awareness and to put pressure on the Israeli state. The findings contribute to a better understanding of activist motivations, the use of sport as a political platform and the challenges facing sport and its governing bodies

Planilhas para composição de legendas de mapas pedológicos, de acordo com o Sistema Brasileiro de Classificação de Solos, e sua inserção em tabelas de atributos de SIG.

Com o intuito de aumentar a rapidez e a eficiência na composição das legendas de identificação de solos, assim como facilitar sua incorporação e utilização em SIG, foi desenvolvido, no programa Microsoft Excel®, um sistema composto por planilhas que auxiliam o processo de digitação e organização das diversas informações constantes nas unidades de mapeamento de solos, tanto na forma por extenso, conforme apresentada nos relatórios dos levantamentos pedológicos, como estruturadas para possibilitar sua inserção nas tabelas de atributos de arquivos digitais utilizados em SIG.bitstream/item/215246/1/CNPS-CT-76-2020.pdf; bitstream/item/215243/1/legenda-solos.xls