Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

Comparison of deterministic, stochastic and fuzzy logic uncertainty modelling for capacity extension projects of DI/WFI pharmaceutical plant utilities with variable/dynamic demand

The last 30 years have seen Fuzzy Logic (FL) emerging as a method either complementing or challenging stochastic methods as the traditional method of modelling uncertainty. But the circumstances under which FL or stochastic methods should be used are shrouded in disagreement, because the areas of application of statistical and FL methods are overlapping with differences in opinion as to when which method should be used. Lacking are practically relevant case studies comparing these two methods. This work compares stochastic and FL methods for the assessment of spare capacity on the example of pharmaceutical high purity water (HPW) utility systems. The goal of this study was to find the most appropriate method modelling uncertainty in industrial scale HPW systems. The results provide evidence which suggests that stochastic methods are superior to the methods of FL in simulating uncertainty in chemical plant utilities including HPW systems in typical cases whereby extreme events, for example peaks in demand, or day-to-day variation rather than average values are of interest. The average production output or other statistical measures may, for instance, be of interest in the assessment of workshops. Furthermore the results indicate that the stochastic model should be used only if found necessary by a deterministic simulation. Consequently, this thesis concludes that either deterministic or stochastic methods should be used to simulate uncertainty in chemical plant utility systems and by extension some process system because extreme events or the modelling of day-to-day variation are important in capacity extension projects. Other reasons supporting the suggestion that stochastic HPW models are preferred to FL HPW models include: 1. The computer code for stochastic models is typically less complex than a FL models, thus reducing code maintenance and validation issues. 2. In many respects FL models are similar to deterministic models. Thus the need for a FL model over a deterministic model is questionable in the case of industrial scale HPW systems as presented here (as well as other similar systems) since the latter requires simpler models. 3. A FL model may be difficult to "sell" to an end-user as its results represent "approximate reasoning" a definition of which is, however, lacking. 4. Stochastic models may be applied with some relatively minor modifications on other systems, whereas FL models may not. For instance, the stochastic HPW system could be used to model municipal drinking water systems, whereas the FL HPW model should or could not be used on such systems. This is because the FL and stochastic model philosophies of a HPW system are fundamentally different. The stochastic model sees schedule and volume uncertainties as random phenomena described by statistical distributions based on either estimated or historical data. The FL model, on the other hand, simulates schedule uncertainties based on estimated operator behaviour e.g. tiredness of the operators and their working schedule. But in a municipal drinking water distribution system the notion of "operator" breaks down. 5. Stochastic methods can account for uncertainties that are difficult to model with FL. The FL HPW system model does not account for dispensed volume uncertainty, as there appears to be no reasonable method to account for it with FL whereas the stochastic model includes volume uncertainty.

Negotiating the boundaries between home and work practices: The case of home-workers

When people work from home, the domains of home and work are co-located, often under one roof. Home-workers have to cope with the meeting of two practices that have traditionally been physically separated. In light of this, we need to understand: how do people who work from home negotiate the boundaries between their home and work practices? What kinds of boundaries do people construct? How do boundaries affect the relationship between home and work as domains? What kinds of boundaries are available to home-workers? Are home-workers in charge of their boundaries or do they co-create them with others? How does this position home-workers in their domains? In order to address these questions, I analysed a variety of data, including newspaper columns, online forum discussions, interviews, and personal diary entries, using a discourse analytic approach that lends itself to issues of positioning. Current literature clashes over whether home-workers are in control of their boundaries, and over the relationship between home and work that arises out of boundary negotiations, i.e. whether home and work are dichotomous or layered. I seek to contribute to boundary theory by adopting a practice theory stance (Wenger, 1998) to guide my analysis. By viewing home and work as practices, I show that boundary negotiations depend on how home-workers are positioned, e.g. if they are positioned as peripheral in a domain, they lack influence over boundaries. I demonstrate that home and work constitute a number of different practices, rather than a rigid dichotomy, and that the way home and work are related are not the same for all home-workers. The application of practice concepts further shows how relationships between practices are created. The contribution of this work is a reconceptualisation of current boundary theory away from individual and cognitive notions (Nippert-Eng, 1996) into the realm of positioning.

