Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

A Comparative Study of Concurrent Acoustic and Diver Survey Data, and Fish Community Descriptions of a High Latitude Coral Reef, Florida, USA

Fisheries independent data on relatively unstudied nekton communities were used to explore the efficacy of new tools to be applied in the investigation of shallow coastal coral reef habitats. These data obtained through concurrent diver visual and acoustic surveys provided descriptions of spatial community distribution patterns across seasonal temporal scales in a previously undocumented region. Fish density estimates by both diver and acoustic methodologies showed a general agreement in ability to detect distributional patterns across reef tracts, though magnitude of density estimates were different. Fish communities in southeastern Florida showed significant trends in spatial distribution and seasonal abundance, with higher estimates of biomass obtained in the dry season. Further, community composition shifted across reef tracts and seasons as a function of the movements of several key reef species.

An Analysis on the Decline in the Authoritative Powers of the Papacy and its Application to Challenges to Authoritative Powers Faced By the Permanent Membership of the UN Security Council

The organizational authority of the Papacy in the Roman Catholic Church and the permanent membership of the UN Security Council are unique from institutions that are commonly compared with the UN, like the Concert of Europe and the League of Nations, in that these institutional organs possessed strong authoritative and veto powers. Both organs also owe their strong authority during their founding to a need for stability: The Papacy after the crippling of Western Roman Empire and the P-5 to deal with the insecurities of the post-WWII world. While the P-5 still possesses similar authoritative powers within the Council as it did after WWII, the historical authoritative powers of the Papacy within the Church was debilitated to such a degree that by the time of the Reformation in Europe, condemnations of practices within the Church itself were not effective. This paper will analyze major challenges to the authoritative powers of the Papacy, from the crowning of Charlemagne to the beginning of the Reformation, and compare the analysis to challenges affecting the authoritative powers of the P-5 since its creation. From research conducted thus far, I hypothesize that common themes affecting the authoritative powers of the P-5 and the Papacy would include: major changes in the institutions organization (i.e. the Avignon Papacy and Japan’s bid to become a permanent member); the decline in power of actors supporting the institutional organ (i.e. the Holy Roman Empire and the P-5 members); and ideological clashes affecting the institution’s normative power (i.e. the Great Western Schism and Cold War politics).

An Analysis on the Decline in the Authoritative Powers of the Papacy and its Application to Challenges to Authoritative Powers Faced By the Permanent Membership of the UN Security Council

The organizational authority of the Papacy in the Roman Catholic Church and the permanent membership of the UN Security Council are unique from institutions that are commonly compared with the UN, like the Concert of Europe and the League of Nations, in that these institutional organs possessed strong authoritative and veto powers. Both organs also owe their strong authority during their founding to a need for stability: The Papacy after the crippling of Western Roman Empire and the P-5 to deal with the insecurities of the post-WWII world. While the P-5 still possesses similar authoritative powers within the Council as it did after WWII, the historical authoritative powers of the Papacy within the Church was debilitated to such a degree that by the time of the Reformation in Europe, condemnations of practices within the Church itself were not effective. This paper will analyze major challenges to the authoritative powers of the Papacy, from the crowning of Charlemagne to the beginning of the Reformation, and compare the analysis to challenges affecting the authoritative powers of the P-5 since its creation. From research conducted thus far, I hypothesize that common themes affecting the authoritative powers of the P-5 and the Papacy would include: major changes in the institutions organization (i.e. the Avignon Papacy and Japan’s bid to become a permanent member); the decline in power of actors supporting the institutional organ (i.e. the Holy Roman Empire and the P-5 members); and ideological clashes affecting the institution’s normative power (i.e. the Great Western Schism and Cold War politics).

Length of stay in a neonatal intensive care unit and its association with low rates of exclusive breastfeeding in very low birth weight infants

OBJECTIVE: To identify the inpatient maternal and neonatal factors associated to the weaning of very low birth weight (VLBW) infants. METHODS: One hundred nineteen VLBW (<1500 g) infants were monitored from July 2005 through August 2006, from birth to the first ambulatory visit after maternity discharge. This maternity unit uses the Kangaroo Method and the Baby Friendly Hospital Initiative. Out of 119 VLBW infants monitored until discharge, 88 (75%) returned to the facility, 22 (25%) were on exclusive breastfeeding (EB), and 66 (75%) were weaned (partial breastfeeding or formula feeding). RESULTS: Univariate analysis found an association between weaning and lower birth weight, longer stays in the neonatal intensive care unit (NICU), and longer hospitalization times, in addition to more prolonged enteral feeding and birth weight recovery period. Logistic regression showed length of NICU stay as being the main determinant of weaning. CONCLUSION: The negative repercussion on EB of an extended stay in the NICU is a significant challenge for health professionals to provide more adequate nutrition to VLBW infants.

