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.

The politics of hazard: imminent critique and deconstruction of ecological modernisation in Ireland

This dissertation sets out to provide immanent critique and deconstruction of ecological modernisation or ecomodernism.It does so, from a critical social theory approach, in order to correctly address the essential issues at the heart of the environmental crisis that ecomodernism purports to address. This critical approach argues that the solution to the environmental crisis can only be concretely achieved by recognising its root cause as being foremost the issue of material interaction between classes in society, and not simply between society and nature in any structurally meaningful way. Based on a metaphysic of false dualism, ecological modernisation attributes a materiality of exchange value relations to issues of society, while simultaneously offering a non- material ontology to issues of nature. Thus ecomodernism serves asymmetrical relations of power whereby, as a polysemic policy discourse, it serves the material interests of those who have the power to impose abstract interpretations on the materiality of actual phenomena. The research of this dissertation is conducted by the critical evaluation of the empirical data from two exemplary Irish case studies. Discovery of the causal processes of the various public issues in the case studies and thereafter the revelation of the meaning structures under- pinning such causal processes, is a theoretically- driven task requiring analysis of those social practices found in the cognitive, cultural and structural constitutions respectively of actors, mediations and systems.Therefore, the imminent critique of the case study paradigms serves as a research strategy for comprehending Ireland’s nature- society relations as influenced essentially by a systems (techno- corporatist) ecomodernist discourse. Moreover, the deconstruction of this systems ideological discourse serves not only to demonstrate how weak ecomodernism practically undermines its declared ecological objectives, but also indicates how such objectives intervene as systemic contradictions at the cultural heart of Ireland’s late modernisation.

The politics of transformative harmony

This paper explores the idea of transformative harmony as a concern of the political. It proposes that the cultivation of harmony as a project of the Self is closely related to the political project of democracy as a quest for social harmony. This is in light of the view that social conflict can be seen as a collective manifestation of individual struggles to establish inner harmony. The paper, firstly, explores the idea that the quest for harmony is an intersubjective, as well as an intra-subjective, undertaking. This is in line with the Gandhian principle that societies ultimately reflect the level of enlightenment of the actors who form them. It also critiques the use of violence as a means of securing transformative harmony and social change. Finally, the paper discusses the way in which transformative harmony, in terms of its focus on the Self as the site for attaining the type of altered consciousness required to bring about social change, shares a philosophical basis with both ideas of ‘deep democracy’ and Habermasian discourse ethics. It is proposed that the project of transformative harmony represents, by default, a project to transform democratic praxis. Keywords: Harmony, politics, ethics, rights, duties, Gandhi, democracy, risk.

Investigation of global regulators influencing styrene metabolism and bioplastic synthesis in Pseudomonas putida CA-3

The genetics and biochemistry involved in the biodegradation of styrene and the production of polyhydroxyalkanoates in Pseudomonas putida CA-3 have been well characterised to date. Knowledge of the role played by global regulators in controlling these pathways currently represents a critical knowledge gap in this area. Here we report on our efforts to identify such regulators using mini-Tn5 transposon mutagenesis of the P. putida CA-3 genome. The library generated was subjected to phenotypic screening to identify mutants exhibiting a reduced sensitivity to the effects of carbon catabolite repression of aromatic pathway activity. Our efforts identified a clpX disrupted mutant which exhibited wild-type levels of growth on styrene but significantly reduced growth on phenylacetic acid. RT-PCR analysis of key PACoA catabolon genes necessary for phenylacetic acid metabolism, and SDS-PAGE protein profile analyses suggest that no direct alteration of PACoA pathway transcriptional or translational activity was involved. The influence of global regulators affecting the accumulation of PHAs in P. putida CA-3 was also studied. Phenotypic screening of the mini-Tn5 library revealed a gacS sensor kinase gene disruption resulting in the loss of PHA accumulation capacity in P. putida CA-3. Subsequent SDS-PAGE protein analyses of the wild type and gacS mutant strains identified post-transcriptional control of phaC1 synthase as a key point of control of PHA synthesis in P. putida CA-3. Disruption of the gacS gene in another PHA accumulating organism, P. putida S12, also demonstrated a reduction of PHA accumulation capacity. PHA accumulation was observed to be disrupted in the CA-3 gacS mutant under phosphorus limited growth conditions. Over-expression studies in both wild type CA-3 and gacS mutant demonstrated that rsmY over-expression in gacS disrupted P. putida CA-3 is insufficient to restore PHA accumulation in the cell however in wild type cells, over-expression of rsmY results in an altered PHA monomer compositions.