Job retention and turnover: a study of child protection and welfare social workers in Ireland

Retaining social workers in child protection and welfare organisations has been identified as a problem in Ireland (McGrath, 2001; Ombudsman for Children, 2006; Houses of the Oireachtas, 2008) and internationally (Ellet et al., 2006; Mor Barak et al., 2006; Tham, 2006). While low levels of retention have been identified, there is no research that examines the factors in Ireland that influence the retention of social workers. In this thesis, data is analysed from qualitative interviews with 45 social workers in the Health Service Executive South about what influences their decisions to stay in or leave child protection and welfare social work. These social workers’ views are examined in relation to quantitative research on the levels of turnover and employment mobility of child protection and welfare social workers employed in the same organisation. Contrary to expectations, the study found that the retention rate of social workers during the period of data collection (March 2005 to December 2006) was high and that the majority of social workers remained positive about this work and their retention. The quality of social workers’ supervision, social supports from colleagues, high levels of autonomy, a commitment to child protection and welfare work, good variety in the work, and a perception that they were making a difference, emerged as important factors in social workers’ decisions to stay. Perceptions of being unsupported by the organisation, which was usually described in terms of high caseloads and demanding workloads, a lack of resources, work with involuntary clients and not being able to make a difference, were the most significant factors in social workers’ decisions to leave and/or to want to leave. Social workers felt particularly professionally unsupported when they received low quality and/or infrequent professional supervision. This thesis critiques the theories of perceived organisational support theory, social exchange theory and job characteristics theory, and uses the concept of ‘professional career’, to help analyse the retention of social workers in child protection and welfare.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Community workers' understandings and practices of resistance

This research is focused on Community Workers located in Southern Ireland, and their understandings and practices of resistance. It is an attempt to explore the ways in which community workers’ understandings and practices of resistance are formed and, in turn, inform their sense of identity and their responses to the wider context of community development work in Ireland today. This study is specifically located but also has wider application and relevance because of the extended international reach of neo-liberal and managerial rationalities, and their implications for politics, policy and practice. The study considers resistance in a number of inter-related ways: as a collective oppositional position (with negative and positive dimensions); a personal and/or professional value (associated with the ‘expansion of contention’); a strategy for negotiating unequal power relations (in a range of levels and spaces of power); an identity (in relation to the sustaining of ‘reflexive subjectivities’); a set of practices, (which take into account the interplay between economic, political and cultural influences); and an educational process through which practitioners assess and enact personal and professional agency. Critical theorisations of community development and of the Irish state over time, trace the ways in which neo-liberalism and managerialism has inflected community development practice and the positions of community workers and communities in that process. The study draws on James C. Scott, Gramsci, Barnes and Prior, among others, which enabled the interrogation of resistance in relation to everyday practices through engaging with ‘hidden transcripts’ and spaces. The method chosen was focus group discussions with three groups of community workers located in different counties in Southern Ireland. This method facilitated a deep discourse analysis of practitioners’ encounters with resistance in the field of community work. Key findings relate to the various interpretations of the role of resistance, practices of resistance (including current restrictions), the value of resistance work and the conditions that may be conducive to practising resistance.

Global fire emissions and the contribution of deforestation, savanna, forest, agricultural, and peat fires (1997-2009)