Length of stay in a neonatal intensive care unit and its association with low rates of exclusive breastfeeding in very low birth weight infants

OBJECTIVE: To identify the inpatient maternal and neonatal factors associated to the weaning of very low birth weight (VLBW) infants. METHODS: One hundred nineteen VLBW (<1500 g) infants were monitored from July 2005 through August 2006, from birth to the first ambulatory visit after maternity discharge. This maternity unit uses the Kangaroo Method and the Baby Friendly Hospital Initiative. Out of 119 VLBW infants monitored until discharge, 88 (75%) returned to the facility, 22 (25%) were on exclusive breastfeeding (EB), and 66 (75%) were weaned (partial breastfeeding or formula feeding). RESULTS: Univariate analysis found an association between weaning and lower birth weight, longer stays in the neonatal intensive care unit (NICU), and longer hospitalization times, in addition to more prolonged enteral feeding and birth weight recovery period. Logistic regression showed length of NICU stay as being the main determinant of weaning. CONCLUSION: The negative repercussion on EB of an extended stay in the NICU is a significant challenge for health professionals to provide more adequate nutrition to VLBW infants.

The exclusive fishing zone for the artisanal fishery in Chocó Colombia: origins, development, and consequences for artisanal fisheries and food security.

Exclusive Fishing Zones (EFZs) are a type of place-based management tool often used to mitigate conflicts between fishing sectors by granting fishing rights to one of the sectors. This case study enhances our knowledge of the pre- and post-implementation processes associated with EFZs as well as its consequences for fish stocks and artisanal fishers and their families. The study draws upon interviews with artisanal fishers and key informants related to an EFZ established in 2008 in Colombia (the Chocó-EFZ). The findings of this research indicate that conflicts at sea and on land between artisanal and industrial fisheries triggered the Chocó-EFZ process. Results also show some potential benefits of the Chocó-EFZ including: a) mitigating conflicts between artisanal fishers and industrial shrimpers; b) contributing to the food security of artisanal fishing households and sustaining local fish stocks; c) supporting an existing informal community-based management as well as promoting the development of a co-management regime. Potential negative effects of the Chocó-EFZ include: a) displacement of industrial fishing effort and, b) job loss within the industrial shrimp industry. The findings of this research also indicate that there are multiple factors that jeopardize the effectiveness and continuation of the Chocó-EFZ, some of which include diversity of fisheries, power struggles among stakeholders, and disagreement about exclusive access to fish resources.

Spic'ing into Existence: Epitaph, Epithet, and the Ethnopoetic Imagination

