Service Provisioning in Mobile Networks Through Distributed Coordinated Resource Management

The pervasiveness of personal computing platforms offers an unprecedented opportunity to deploy large-scale services that are distributed over wide physical spaces. Two major challenges face the deployment of such services: the often resource-limited nature of these platforms, and the necessity of preserving the autonomy of the owner of these devices. These challenges preclude using centralized control and preclude considering services that are subject to performance guarantees. To that end, this thesis advances a number of new distributed resource management techniques that are shown to be effective in such settings, focusing on two application domains: distributed Field Monitoring Applications (FMAs), and Message Delivery Applications (MDAs). In the context of FMA, this thesis presents two techniques that are well-suited to the fairly limited storage and power resources of autonomously mobile sensor nodes. The first technique relies on amorphous placement of sensory data through the use of novel storage management and sample diffusion techniques. The second approach relies on an information-theoretic framework to optimize local resource management decisions. Both approaches are proactive in that they aim to provide nodes with a view of the monitored field that reflects the characteristics of queries over that field, enabling them to handle more queries locally, and thus reduce communication overheads. Then, this thesis recognizes node mobility as a resource to be leveraged, and in that respect proposes novel mobility coordination techniques for FMAs and MDAs. Assuming that node mobility is governed by a spatio-temporal schedule featuring some slack, this thesis presents novel algorithms of various computational complexities to orchestrate the use of this slack to improve the performance of supported applications. The findings in this thesis, which are supported by analysis and extensive simulations, highlight the importance of two general design principles for distributed systems. First, a-priori knowledge (e.g., about the target phenomena of FMAs and/or the workload of either FMAs or DMAs) could be used effectively for local resource management. Second, judicious leverage and coordination of node mobility could lead to significant performance gains for distributed applications deployed over resource-impoverished infrastructures.

Hierarchal Characterization and Generation of Blogosphere Workloads

We present a thorough characterization of the access patterns in blogspace, which comprises a rich interconnected web of blog postings and comments by an increasingly prominent user community that collectively define what has become known as the blogosphere. Our characterization of over 35 million read, write, and management requests spanning a 28-day period is done at three different levels. The user view characterizes how individual users interact with blogosphere objects (blogs); the object view characterizes how individual blogs are accessed; the server view characterizes the aggregate access patterns of all users to all blogs. The more-interactive nature of the blogosphere leads to interesting traffic and communication patterns, which are different from those observed for traditional web content. We identify and characterize novel features of the blogosphere workload, and we show the similarities and differences between typical web server workloads and blogosphere server workloads. Finally, based on our main characterization results, we build a new synthetic blogosphere workload generator called GBLOT, which aims at mimicking closely a stream of requests originating from a population of blog users. Given the increasing share of blogspace traffic, realistic workload models and tools are important for capacity planning and traffic engineering purposes.

Improving the Accessibility of Lightweight Formal Verification Systems

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.

Object Matching in Distributed Video Surveillance Systems by LDA-Based Appearance Descriptors

Establishing correspondences among object instances is still challenging in multi-camera surveillance systems, especially when the cameras’ fields of view are non-overlapping. Spatiotemporal constraints can help in solving the correspondence problem but still leave a wide margin of uncertainty. One way to reduce this uncertainty is to use appearance information about the moving objects in the site. In this paper we present the preliminary results of a new method that can capture salient appearance characteristics at each camera node in the network. A Latent Dirichlet Allocation (LDA) model is created and maintained at each node in the camera network. Each object is encoded in terms of the LDA bag-of-words model for appearance. The encoded appearance is then used to establish probable matching across cameras. Preliminary experiments are conducted on a dataset of 20 individuals and comparison against Madden’s I-MCHR is reported.

Traffic Characteristics and Communication Patterns in Blogosphere

We present a thorough characterization of the access patterns in blogspace -- a fast-growing constituent of the content available through the Internet -- which comprises a rich interconnected web of blog postings and comments by an increasingly prominent user community that collectively define what has become known as the blogosphere. Our characterization of over 35 million read, write, and administrative requests spanning a 28-day period is done from three different blogosphere perspectives. The server view characterizes the aggregate access patterns of all users to all blogs; the user view characterizes how individual users interact with blogosphere objects (blogs); the object view characterizes how individual blogs are accessed. Our findings support two important conclusions. First, we show that the nature of interactions between users and objects is fundamentally different in blogspace than that observed in traditional web content. Access to objects in blogspace could be conceived as part of an interaction between an author and its readership. As we show in our work, such interactions range from one-to-many "broadcast-type" and many-to-one "registration-type" communication between an author and its readers, to multi-way, iterative "parlor-type" dialogues among members of an interest group. This more-interactive nature of the blogosphere leads to interesting traffic and communication patterns, which are different from those observed in traditional web content. Second, we identify and characterize novel features of the blogosphere workload, and we investigate the similarities and differences between typical web server workloads and blogosphere server workloads. Given the increasing share of blogspace traffic, understanding such differences is important for capacity planning and traffic engineering purposes, for example.

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.

