Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Implications of nanotechnology for the agri-food industry: Opportunities, benefits and risks

Nanotechnology has emerged as a technological advancement that could develop and transform the entire agri-food sector, with the potential to increase agricultural productivity, food security and economic growth for industries. Though as still a relatively new concept there are concerns over its safety, regulation and acceptance by the industry and consumers. This review set out to address the implications of nanotechnology for the agri-food industry by examining the potential benefits, risks and opportunities. Existing scientific gaps in knowledge are believed to be a prohibitive factor in addition to uncertainties in the level of awareness and attitudes towards the use of nanotechnology by the industry.

Scientific standards for human intervention trials evaluating health benefits of foods, and their application to infants, children and adolescents

Associations between the consumption of particular foods and health outcomes may be indicated by observational studies. However, intervention trials that evaluate the health benefits of foods provide the strongest evidence to support dietary recommendations for health. Thus, it is important that these trials are carried out safely, and to high scientific standards. Accepted standards for the reporting of the health benefits of pharmaceutical and other medical interventions have been provided by the Consolidated Standards of Reporting Trials (CONSORT) statement. However, there are no generally accepted standards for trials to evaluate the health benefits of foods. Trials with foods differ from medical trials in issues related to safety, ethics, research governance and practical implementation. Furthermore, these important issues can deter the conduct of both medical and nutrition trials in infants, children and adolescents. This paper provides standards for the planning, design, conduct, statistical analysis and interpretation of human intervention trials to evaluate the health benefits of foods that are based on the CONSORT guidelines, and outlines the key issues that need to be addressed in trials in participants in the paediatric age range.

Cost-Directed Refactoring for Parallel Erlang Programs

This paper presents a new programming methodology for introducing and tuning parallelism in Erlang programs, using source-level code refactoring from sequential source programs to parallel programs written using our skeleton library, Skel. High-level cost models allow us to predict with reasonable accuracy the parallel performance of the refactored program, enabling programmers to make informed decisions about which refactorings to apply. Using our approach, we demonstrate easily obtainable, significant and scalable speedups of up to 21 on a 24-core machine over the sequential code.

Challenging the SD benefits attributed to sport Mega-Events hosting

Sport Mega-event hosting faces opposition that is manifested with different intensity during the different phases of the event, from its inception as an idea to its delivery and legacy. Some Social Movements Organisations (SMOs) have acted as indefatigable monitors of the Sustainable Development (SD) dimension of sporting events in general and, in some of the most recent sport mega-events, in particular the Olympics, they have served as important advisors and facilitators. Nevertheless, in many cases we see enthusiastic supporters turning to vehemently challenging whatever positives have been associated with hosting the event. In addition, there is opposition to sport Mega-events in their entirety. That type of opposition tends to employ a holistic prism that manages to identify multiple interconnected negative aspects of hosting a sport mega-event and incorporate them into an anti-systemic discourse. It is important to bear in mind that irrespective of many proclamations to the opposite as far as megas are concerned (projects and/or events), a number of studies have demonstrated that citizen participation and democratic accountability in decision-making have been notoriously absent. After all, the idea of citizen participation in the planning of sport mega-event is essentially the public response to a plan conceived by others. There were, of course, some notable cases of democratic consultation at the early stages of bidding to host a sport mega-event but these more democratic approaches resulted in the failure of the bid (for e.g. Toronto 1996). The knowledge of this by the groups that initiated the hosting idea and the bidding process has led to discouraging in depth public consultation that may fit perfectly to the democratic process but not to the tight schedules of associated projects completion. That produces ‘autocracy against which opposition may arise’ (Hiller, 2000, p. 198). It is this democratic deficit that has led to important instances of social contestation and protest mobilizations by citizen groups as well as the more regular corps of social activists. From a perspective borrowed from the sociology of protest and social movements, sport mega-events hosting can operate as an issue that stimulates protest activities by an existing protest milieu and new actors as well as an important mobilizing resource. In fact, some scholars have also argued that the Olympic Games were an important frame for the transnational activism that was marked by anti-globalization protest in Seattle in 1999 (Cottrell & Nelson, 201; Lenskyj, 2008). In addition, it’s important not to lose sight of other acts dissent that take place in relatively close proximity, about a year before the event when most infrastructural and societal changes brought by hosting the event and impact start to become apparent by the host communities, like the rioting of August 2011 in the London Olympic Boroughs and the 2012 riots of June 2013 in Sao Paulo and other Brazilian cities. This paper starts by outlining the SD claims made in the bidding to host the summer Olympic Games by five prospective hosts (Sydney; Athens; Beijing; London and Rio) proceeds towards examining the opposition and challenges that was manifested in relation to these claims. In Particular it provides an assessment of protest-events over the aforementioned different phases of sport mega-events hosting. A different picture emerges for each of the host nation that is partly explained by local, national and global configuration of protest politics. Whereas the post-event legacy of the first two hosts of the Games can be assessed and that way see the validity of claims made by challengers in the other phases, in the other three cases, the implementation of Olympic Games Impact (OGI) studies offers the tool for discussing the post-event phase for Beijing and London and engage in a speculative exercise for the case of Rio. Judging by available findings, the paper concludes that the SD aspiration made in the bid documents are unlikely to be met and social contestation based on the same issues is likely to increase due to the current global economic crisis and BRICS, like China and Brazil, having entered the process of becoming global economic hegemons.