Quién Es, Quién Somos? Spic’ing into Existence claims a four-fold close-reading: first, analysis of texts: from theoretical meditations to (prison) memoir and film. Second, a half dozen central figures appear, largely Latinx and black American. They cut across a score of registers, socio-economics, ideological reservations, but all are, as Carl Carlton sang, poetry in motion. Writers, poets, theologians, pathologists, artists, comedians, actors, students whose vocation is invocation, the inner surge of their calling. Third, the manuscript draws from a series of historical moments—from radical liberation of the late 60s, to contemporary student activism. Finally, this body of work is movement, in all its social, gestural, and kinesthetic viscera. From this last heading, we peel away layers of what I call the ethnopoet, the fascia undoing that reveals its bio-political anatomy, dressing its bare life with kinship speech. First, the social revolutions of the Civil Rights, Black Power, abolitionism, the Black Panthers and Young Lords, boycotts and jarring artistic performances. These events are superficial not in vain sense, but key epicenters of underground murmurings, the workings of a cunning assailant. She robs not lavish estates, but another day to breathe. Gesturally, as perhaps the interlocutor, lies this author, interspersing his own diatribes to conjure her presence. The final branch is admittedly the most intangible. Kinesthetically, we map the nimbleness, footwork lígera of what I call the ethnopoet. Ethnopoet is no mere aggregate of ethnicity and poetry, but like chemical reaction, the descriptor for its behavior under certain pressures, temperatures, and elements. Elusive and resisting confinement, and therefore definition, the ethnopoet is a shapeshifting figure of how racialized bodies [people of color] respond to hegemonic powers. She is, at bottom, however, a native translator, the plural-lensed subject whose loyalty is only to the imagination of a different world, one whose survival is not contingent upon her exploitation. The native translator’s constant re-calibrations of oppressive power apparatuses seem taxing at best, and near-impossible, at worst. To effectively navigate through these polarized loci, she must identify ideologies that in turn seek “affective liberatory sances” in relation to the dominant social order (43). In a kind of performative contradiction, she must marshall the knowledge necessary to “break with ideology” while speaking within it. Chicana Studies scholar, Chela Sandoval, describes this dual movement as “meta-ideologizing”: the appropriation of hegemonic ideological forms in order to transform them (82). Nuestros padres se subieron encima de La Bestia, y por eso somos pasageros a ese tren. Y ya, dentro su pansa, tenemos que ser vigilantes cuando plantamos las bombas. In Methodology of the Oppressed, Sandoval schematizes this oppositional consciousness around five principle categories: “equal rights,” “revolutionary,” “supremacist,” “separatist,” and “differential.” Taken by themselves, the first four modes appear mutually exclusive, incapable of occupying the same plane, until a fifth pillar emerges. Cinematographic in nature, differential consciousness, as Sandoval defines it, is “a kinetic motion that maneuvers, poetically transfigures, and orchestrates while demanding alienation, perversion, and reformation in both spectators and practitioners” (44). For Sandoval, then, differential consciousness is a methodology that privileges an incredible sense mobility, one reaching artistic sensibilities. Our fourth and final analytic of movement serves an apt example of this dual meaning. Lexically speaking, ‘movement’ may be regarded as a political mobilization of aggrieved populations (through sustained efforts), or the process of moving objects (people or otherwise) from one location to another. Praxis-wise, it is both action and ideal, content and form. Thus, an ethnic poetics must be regarded less as a series of stanzas, shortened lyric, or even arrangement of language, but as a lens through which peripheralized peoples kaleidecope ideological positions in an “original, eccentric, and queer sight” (43). Taking note of the advantages of postponing identifications, the thesis stands its ground on the term ethnopoet. Its abstraction is not dewey-eyed philosophy, but an anticipation of poetic justice, of what’s to come from callused hands. This thesis is divided into 7.5 chapters. The first maps out the ethnopoet’s cartographies of struggle. By revisiting that alleged Tío Tomas, Richard Rodriguez, we unearth the tensions that negatively, deny citizenship to one silo, but on the flipside, engender manifold ways of seeing, hearing, and moving . The second, through George Jackson’s prison memoirs, pans out from this ethnography of power, groping for an apparatus that feigns an impervious prestige: ‘the aesthetic regime of coercion.’ In half-way cut, the thesis sidesteps to spic into existence, formally announcing, through Aime Cesaire, myself, and Pedro Pietri, the poeticization of trauma. Such uplift denies New Age transcendence of self, but a rehearsal of our entrapment in these mortal envelopes. Thirdly, conscious of the bleeding ethnic body, we cut open the incipient corpse to observe her pathologist. Her native autopsies offer the ethnic body’s posthumous recognition, the ethnopoetics ability to speak for and through the dead. Chapter five examines prolific black artists—Beyonce and Kendrick Lamar—to elide the circumvention of their consumption via invoking radical black hi/her-stories, ones fragmenting the black body. Sixth, the paper compares the Black Power Salute of the 1968 Mexico City Olympics to Duke’s Mi Gente Boycott of their Latino Student Recruitment Weekend. Both wielded “silent gestures,” that shrewdly interfered with white noise of numbed negligence. Finally, ‘taking the mask off’ that are her functionalities, the CODA expounds on ethnopoet’s interiority, particularly after the rapid re-calibration of her politics. Through a rerun of El Chavo del Ocho, one of Mexican television’s most cherished shows, we tune into the heart-breaking indigence of barrio residents, only to marvel at the power of humor to, as Friday’s John Witherspoon put it, “fight another day.” This thesis is the tip of my tongue. Y por una vez, déjala que cante.

Joint Compensation of I/Q Impairments and PA Nonlinearity for Concurrent Dual-Band Transmitters using Two-Box Model

A novel two-box model for joint compensation of nonlinear distortion introduced from both in-phase/quadrature modulator and power amplifier is proposed for concurrent dual-band wireless transmitters. Compensation of nonlinear distortion is accomplished in two phases, where phases are identified separately. It is shown that complexity of the digital predistortion is reduced. The performance of the proposed model is evaluated in terms of ACPR, EVM and NMSE improvements using 1.4 MHz LTE and WCDMA signals.

An investigation of lower limb joint powers as a predictive measure of countermovement vertical jump height.

