Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

In various areas of computer science, we deal with a set of constraints to be satisfied. If the constraints cannot be satisfied simultaneously, it is desirable to identify the core problems among them. Such cores are called minimal unsatisfiable subsets (MUSes). The more MUSes are identified, the more information about the conflicts among the constraints is obtained. However, a full enumeration of all MUSes is in general intractable due to the large number (even exponential) of possible conflicts. Moreover, to identify MUSes algorithms must test sets of constraints for their simultaneous satisfiabilty. The type of the test depends on the application domains. The complexity of tests can be extremely high especially for domains like temporal logics, model checking, or SMT. In this paper, we propose a recursive algorithm that identifies MUSes in an online manner (i.e., one by one) and can be terminated at any time. The key feature of our algorithm is that it minimizes the number of satisfiability tests and thus speeds up the computation. The algorithm is applicable to an arbitrary constraint domain and its effectiveness demonstrates itself especially in domains with expensive satisfiability checks. We benchmark our algorithm against state of the art algorithm on Boolean and SMT constraint domains and demonstrate that our algorithm really requires less satisfiability tests and consequently finds more MUSes in given time limits

A Two-Stage Approach to Spatio-Temporal Analysis with Strong and Weak Cross-Sectional Dependence

© 2016 John Wiley & Sons, Ltd. An understanding of the spatial dimension of economic and social activity requires methods that can separate out the relationship between spatial units that is due to the effect of common factors from that which is purely spatial even in an abstract sense. The same applies to the empirical analysis of networks in general. We use cross-unit averages to extract common factors (viewed as a source of strong cross-sectional dependence) and compare the results with the principal components approach widely used in the literature. We then apply multiple testing procedures to the de-factored observations in order to determine significant bilateral correlations (signifying connections) between spatial units and compare this to an approach that just uses distance to determine units that are neighbours. We apply these methods to real house price changes at the level of Metropolitan Statistical Areas in the USA, and estimate a heterogeneous spatio-temporal model for the de-factored real house price changes and obtain significant evidence of spatial connections, both positive and negative.ESRC Grant. Grant Number: ES/I031626/

Human germ cell tumours: expression of γ-glutamyl transpeptidase and sensitivity to cisplatin

Previous studies have shown that the enzyme γ-glutamyl transpeptidase (GGT) is essential for the nephrotoxicity of cisplatin. This study was designed to determine whether GGT activity is necessary for the therapeutic effect of the drug. The relationship between GGT expression and clinical response to platinum-based chemotherapy was examined in 41 human germ cell tumours. Sections of formalin-fixed, paraffin-embedded tumours were immunohistochemically stained with an antibody directed against human GGT. There was no expression of GGT in any of the 17 seminomas or four dysgerminomas; whereas, 12/12 ovarian yolk sac tumours and 4/4 embryonal carcinomas of the testis were GGT-positive. In stage I tumours fewer tumour cells expressed GGT than in later stage tumours. In four germ cell tumours of mixed histology, the seminomatous and dysgerminoma areas were GGT-negative while the areas of the tumour with yolk sac or embryonal histology contained GGT-positive tumour cells. The patients with seminomas or dysgerminomas who were treated with cisplatin-based chemotherapy, all had a complete response despite the absence of GGT expression in these tumours. Fifteen of the 16 patients with yolk sac or embryonal carcinomas received cisplatin-based chemotherapy following surgery. Twelve had a complete response, while three failed to respond to platinum-based therapy. There was no correlation between the level of GGT-expression and response to therapy in this group. Three of the four patients with tumours of mixed histology were treated with cisplatin-based therapy, and had a complete response. Therefore, expression of GGT is not necessary for the therapeutic effect of cisplatin in germ cell tumours. The results from this study suggest that systemic inhibition of GGT would inhibit the nephrotoxic side-effect of cisplatin without interfering with its activity towards germ cell tumours. © 1999 Cancer Research Campaig

Measurement of factor strength: Theory and practice

Abstract: This paper proposes an estimator of factor strength and establishes its consistency and asymptotic distribution. The estimator is based on the number of statistically significant factor loadings, taking multiple testing into account. Both cases of observed and unobserved factors are considered. The small sample properties of the proposed estimator are investigated using Monte Carlo experiments. It is shown that the proposed estimation and inference procedures perform well and have excellent power properties, especially when the factor strength is sufficiently high. Empirical applications to factor models for asset returns show that out of 146 factors recently considered in the finance literature, only the market factor is truly strong, while all other factors are at best semi‐strong, with their strength varying considerably over time. Similarly, we only find evidence of semi‐strong factors using a large number of US macroeconomic indicators

Mass-independent fractionation of oxygen isotopes during thermal decomposition of divalent metal carbonates: Crystallographic influence, potential mechanism and cosmochemical significance

