Causal behavioural profiles : efficient computation, applications, and evaluation

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

ACE research vignette 039: The Ineffectiveness of Enterprise Policy : Is Policy Formulation to Blame?

This series of research vignettes is aimed at sharing current and interesting research findings from our team of international Entrepreneurship researchers. This vignette, written by Dr Norin Arshed, Professor Sara Carter and Professor Colin Mason examines whether the ineffectiveness of enterprise policy can be attributed to the formulation of the enterprise policy itself.

Rethinking Early Childhood Education and Care: Implications for Research and Evaluation

Research in disadvantaged populations demonstrates that the effect of Early Childhood Education and Care (ECEC) programs can reach into adulthood and influence a wide range of achievement and social well-being outcomes. In English-speaking developed economies, these findings have sparked new perceptions of the role ECEC programs play in both the public and private sphere. Programs that achieve improved learning and social well-being for children are seen as an investment for both individuals and society. Yet, the empirical understanding of what programs best deliver positive outcomes across the diversity of social contexts is limited. A key research task is to identify the forms of ECEC that are most effective in delivering enduring and broad positive outcomes for all children. This article explores changing policy conceptualizations of ECEC, the outcome goals of ECEC, and directions for research in identifying quality in ECEC programs.

Development and evaluation of a spatial decision support system for malaria elimination in Bhutan

Background: Bhutan has reduced its malaria incidence significantly in the last 5 years, and is aiming for malaria elimination by 2016. To assist with the management of the Bhutanese malaria elimination programme a spatial decision support system (SDSS) was developed. The current study aims to describe SDSS development and evaluate SDSS utility and acceptability through informant interviews. Methods: The SDSS was developed based on the open-source Quantum geographical information system (QGIS) and piloted to support the distribution of long-lasting insecticidal nets (LLINs) and indoor residual spraying (IRS) in the two sub-districts of Samdrup Jongkhar District. It was subsequently used to support reactive case detection (RACD) in the two sub-districts of Samdrup Jongkhar and two additional sub-districts in Sarpang District. Interviews were conducted to ascertain perceptions on utility and acceptability of 11 informants using the SDSS, including programme and district managers, and field workers. Results: A total of 1502 households with a population of 7165 were enumerated in the four sub-districts, and a total of 3491 LLINs were distributed with one LLIN per 1.7 persons. A total of 279 households representing 728 residents were involved with RACD. Informants considered that the SDSS was an improvement on previous methods for organizing LLIN distribution, IRS and RACD, and could be easily integrated into routine malaria and other vector-borne disease surveillance systems. Informants identified some challenges at the programme and field level, including the need for more skilled personnel to manage the SDSS, and more training to improve the effectiveness of SDSS implementation and use of hardware. Conclusions: The SDSS was well accepted and informants expected its use to be extended to other malaria reporting districts and other vector-borne diseases. Challenges associated with efficient SDSS use included adequate skills and knowledge, access to training and support, and availability of hardware including computers and global positioning system receivers.

Relating food literacy to nutrition and health

This chapter describes the evolution of a model to propose the relationship between food literacy and nutrition. This model can also be used as a framework for program planning, implementation and evaluation. Practitioners and policy makers invest in food literacy with outcome expectations beyond diet quality. For this reason, a second model was developed to conceptualise the role of food literacy with respect to food security, body weight and chronic disease risk. This second model is useful in positioning food literacy within multi-strategic public health nutrition and chronic disease plans.

Analysis and evaluation of public forest policies.

XVIII IUFRO World Congress, Ljubljana 1986.

Characterization and evaluation of melibiose as novel excipient in tablet compaction

Lactose is probably the most used tablet excipient in the field of pharmacy. Although lactose is thoroughly characterized and available in many different forms there is a need to find a replacer for lactose as a filler/binder in tablet formulations because it has some downsides. Melibiose is a relatively unknown disaccharide that has not been thoroughly characterized and not previously used as an excipient in tablets. Structurally melibiose is close to lactose as it is also formed from the same two monosaccharides, glucose and galactose. Aim of this research is to characterize and to study physicochemical properties of melibiose. Also the potential of melibiose to be used as pharmaceutical tablet excipient, even as a substitute for lactose is evaluated. Current knowledge about fundamentals of tableting and methods for determinating of deformation behavior and tabletability are reviewed. In this research Raman spectroscopy, X-ray powder diffraction (XRPD), near-infrared spectroscopy (NIR) and Fourier-transform infrared spectroscopy (FT-IR) were used to study differences between two melibiose batches purchased from two suppliers. In NIR and FT-IR measurements no difference between materials could be observed. XPRD and Raman however found differences between the two melibiose batches. Also the effects of moisture content and heating to material properties were studied and moisture content of materials seems to cause some differences. Thermal analytical methods, differential scanning calorimetry (DSC) and thermogravimetry (TG) were used to study thermal behaviour of melibiose and difference between materials was found. Other melibiose batch contains residual water which evaporates at higher temperatures causing the differences in thermal behaviour. Scanning electron microscopy images were used to evaluate particle size, particle shape and morphology. Bulk, tapped and true densities and flow properties of melibiose was measured. Particle size of the melibiose batches are quite different resulting causing differences in the flowability. Instrumented tableting machine and compression simulator were used to evaluate tableting properties of melbiose compared to α-lactose monohydrate. Heckel analysis and strain-rate sensitivity index were used to determine deformation mechanism of melibiose monohydrate in relation to α–lactose monohydrate during compaction. Melibiose seems to have similar deformation behaviour than α-lactose monohydrate. Melibiose is most likely fragmenting material. Melibiose has better compactibility than α – lactose monohydrate as it produces tablets with higher tensile strength with similar compression pressures. More compression studies are however needed to confirm these results because limitations of this study.

