A state-of-practice questionnaire on verification and validation for concurrent programs

Research in verification and validation (V&V) for concurrent programs can be guided by practitioner information. A survey was therefore run to gain state-of-practice information in this context. The survey presented in this paper collected state-of-practice information on V&V technology in concurrency from 35 respondents. The results of the survey can help refine existing V&V technology by providing a better understanding of the context of V&V technology usage. Responses to questions regarding the motivation for selecting V&V technologies can help refine a systematic approach to V&V technology selection.

Ornstein-Uhlenbeck operator in convex domains of Banach spaces

Studiamo l'operatore di Ornstein-Uhlenbeck e il semigruppo di Ornstein-Uhlenbeck in un sottoinsieme aperto convesso $\Omega$ di uno spazio di Banach separabile $X$ dotato di una misura Gaussiana centrata non degnere $\gamma$. In particolare dimostriamo la disuguaglianza di Sobolev logaritmica e la disuguaglianza di Poincaré, e grazie a queste disuguaglianze deduciamo le proprietà spettrali dell'operatore di Ornstein-Uhlenbeck. Inoltre studiamo l'equazione ellittica $\lambdau+L^{\Omega}u=f$ in $\Omega$, dove $L^\Omega$ è l'operatore di Ornstein-Uhlenbeck. Dimostriamo che per $\lambda>0$ e $f\in L^2(\Omega,\gamma)$ la soluzione debole $u$ appartiene allo spazio di Sobolev $W^{2,2}(\Omega,\gamma)$. Inoltre dimostriamo che $u$ soddisfa la condizione di Neumann nel senso di tracce al bordo di $\Omega$. Questo viene fatto finita approssimazione dimensionale.

An examination of organisational issues in third sector organisations which undertake nonviolent direct action

This thesis is an examination of organisational issues faced by Third Sector organisations which undertake nonviolent direct action. A case study methodology is employed and data gathered from four organisations: Earth First!; genetiX Snowball; Greenpeace; and Trident Ploughshares. The argument commences with a review of the literature which shows that little is known of the organising of nonviolent direct action. Operational definitions of 'organisation' and 'nonviolent direct action' are drawn from the literature. 'Organisation' is conceptualised using new institutionalism. 'Nonviolent direct action' is conceptualised using new social movement theory. These concepts inform the case study methodology in the choice of case, the organisations selected and the data gathering tools. Most data were gathered by semi-structured interview and participant observation. The research findings result from theory-building arising from thick descriptions of the case in the four organisations. The findings suggest that nonviolent direct action is qualitatively different from terrorism or violence. Although there is much diversity in philosophies of nonviolence, the practice of nonviolent direct action has much in common across the four organisations. The argument is that nonviolent direct action is an institution. The findings also suggest that new institutionalism is a fruitful approach to studies of these organisations. Along with nonviolent direct action, three other institutions are identified: 'rules'; consensus decision-making; and 'affinity groups'. An unanticipated finding is how the four organisations are instances of innovation. Tentative theory is developed which brings together the seemingly incompatible concepts of institutions and innovation. The theory suggests preconditions and then stages in the development of new organisational forms in new social movements: innovation. The three pre-conditions are: the existence of an institutional field; an 'institution-broker' with access to different domains; and a shared 'problem' to resolve. The three stages are: unlocking existing knowledge and practice; bridging different domains of practice or different fields to add, develop or translocate those practices; and establishing those practices within their new combinations or novel locations. Participants are able to move into and between these new organisational forms because they consist of familiar and habitual institutional behaviour.

Articulating discursive and materialist conceptions of practice in the logics approach to critical policy analysis

In this article it is argued that while Glynos and Howarth’s logics of critical explanation (LCE) offers an important and promising contribution to critical policy analysis, it, along with other approaches that focus on the meaning of social action, faces a growing challenge in the form of a so-called new materialist turn in social and political theory. The article argues that there is much to be gained for the logics approach in paying closer attention to the materiality of practices in terms not only of lending greater clarity to the conception and role of social practices in the logics approach but also in enabling it fully to deliver on its critical ambition. The article explores an alternative materialist approach to the study of social practices, which hails from the post-actor–networktheory tradition and which has ontological affinities with post-structuralism. The article begins with a brief analysis of the new materialist turn in its various guises. It then critically examines the logics approach, and, in particular its conception of practice. It then explores an alternative materialist and ethnographic reading of practice, focusing on medical and care practices. It concludes with an examination of the implications for a more materialist conception of practices for the LCE’s broad deconstructive, psychoanalytic and onto-political ambitions.

From practice to field:a multi-level model of practice-driven institutional change

This article develops a model of practice-driven institutional change - or change that originates in the everyday work of individuals but results in a shift in field-level logic. In demonstrating how improvisations at work can generate institutional change, we attend to the earliest moments of change, which extant research has neglected; and we contrast existing accounts that focus on active entrepreneurship and the contested nature of change. We outline the specific mechanisms by which change emerges from everyday work, becomes justified, and diffuses within an organization and field, as well as precipitating and enabling dynamics that trigger and condition these mechanisms. © Academy of Management Journal.

Transferring technology from university to rural industry within a developing economy context:the case for nurturing communities of practice

The primary aim of this paper is to demonstrate how technology transfer between universities and rural industries in developing countries can be achieved effectively, using independent research and advisory centres as intermediaries. It draws on a longitudinal action research study, which experiments with the process of nurturing and bridging communities of practice amongst recipients of technology and stakeholders concerned with technology diffusion, productivity and economic development. Its empirical evidence is from an academic-related, non-government intervention initiative targeting two small-scale industries, namely fish farming and coffee production, in the Cauca region of Colombia. Results demonstrate how barriers to transfer can be overcome. The intervention is considered as instrumental; its key components and outcomes are discussed in detail. © 2012 Elsevier Ltd. All rights reserved.

Dynamic learning as entrepreneurial action in the context of open innovation:an instrumental case from a communities-of-practice perspective

Recent scholarly discussion on open innovation put forward the notion that an organisation's ability to internalise external knowledge and learn from various sources in undertaking new product development is crucial to its competitive performance. Nevertheless, little attention has been paid to how growth-oriented small firms identify and exploit entrepreneurial opportunities (i.e. take entrepreneurial action) related to such development, in an open innovation context, from a social learning perspective. This chapter, based on an instrumental case-firm, demonstrates analytically how learning as entrepreneurial action takes place, drawing on situated learning theory. It is argued that such learning is dynamic in nature and is founded on specific organising principles that foster both inter- and intracommunal learning. © 2012, IGI Global.