518 research outputs found

    The Largest Respectful Function

    Full text link
    Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier the bisimulation proof. In particular the largest respectful function, defined as the pointwise union of all respectful functions, has been shown to be very useful. We here provide an explicit and constructive characterization of it

    Priorities Without Priorities: Representing Preemption in Psi-Calculi

    Full text link
    Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have lower priority. We here demonstrate that the psi-calculi parameters can be chosen such that the effect of action priorities can be encoded. To accomplish this we define an extension of psi-calculi with action priorities, and show that for every calculus in the extended framework there is a corresponding ordinary psi-calculus, without priorities, and a translation between them that satisfies strong operational correspondence. This is a significantly stronger result than for most encodings between process calculi in the literature. We also formally prove in Nominal Isabelle that the standard congruence and structural laws about strong bisimulation hold in psi-calculi extended with priorities.Comment: In Proceedings EXPRESS/SOS 2014, arXiv:1408.127

    Expressiveness of Process Algebras

    Get PDF
    AbstractWe examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature

    “The Friendly and Flowing Savage, Who Is He?”: Manifest Destiny, Native American Stereotypes, and How American Print Culture Closed the Western Frontier, 1865-1890

    Get PDF
    This article examines how 19th Century American print culture shaped white American perceptions of Amerindians. Between the close of the Civil War and the Wounded Knee Massacre, the American press, Indian captivity narratives, and fictional accounts reflect diverse white perspectives on and attitudes towards Native Americans’ past and future in a continental United States

    Historic Ivy Cliff and Plantation Life in Antebellum-Era Virginia

    Get PDF
    Undergraduate Textual or Investigativ

    COUN 625.B01: Introduction to Mental Health Systems

    Get PDF

    Resettlement and poverty : the plight of vulnerable groups affected by the Lesotho highlands water project : case study of phase 1B communities

    Get PDF
    Bibliography: leaves 86-90.Involuntary resettlement due to planned economic interventions for the purpose of economic growth, is a political and socio-economic phenomenon. It is associated with development and poverty, as it affects livelihoods of those involved. This process impacts differently on different individuals, depending on their capability to regain earning and productive bases, to access support systems, as well as to access opportunities and widen choices that sustain their lives. The study investigates the assumption that their vulnerability, ineligibility for compensation provisions and lack of specific programmes to address their needs affect their capability to adjust in new areas. In view of this, the purpose of the study is to explore the impact of resettlement on vulnerable groups (the landless, unemployable aged and disabled). The overall objective is to highlight their situation, because of a concern for their long-term welfare, possible marginalisation from mainstream development and risk of poverty. The coverage involved vulnerable groups in stage one resettlement. A stratified sampling technique was employed to select 31 respondents who represent these groups. In the study, primary and secondary data were collected by making use of In-depth interviews, focus-group discussions and content analysis of related literature. A semi-structured schedule with open-ended questions was employed to gather information that was qualitatively manipulated. The findings suggest that the resettlement process has resulted in the disruption of support systems, limited opportunities in host areas, and inadequate restorative measures to sustain livelihoods of vulnerable groups. As a result, these groups are disempowered, marginalised and excluded from mainstream social and economic development, which compounds their risk of impoverishment

    Hemin Acquisition in Bartonella quintana

    Get PDF
    Bartonella quintana, a Gram-negative bacterial pathogen, causes Trench fever, bacillary angiomatosis and endocarditis. Transmitted by the human body louse (Pediculus humanus corporis), the agent has a tropism for erythrocytes in humans. In vitro growth requires an extraordinary concentration of hemin, and genomic analyses indicate several potential uptake systems and iron-responsive regulators. Transcription of the hbp genes (hemin binding protein genes) is responsive to alterations in available hemin and an HbpA homolog in B. henselae reportedly functions as a hemin receptor in E. coli hemA strain EB53. B. quintana hbpA was not able to complement EB53, indicating that it is not a hemin receptor. A functional hemin receptor and coordinate uptake system is encoded by the hemin utilization (hut) locus. B. quintana hutA was able to complement a hemA mutation in E. coli EB53 and was shown to be TonB-dependent using an isogenic E. coli hemA tonB strain. Fur (ferric uptake regulator) has been described as a global iron-responsive regulator in &gamma-proteobacteria. If expression is forced, B. quintana fur is able to complement an E. coli fur mutant, but an endogenous promoter for the gene could not be located and native expression in B. quintana was not detected. Overexpression of the iron response regulator (Irr), a Fur family member, in B. quintana repressed hut locus transcription. Previous studies showed that Irr interacted with a consensus motif, the H-box, in the promoter of the hbp genes. A region with homology to the H-box consensus is present in the divergent promoter between hutA and tonB and in the promoter region of hemS. The fate of hemin in the bacterial cytoplasm is not well understood. HemS is a potential hemin storage/degradation enzyme. Initial characterization indicates that HemS is able to bind hemin in a 1:1 fashion with an estimated dissociation constant (Kd) of 5.9 + 1.7 &muM. Complementation analyses using Corynebacterium ulcerans CU712hmuO&delta strain have not been successful but future experiments plan to use an E. coli chuS strain. These studies have characterized the principal hemin uptake system of B. quintana, identified its transcriptional regulator, and initiated investigation of a potential heme oxygenase

    The Glare and Glitter of that Fashionable Resort : Newport, Rhode Island as Ward McAllister Found It

    Get PDF
    As late nineteenth century New York City’s premier social arbiter, Ward McAllister was one of the most controversial and well-known figures of the Gilded Age. In the turbulent years following the Civil War, he helped codify an otherwise elusive definition of American high society in an era marked by conspicuous spending and an ever-growing gap between the rich and poor. His influence also extended beyond New York, paralleling and contributing to the physical and social transformation of Newport, Rhode Island. Once a thriving port city and participant in the Triangle Trade, Newport experienced a fifty-year period of stagnation following the American Revolution, something reversed by a burgeoning tourism industry. In the ensuing decades, the quiet seaside city transformed into one of the most elite resort destinations in the United States, a veritable proving ground for the American elite’s social ambition and success. A native of Savannah, Georgia, McAllister spent childhood summers near Newport and maintained a lifetime connection to the area. Thus, an analysis of Newport’s nineteenth century history through the eyes of one of the Gilded Age’s most famous but forgotten figures offers a more holistic examination of McAllister’s under-studied personal life, the roles of individuals from different backgrounds and regions in facilitating Newport’s development, and the impact of wealth and class-consciousness on resort destinations. Moreover, studying Newport as Ward McAllister found it illustrates larger political, economic, cultural, technological, and social trends characteristic of Gilded Age and Progressive Era America
    • …
    corecore