Experiences of the foster care process in the Republic of Ireland: retrospective accounts from biological children of foster carers

This thesis examines the experiences of the biological children of foster carers. In particular it explores their experiences in relation to inclusion, consultation and decision-making. The study also examines the support and training needs of birth children in foster families. Using a qualitative methodology in-depth, semi-structured interviews were conducted with fifteen birth children of foster carers aged between 18 and 30 years. The research findings show that for the majority of birth children, fostering was overall a positive experience which helped them develop into individuals who were caring and nonjudgemental. However, from the data collected in this study, it is clear that fostering also brings a range of challenges for birth children in foster families, such as managing feelings of loss, grief, jealousy and guilt when foster children leave. Birth children are reluctant to discuss these issues with their parents and often did not approach fostering social workers as they did not have a meaningful relationship in order to discuss their concerns. The findings also demonstrate that birth children undertake a lot of emotional work in supporting their parents, birth siblings and foster siblings. Despite the important role played by birth children in the fostering process, this contribution often goes unrecognised and unacknowledged by fostering professionals and agencies with birth children not included or consulted about foster care decisions that affect them. It is argued here that birth children are viewed by foster care professionals and agencies from a deficit based perspective. However, this study contends that it is not just foster parents who are involved in the foster care process, but the entire foster family. The findings of this study show that birth children are competent social actors capable of making valuable contributions to foster care decisions that affect their lives and that of their family.

Non-product related environmental process and production methods (NPR-PPMs): a view from international trade law and international environmental governance

The primary aim of this thesis is to analyse legal and governance issues in the use of Environmental NPR-PPMs, particularly those aiming to promote sustainable practices or to protect natural resources. NPR-PPMs have traditionally been thought of as being incompatible with the rules of the World Trade Organization (WTO). However, the issue remains untouched by WTO adjudicatory bodies. One can suggest that WTO adjudicatory bodies may want to leave this issue to the Members, but the analysis of the case law also seems to indicate that the question of legality of NPR-PPMs has not been brought ‘as such’ in dispute settlement. This thesis advances the argument that despite the fact that the legal status of NPR-PPMs remains unsettled, during the last decades adjudicatory bodies have been scrutinising environmental measures based on NPR-PPMs just as another expression of the regulatory autonomy of the Members. Though NPR-PPMs are regulatory choices associated with a wide range of environmental concerns, trade disputes giving rise to questions related to the legality of process-based measures have been mainly associated with the protection of marine wildlife (i.e., fishing techniques threatening or affecting animal species). This thesis argues that environmental objectives articulated as NPR-PPMs can indeed qualify as legitimate objectives both under the GATT and the TBT Agreement. However, an important challenge for the their compatibility with WTO law relate to aspects associated with arbitrary or unjustifiable discrimination. In the assessment of discrimination procedural issues play an important role. This thesis also elucidates other important dimensions to the issue from the perspective of global governance. One of the arguments advanced in this thesis is that a comprehensive analysis of environmental NPR-PPMs should consider not only their role in what is regarded as trade barriers (governmental and market-driven), but also their significance in global objectives such as the transition towards a green economy and sustainable patterns of consumption and production.

Typical delay determines waiting time on periodic-food schedules: Static and dynamic tests.

Pigeons and other animals soon learn to wait (pause) after food delivery on periodic-food schedules before resuming the food-rewarded response. Under most conditions the steady-state duration of the average waiting time, t, is a linear function of the typical interfood interval. We describe three experiments designed to explore the limits of this process. In all experiments, t was associated with one key color and the subsequent food delay, T, with another. In the first experiment, we compared the relation between t (waiting time) and T (food delay) under two conditions: when T was held constant, and when T was an inverse function of t. The pigeons could maximize the rate of food delivery under the first condition by setting t to a consistently short value; optimal behavior under the second condition required a linear relation with unit slope between t and T. Despite this difference in optimal policy, the pigeons in both cases showed the same linear relation, with slope less than one, between t and T. This result was confirmed in a second parametric experiment that added a third condition, in which T + t was held constant. Linear waiting appears to be an obligatory rule for pigeons. In a third experiment we arranged for a multiplicative relation between t and T (positive feedback), and produced either very short or very long waiting times as predicted by a quasi-dynamic model in which waiting time is strongly determined by the just-preceding food delay.

