Identifying sources of global contention in constraint satisfaction search

Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.

Refractive changes after descemet stripping endothelial keratoplasty: a simplified mathematical model.

PURPOSE: To develop a mathematical model that can predict refractive changes after Descemet stripping endothelial keratoplasty (DSEK). METHODS: A mathematical formula based on the Gullstrand eye model was generated to estimate the change in refractive power of the eye after DSEK. This model was applied to four DSEK cases retrospectively, to compare measured and predicted refractive changes after DSEK. RESULTS: The refractive change after DSEK is determined by calculating the difference in the power of the eye before and after DSEK surgery. The power of the eye post-DSEK surgery can be calculated with modified Gullstrand eye model equations that incorporate the change in the posterior radius of curvature and change in the distance between the principal planes of the cornea and lens after DSEK. Analysis of this model suggests that the ratio of central to peripheral graft thickness (CP ratio) and central thickness can have significant effect on refractive change where smaller CP ratios and larger graft thicknesses result in larger hyperopic shifts. This model was applied to four patients, and the average predicted hyperopic shift in the overall power of the eye was calculated to be 0.83 D. This change reflected in a mean of 93% (range, 75%-110%) of patients' measured refractive shifts. CONCLUSIONS: This simplified DSEK mathematical model can be used as a first step for estimating the hyperopic shift after DSEK. Further studies are necessary to refine the validity of this model.

Health Programming for Clergy: An Overview of Protestant Programs in the United States

The health of clergy is important, and clergy may find health programming tailored to them more effective. Little is known about existing clergy health programs. We contacted Protestant denominational headquarters and searched academic databases and the Internet. We identified 56 clergy health programs and categorized them into prevention and personal enrichment; counseling; marriage and family enrichment; peer support; congregational health; congregational effectiveness; denominational enrichment; insurance/strategic pension plans; and referral-based programs. Only 13 of the programs engaged in outcomes evaluation. Using the Socioecological Framework, we found that many programs support individual-level and institutional-level changes, but few programs support congregational-level changes. Outcome evaluation strategies and a central repository for information on clergy health programs are needed. © 2011 Springer Science+Business Media, LLC.

The beginnings of expertise for ballads

To study the beginning stages of expertise, 14 students, who were inexperienced with ballads, heard and recalled a series of 5 ballads over the course of 5 weeks. Compared with their first recall of the first ballad, their first recall of the fifth ballad had one and a half times as many words, two times as many rhyming words, and three times as much line structure evident in the written recall protocols. Compared with novices, the 14 beginning experts more often filled in blank spaces in novel ballads with words of the correct number of syllables and more often chose the original stanza of a novel ballad that was paired with a changed version of the stanza. The beginning experts were also able to compose, in 20 min, ballads about two thirds as long as the 10-stanza ballads they learned. Thirty characteristics were identified in the set of the five learned ballads. The ballads composed by the beginning experts used over half of these. The beginning experts also explicitly stated about one quarter of these 30 characteristics, but there was no statistical relationship between the characteristics used and the characteristics stated. Memory expertise is viewed as a pervasive aspect of cognition in which people make use of a variety of regularities in the material to be learned. © 1993 Cognitive Science Society, Inc.

Rhyme and Reason: Analyses of Dual Retrieval Cues

If and only if each single cue uniquely defines its target, a independence model based on fragment theory can predict the strength of a combined dual cue from the strengths of its single cue components. If the single cues do not each uniquely define their target, no single monotonic function can predict the strength of the dual cue from its components; rather, what matters is the number of possible targets. The probability of generating a target word was .19 for rhyme cues, .14 for category cues, and .97 for rhyme-plus-category dual cues. Moreover, some pairs of cues had probabilities of producing their targets of .03 when used individually and 1.00 when used together, whereas other pairs had moderate probabilities individually and together. The results, which are interpreted in terms of multiple constraints limiting the number of responses, show why rhymes, which play a minimal role in laboratory studies of memory, are common in real-world mnemonics.

Global sea-to-air flux climatology for bromoform, dibromomethane and methyl iodide

