Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

This paper provides a case-study in the field of metric semantics for probabilistic programming. Both an operational and a denotational semantics are presented for an abstract process language L_pr, which features action refinement and probabilistic choice. The two models are constructed in the setting of complete ultrametric spaces, here based on probability measures of compact support over sequences of actions. It is shown that the standard toolkit for metric semantics works well in the probabilistic context of L_pr, e.g. in establishing the correctness of the denotational semantics with respect to the operational one. In addition, it is shown how the method of proving full abstraction --as proposed recently by the authors for a nondeterministic language with action refinement-- can be adapted to deal with the probabilistic language L_pr as well

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

This paper studies testing based on labelled transition systems, presenting two test generation algorithms with their corresponding implementation relations. The first algorithm assumes that implementations communicate with their environment via symmetric, synchronous interactions. It is based on the theory of testing equivalence and preorder, as is most of the testing theory for labelled transition systems, and it is found in the literature in some slightly different variations. The second algorithm is based on the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of labelled transition systems to those systems that can always accept input actions. For these implementations a testing theory is developed, analogous to the theory of testing equivalence and preorder. It consists of implementation relations formalizing the notion of conformance of these implementations with respect to labelled transition system specifications, test cases and test suites, test execution, the notion of passing a test suite, and the test generation algorithm, which is proved to produce sound test suites for one of the implementation relations

The Changing role of agriculture in Dutch society

Dutch agriculture has undergone significant changes in the past century, similar to many countries in the European Union. Due to economies of scale and in order to remain economically profitable, it became necessary for farmers to increase farm size, efficiency and external inputs, while minimizing labour use per hectare. The latter has resulted in fewer people working in the agricultural sector. Consequently, Dutch society gradually lost its connection to agricultural production. This divergence resulted in a poor image for the agricultural sector, because of environmental pollution, homogenization of the landscape, outbreaks of contagious animal diseases and reduced animal welfare. Although the general attitude towards agriculture seems to have improved slightly in recent years, there is still a long way to go in regaining this trust. In order to keep the Dutch countryside viable, farmers are considered indispensable. However, their methods of production should match the demands of society in terms of sustainability. This applies both to farming systems that are used in a monofunctional way (production only) and to multifunctional farming systems. For researchers involved in development of these farming systems, this requires new capabilities; contrary to the situation in the past, citizens and stakeholder groups now demand involvement in the design of farming systems. In the current paper, it is suggested that, besides traditional mainstream agriculture, other alternative farming systems should be developed and implemented. Hence, Dutch agricultural research should remain focused on the cutting edge of economy and society. Despite all efforts, not all of these newly developed systems will acquire a position within the agricultural spectrum. However, some of the successful ones may prove extremely valuable

A new lower bound approach for single-machine multicriteria scheduling

The concept of maximum potential improvement has played an important role in computing lower bounds for single-machine scheduling problems with composite objective functions that are linear in the job completion times. We introduce a new method for lower bound computation; objective splitting. We show that it dominates the maximum potential improvement method in terms of speed and quality

Modeling of the HIV infection epidemic in the Netherlands: A multi-parameter evidence synthesis approach

Multi-parameter evidence synthesis (MPES) is receiving growing attention from the epidemiological community as a coherent and flexible analytical framework to accommodate a disparate body of evidence available to inform disease incidence and prevalence estimation. MPES is the statistical methodology adopted by the Health Protection Agency in the UK for its annual national assessment of the HIV epidemic, and is acknowledged by the World Health Organization and UNAIDS as a valuable technique for the estimation of adult HIV prevalence from surveillance data. This paper describes the results of utilizing a Bayesian MPES approach to model HIV prevalence in the Netherlands at the end of 2007, using an array of field data from different study designs on various population risk subgroups and with a varying degree of regional coverage. Auxiliary data and expert opinion were additionally incorporated to resolve issues arising from biased, insufficient or inconsistent evidence. This case study offers a demonstration of the ability of MPES to naturally integrate and critically reconcile disparate and heterogeneous sources of evidence, while producing reliable estimates of HIV prevalence used to support public health decision-making.Comment: Published in at http://dx.doi.org/10.1214/11-AOAS488 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Housing repossessions, evictions and common mental illness in the UK: results from a household panel study

Background: The numbers of housing repossessions and evictions in the UK are increasing. This study investigates whether repossessions and evictions increase the likelihood of common mental illness and examine patterns over time. Methods: Data come from the core longitudinal panel of the British Household Panel Survey (N=12 390) of adults living in private households. Multivariate fixed-effects regression models are used with weighted data. Common mental illness is measured by the 12-item General Health Questionnaire. Results: Housing repossession is associated with an increased risk of common mental illness (adjusted odds ratio 1.61, 95% confidence interval 1.10 to 2.36), whereas eviction from rented property shows no increased risk (0.97, 0.76 to 1.20). The pattern over time shows a clear increase in the years before repossession. Conclusions: Repossession of owned property, although a relatively rare event in the panel, significantly increases the risk of common mental illness immediately after the event. In contrast, eviction from rented property is a more common event but is not associated with an increased risk of common mental illness. This difference in association may be due to losing the security of owned housing and the often transitory nature of the rented housing population