New burned area datasets and top-down constraints from atmospheric concentration measurements of pyrogenic gases have decreased the large uncertainty in fire emissions estimates. However, significant gaps remain in our understanding of the contribution of deforestation, savanna, forest, agricultural waste, and peat fires to total global fire emissions. Here we used a revised version of the Carnegie-Ames-Stanford-Approach (CASA) biogeochemical model and improved satellite-derived estimates of area burned, fire activity, and plant productivity to calculate fire emissions for the 1997-2009 period on a 0.5° spatial resolution with a monthly time step. For November 2000 onwards, estimates were based on burned area, active fire detections, and plant productivity from the MODerate resolution Imaging Spectroradiometer (MODIS) sensor. For the partitioning we focused on the MODIS era. We used maps of burned area derived from the Tropical Rainfall Measuring Mission (TRMM) Visible and Infrared Scanner (VIRS) and Along-Track Scanning Radiometer (ATSR) active fire data prior to MODIS (1997-2000) and estimates of plant productivity derived from Advanced Very High Resolution Radiometer (AVHRR) observations during the same period. Average global fire carbon emissions according to this version 3 of the Global Fire Emissions Database (GFED3) were 2.0 PgC year-1 with significant interannual variability during 1997-2001 (2.8 Pg Cyear-1 in 1998 and 1.6 PgC year-1 in 2001). Globally, emissions during 2002-2007 were rela-tively constant (around 2.1 Pg C year-1) before declining in 2008 (1.7 Pg Cyear-1) and 2009 (1.5 PgC year-1) partly due to lower deforestation fire emissions in South America and tropical Asia. On a regional basis, emissions were highly variable during 2002-2007 (e.g., boreal Asia, South America, and Indonesia), but these regional differences canceled out at a global level. During the MODIS era (2001-2009), most carbon emissions were from fires in grasslands and savannas (44%) with smaller contributions from tropical deforestation and degradation fires (20%), woodland fires (mostly confined to the tropics, 16%), forest fires (mostly in the extratropics, 15%), agricultural waste burning (3%), and tropical peat fires (3%). The contribution from agricultural waste fires was likely a lower bound because our approach for measuring burned area could not detect all of these relatively small fires. Total carbon emissions were on average 13% lower than in our previous (GFED2) work. For reduced trace gases such as CO and CH4, deforestation, degradation, and peat fires were more important contributors because of higher emissions of reduced trace gases per unit carbon combusted compared to savanna fires. Carbon emissions from tropical deforestation, degradation, and peatland fires were on average 0.5 PgC year-1. The carbon emissions from these fires may not be balanced by regrowth following fire. Our results provide the first global assessment of the contribution of different sources to total global fire emissions for the past decade, and supply the community with an improved 13-year fire emissions time series. © 2010 Author(s).

Musculoskeletal symptoms among female garment factory workers in Sri Lanka.

OBJECTIVES: To assess the prevalence of musculoskeletal symptoms and their association with sociodemographic risk factors among female garment factory workers in Sri Lanka. METHODS: 1058 randomly selected female garment factory workers employed in the free trade zone of Kogalla, Sri Lanka were recruited to complete two interviewer-administered questionnaires assessing musculoskeletal symptoms and health behaviors. DISCUSSION: Musculoskeletal complaints among female garment workers in the FTZ of Kogalla are less common than expected. Sociocultural factors may have resulted in underreporting and similarly contribute to the low rates of healthcare utilization by these women. RESULTS: 164 (15.5%) of workers reported musculoskeletal symptoms occurring more than 3 times or lasting a week or more during the previous 12-month period. Back (57.3%) and knee (31.7%) were the most common sites of pain. Although most symptomatic women reported that their problems interfered with work and leisure activities, very few missed work as a result of their pain. Prevalence correlated positively with increased age and industry tenure of less than 12 months. Job type, body mass index, and education were not significant predictors of musculoskeletal symptoms.

Changes in landing mechanics in patients following anterior cruciate ligament reconstruction when wearing an extension constraint knee brace.