Volatile halogenated organic compounds containing bromine and iodine, which are naturally produced in the ocean, are involved in ozone depletion in both the troposphere and stratosphere. Three prominent compounds transporting large amounts of marine halogens into the atmosphere are bromoform (CHBr3), dibromomethane (CH2Br2) and methyl iodide (CH3I). The input of marine halogens to the stratosphere has been estimated from observations and modelling studies using low-resolution oceanic emission scenarios derived from top-down approaches. In order to improve emission inventory estimates, we calculate data-based high resolution global sea-to-air flux estimates of these compounds from surface observations within the HalOcAt (Halocarbons in the Ocean and Atmosphere) database (https://halocat.geomar.de/). Global maps of marine and atmospheric surface concentrations are derived from the data which are divided into coastal, shelf and open ocean regions. Considering physical and biogeochemical characteristics of ocean and atmosphere, the open ocean water and atmosphere data are classified into 21 regions. The available data are interpolated onto a 1 degrees x 1 degrees grid while missing grid values are interpolated with latitudinal and longitudinal dependent regression techniques reflecting the compounds' distributions. With the generated surface concentration climatologies for the ocean and atmosphere, global sea-to-air concentration gradients and sea-to-air fluxes are calculated. Based on these calculations we estimate a total global flux of 1.5/2.5 Gmol Br yr(-1) for CHBr3, 0.78/0.98 Gmol Br yr(-1) for CH2Br2 and 1.24/1.45 Gmol Br yr(-1) for CH3I (robust fit/ordinary least squares regression techniques). Contrary to recent studies, negative fluxes occur in each sea-to-air flux climatology, mainly in the Arctic and Antarctic regions. "Hot spots" for global polybromomethane emissions are located in the equatorial region, whereas methyl iodide emissions are enhanced in the subtropical gyre regions. Inter-annual and seasonal variation is contained within our flux calculations for all three compounds. Compared to earlier studies, our global fluxes are at the lower end of estimates, especially for bromoform. An under-representation of coastal emissions and of extreme events in our estimate might explain the mismatch between our bottom-up emission estimate and top-down approaches.

Impacts of the Oceans on Climate Change

The oceans play a key role in climate regulation especially in part buffering (neutralising) the effects of increasing levels of greenhouse gases in the atmosphere and rising global temperatures. This chapter examines how the regulatory processes performed by the oceans alter as a response to climate change and assesses the extent to which positive feedbacks from the ocean may exacerbate climate change. There is clear evidence for rapid change in the oceans. As the main heat store for the world there has been an accelerating change in sea temperatures over the last few decades, which has contributed to rising sea‐level. The oceans are also the main store of carbon dioxide (CO2), and are estimated to have taken up ∼40% of anthropogenic-sourced CO2 from the atmosphere since the beginning of the industrial revolution. A proportion of the carbon uptake is exported via the four ocean ‘carbon pumps’ (Solubility, Biological, Continental Shelf and Carbonate Counter) to the deep ocean reservoir. Increases in sea temperature and changing planktonic systems and ocean currents may lead to a reduction in the uptake of CO2 by the ocean; some evidence suggests a suppression of parts of the marine carbon sink is already underway. While the oceans have buffered climate change through the uptake of CO2 produced by fossil fuel burning this has already had an impact on ocean chemistry through ocean acidification and will continue to do so. Feedbacks to climate change from acidification may result from expected impacts on marine organisms (especially corals and calcareous plankton), ecosystems and biogeochemical cycles. The polar regions of the world are showing the most rapid responses to climate change. As a result of a strong ice���ocean influence, small changes in temperature, salinity and ice cover may trigger large and sudden changes in regional climate with potential downstream feedbacks to the climate of the rest of the world. A warming Arctic Ocean may lead to further releases of the potent greenhouse gas methane from hydrates and permafrost. The Southern Ocean plays a critical role in driving, modifying and regulating global climate change via the carbon cycle and through its impact on adjacent Antarctica. The Antarctic Peninsula has shown some of the most rapid rises in atmospheric and oceanic temperature in the world, with an associated retreat of the majority of glaciers. Parts of the West Antarctic ice sheet are deflating rapidly, very likely due to a change in the flux of oceanic heat to the undersides of the floating ice shelves. The final section on modelling feedbacks from the ocean to climate change identifies limitations and priorities for model development and associated observations. Considering the importance of the oceans to climate change and our limited understanding of climate-related ocean processes, our ability to measure the changes that are taking place are conspicuously inadequate. The chapter highlights the need for a comprehensive, adequately funded and globally extensive ocean observing system to be implemented and sustained as a high priority. Unless feedbacks from the oceans to climate change are adequately included in climate change models, it is possible that the mitigation actions needed to stabilise CO2 and limit temperature rise over the next century will be underestimated.

Perspectives and Integration in SOLAS Science

Why a chapter on Perspectives and Integration in SOLAS Science in this book? SOLAS science by its nature deals with interactions that occur: across a wide spectrum of time and space scales, involve gases and particles, between the ocean and the atmosphere, across many disciplines including chemistry, biology, optics, physics, mathematics, computing, socio-economics and consequently interactions between many different scientists and across scientific generations. This chapter provides a guide through the remarkable diversity of cross-cutting approaches and tools in the gigantic puzzle of the SOLAS realm. Here we overview the existing prime components of atmospheric and oceanic observing systems, with the acquisition of ocean–atmosphere observables either from in situ or from satellites, the rich hierarchy of models to test our knowledge of Earth System functioning, and the tremendous efforts accomplished over the last decade within the COST Action 735 and SOLAS Integration project frameworks to understand, as best we can, the current physical and biogeochemical state of the atmosphere and ocean commons. A few SOLAS integrative studies illustrate the full meaning of interactions, paving the way for even tighter connections between thematic fields. Ultimately, SOLAS research will also develop with an enhanced consideration of societal demand while preserving fundamental research coherency.

An update to the Surface Ocean CO2 Atlas (SOCAT version 2)

The Surface Ocean CO2 Atlas (SOCAT), an activity of the international marine carbon research community, provides access to synthesis and gridded fCO2 (fugacity of carbon dioxide) products for the surface oceans. Version 2 of SOCAT is an update of the previous release (version 1) with more data (increased from 6.3 million to 10.1 million surface water fCO2 values) and extended data coverage (from 1968–2007 to 1968–2011). The quality control criteria, while identical in both versions, have been applied more strictly in version 2 than in version 1. The SOCAT website (http://www.socat.info/) has links to quality control comments, metadata, individual data set files, and synthesis and gridded data products. Interactive online tools allow visitors to explore the richness of the data. Applications ofSOCAT include process studies, quantification of the ocean carbon sink and its spatial, seasonal, year-to-year and longer term variation, as well as initialisation or validation of ocean carbon models and coupled climate-carbon models.

The role of cathepsin C in Papillon-Lefèvre syndrome, prepubertal periodontitis, and aggressive periodontitis

We have previously reported that loss-of-function mutations in the cathepsin C gene (CTSC) result in Papillon Lefevre syndrome, an autosomal recessive condition characterized by palmoplantar keratosis and early,onset, severe periodontitis. Others have also reported CTSC mutations in patients with severe prepubertal periodontitis, but without any skin manifestations. The possible role of CTSC variants in more common types of non-mendelian, early-onset, severe periodontitis ("aggressive periodontitis") has not been investigated. In this study, we have investigated the role of CTSC in all three conditions. We demonstrate that PLS is genetically homogeneous and the mutation spectrum that includes three novel mutations (c.386T>A/p. V129E, c.935A>G/p.Q312R, and c.1235A>G/p.Y412C) in 21 PLS families (including eight from our previous study) provides an insight into structure-function relationships of CTSC. Our data also suggest that a complete loss-of-function appears to be necessary for the manifestation of the phenotype, making it unlikely that weak CTSC mutations are a cause of aggressive periodontitis. This was confirmed by analyses of the CTSC activity in 30 subjects with aggressive periodontitis and age-sex matched controls, which demonstrated that there was no significant difference between these two groups (1,728.7 +/- SD 576.8 mu moles/mg/min vs. 1,678.7 +/- SD 527.2 mu moles/mg/min, respectively, p = 0.73). CTSC mutations were detected in only one of two families with prepubertal periodontitis; these did not form a separate functional class with respect to those observed in classical PLS. The affected individuals in the other prepubertal periodontitis family not only lacked CTSC mutations, but in addition did not share the haplotypes at the CTSC locus. These data suggest that prepubertal periodontitis is a genetically heterogeneous disease that, in some families, just represents a partially penetrant PLS. (C) 2004 Wiley-Liss, Inc.

The adaptations of a quality of life questionnaire for routine use in clinical practice: the Chronic Respiratory Disease Questionnaire in Cystic Fibrosis.

The assessment of quality of life (QOL) is necessary to monitor the course of disease and to assess the effect of new and existing interventions in clinical practice. This will only be achieved if QOL can be measured accurately and routinely. The aim of this study was to demonstrate the methodology involved in the adaptation and shortening of the Chronic Respiratory Disease Questionnaire (CRDQ) in a population of adults with cystic fibrosis (CF). A single interviewer administered the CRDQ to a sample of 45 adult patients (32 males) with CF prior to assessment of spirometric measures of lung function. Those patients whose lung function was stable at the time of study, and who could attend for a retest within 14 days, were asked to complete the questionnaire at a subsequent visit (n=10). The average interval between visits was 7 days (range 5-14 days). Correlations between spirometry and CRDQ dimensions ranged from -0.003 to 0.426. The fatigue, emotion and mastery dimensions showed high internal consistency, and adequate construct validity. In the small number of patients suitable for retest, the results indicated that the dimensions exhibited adequate test retest reliability. In contrast low internal consistency was demonstrated for the dyspnoea dimension. The fatigue, emotion and mastery dimensions could be reduced, in terms of their number of items without a substantial loss in explanatory power. This study suggests that QOL measurement can be made convenient, and so more easily accessible for routine clinical assessment.