518 research outputs found
The Largest Respectful Function
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
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
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
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
Undergraduate
Textual or Investigativ
Resettlement and poverty : the plight of vulnerable groups affected by the Lesotho highlands water project : case study of phase 1B communities
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
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
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
- …