On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Genetic and physical maps of Klebsiella aerogenes genes for histidine utilization ( hut )

Deletion derivatives of the hut -containing plasmid pCB101 were tested against point mutants defective in individual genes of the histidine utilization ( hut ) operons using a complementation/recombination assay. Location of the genes of the right operon, hutU and hutH , was confirmed by direct assay of the gene products, urocanase and histidase; location of the repressor gene was identified by measuring the ability of the plasmid-carried genes to repress the formation of histidase from a chromosomal location. The analysis of eight deletion plasmids unambiguously confirms the map order of the hut genes as hutI-G-C-U-H , and demonstrates that, in Klebsiella aerogenes , the hutU and hutH genes are transcribed from their own promoter. In addition, the genetic map of hut can be aligned with the restriction map of the hut DNA in plasmid pCB101. One of the deletion plasmids studied apparently encodes a defective histidase subunit that is trans-dominant to active histidase. Another deletion, which completely removes the left operon, hutIG , allows high level expression of the hutUH operon and thus overproduction of a toxic intermediate.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47553/1/438_2004_Article_BF00327421.pd

Dopamine transporter (DAT1) and dopamine receptor D4 (DRD4) genotypes differentially impact on electrophysiological correlates of error processing

Peer reviewedPublisher PD

Shared Skeletal Support in a Coral-Hydroid Symbiosis

Hydroids form symbiotic relationships with a range of invertebrate hosts. Where they live with colonial invertebrates such as corals or bryozoans the hydroids may benefit from the physical support and protection of their host's hard exoskeleton, but how they interact with them is unknown. Electron microscopy was used to investigate the physical interactions between the colonial hydroid Zanclea margaritae and its reef-building coral host Acropora muricata. The hydroid tissues extend below the coral tissue surface sitting in direct contact with the host's skeleton. Although this arrangement provides the hydroid with protective support, it also presents problems of potential interference with the coral's growth processes and exposes the hydroid to overgrowth and smothering. Desmocytes located within the epidermal layer of the hydroid's perisarc-free hydrorhizae fasten it to the coral skeleton. The large apical surface area of the desmocyte and high bifurcation of the distal end within the mesoglea, as well as the clustering of desmocytes suggests that a very strong attachment between the hydroid and the coral skeleton. This is the first study to provide a detailed description of how symbiotic hydroids attach to their host's skeleton, utilising it for physical support. Results suggest that the loss of perisarc, a characteristic commonly associated with symbiosis, allows the hydroid to utilise desmocytes for attachment. The use of these anchoring structures provides a dynamic method of attachment, facilitating detachment from the coral skeleton during extension, thereby avoiding overgrowth and smothering enabling the hydroid to remain within the host colony for prolonged periods of time

Neutralino versus axion/axino cold dark matter in the 19 parameter SUGRA model

We calculate the relic abundance of thermally produced neutralino cold dark matter in the general 19 parameter supergravity (SUGRA-19) model. A scan over GUT scale parameters reveals that models with a bino-like neutralino typically give rise to a dark matter density \Omega_{\tz_1}h^2\sim 1-1000, i.e. between 1 and 4 orders of magnitude higher than the measured value. Models with higgsino or wino cold dark matter can yield the correct relic density, but mainly for neutralino masses around 700-1300 GeV. Models with mixed bino-wino or bino-higgsino CDM, or models with dominant co-annihilation or A-resonance annihilation can yield the correct abundance, but such cases are extremely hard to generate using a general scan over GUT scale parameters; this is indicative of high fine-tuning of the relic abundance in these cases. Requiring that m_{\tz_1}\alt 500 GeV (as a rough naturalness requirement) gives rise to a minimal probably dip in parameter space at the measured CDM abundance. For comparison, we also scan over mSUGRA space with four free parameters. Finally, we investigate the Peccei-Quinn augmented MSSM with mixed axion/axino cold dark matter. In this case, the relic abundance agrees more naturally with the measured value. In light of our cumulative results, we conclude that future axion searches should probe much more broadly in axion mass, and deeper into the axion coupling.Comment: 23 pages including 17 .eps figure