Measuring and tracking athletic performance is crucial to an athlete’s development and the countermovement vertical jump is often used to measure athletic performance, particularly lower limb power. The linear power developed in the lower limb is estimated through jump height. However, the relationship between angular power, produced by the joints of the lower limb, and jump height is not well understood. This study examined the contributions of the kinetic value of angular power, and its kinematic component, angular velocity, of the lower limb joints to jump height in the countermovement vertical jump. Kinematic and kinetic data were gathered from twenty varsity-level basketball and volleyball athletes as they performed six maximal effort jumps in four arm swing conditions: no-arm involvement, single-non-dominant arm swing, single-dominant arm swing, and two-arm swing. The displacement of the whole body centre of mass, peak joint powers, peak angular velocity, and locations of the peaks as a percentage of the jump’s takeoff period, were computed. Linear regressions assessed the relationship of the variables to jump height. Results demonstrated that knee peak power (p = 0.001, ß = 0.363, r = 0.363), its location within takeoff period (p = 0.023, ß = -0.256, r = 0.256), and peak knee peak angular velocity (p = 0.005, ß = 0.310, r = 0.310) were moderately linked to increased jump height. Additionally, the location, within the takeoff period, of the peak angular velocities of the hip (p = 0.003, ß = -0.318, r = 0.419) and ankle (p = 0.011, ß = 0.270, r = 0.419) were positively linked to jump height. These results highlight the importance of training the velocity and timing of joint motion beyond traditional power training protocols as well as the importance of further investigation into appropriate testing protocol that is sensitive to the contributions by individual joints in maximal effort jumping.

WAKING (TO) THINKING BEING: A STUDY OF EDUCATION, METAPHYSICS, MIND, AND LANGUAGE

This dissertation articulates the basic aims and achievements of education. It recognizes language as central to thinking, and philosophy and education as belonging profoundly to one another. The first step is to show that although philosophy can no longer claim to dictate the foundations of knowledge or of disciplines of inquiry, it still offers an exceptionally general level of self-understanding. Education is equally general and faces a similar crisis of self-identity, of coming to terms with reality. Language is the medium of thought and the repository of historical mind; so a child’s acquisition of language is her acquisition of rational freedom. This marks a metaphysical change: no longer merely an animal, she comes to exercise her powers of rationality, transcending her environment by seeking and expressing reasons for thinking and doing. She can think about herself in relation to the universe, hence philosophize and educate others in turn. The discussion then turns to the historical nature of language. The thinking already embedded in language always anticipates further questioning. Etymology serves as a model for philosophical understanding, and demonstrates how philosophy can continue to yield insights that are fundamental, but not foundational, to human life. The etymologies of some basic educational concepts disclose education as a leading out and into the midst of Being. The philosophical approach developed in previous chapters applies to the very idea of an educational aim. Discussion concerning the substantiality of educational ideals results in an impasse: one side recommends an open-­ended understanding of education’s aims; the other insists on a definitive account. However, educational ideals exhibit a conceptual duality: the fundamental achievements of education, such as rational freedom, are real; but how we should understand them remains an open question. The penultimate chapter investigates philosophical thinking as the fulfillment of rational freedom, whose creative insights can profoundly transform our everyday activities. That this transformative self-understanding is without end suggests the basic aims of education are unheimlich. The dissertation concludes with speculative reflection on the shape and nature of language, and with the suggestion that through education reality awakens to itself.

Strontium isotopes and sedimentology of a marine Triassic succession (upper Ladinian) of the westernmost Tethys, Spain

Chemical Stratigraphy, or the study of the variation of chemical elements within sedimentary sequences, has gradually become an experienced tool in the research and correlation of global geologic events. In this paper 87Sr/ 86Sr ratios of the Triassic marine carbonates (Muschelkalk facies) of southeast Iberian Ranges, Iberian Peninsula, are presented and the representative Sr-isotopic curve constructed for the upper Ladinian interval. The studied stratigraphic succession is 102 meters thick, continuous, and well preserved. Previous paleontological data from macro and micro, ammonites, bivalves, foraminifera, conodonts and palynological assemblages, suggest a Fassanian-Longobardian age (Late Ladinian). Although diagenetic minerals are present in small amounts, the elemental data content of bulk carbonate samples, especially Sr contents, show a major variation that probably reflects palaeoenvironmental changes. The 87Sr/86Sr ratios curve shows a rise from 0.707649 near the base of the section to 0.707741 and then declines rapidly to 0.707624, with a final values rise up to 0.70787 in the upper part. The data up to meter 80 in the studied succession is broadly concurrent with 87Sr/86Sr ratios of sequences of similar age and complements these data. Moreover, the sequence stratigraphic framework and its key surfaces, which are difficult to be recognised just based in the facies analysis, are characterised by combining variations of the Ca, Mg, Mn, Sr and CaCO3 contents

Market reforms and privatisation in the English National Health Service

The article examines developments in the marketisation and privatisation of the English National Health Service, primarily since 1997. It explores the use of competition and contracting out in ancillary services and the levering into public services of private finance for capital developments through the Private Finance Initiative. A substantial part of the article examines the repeated restructuring of the health service as a market in clinical services, initially as an internal market but subsequently as a market increasing opened up to private sector involvement. Some of the implications of market processes for NHS staff and for increased privatisation are discussed. The article examines one episode of popular resistance to these developments, namely the movement of opposition to the 2011 health and social care legislative proposals. The article concludes with a discussion of the implications of these system reforms for the founding principles of the NHS and the sustainability of the service.