Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint. We prove a confluence result concerning the rule scheme and show its correctness. When algorithms are written in CHR, constraints represent both data and operations. CHR is already incremental by nature, i.e. constraints can be added at runtime. Logical retraction adds decrementality. Hence any algorithm written in CHR with justifications will become fully dynamic. Operations can be undone and data can be removed at any point in the computation without compromising the correctness of the result. We present two classical examples of dynamic algorithms, written in our prototype implementation of CHR with justifications that is available online: maintaining the minimum of a changing set of numbers and shortest paths in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Spatio-temporal genetic structure and gene flow between two distinct shell morphs of the planktonic developing periwinkle <i>Littorina striata</i> (Mollusca : Prosobranchia)

The planktonic developing periwinkle Littorina striata produces both nodulose and smooth shells, which were originally regarded as 2 separate species. Although both morphs occur microsympatrically, their distribution is not random. Nodulose shells predominate at wave-sheltered sites, whereas smooth shells are more common at wave-exposed sites. The degree of genetic similarity between the 2 shell types and their microgeographic spatio-temporal genetic structuring were investigated using allozyme electrophoresis. This indicated that: (1) both morphs share a common gene pool, (2) gene flow between populations is high and of comparable magnitude to gene flow between both morphs, (3) the population genetic structure of L. striata remains stable over a sampling period of 3 yr, and (4) genetic and morphological distances between populations are not correlated. These results thus confirm the conspecific status of the 2 shell types and suggest that shell variability and spatial patterning in L. striata persist in the presence of intense gene flow

Large-scale albuminuria screen for nephropathy models in chemically induced mouse mutants

Background/Aim: Phenotype-driven screening of a great pool of randomly mutant mice and subsequent selection of animals showing symptoms equivalent to human kidney diseases may result in the generation of novel suitable models for the study of the pathomechanisms and the identification of genes involved in kidney dysfunction. Methods: We carried out a large-scale analysis of ethylnitrosourea (ENU)-induced mouse mutants for albuminuria by using qualitative SDS-polyacrylamide gel electrophoresis. Results: The primary albuminuria screen preceded the comprehensive phenotypic mutation analysis in a part of the mice of the Munich ENU project to avoid loss of mutant animals as a consequence of prolonged suffering from severe nephropathy. The primary screen detected six confirmed phenotypic variants in 2,011 G1 animals screened for dominant mutations and no variant in 48 G3 pedigrees screened for recessive mutations. Further breeding experiments resulted in two lines showing a low phenotypic penetrance of albuminuria. The secondary albuminuria screen was carried out in mutant lines which were established in the Munich ENU project without preceding primary albuminuria analysis. Two lines showing increased plasma urea levels were chosen to clarify if severe kidney lesions are involved in the abnormal phenotype. This analysis revealed severe albuminuria in mice which are affected by a recessive mutation leading to increased plasma urea and cholesterol levels. Conclusion: Thus, the phenotypic selection of ENU-induced mutants according to the parameter proteinuria in principle demonstrates the feasibility to identify nephropathy phenotypes in ENU-mutagenized mice. Copyright (C) 2005 S. Karger AG, Basel

Exponential Separation of Quantum and Classical Online Space Complexity

Although quantum algorithms realizing an exponential time speed-up over the best known classical algorithms exist, no quantum algorithm is known performing computation using less space resources than classical algorithms. In this paper, we study, for the first time explicitly, space-bounded quantum algorithms for computational problems where the input is given not as a whole, but bit by bit. We show that there exist such problems that a quantum computer can solve using exponentially less work space than a classical computer. More precisely, we introduce a very natural and simple model of a space-bounded quantum online machine and prove an exponential separation of classical and quantum online space complexity, in the bounded-error setting and for a total language. The language we consider is inspired by a communication problem (the set intersection function) that Buhrman, Cleve and Wigderson used to show an almost quadratic separation of quantum and classical bounded-error communication complexity. We prove that, in the framework of online space complexity, the separation becomes exponential.Comment: 13 pages. v3: minor change

