Reasoning about timeouts

In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of response, to be handled effectively, while not overly affecting the programming for the normal case. For. example, in a pump controller if the water level has gone below the minimum level and the pump is on and hence pumping in more water, then the water level should rise above the minimum level within a specified time. If not, there is a fault in the system and it should be shut down and an alarm raised. Such a situation can be handled by normal case code that determines when the level has risen above the minimum, plus a timeout case handling the situation when the specified time to reach the minimum has passed. In this paper we introduce a timeout mechanism, give it a formal definition in terms of more basic real-time commands, develop a refinement law for introducing a timeout clause to implement a specification, and give an example of using the law to introduce a timeout. The framework used is a machine-independent real-time programming language, which makes use of a deadline command to represent timing constraints in a machine-independent fashion. This allows a more abstract approach to handling timeouts.

Reasoning about deadlines in concurrent real-time programs

We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.

An investigation into children’s inductive reasoning strategies:What drives the development of category induction?

In a series of studies, I investigated the developmental changes in children’s inductive reasoning strategy, methodological manipulations affecting the trajectory, and driving mechanisms behind the development of category induction. I systematically controlled the nature of the stimuli used, and employed a triad paradigm in which perceptual cues were directly pitted against category membership, to explore under which circumstances children used perceptual or category induction. My induction tasks were designed for children aged 3-9 years old using biologically plausible novel items. In Study 1, I tested 264 children. Using a wide age range allowed me to systematically investigate the developmental trajectory of induction. I also created two degrees of perceptual distractor – high and low – and explored whether the degree of perceptual similarity between target and test items altered children’s strategy preference. A further 52 children were tested in Study 2, to examine whether children showing a perceptual-bias were in fact basing their choice on maturation categories. A gradual transition was observed from perceptual to category induction. However, this transition could not be due to the inability to inhibit high perceptual distractors as children of all ages were equally distracted. Children were also not basing their strategy choices on maturation categories. In Study 3, I investigated category structure (featural vs. relational category rules) and domain (natural vs. artefact) on inductive preference. I tested 403 children. Each child was assigned to either the featural or relational condition, and completed both a natural kind and an artefact task. A further 98 children were tested in Study 4, on the effect of using stimuli labels during the tasks. I observed the same gradual transition from perceptual to category induction preference in Studies 3 and 4. This pattern was stable across domains, but children developed a category-bias one year later for relational categories, arguably due to the greater demands on executive function (EF) posed by these stimuli. Children who received labels during the task made significantly more category choices than those who did not receive labels, possibly due to priming effects. Having investigated influences affecting the developmental trajectory, I continued by exploring the driving mechanism behind the development of category induction. In Study 5, I tested 60 children on a battery of EF tasks as well as my induction task. None of the EF tasks were able to predict inductive variance, therefore EF development is unlikely to be the driving factor behind the transition. Finally in Study 6, I divided 252 children into either a comparison group or an intervention group. The intervention group took part in an interactive educational session at Twycross Zoo about animal adaptations. Both groups took part in four induction tasks, two before and two a week after the zoo visits. There was a significant increase in the number of category choices made in the intervention condition after the zoo visit, a result not observed in the comparison condition. This highlights the role of knowledge in supporting the transition from perceptual to category induction. I suggest that EF development may support induction development, but the driving mechanism behind the transition is an accumulation of knowledge, and an appreciation for the importance of category membership.

Innovation management using logical framework in hospital-based healthcare units

Innovation is part and parcel of any service in today's environment, so as to remain competitive. Quality improvement in healthcare services is a complex, multi-dimensional task. This study proposes innovation management in healthcare services using a logical framework. A problem tree and an objective tree are developed to identify and mitigate issues and concerns. A logical framework is formulated to develop a plan for implementation and monitoring strategies, potentially creating an environment for continuous quality improvement in a specific unit. We recommend logical framework as a valuable model for innovation management in healthcare services. Copyright © 2006 Inderscience Enterprises Ltd.

Managing healthcare quality using logical framework analysis

