Combining data driven programming with component based software development:with applications in geovisualisation and dynamic data driven application systems

Software development methodologies are becoming increasingly abstract, progressing from low level assembly and implementation languages such as C and Ada, to component based approaches that can be used to assemble applications using technologies such as JavaBeans and the .NET framework. Meanwhile, model driven approaches emphasise the role of higher level models and notations, and embody a process of automatically deriving lower level representations and concrete software implementations. The relationship between data and software is also evolving. Modern data formats are becoming increasingly standardised, open and empowered in order to support a growing need to share data in both academia and industry. Many contemporary data formats, most notably those based on XML, are self-describing, able to specify valid data structure and content, and can also describe data manipulations and transformations. Furthermore, while applications of the past have made extensive use of data, the runtime behaviour of future applications may be driven by data, as demonstrated by the field of dynamic data driven application systems. The combination of empowered data formats and high level software development methodologies forms the basis of modern game development technologies, which drive software capabilities and runtime behaviour using empowered data formats describing game content. While low level libraries provide optimised runtime execution, content data is used to drive a wide variety of interactive and immersive experiences. This thesis describes the Fluid project, which combines component based software development and game development technologies in order to define novel component technologies for the description of data driven component based applications. The thesis makes explicit contributions to the fields of component based software development and visualisation of spatiotemporal scenes, and also describes potential implications for game development technologies. The thesis also proposes a number of developments in dynamic data driven application systems in order to further empower the role of data in this field.

Integrating service user and practitioner expertise within a web-based system for collaborative mental-health risk and safety management

Objectives: To develop a decision support system (DSS), myGRaCE, that integrates service user (SU) and practitioner expertise about mental health and associated risks of suicide, self-harm, harm to others, self-neglect, and vulnerability. The intention is to help SUs assess and manage their own mental health collaboratively with practitioners. Methods: An iterative process involving interviews, focus groups, and agile software development with 115 SUs, to elicit and implement myGRaCE requirements. Results: Findings highlight shared understanding of mental health risk between SUs and practitioners that can be integrated within a single model. However, important differences were revealed in SUs' preferred process of assessing risks and safety, which are reflected in the distinctive interface, navigation, tool functionality and language developed for myGRaCE. A challenge was how to provide flexible access without overwhelming and confusing users. Conclusion: The methods show that practitioner expertise can be reformulated in a format that simultaneously captures SU expertise, to provide a tool highly valued by SUs. A stepped process adds necessary structure to the assessment, each step with its own feedback and guidance. Practice Implications: The GRiST web-based DSS (www.egrist.org) links and integrates myGRaCE self-assessments with GRiST practitioner assessments for supporting collaborative and self-managed healthcare.

Examining the strategy development process through the lens of complex adaptive systems theory

The development of strategy remains a debate for academics and a concern for practitioners. Published research has focused on producing models for strategy development and on studying how strategy is developed in organisations. The Operational Research literature has highlighted the importance of considering complexity within strategic decision making; but little has been done to link strategy development with complexity theories, despite organisations and organisational environments becoming increasingly more complex. We review the dominant streams of strategy development and complexity theories. Our theoretical investigation results in the first conceptual framework which links an established Strategic Operational Research model, the Strategy Development Process model, with complexity via Complex Adaptive Systems theory. We present preliminary findings from the use of this conceptual framework applied to a longitudinal, in-depth case study, to demonstrate the advantages of using this integrated conceptual model. Our research shows that the conceptual model proposed provides rich data and allows for a more holistic examination of the strategy development process. © 2012 Operational Research Society Ltd. All rights reserved.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

Towards a web-based progressive handwriting recognition environment for mathematical problem solving