Few physical or chemical processes defy well-established laws of mass-dependent isotopic fractionation. A surprising example, discovered two decades ago, is that thermal decomposition of calcium and magnesium carbonate minerals (conducted in vacuo, to minimise back-reaction and isotopic exchange) causes the oxygen triple-isotope compositions of the resulting solid oxide and CO2 to fit on parallel mass-dependent fractionation lines in ln(1 + δ17O) versus ln(1 + δ18O) space, with anomalous depletion of 17O in the solid and equivalent enrichment of 17O in the CO2. By investigating the thermal decomposition of other natural divalent metal carbonates and one synthetic example, under similar conditions, we find that the unusual isotope effect occurs in all cases and that the magnitude of the anomaly (Δ′17O) seems to depend on the room temperature crystallographic structure of the carbonate. A lower cation coordination number (as associated with smaller cation radius) correlates with a Δ′17O value closer to zero. Local symmetry considerations may therefore be influential. Relative to a reference fractionation line of slope 0.524 and passing through VSMOW, solid oxides produced by thermal decomposition of orthorhombic carbonates were characterised by Δ′17O = −0.367 ± 0.004‰ (standard error). The comparable figure from rhombohedral examples was −0.317 ± 0.010‰, whereas from the sole monoclinic (synthesised) specimen it was −0.219 ± 0.011‰. The numerical values are, to some extent, dependent on details of the experimental procedure. We discuss potential origins of the isotopic anomaly, including the possibility of hyperfine coupling between 17O nuclei and unpaired electrons of transient radicals (the ‘magnetic isotope effect’). A new mechanism based on the latter process is proposed. The associated transition state is compatible with that suggested by recent quantum chemical and kinetic studies of the thermal decompositions of calcite and magnesite. An earlier suggestion based on the magnetic isotope effect is shown to be incompatible with the generation of a 17O anomaly, regardless of the identity of the carbonate. We cannot exclude the possibility that a Fermi resonance between states leading to dissociation may additionally affect the magnitude of Δ′17O in some cases. Our findings have cosmochemical implications, with thermal processing of carbonates providing a potential mechanism for the mass-independent fractionation of oxygen isotopes in protoplanetary systems

Improving MCS Enumeration via Caching

Enumeration of minimal correction sets (MCSes) of conjunctive normal form formulas is a central and highly intractable problem in infeasibility analysis of constraint systems. Often complete enumeration of MCSes is impossible due to both high computational cost and worst-case exponential number of MCSes. In such cases partial enumeration is sought for, finding applications in various domains, including axiom pinpointing in description logics among others. In this work we propose caching as a means of further improving the practical efficiency of current MCS enumeration approaches, and show the potential of caching via an empirical evaluation.Peer reviewe

Health Coverage History of Local Uninsured PatientsAssessing the Need for an Eligibility Specialist

Abstract: Uninsured Americans are a growing population as insurance premiums climb and fewer employers offer health coverage. Providing medical care to the uninsured often represents a significant financial loss to medical institutions. Our study sought to describe the insurance history and barriers to obtaining health coverage for uninsured patients at the Community Health Center of Burlington, Vermont (CHCB). The potential benefit of adding an insurance eligibility position to the staff at CHCB was also explored. Data were collected by random phone survey from 100 CHCB patients identified as uninsured at their last visit; patients were queried regarding insurance history and interest in enrollment assistance. At the time of survey 66% were currently uninsured, and the majority (87.9%) of these respondents previously held insurance. Loss of insurance was most often due to a change in job status, income or a change in eligibility. Cost was a major barrier to insurance noted by individuals; on average respondents indicated they would be willing to pay around $65 per month for overage. A majority (75.7%) of uninsured respondents also expressed interest in an onsite eligibility worker. These data suggest that the patient population at CHCB would be well served by implementing some form of eligibility staffing. There are a number of different health insurance options in Vermont that could benefit these patients, provided they have assistance with applying. Due to the small sample size of our survey, we recommend that the scope of the eligibility position be determined by closely examining the caseload encountered.https://scholarworks.uvm.edu/comphp_gallery/1025/thumbnail.jp

Bleu Arabia: Palaeolithic and underwater survey in SW Saudi Arabia and the role of coasts in Pleistocene dispersals

The role of coastal regions and coastlines in the dispersal of human populations from Africa and across the globe has been highlighted by the recent polarisation between coastal and interior models. The debate has been clouded by the use of the single term ‘coastal dispersal’ to embrace what is in fact a wide spectrum of possibilities, ranging from seafaring populations who spend most of their time at sea living off marine resources, to land-based populations in coastal regions with little or no reliance on marine foods. An additional complicating factor is the fact of Pleistocene and early Holocene sea-level change, which exposed an extensive coastal region that is now submerged, and may have afforded very different conditions from the modern coastal environment. We examine these factors in the Arabian context and use the term ‘Blue’ to draw attention to the fertile coastal rim of the Arabian Peninsula, and to the now submerged offshore landscape, which is especially extensive in some regions. We further emphasise that the attractions of the coastal rim are a product of two quite different factors, ecological diversity and abundant water on land, which have created persistently ‘Green’ conditions throughout the vagaries of Pleistocene climate change in some coastal regions, especially along parts of the western Arabian escarpment, and potentially productive marine environments around its coastline, which include some of the most fertile in the world. We examine the interplay of these factors in the Southwest region of Saudi Arabia and the southern Red Sea, and summarise some of the results of recent DISPERSE field investigations, including survey for Palaeolithic sites on the mainland, and underwater survey of the continental shelf in the vicinity of the Farasan Islands. We conclude that coastlines are neither uniformly attractive nor uniformly marginal to human dispersal, that they offer diverse opportunities that were spatially and temporally variable at scales from the local to the continental, and that investigating Blue Arabia in relation to its episodically Green interior is a key factor in the fuller understanding of long-term human population dynamics within Arabia and their global implications

The Eyes Have It: Sex and Sexual Orientation Differences in Pupil Dilation Patterns

Recent research suggests profound sex and sexual orientation differences in sexual response. These results, however, are based on measures of genital arousal, which have potential limitations such as volunteer bias and differential measures for the sexes. The present study introduces a measure less affected by these limitations. We assessed the pupil dilation of 325 men and women of various sexual orientations to male and female erotic stimuli. Results supported hypotheses. In general, self-reported sexual orientation corresponded with pupil dilation to men and women. Among men, substantial dilation to both sexes was most common in bisexual-identified men. In contrast, among women, substantial dilation to both sexes was most common in heterosexual-identified women. Possible reasons for these differences are discussed. Because the measure of pupil dilation is less invasive than previous measures of sexual response, it allows for studying diverse age and cultural populations, usually not included in sexuality research