Purpose - The purpose of this paper is to develop an integrated quality management model that identifies problems, suggests solutions, develops a framework for implementation and helps to evaluate dynamically healthcare service performance. Design/methodology/approach - This study used the logical framework analysis (LFA) to improve the performance of healthcare service processes. LFA has three major steps - problems identification, solution derivation, and formation of a planning matrix for implementation. LFA has been applied in a case-study environment to three acute healthcare services (Operating Room utilisation, Accident and Emergency, and Intensive Care) in order to demonstrate its effectiveness. Findings - The paper finds that LFA is an effective method of quality management of hospital-based healthcare services. Research limitations/implications - This study shows LFA application in three service processes in one hospital. This very limited population sample needs to be extended. Practical implications - The proposed model can be implemented in hospital-based healthcare services in order to improve performance. It may also be applied to other services. Originality/value - Quality improvement in healthcare services is a complex and multi-dimensional task. Although various quality management tools are routinely deployed for identifying quality issues in healthcare delivery, they are not without flaws. There is an absence of an integrated approach, which can identify and analyse issues, provide solutions to resolve those issues, develop a project management framework to implement those solutions. This study introduces an integrated and uniform quality management tool for healthcare services. © Emerald Group Publishing Limited.

Casebook on contract law

The law of contract can be a complex and technical subject, rvt the new edition of Jill Poole's Casebook on Contract provides a clear and well-structured exposition of the principles and rules through a comprehensive selection of case law, addressing all aspects encountered on undergraduate courses. Opening with a chapter of valuable advice and guidance on how to successfully develop and improve the essential skills of case-reading, featuring two worked examples, the coverage in this sixth edition expands to incorporate all recent significant decisions and judgments made by the House of Lords and Court of Appeal such as, Director General of Fair Trading v First National Bank plc, Farley v Skinner, Royal Bank of Scotland v Etridge and UCB Corporate Services v Williams. Interesting recent decisions in relation to battle of forms, terms, exemption clauses and misrepresentation are also included. Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the court, why decisions are made and how legal principles are developed - enabling cases to be analysed and discussed independently while, taken as a whole, the chapters provide a sound understanding of the modern law of contract. The section on damages for breach of contract has been expanded to reassess Ruxley Electronics and Construction Ltd v Forsyth in the light of Farley v Skinner, the future of Addis v Gramophone Co Ltd is considered in the light of Johnson v Unisys Ltd and Attorney General v Blake is examined in the light of the decision in Esso Petroleum Co Ltd v Niad Ltd. Succinct author comment focuses the reader on the key elements within the extracts, while thought-provoking questions are posed throughout to develop more in-depth analysis. The logical and clear organization of topics has been further improved to more accurately echo the order adopted within the author's popular textbook and closer crossreferencing to this text has been incorporated to highlight where more detailed discussion of issues arising from the caselaw can be explored. As a result, this new edition can be used both as a traditional casebook and as a companion volume to Poole's Textbook on Contract. This edition is also supported by a new companion web site that offers the benefits of essential updating of key materials, sample questions, lists for key further reading sources and relevant web links, additional relevant cases and materials and guidance on successful exam technique. As with previous editions, Casebook on Contract is an invaluable primary source and an essential study aid for all those following elements of contract law as part of the LLB and CPE, as well as for students from related disciplines such as Accounting and Business.

Transformational leadership and moral reasoning

Terms such as moral and ethical leadership are used widely in theory, yet little systematic research has related a sociomoral dimension to leadership in organizations. This study investigated whether managers' moral reasoning (n=132) was associated with the transformational and transactional leadership behaviors they exhibited as perceived by their subordinates (n=407). Managers completed the Defining Issues Test (J. R. Rest, 1990), whereas their subordinates completed the Multifactor Leadership Questionnaire (B. M. Bass & B. J. Avolio, 1995). Analysis of covariance indicated that managers scoring in the highest group of the moral-reasoning distribution exhibited more transformational leadership behaviors than leaders scoring in the lowest group. As expected, there was no relationship between moral-reasoning group and transactional leadership behaviors. Implications for leadership development are discussed.

Applying qualitative reasoning to finance

Qualitative reasoning has traditionally been applied in the domain of physical systems, where there are well established and understood laws governing the behaviour of each `component' in the system. Such application has shown that it is possible to produce models which can be used for explaining and predicting the behaviour of physical phenomena and also trouble-shooting. The principles underlying the theory ensure that the models are robust and exhibit consistent behaviour under all conditions. This research examines the validity of applying the theory in the financial domain where such laws may not exist or if they do, may not be universally applicable. In particular, it investigates how far these principles and techniques may be applied in the construction of financial analysis models. Because of the inherent differences in the nature of these two domains, it is argued that a different qualitative value system ought to be employed. The dissertation enlarges on the constraints this places on model descriptions and the effect it may have on the power and usefulness of the resulting models. It also describes the implementation of a system that investigates the implications of applying this theory by way of testing it on situations drawn from both text-books and published financial information.