The emergence of pen-based mobile devices such as PDAs and tablet PCs provides a new way to input mathematical expressions to computer by using handwriting which is much more natural and efficient for entering mathematics. This paper proposes a web-based handwriting mathematics system, called WebMath, for supporting mathematical problem solving. The proposed WebMath system is based on client-server architecture. It comprises four major components: a standard web server, handwriting mathematical expression editor, computation engine and web browser with Ajax-based communicator. The handwriting mathematical expression editor adopts a progressive recognition approach for dynamic recognition of handwritten mathematical expressions. The computation engine supports mathematical functions such as algebraic simplification and factorization, and integration and differentiation. The web browser provides a user-friendly interface for accessing the system using advanced Ajax-based communication. In this paper, we describe the different components of the WebMath system and its performance analysis.

Application and use of isothermal calorimetry in pharmaceutical development

There are many steps involved in developing a drug candidate into a formulated medicine and many involve analysis of chemical interaction or physical change. Calorimetry is particularly suited to such analyses as it offers the capacity to observe and quantify both chemical and physical changes in virtually any sample. Differential scanning calorimetry (DSC) is ubiquitous in pharmaceutical development, but the related technique of isothermal calorimetry (IC) is complementary and can be used to investigate a range of processes not amenable to analysis by DSC. Typically, IC is used for longer-term stability indicating or excipient compatibility assays because both the temperature and relative humidity (RH) in the sample ampoule can be controlled. However, instrument design and configuration, such as titration, gas perfusion or ampoule-breaking (solution) calorimetry, allow quantification of more specific values, such as binding enthalpies, heats of solution and quantification of amorphous content. As ever, instrument selection, experiment design and sample preparation are critical to ensuring the relevance of any data recorded. This article reviews the use of isothermal, titration, gas-perfusion and solution calorimetry in the context of pharmaceutical development, with a focus on instrument and experimental design factors, highlighted with examples from the recent literature. © 2011 Elsevier B.V.

Liposomal vaccine delivery systems

INTRODUCTION: Liposomes remain at the forefront of drug and vaccine design owing to their well-documented abilities to act as delivery vehicles. Nevertheless, the concept of liposomes as delivery vehicles is not a new one, with most works focusing on their use for the delivery of genes and drugs. However, in the last 10 years a significant amount of research has focused on using liposomes as vaccine adjuvants, not only as an antigen delivery vehicle but also as a tool to increase the immunogenicity of peptide and protein antigens. AREAS COVERED: This paper reviews liposomal adjuvants now in vaccine development, with particular emphasis on their adjuvant mechanism and how specific physicochemical characteristics of liposomes affect the immune response. The inclusion of immunomodulators is also discussed, with prominence given to Toll-like receptor ligands. EXPERT OPINION: The use of liposomes as vaccine delivery systems is evolving rapidly owing to the combined increase in technological advances and understanding of the immune system. Liposomes that contain and deliver immunostimulators and antigens are now being developed to target diseases that require stimulation of both humoral and cell-mediated immune responses. The CAF liposomal system, described in detail in this review, is one liposomal model that shows such flexibility.

Decision support for lifecycle planning and risk management of small-scale biomass combined heat and power (bCHP) projects in the UK

Biomass is projected to account for approximately half of the new energy production required to achieve the 2020 primary energy target in the UK. Combined heat and power (CHP) bioenergy systems are not only a highly efficient method of energy conversion, at smaller-scales a significant proportion of the heat produced can be effectively utilised for hot water, space heating or industrial heating purposes. However, there are many barriers to project development and this has greatly inhibited deployment in the UK. Project viability is highly subjective to changes in policy, regulation, the finance market and the low cost incumbent; a high carbon centralised energy system. Unidentified or unmitigated barriers occurring during the project lifecycle may not only negatively impact on the project but could ultimately lead to project failure. The research develops a decision support system (DSS) for small-scale (500 kWe to 10 MWe) biomass combustion CHP project development and risk management in the early stages of a potential project’s lifecycle. By supporting developers in the early stages of project development with financial, scheduling and risk management analysis, the research aims to reduce the barriers identified and streamline decision-making. A fuzzy methodology is also applied throughout the developed DSS to support developers in handling the uncertain or approximate information often held at the early stages of the project lifecycle. The DSS is applied to a case study of a recently failed (2011) small-scale biomass CHP project to demonstrate its applicability and benefits. The application highlights that the proposed development within the case study was not viable. Moreover, further analysis of the possible barriers with the DSS confirmed that some possible modifications to be project could have improved this, such as a possible change of feedstock to a waste or residue, addressing the unnecessary land lease cost or by increasing heat utilisation onsite. This analysis is further supported by a practitioner evaluation survey that confirms the research contribution and objectives are achieved.