Finite size effects in the presence of a chemical potential: A study in the classical nonlinear O(2) sigma model

In the presence of a chemical potential, the physics of level crossings leads to singularities at zero temperature, even when the spatial volume is finite. These singularities are smoothed out at a finite temperature but leave behind nontrivial finite size effects which must be understood in order to extract thermodynamic quantities using Monte Carlo methods, particularly close to critical points. We illustrate some of these issues using the classical nonlinear O(2) sigma model with a coupling β and chemical potential μ on a 2+1-dimensional Euclidean lattice. In the conventional formulation this model suffers from a sign problem at nonzero chemical potential and hence cannot be studied with the Wolff cluster algorithm. However, when formulated in terms of the worldline of particles, the sign problem is absent, and the model can be studied efficiently with the "worm algorithm." Using this method we study the finite size effects that arise due to the chemical potential and develop an effective quantum mechanical approach to capture the effects. As a side result we obtain energy levels of up to four particles as a function of the box size and uncover a part of the phase diagram in the (β,μ) plane. © 2010 The American Physical Society.

Competing manufacturers in a retail supply chain: On contractual form and coordination

It is common for a retailer to sell products from competing manufacturers. How then should the firms manage their contract negotiations? The supply chain coordination literature focuses either on a single manufacturer selling to a single retailer or one manufacturer selling to many (possibly competing) retailers. We find that some key conclusions from those market structures do not apply in our setting, where multiple manufacturers sell through a single retailer. We allow the manufacturers to compete for the retailer's business using one of three types of contracts: a wholesale-price contract, a quantity-discount contract, or a two-part tariff. It is well known that the latter two, more sophisticated contracts enable the manufacturer to coordinate the supply chain, thereby maximizing the profits available to the firms. More importantly, they allow the manufacturer to extract rents from the retailer, in theory allowing the manufacturer to leave the retailer with only her reservation profit. However, we show that in our market structure these two sophisticated contracts force the manufacturers to compete more aggressively relative to when they only offer wholesale-price contracts, and this may leave them worse off and the retailer substantially better off. In other words, although in a serial supply chain a retailer may have just cause to fear quantity discounts and two-part tariffs, a retailer may actually prefer those contracts when offered by competing manufacturers. We conclude that the properties a contractual form exhibits in a one-manufacturer supply chain may not carry over to the realistic setting in which multiple manufacturers must compete to sell their goods through the same retailer. © 2010 INFORMS.

Who tests, who doesn't, and why? Uptake of mobile HIV counseling and testing in the Kilimanjaro Region of Tanzania.

BACKGROUND: Optimally, expanded HIV testing programs should reduce barriers to testing while attracting new and high-risk testers. We assessed barriers to testing and HIV risk among clients participating in mobile voluntary counseling and testing (MVCT) campaigns in four rural villages in the Kilimanjaro Region of Tanzania. METHODS: Between December 2007 and April 2008, 878 MVCT participants and 506 randomly selected community residents who did not access MVCT were surveyed. Gender-specific logistic regression models were used to describe differences in socioeconomic characteristics, HIV exposure risk, testing histories, HIV related stigma, and attitudes toward testing between MVCT participants and community residents who did not access MVCT. Gender-specific logistic regression models were used to describe differences in socioeconomic characteristics, HIV exposure risk, testing histories, HIV related stigma, and attitudes toward testing, between the two groups. RESULTS: MVCT clients reported greater HIV exposure risk (OR 1.20 [1.04 to 1.38] for males; OR 1.11 [1.03 to 1.19] for females). Female MVCT clients were more likely to report low household expenditures (OR 1.47 [1.04 to 2.05]), male clients reported higher rates of unstable income sources (OR 1.99 [1.22 to 3.24]). First-time testers were more likely than non-testers to cite distance to testing sites as a reason for not having previously tested (OR 2.17 [1.05 to 4.48] for males; OR 5.95 [2.85 to 12.45] for females). HIV-related stigma, fears of testing or test disclosure, and not being able to leave work were strongly associated with non-participation in MVCT (ORs from 0.11 to 0.84). CONCLUSIONS: MVCT attracted clients with increased exposure risk and fewer economic resources; HIV related stigma and testing-related fears remained barriers to testing. MVCT did not disproportionately attract either first-time or frequent repeat testers. Educational campaigns to reduce stigma and fears of testing could improve the effectiveness of MVCT in attracting new and high-risk populations.

