SHOP2: An HTN Planning System

The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which enabled it to excel in the competition, especially those aspects of SHOP2 that deal with temporal and metric planning domains

Structure of Extreme Correlated Equilibria: a Zero-Sum Example and its Implications

We exhibit the rich structure of the set of correlated equilibria by analyzing the simplest of polynomial games: the mixed extension of matching pennies. We show that while the correlated equilibrium set is convex and compact, the structure of its extreme points can be quite complicated. In finite games the ratio of extreme correlated to extreme Nash equilibria can be greater than exponential in the size of the strategy spaces. In polynomial games there can exist extreme correlated equilibria which are not finitely supported; we construct a large family of examples using techniques from ergodic theory. We show that in general the set of correlated equilibrium distributions of a polynomial game cannot be described by conditions on finitely many moments (means, covariances, etc.), in marked contrast to the set of Nash equilibria which is always expressible in terms of finitely many moments

Quadrupole correlations and inertial properties of rotating nuclei

The contribution of quantum shape fluctuations to inertial properties of rotating nuclei has been analyzed for QQ-nuclear interaction using the random phase approximation (RPA). The different recipes to treat the cranking mean field plus RPA problem are considered. The effects of the dN=2 quadrupole matrix elements and the role of the volume conservation condition are discussed.Comment: 14 pages, 7 figures, To be published in J. Phys. G: Nucl. Phy

Social democracy, embeddedness and decommodification: On the conceptual innovations and intellectual affiliations of Karl Polanyi

Of the several debates that revolve around the work of the economic historian and political economist Karl Polanyi, one that continues to exercise minds concerns his analysis of, and political attitudes toward, post-war capitalism and the welfare state. Simplified a little, it is a debate with two sides. To borrow Iván Szelényi's terms, one side constructs a ‘hard’ Karl Polanyi, the other a ‘soft’ one. The former advocated a socialist mixed economy dominated by redistributive mechanisms. He was a radical socialist for whom the market should never be the dominant mechanism of economic coordination. His ‘soft’ alter ego insisted that the market system remain essentially intact but be complemented by redistributive mechanisms. The ‘double movement’ – the central thesis of his ‘Great Transformation’ – acts, in this reading, as a self-correcting mechanism that moderates the excesses of market fundamentalism; its author was positioned within the social-democratic mainstream for which the only realistic desirable goal is a regulated form of capitalism. In terms of textual evidence there is much to be said for both interpretations. In this article I suggest a different approach, one that focuses upon the meaning of Polanyi's concepts in relation to their socio-political and intellectual environment

Specificity protein 2 (Sp2) is essential for mouse development and autonomous proliferation of mouse embryonic fibroblasts

Background: The zinc finger protein Sp2 (specificity protein 2) is a member of the glutamine-rich Sp family of transcription factors. Despite its close similarity to Sp1, Sp3 and Sp4, Sp2 does not bind to DNA or activate transcription when expressed in mammalian cell lines. The expression pattern and the biological relevance of Sp2 in the mouse are unknown. Methodology/Principal Findings: Whole-mount in situ hybridization of mouse embryos between E7.5 and E9.5 revealed abundant expression in most embryonic and extra-embryonic tissues. In order to unravel the biological relevance of Sp2, we have targeted the Sp2 gene by a tri-loxP strategy. Constitutive Sp2null and conditional Sp2cko knockout alleles were obtained by crossings with appropriate Cre recombinase expressing mice. Constitutive disruption of the mouse Sp2 gene (Sp2null) resulted in severe growth retardation and lethality before E9.5. Mouse embryonic fibroblasts (MEFs) derived from Sp2null embryos at E9.5 failed to grow. Cre-mediated ablation of Sp2 in Sp2cko/cko MEFs obtained from E13.5 strongly impaired cell proliferation. Conclusions/Significance: Our results demonstrate that Sp2 is essential for early mouse development and autonomous proliferation of MEFs in culture. Comparison of the Sp2 knockout phenotype with th

Probing host pathogen cross-talk by transcriptional profiling of both Mycobacterium tuberculosis and infected human dendritic cells and macrophages

This study provides the proof of principle that probing the host and the microbe transcriptomes simultaneously is a valuable means to accessing unique information on host pathogen interactions. Our results also underline the extraordinary plasticity of host cell and pathogen responses to infection, and provide a solid framework to further understand the complex mechanisms involved in immunity to M. tuberculosis and in mycobacterial adaptation to different intracellular environments