Design and Evaluation of the Hamal Parallel Computer

Parallel shared-memory machines with hundreds or thousands of processor-memory nodes have been built; in the future we will see machines with millions or even billions of nodes. Associated with such large systems is a new set of design challenges. Many problems must be addressed by an architecture in order for it to be successful; of these, we focus on three in particular. First, a scalable memory system is required. Second, the network messaging protocol must be fault-tolerant. Third, the overheads of thread creation, thread management and synchronization must be extremely low. This thesis presents the complete system design for Hamal, a shared-memory architecture which addresses these concerns and is directly scalable to one million nodes. Virtual memory and distributed objects are implemented in a manner that requires neither inter-node synchronization nor the storage of globally coherent translations at each node. We develop a lightweight fault-tolerant messaging protocol that guarantees message delivery and idempotence across a discarding network. A number of hardware mechanisms provide efficient support for massive multithreading and fine-grained synchronization. Experiments are conducted in simulation, using a trace-driven network simulator to investigate the messaging protocol and a cycle-accurate simulator to evaluate the Hamal architecture. We determine implementation parameters for the messaging protocol which optimize performance. A discarding network is easier to design and can be clocked at a higher rate, and we find that with this protocol its performance can approach that of a non-discarding network. Our simulations of Hamal demonstrate the effectiveness of its thread management and synchronization primitives. In particular, we find register-based synchronization to be an extremely efficient mechanism which can be used to implement a software barrier with a latency of only 523 cycles on a 512 node machine.

Synthesis and evaluation of novel azaindolocarbazole derivatives as cancer chemotherapeutics

This thesis details the design and implementation of novel chemical routes towards a series of highly propitious 7-azaindolyl derivatives of the indolocarbazole (ICZ) and bisindolylmaleimide (BIM) families, with subsequent evaluation for use as cancer chemotherapeutic agents. A robust synthetic strategy was devised to allow the introduction of a 7-azaindolyl moiety into our molecular template. This approach allowed access to a wide range of β-keto ester and β-keto nitrile intermediates. Critical analysis identified F-ring modulation as a major theme towards the advancement of ICZ and BIM derivatives in drug therapy. Thus, the employment of cyclocondensation methodology furnished a number of novel aminopyrazole, isoxazolone, pyrazolone and pyrimidinone analogues, considerably widening the scope of the prevalent maleimide functionality. Photochemical cyclisation provided for the first reported aza ICZ containing a six-membered F-ring. Another method towards achieving the aza ICZ core involved use of a Perkin-type condensation approach, with chemical elaboration of the headgroup instigated post-aromatisation. Subsequent use of a modified Lossen rearrangement allowed access to further analogues containing a six-membered F-ring. Extensive screening of the novel aza ICZ and BIM derivatives was carried out against the NCI-60 cancer cell array, with nine prospective candidates selected for continued biological evaluation. From these assays, a number of compounds were shown to inhibit cancer cell growth at concentrations of below 10 nM. Indeed, the most active aza ICZ tested is currently under assessment by the Biological Evaluation Committee of the NCI due to excellent antiproliferative activity demonstrated across the panel of cell lines, with a mean GI50 of 34 nM, a mean total growth inhibition (TGI) of 4.6 μM and a mean cytotoxicity (LC50) of 63.1 μM. Correlation to known topoisomerase I (topo I) inhibitors was revealed by COMPARE analysis, and subsequent topo I-mediated DNA cleavage assays showed inhibitory activity below 1 μM for several derivatives.

The Ford administration, Angola and the perception of Post-Vietnam US credibility, 1974-1976