Bioavailability in soils

The consumption of locally-produced vegetables by humans may be an important exposure pathway for soil contaminants in many urban settings and for agricultural land use. Hence, prediction of metal and metalloid uptake by vegetables from contaminated soils is an important part of the Human Health Risk Assessment procedure. The behaviour of metals (cadmium, chromium, cobalt, copper, mercury, molybdenum, nickel, lead and zinc) and metalloids (arsenic, boron and selenium) in contaminated soils depends to a large extent on the intrinsic charge, valence and speciation of the contaminant ion, and soil properties such as pH, redox status and contents of clay and/or organic matter. However, chemistry and behaviour of the contaminant in soil alone cannot predict soil-to-plant transfer. Root uptake, root selectivity, ion interactions, rhizosphere processes, leaf uptake from the atmosphere, and plant partitioning are important processes that ultimately govern the accumulation ofmetals and metalloids in edible vegetable tissues. Mechanistic models to accurately describe all these processes have not yet been developed, let alone validated under field conditions. Hence, to estimate risks by vegetable consumption, empirical models have been used to correlate concentrations of metals and metalloids in contaminated soils, soil physico-chemical characteristics, and concentrations of elements in vegetable tissues. These models should only be used within the bounds of their calibration, and often need to be re-calibrated or validated using local soil and environmental conditions on a regional or site-specific basis.Mike J. McLaughlin, Erik Smolders, Fien Degryse, and Rene Rietr

Farm management factors associated with bulk tank somatic cell count in Irish dairy herds

The relationship between bulk tank somatic cell count (SCC) and farm management and infrastructure was examined using data from 398 randomly selected, yet representative, Irish dairy farms where the basal diet is grazed grass. Median bulk tank SCC for the farms was 282,887 cells/ml ranging from 82,209 to 773,028 cells/ml. Two questionnaires were administered through face-to-face contact with each farmer. Herd-level factors associated with bulk tank SCC were determined using linear models with annual somatic cell score (i.e., arithmetic mean of the natural logarithm of bulk tank SCC) included as the dependent variable. All herd level factors were analysed individually in separate regression models, which included an adjustment for geographical location of the farm; a multiple regression model was subsequently developed. Management practices associated with low SCC included the use of dry cow therapy, participation in a milk recording scheme and the use of teat disinfection post-milking. There was an association between low SCC and an increased level of hygiene and frequency of cleaning of the holding yard, passageways and cubicles. Herd management factors associated with bulk tank SCC in Irish grazing herds are generally in agreement with most previous studies from confinement systems of milk production

The Spread of Fecally Transmitted Parasites in Socially-Structured Populations

Mammals are infected by a wide array of gastrointestinal parasites, including parasites that also infect humans and domesticated animals. Many of these parasites are acquired through contact with infectious stages present in soil, feces or vegetation, suggesting that ranging behavior will have a major impact on their spread. We developed an individual-based spatial simulation model to investigate how range use intensity, home range overlap, and defecation rate impact the spread of fecally transmitted parasites in a population composed of social groups (i.e., a socially structured population). We also investigated the effects of epidemiological parameters involving host and parasite mortality rates, transmissibility, disease–related mortality, and group size. The model was spatially explicit and involved the spillover of a gastrointestinal parasite from a reservoir population along the edge of a simulated reserve, which was designed to mimic the introduction pathogens into protected areas. Animals ranged randomly within a “core” area, with biased movement toward the range center when outside the core. We systematically varied model parameters using a Latin hypercube sampling design. Analyses of simulation output revealed a strong positive association between range use intensity and the prevalence of infection. Moreover, the effects of range use intensity were similar in magnitude to effects of group size, mortality rates, and the per-contact probability of transmission. Defecation rate covaried positively with gastrointestinal parasite prevalence. Greater home range overlap had no positive effects on prevalence, with a smaller core resulting in less range overlap yet more intensive use of the home range and higher prevalence. Collectively, our results reveal that parasites with fecal-oral transmission spread effectively in socially structured populations. Future application should focus on parameterizing the model with empirically derived ranging behavior for different species or populations and data on transmission characteristics of different infectious organisms