Step-wedge cluster-randomised community-based trials: An application to the study of the impact of community health insurance

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.BACKGROUND: We describe a step-wedge cluster-randomised community-based trial which has been conducted since 2003 to accompany the implementation of a community health insurance (CHI) scheme in West Africa. The trial aims at overcoming the paucity of evidence-based information on the impact of CHI. Impact is defined in terms of changes in health service utilisation and household protection against the cost of illness. Our exclusive focus on the description and discussion of the methods is justified by the fact that the study relies on a methodology previously applied in the field of disease control, but never in the field of health financing. METHODS: First, we clarify how clusters were defined both in respect of statistical considerations and of local geographical and socio-cultural concerns. Second, we illustrate how households within clusters were sampled. Third, we expound the data collection process and the survey instruments. Finally, we outline the statistical tools to be applied to estimate the impact of CHI. CONCLUSION: We discuss all design choices both in relation to methodological considerations and to specific ethical and organisational concerns faced in the field. On the basis of the appraisal of our experience, we postulate that conducting relatively sophisticated trials (such as our step-wedge cluster-randomised community-based trial) aimed at generating sound public health evidence, is both feasible and valuable also in low income settings. Our work shows that if accurately designed in conjunction with local health authorities, such trials have the potential to generate sound scientific evidence and do not hinder, but at times even facilitate, the implementation of complex health interventions such as CHI

Effects of environmental stress on the condition of <i>Littorina littorea</i> along the Scheldt Estuary (the Netherlands)

The condition of the periwinkle Littorina littorea, expressed in terms of its shell morphology, reproductive impairment (i.e. female sterility/intersex, male penis shedding), trematode infestation load, lipid reserves and dry/wet weight ratio, was determined in function of environmental stress along the polluted Western and relatively clean Eastern Scheldt estuary (The Netherlands). The upstream increasing pollution and decreasing salinity levels along the Western Scheldt estuary (Fig. 1) are reflected in the dry/wet weight ratio and lipid content of the periwinkles. Compared to the Eastern Scheldt, female intersex (i.e. indicator of TBT pollution) and sterility occurred more frequently in the Western Scheldt estuary, while male penis shedding was even restricted to the latter estuary. The highest population intersex and sterility incidence was found near the harbour of Vlissingen and reflects potential nautical activities. The number of trematode infested periwinkles did not differ between both estuaries, although local sampling site differences were detected within each estuary, reflecting the complex interactions that exist among parasites, hosts and the local environment. Finally, both estuaries were maximally discriminated from each other based on the shell weight of the periwinkles using a canonical discriminant analysis. Periwinkles with the heaviest shells were found in the Western Scheldt estuary and may reflect growth rate or structural population differences caused by the less favourable living conditions in the Western Scheldt estuary

Differences in shell morphology and reproductive impairment in <i>Littorina littorea</i> along the Belgian coast

In this study we evaluated the condition of Littorina littorea along the Belgian coast using shell morphology and reproductive impairment (i.e. female intersex and sterility; male penis shedding) characteristics. Periwinkles were collected at eight sites along the Belgian coast of which three were in the direct vicinity of the seaports of ‘Zeebrugge’, ‘Oostende’ and ‘Nieuwpoort’. Standard shell parameters were measured, animals were sexed based on the p/a of the vesicula seminalis and reproductive impairment was determined for both sexes. Significant differences in the shell morphology and reproductive impairment could be detected among the sites. Indeed, periwinkles from ‘Zeebrugge’ were significantly larger and heavier compared to the specimens that were taken from the other sites. In addition, ‘Zeebrugge’ contained the largest number of penis shedded males (i.e. 61.11%) and intersex/sterile females (i.e. 100% and 95.24% respectively). The latter resulted in an ISI-index of 3.52, which is one of the highest ISI values ever recorded in L. littorea