This thesis is a study of how the Gerald Ford administration struggled to address a perceived loss of US credibility after the collapse of Vietnam, with a focus on the role of Secretary of State Henry Kissinger in the formulation, implementation and subsequent defence of US Angolan policy. By examining the immediate post-Vietnam period, this thesis shows that Vietnam had a significant impact on Kissinger’s actions on Angola, which resulted in an ill conceived covert operation in another third world conflict. In 1974, Africa was a neglected region in Cold War US foreign policy, yet the effects of the Portuguese revolution led to a rapid decolonization of its African territories, of which Angola was to become the focus of superpower competition. After South Vietnam collapsed in April 1975, Kissinger became fixated on restoring the perceived loss of US prestige, Angola provided the first opportunity to address this. Despite objections from his advisors, Kissinger methodically engineered a covert program to assist two anti-Marxist guerrilla groups in Angola. As the crisis escalated, the media discovered the operation and the Congress decided to cease all funding. A period of heated tensions ensued, resulting in Kissinger creating a new African policy to outmanoeuvre his critics publicly, while privately castigating them to foreign leaders. This thesis argues that Kissinger’s dismissal of internal dissent and opposition from the Congress was influenced by what he perceived as bureaucrats being affected by the Vietnam syndrome, and his obsession with restoring US credibility. By looking at the private and public records – as expressed in government meetings and official reports, US newspaper and television coverage and diplomatic cables – this thesis addresses the question of how the lessons of Vietnam failed to influence Kissinger’s actions in Angola, but the lessons of Angola were heavily influential in the construction of a new US-African policy.

Ireland's knowledge economy policy: beliefs, drivers and prospects

This dissertation critically examines Ireland’s knowledge economy policy, the country’s basis for economic recovery and growth, to enhance future policy decisions and debate. Much has been written internationally on the ‘knowledge economy’ with its emergence closely related to globalisation and technological progression in the 1990s. Since the late 1990s, Irish policy-makers have been firmly committed to positioning Ireland as a leading knowledge economy. Transforming the country’s competitive base to a knowledge economy is pivotal, directly shaping the course of Ireland’s economy and society. Given Ireland’s current economic crisis, limited resources, global competition from leaders in science and technology and growing challenges from emerging economies, a systematic study of Ireland’s major competitive policy is imperative. Above all, this study explores the processes behind the policy and the multiple actors from different institutions who follow and seek to influence decisions. The advocacy coalition framework is used to identify the advocacy coalition operating in the knowledge economy policy subsystem. The theoretical insights of this framework are also combined with other public policy approaches, providing complementary insights into the policy process. The research is framed around three elements - the beliefs underpinning the policy; who is driving the policy; and the prospects of the policy. Primary information is collected by way of semi-structured in-depth interviews with 49 Irish elites (politicians, senior bureaucrats, academics and business leaders) involved in the formation and implementation of the policy. This study finds that a strong advocacy coalition has formed in this policy subsystem whose members are collectively driving the policy. Both exogenous and endogenous forces help frame a common perception of the problems the policy addresses and the solutions it offers. Evidence suggests that this policy is a sustainable option for Ireland’s economic future and the study concludes with policy recommendations for advancing Ireland’s knowledge economy.

Costa Rica's payment for environmental services program: intention, implementation, and impact.

We evaluated the intention, implementation, and impact of Costa Rica's program of payments for environmental services (PSA), which was established in the late 1990s. Payments are given to private landowners who own land in forest areas in recognition of the ecosystem services their land provides. To characterize the distribution of PSA in Costa Rica, we combined remote sensing with geographic information system databases and then used econometrics to explore the impacts of payments on deforestation. Payments were distributed broadly across ecological and socioeconomic gradients, but the 1997-2000 deforestation rate was not significantly lower in areas that received payments. Other successful Costa Rican conservation policies, including those prior to the PSA program, may explain the current reduction in deforestation rates. The PSA program is a major advance in the global institutionalization of ecosystem investments because few, if any, other countries have such a conservation history and because much can be learned from Costa Rica's experiences.

Development and evaluation of a vaginal ring device for sustained delivery of HIV microbicides to non-human primate

Background There is considerable interest in developing coitally indepen- dent, sustained release formulations for long-term administration of HIV microbicides. Vaginal ring devices are at the forefront of this formulation strategy. Methods Non-medicated silicone elastomer vaginal rings were prepared having a range of appropriate dimensions for testing vaginal ?t in pig- tailed and Chinese rhesus macaques. Cervicovaginal proin?ammatory markers were evaluated. Compression testing was performed to compare the relative ?exibility of various macaque and commercial human rings. Results All rings remained in place during the study period and no tissue irritation or signi?cant induction of cervicovaginal proin?ammatory mark- ers or signs of physical discomfort were observed during the 8-week study period. Conclusions Qualitative evaluation suggests that the 25 · 5-mm ring pro- vided optimal ?t in both macaque species. Based on the results presented here, low-consistency silicone elastomers do not cause irritation in maca-

Assessment framework for construction supply chain relationships: Development and evaluation

The change of supply chain relationships from the traditional adversarial to the collaborative has been increasing in the UK construction industry. To reflect this change, some attempts have been made to establish models for measuring and improving supply chain relationships in construction. However, there are obvious deficiencies in these existing models. This highlights the need for a systematic model for the assessment of construction supply chain relationships. Based on a review of the literature and an expert group discussion, an assessment framework is developed in this paper, which consists of assessment criteria, relationship levels, detailed descriptions, assessment classes and assessment procedures. The proposed framework is evaluated through expert interviews and case studies. This framework provides a roadmap for the improvement of supply chain relationships. It can help construction organisations to position their current relationship and identify key areas for relationship improvement in the future.