Sequence Effects in the Valuation of Multiple Environmental Programs Using the Contingent Valuation Method

In contingent valuation, the willingness to pay for hypothetical programs may be affected by the order in which programs are presented to respondents. With inclusive lists, economic theory suggests that sequence effects should be expected. However, when policy makers allocate public budgets to several environmental programs, they may be interested in assessing the value of the programs without the valuations being affected by the order in which the programs are presented. Using single-bounded dichotomous choice contingent valuation questions, we show that if respondents have the possibility to revise their willingness-to-pay answers, sequence effects are mitigated. (JEL Q51, Q54)

Student Life - The educational benefits of simulated practice

Simulation learning is used in several health disciplines. The Department of Health defines simulation as ‘any reproduction or approximation of a real event, process or set of conditions or problems’.

The Impact of Extension and Ecosystem Services on Smallholders’ Credit Constraint.

On formal credit markets, access to formal credit and reasonable credit terms of smallholder farmers
in rural sub-Saharan Africa is limited due to adverse selection. Financial institutions operating in
rural areas often cannot distinguish between borrowers (farmers) that are creditworthy and those that
are not, thus, allocate limited resource to agriculture to reduce credit risk. In the presence of limited business quality signaling by smallholder farmers, financial institutions shall demand for collateral and/or offer unfavorable contract terms. Moreover, agricultural productivity of rural sub-Saharan
Africa, dominated by subsistence or small-scale farmers, is also negatively impacted by the adverse
effect of climate change. A strategy that may make the farming practices of smallholder farmer’s
climate resilient and profitable may also improve smallholder farmer's access to formal credit. This
study investigates to what extent participating in ecosystem and extension services (EES) programs
signals business quality of smallholders, thus granting them credit accessibility. We collected data
on 210 smallholder farmers in 2013, comprising farmers that receive payments for ecosystem
services (PES) and farm management training from the International Small Group Tree Planting
Program (TIST) Kenya to test the aforementioned theory empirically. We use game theory,
particularly a screening and sorting model, to illustrate the prospects for farmers with EES to access
formal credit and to improve their credit terms given that they receive PES and banking services
training. Furthermore, the PES’ long term duration (10 – 30 years) generates stable cash-flow which
may be perceived as collateral substitute. Results suggest that smallholder farmers in the TIST
program were less likely to be credit constraint compared to non-TIST farmers. Distance to market,
education, livestock and farm income are factors that determine access to credit from microfinance
institutions in rural Kenya. Amongst farmers that have obtained loans, those keeping business records
enjoy more favorable formal credit conditions. These farmers were observed to pay ca. 5 percent less
interest rate in microfinance charges. For TIST farmers, this type of farm management practices may
be attributed to the banking services and other training they receive within the program. While the
availability of classical collateral (farmlands) and PES may reduce interest rate, the latter was found
to be statistically insignificant. This research underlines the importance of an effective extension
services in rural areas of developing countries and the need to improve gains from conservation
agriculture and ensuing PES. The benefits associated with EES and PES may encompass agricultural
financing.

Cross-age tutoring in kindergarten and elementary school settings: a systmeatic review and meta-analysis

Background: Qualified teaching staffs are neither available nor affordable to provide large numbers of children with individual attention. One solution to providing individual tuition has been the development of tutoring programs that are delivered by nonprofessional tutors, such as classmates, older children and community volunteers. Objectives: We have conducted a systematic review of cross-age tutoring interventions delivered by non-professional tutors to children between 5 and 11 years old. Only randomized controlled trials with reliable measures of academic outcomes, and continuing for at least 12 weeks, compared to instruction as usual, were included. Results: Searches of electronic databases and previous reviews, and contacts with researchers yielded 11,564 titles; after screening, 15 studies were included in the analysis. Cross-age tutoring showed small significant effects for tutees on the composite measure of reading (g=0.18, 95% CI: 0.08, 0.27, N=8251), decoding skills (g=0.29, 95% CI: 0.13, 0.44, N=7081), and reading comprehension (g=0.11, 95% CI: 0.01, 0.21, N=6945). No significant effects were detected for other reading sub-skills or for mathematics. The quality of evidence is decreased by study limitations and high heterogeneity of effects. Conclusions: The benefits for tutees of non-professional peer and cross-age tutoring can be given a positive but weak recommendation, considering the low quality of evidence and lack of cost information. Subgroup analyses suggested that highly-structured reading programs may be more useful than loosely-structured programs. Large-scale replication trials using factorial design, process evaluations, reliable outcome measures and logic models are needed to better understand under what conditions, and for whom, cross-age non-professional tutoring may be effective.