Trust in leader-follower relationships:how and when trust building enhances dyadic and organisational outcomes

Guided by theory in both the trust and leadership domains, the overarching aim of this thesis was to answer a fundamental question. Namely, how and when does trust-building between leaders and followers enhance leader-member exchange (LMX) development and organisational trust? Although trust is considered to be at the crux of the leader-follower relationship, surprisingly little theoretical or empirical attention has been devoted to understanding the precise nature of this relationship. By integrating both a typology of trustworthy behaviour and a process model of trust development with LMX theory, study one developed and tested a new model of LMX development with leader-follower trust-building as the primary mechanism. In a three wave cross-lagged design, 294 student dyads in a business simulation completed measures of trust perceptions and LMX across the first 6 months of the LMX relationship. Trust-building was found to account for unexplained variance in the LMX construct over time, while controlling for initial relationship quality, thus confirming the critical role of the trust-building process in LMX development. The strongest evidence was found for the role of integrity-based trust-building behaviour, albeit only when such behaviour was not attributed to insincere motives. The results for ability and benevolence-based trustworthy behaviour revealed valued insights into the developmental nature of trustworthiness perceptions within LMX relationships. Thus, the pattern of results in study one provided a more comprehensive and nuanced understanding of the dynamic interplay between trust and LMX. In study two, leader trust-building was investigated cross-sectionally within an organisational sample of 201 employees. The central aim of this study was to investigate whether leader trust-building within leader-follower relationships could be leveraged for organisational trust. As expected, the trust-building process instigated by members in study one was replicated for leaders in study two. In addition, the results were most consistent for benevolence-based trust building, whereas both integrity- and ability-based trust-building were moderated by the position of the leader within the organisation’s hierarchy. Overall, the findings of this thesis shed considerable light on the richness of trusting perceptions in organisations, and the critical role of trust-building in LMX development and organisational trust.

Mouse embryo culture induces changes in postnatal phenotype including raised systolic blood pressure

A key factor in the use of assisted reproductive technologies (ART) for diverse species is the safety of procedures for long-term health. By using a mouse model, we have investigated the effect of in vitro culture and embryo transfer (ET) of superovulated embryos on postnatal growth and physiological activity compared with that of embryos developing in vivo. Embryo culture from two-cell to blastocyst stages in T6 medium either with or without a protein source reduced blastocyst trophectoderm and inner cell mass cell number compared with that of embryos developing in vivo. Embryo culture and ET had minimal effects on postnatal growth when compared with in vivo development with an equivalent litter size. However, embryo culture, and to a lesser extent ET, led to an enhanced systolic blood pressure at 21 weeks compared with in vivo development independent of litter size, maternal origin, or body weight. Moreover, activity of enzymatic regulators of cardiovascular and metabolic physiology, namely, serum angiotensin-converting enzyme and the gluconeogenesis controller, hepatic phosphoeno/pyruvate carboxykinase, were significantly elevated in response to embryo culture and/or ET in female offspring at 27 weeks, independent of maternal factors and postnatal growth. These animal data indicate that postnatal physiological criteria important in cardiovascular and metabolic health may be more sensitive to routine ART procedures than growth. © 2007 by The National Academy of Sciences of the USA.

Identification of DNA-binding proteins by incorporating evolutionary information into pseudo amino acid composition via the top-n-gram approach