BACKGROUND: Anterior cruciate ligament (ACL) reconstruction is associated with a high incidence of second tears (graft tears and contralateral ACL tears). These secondary tears have been attributed to asymmetrical lower extremity mechanics. Knee bracing is one potential intervention that can be used during rehabilitation that has the potential to normalize lower extremity asymmetry; however, little is known about the effect of bracing on movement asymmetry in patients following ACL reconstruction. HYPOTHESIS: Wearing a knee brace would increase knee joint flexion and joint symmetry. It was also expected that the joint mechanics would become more symmetrical in the braced condition. OBJECTIVE: To examine how knee bracing affects knee joint function and symmetry over the course of rehabilitation in patients 6 months following ACL reconstruction. STUDY DESIGN: Controlled laboratory study. LEVEL OF EVIDENCE: Level 3. METHODS: Twenty-three adolescent patients rehabilitating from ACL reconstruction surgery were recruited for the study. The subjects all underwent a motion analysis assessment during a stop-jump activity with and without a functional knee brace on the surgical side that resisted extension for 6 months following the ACL reconstruction surgery. Statistical analysis utilized a 2 × 2 (limb × brace) analysis of variance with a significant alpha level of 0.05. RESULTS: Subjects had increased knee flexion on the surgical side when they were braced. The brace condition increased knee flexion velocity, decreased the initial knee flexion angle, and increased the ground reaction force and knee extension moment on both limbs. Side-to-side asymmetry was present across conditions for the vertical ground reaction force and knee extension moment. CONCLUSION: Wearing a knee brace appears to increase lower extremity compliance and promotes normalized loading on the surgical side. CLINICAL RELEVANCE: Knee extension constraint bracing in postoperative ACL patients may improve symmetry of lower extremity mechanics, which is potentially beneficial in progressing rehabilitation and reducing the incidence of second ACL tears.

A case-control study of airways obstruction among construction workers.

BACKGROUND: While smoking is the major cause of chronic obstructive pulmonary disease (COPD), occupational exposures to vapors, gases, dusts, and fumes (VGDF) increase COPD risk. This case-control study estimated the risk of COPD attributable to occupational exposures among construction workers. METHODS: The study population included 834 cases and 1243 controls participating in a national medical screening program for older construction workers between 1997 and 2013. Qualitative exposure indices were developed based on lifetime work and exposure histories. RESULTS: Approximately 18% (95% CI = 2-24%) of COPD risk can be attributed to construction-related exposures, which are additive to the risk contributed by smoking. A measure of all VGDF exposures combined was a strong predictor of COPD risk. CONCLUSIONS: Construction workers are at increased risk of COPD as a result of broad and complex effects of many exposures acting independently or interactively. Control methods should be implemented to prevent worker exposures, and smoking cessation should be promoted.

Incontinence and gait disturbance after intraventricular extension of intracerebral hemorrhage.

OBJECTIVE: We tested the hypothesis that intraventricular hemorrhage (IVH) is associated with incontinence and gait disturbance among survivors of intracerebral hemorrhage (ICH) at 3-month follow-ups. METHODS: The Genetic and Environmental Risk Factors for Hemorrhagic Stroke study was used as the discovery set. The Ethnic/Racial Variations of Intracerebral Hemorrhage study served as a replication set. Both studies performed prospective hot-pursuit recruitment of ICH cases with 3-month follow-up. Multivariable logistic regression analyses were computed to identify risk factors for incontinence and gait dysmobility at 3 months after ICH. RESULTS: The study population consisted of 307 ICH cases in the discovery set and 1,374 cases in the replication set. In the discovery set, we found that increasing IVH volume was associated with incontinence (odds ratio [OR] 1.50; 95% confidence interval [CI] 1.10-2.06) and dysmobility (OR 1.58; 95% CI 1.17-2.15) after controlling for ICH location, initial ICH volume, age, baseline modified Rankin Scale score, sex, and admission Glasgow Coma Scale score. In the replication set, increasing IVH volume was also associated with both incontinence (OR 1.42; 95% CI 1.27-1.60) and dysmobility (OR 1.40; 95% CI 1.24-1.57) after controlling for the same variables. CONCLUSION: ICH subjects with IVH extension are at an increased risk for developing incontinence and dysmobility after controlling for factors associated with severity and disability. This finding suggests a potential target to prevent or treat long-term disability after ICH with IVH.