Aggregating energy supply and demand

Energy usage in general, and electricity usage in particular, are major concerns internationally due to the increased cost of providing energy supplies and the environmental impacts of electricity generation using carbon-based fuels. If a "systems" approach is taken to understanding energy issues then both supply and demand need to be considered holistically. This paper examines two research projects in the energy area with IT tools as key deliverables, one examining supply issues and the other studying demand side issues. The supply side project used hard engineering methods to build the models and software, while the demand side project used a social science approach. While the projects are distinct, there was an overlap in personnel. Comparing the knowledge extraction, model building, implementation and interface issues of these two deliverables identifies both interesting contrasts and commonalities

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

The determinants of hotels' marketing managers' green marketing behaviour

Little is known about the factors underlying the pro-environmental behaviour of marketing managers. This paper explores the determinants of green marketing practices in the Red Sea hotel sector in Egypt. The research model assesses green marketing practices against the personal and organisational values of the marketing managers, together with a range of organisational and demographic variables expected to influence hotels' environmental behaviour. From a valid sample of 89 marketing managers responsible for 194 hotels, it was found that organisational contextual variables, and in particular targeting Western tourists, being affiliated to an international hotel chain and the marketers' own demographics, including age, academic subject studied and gender, were the best predictors of more proactive green marketing. Personal environmental values did not explain the pro-environmental behaviour of marketers, and the organisational environmental values that had explained part of their ethical behaviour had resulted from voluntarism rather than utilitarian or conformance-based values. Government policies also appeared to be ineffective determinants. The implications for green marketing practices are also discussed. © 2010 Taylor & Francis

The changing of the guard: groupwork with people who have intellectual disabilities

This paper considers the impact of service systems on group activities. It describes an inter-professional groupwork project facilitated by a social worker and a community nurse. The project provided an emancipatory experience for a group of adults who had intellectual disabilities. The group was charged with the task of reviewing and updating the recruitment and interview processes used by a 'Learning Disability Partnership Board', when employing new support workers. The paper begins with a brief history of intellectual disability and provides a context to the underpinning philosophical belief that people should be encouraged and supported to inhabit valued social roles no matter what disability they may have. It then identifies the ways in which the sponsoring health, education and social care services impacted on the creation and development of a groupwork project. It might have been expected that the nature of the intellectual disability would have been the major influence on group process. However the paper reveals that organisational constraints had a significant impact on group functioning. Issues including, staffing budgets and transport contracts impacted on group process and function. The results of the project show how, with adequate support, people with intellectual disability can make important decisions that have long-reaching impacts on the services

Протеом липопротеинов высокой плотности

БЕЛКИЛИПОПРОТЕИНЫ, ЛВППРОТЕО

Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Are Drug Companies Living Up to Their Human Rights Responsibilities? Moving Toward Assessment

As one viewpoint of three in the PLoS Medicine Debate on whether drug companies are living up to their human rights responsibilities, Sofia Gruskin and Zyde Raad argue that companies' actions to promote access to medicines, including their interactions with state and non-state actors, must be better monitored

Association of Under-Approximation Techniques for Generating Tests from Models

International audienceIn this paper we present a Model-Based Testing approach with which we generate tests from an abstraction of a source behavioural model. We show a new algorithm that computes the abstraction as an under-approximation of the source model. Our first contribution is to combine two previous approaches proposed by Ball and Pasareanu et al. to compute May, Must+ and Must- abstract transition relations. Prooftechniques are used to compute these transition relations. The tests obtained by covering the abstract transitions have to be instantiated from the source model. So, following Pasareanu et al., our algorithm additionally computes a concrete transition relation: the tests obtained as sequences of concrete transitions need not be instantiated from the source model. Another contribution is to propose a choice of relevant paramaters and heuristics to pilot the tests computation. We experiment our approach and compare it with a previous approach of ours to compute tests from an abstraction that over-approximates the source model

Chaos, containment and change: responding to persistent offending by young people

This article reviews policy developments in Scotland concerning 'persistent young offenders' and then describes the design of a study intended to assist a local planning group in developing its response. The key findings of a review of casefiles of young people involved in persistent offending are reported. It emerges that youth crime and young people involved in offending are more complex and heterogeneous than is sometimes assumed. This, along with a review of some literature about desistance from offending, reaffirms the need for properly individualised interventions. Studies of 'desisters' suggest the centrality of effective and engaging working relationships in this process. However, these studies also re-assert the significance of the social contexts of workers’ efforts to bring 'change' out of 'chaos'. We conclude therefore that the 'new correctionalism' must be tempered with appreciation of the social exclusion of young people who offend