DNA-binding proteins are crucial for various cellular processes and hence have become an important target for both basic research and drug development. With the avalanche of protein sequences generated in the postgenomic age, it is highly desired to establish an automated method for rapidly and accurately identifying DNA-binding proteins based on their sequence information alone. Owing to the fact that all biological species have developed beginning from a very limited number of ancestral species, it is important to take into account the evolutionary information in developing such a high-throughput tool. In view of this, a new predictor was proposed by incorporating the evolutionary information into the general form of pseudo amino acid composition via the top-n-gram approach. It was observed by comparing the new predictor with the existing methods via both jackknife test and independent data-set test that the new predictor outperformed its counterparts. It is anticipated that the new predictor may become a useful vehicle for identifying DNA-binding proteins. It has not escaped our notice that the novel approach to extract evolutionary information into the formulation of statistical samples can be used to identify many other protein attributes as well.

Exploring demographic information in social media for product recommendation

In many e-commerce Web sites, product recommendation is essential to improve user experience and boost sales. Most existing product recommender systems rely on historical transaction records or Web-site-browsing history of consumers in order to accurately predict online users’ preferences for product recommendation. As such, they are constrained by limited information available on specific e-commerce Web sites. With the prolific use of social media platforms, it now becomes possible to extract product demographics from online product reviews and social networks built from microblogs. Moreover, users’ public profiles available on social media often reveal their demographic attributes such as age, gender, and education. In this paper, we propose to leverage the demographic information of both products and users extracted from social media for product recommendation. In specific, we frame recommendation as a learning to rank problem which takes as input the features derived from both product and user demographics. An ensemble method based on the gradient-boosting regression trees is extended to make it suitable for our recommendation task. We have conducted extensive experiments to obtain both quantitative and qualitative evaluation results. Moreover, we have also conducted a user study to gauge the performance of our proposed recommender system in a real-world deployment. All the results show that our system is more effective in generating recommendation results better matching users’ preferences than the competitive baselines.

How can personal role engagement lead to increased engagement? The roles of meaningfulness and perceived line manager relations

There is an increasing need to understand the psychological processes that link personal development with employee engagement, particularly the boundary conditions at which these occur. The current study sought to meet this need by testing whether perceived opportunities for development are positively associated with job engagement indirectly through the experience of meaningfulness, and whether this indirect relationship is conditional on the level of perceived line manager relations. Questionnaire data was collected from 152 UK workers from a range of occupations and organizations. The results found support for all the hypotheses. In particular, the positive effects of perceived opportunities for development on job engagement (measured one month later) via meaningfulness were only significant for those who perceived that they had a good relationship with their line manager. Thus, there is a need for line managers to develop high quality relationships with their direct reports in order for development practices to translate into positive psychological outcomes. Engagement theory could be advanced by further understanding broaden-and-build and social exchange processes.

BOWL:augmenting the semantic web with beliefs

As the Semantic Web is an open, complex and constantly evolving medium, it is the norm, but not exception that information at different sites is incomplete or inconsistent. This poses challenges for the engineering and development of agent systems on the Semantic Web, since autonomous software agents need to understand, process and aggregate this information. Ontology language OWL provides core language constructs to semantically markup resources on the Semantic Web, on which software agents interact and cooperate to accomplish complex tasks. However, as OWL was designed on top of (a subset of) classic predicate logic, it lacks the ability to reason about inconsistent or incomplete information. Belief-augmented Frames (BAF) is a frame-based logic system that associates with each frame a supporting and a refuting belief value. In this paper, we propose a new ontology language Belief-augmented OWL (BOWL) by integrating OWL DL and BAF to incorporate the notion of confidence. BOWL is paraconsistent, hence it can perform useful reasoning services in the presence of inconsistencies and incompleteness. We define the abstract syntax and semantics of BOWL by extending those of OWL. We have proposed reasoning algorithms for various reasoning tasks in the BOWL framework and we have implemented the algorithms using the constraint logic programming framework. One example in the sensor fusion domain is presented to demonstrate the application of BOWL.