Dispersal patterns in Costa Rican mantled howling monkeys

Both male and female juveniles disperse in Costa Rican mantled howling monkeys (Alouatta palliata). 79% of the males and 96% of the females leave their natal groups. Males may spend up to 4 years and females up to 1 year as solitaries. Extra-group individuals are faced with only three possibilities, i.e., form a new group by joining another extra-group individual, join an established social group, or remain solitary. Most surviving extra-group individuals join an established social group which contains no kin. Females join with the help of a resident male and once in a group proceed to rise to the alpha position through dyadic interactions. The immigrant female either becomes the alpha female or leaves and tries again in another group. Males challenge the alpha male and either defeat him or remain solitary. Competition with relatives for limited high quality food may be the reason for both sexes leaving their natal groups in howlers. By leaving, the successful immigrants increase their mothers inclusive fitness while suppressing the fitness of nonrelatives instead of remaining natal and competing with relatives for limited food. © 1992 Plenum Publishing Corporation.

Induced pluripotent stem cell-derived cardiac progenitors differentiate to cardiomyocytes and form biosynthetic tissues.

The mammalian heart has little capacity to regenerate, and following injury the myocardium is replaced by non-contractile scar tissue. Consequently, increased wall stress and workload on the remaining myocardium leads to chamber dilation, dysfunction, and heart failure. Cell-based therapy with an autologous, epigenetically reprogrammed, and cardiac-committed progenitor cell source could potentially reverse this process by replacing the damaged myocardium with functional tissue. However, it is unclear whether cardiac progenitor cell-derived cardiomyocytes are capable of attaining levels of structural and functional maturity comparable to that of terminally-fated cardiomyocytes. Here, we first describe the derivation of mouse induced pluripotent stem (iPS) cells, which once differentiated allow for the enrichment of Nkx2-5(+) cardiac progenitors, and the cardiomyocyte-specific expression of the red fluorescent protein. We show that the cardiac progenitors are multipotent and capable of differentiating into endothelial cells, smooth muscle cells and cardiomyocytes. Moreover, cardiac progenitor selection corresponds to cKit(+) cell enrichment, while cardiomyocyte cell-lineage commitment is concomitant with dual expression of either cKit/Flk1 or cKit/Sca-1. We proceed to show that the cardiac progenitor-derived cardiomyocytes are capable of forming electrically and mechanically coupled large-scale 2D cell cultures with mature electrophysiological properties. Finally, we examine the cell progenitors' ability to form electromechanically coherent macroscopic tissues, using a physiologically relevant 3D culture model and demonstrate that following long-term culture the cardiomyocytes align, and form robust electromechanical connections throughout the volume of the biosynthetic tissue construct. We conclude that the iPS cell-derived cardiac progenitors are a robust cell source for tissue engineering applications and a 3D culture platform for pharmacological screening and drug development studies.

Future requirements for and supply of ophthalmologists for an aging population in Singapore.

BACKGROUND: Singapore's population, as that of many other countries, is aging; this is likely to lead to an increase in eye diseases and the demand for eye care. Since ophthalmologist training is long and expensive, early planning is essential. This paper forecasts workforce and training requirements for Singapore up to the year 2040 under several plausible future scenarios. METHODS: The Singapore Eye Care Workforce Model was created as a continuous time compartment model with explicit workforce stocks using system dynamics. The model has three modules: prevalence of eye disease, demand, and workforce requirements. The model is used to simulate the prevalence of eye diseases, patient visits, and workforce requirements for the public sector under different scenarios in order to determine training requirements. RESULTS: Four scenarios were constructed. Under the baseline business-as-usual scenario, the required number of ophthalmologists is projected to increase by 117% from 2015 to 2040. Under the current policy scenario (assuming an increase of service uptake due to increased awareness, availability, and accessibility of eye care services), the increase will be 175%, while under the new model of care scenario (considering the additional effect of providing some services by non-ophthalmologists) the increase will only be 150%. The moderated workload scenario (assuming in addition a reduction of the clinical workload) projects an increase in the required number of ophthalmologists of 192% by 2040. Considering the uncertainties in the projected demand for eye care services, under the business-as-usual scenario, a residency intake of 8-22 residents per year is required, 17-21 under the current policy scenario, 14-18 under the new model of care scenario, and, under the moderated workload scenario, an intake of 18-23 residents per year is required. CONCLUSIONS: The results show that under all scenarios considered, Singapore's aging and growing population will result in an almost doubling of the number of Singaporeans with eye conditions, a significant increase in public sector eye care demand and, consequently, a greater requirement for ophthalmologists.