A programming model for BSP with partitioned synchronisation

A BSP superstep is a distributed computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through shared memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.

Choosing to become a 'lost cause': the perverse effects of benefit preconditions

This paper argues that preconditions for welfare benefit entitlements based on labour market prospects can be counterproductive when they create an incentive for individuals to abstain from any investment earlier in life that could improve future prospects. Benefit entitlements based partly on investments made prior to labour market entry are then Pareto-improving.

Understanding preconditions for digital school transformation

While over the past decade many Australian schools have come to understand the transformative potential of digitally-rich teaching and learning, traditional models of schooling continue to dominate. Even with significant investment in the area, both in terms of digital resourcing and teacher professional development, innovation has generally only occurred in individual classrooms or ‘pockets’ in schools. This article discusses three interdependent conditions which need to exist as a foundation in order to facilitate the opportunity for transformation from traditional to digitally-rich ways of working in primary, middle and secondary schools or colleges. Distributed and transformational leadership approaches are critiqued with core elements identified which facilitate change. The establishment of a vision is identified and discussed as a fundamental driver and rudder for school transformation. The importance of creating and maintaining urgency to compel a school community to adopt and embed change is unpacked. This report concludes with a synthesis of the three preconditions and recommendations for proponents of digital school transformation.

Nature-based entrepreneurship in private forests – The preconditions for the sustainable co-operation between private forest owners and entrepreneurs

Nature-based tourism is one of the fastest growing tourism sectors at the moment. It is also the form of tourism that often benefits the economy of rural areas. In addition to state owned forests, nature-based tourism is in many countries situated in private forests, which are not owned by entrepreneurs themselves. Therefore, the ownership issues and property rights form central challenges for the business activities. The maintenance of good relationships between private forest owners and entrepreneurs, as well as combining their interests, becomes vital. These relationships are typically exceptionally asymmetrical, granting the forest owner unilateral rights regulating the business activities in their forests. Despite this, the co-operation is typically very informal and the existing economic compensation models do not necessarily cover all the forest owners’ costs. The ownership issues bring their own characteristics to the relationship. Therefore, we argue that different aspects of ownership, especially psychological ones, have to be more critically examined and taken into consideration in order to build truly successful relations between these parties. This is crucial for sustaining the business activities. The core of psychological ownership is the sense of possession. Psychological ownership can be defined as a state, in which individuals perceive the target of ownership, the object or idea, as “theirs”. The concept of psychological ownership has so far been mainly used in the context of professional organizations. In this research, it has been used to explain the relationships between private forest owners and nature-based entrepreneurs. The aim of this study is to provide new information concerning the effect of psychological ownership on the collaboration and to highlight the good practices. To address the complexity of the phenomenon, qualitative case study methods were adopted to understand the role of ownership at the level of subjective experience. The empirical data was based on 27 in-depth interviews with private forest owners and nature-based tourism entrepreneurs. The data was analysed by using the methods of qualitative analysis to construct different typologies to describe the essence of successful collaboration. As a result of the study, the special characteristics and the practical level expressions of the psychological ownership in the privately owned forest context were analysed. Four different strategies to perceive these ownership characteristics in co-operation relationships were found. By taking the psychological ownership into consideration via these strategies, the nature-based entrepreneurs aim to balance the co-operation relationship and minimise the risks in long term activities based on privately owned forests.

Evolution of and preconditions for generation of corrugations on a plane surface in rolling contact

A hard roller under normal load is driven by the flat surface of a soft disc. Corrugations are generated on the disc when certain surface morphological, load, speed and mechanical property-oriented conditions are met. The evolutionary process of corrugation generation and the preconditions necessary for it are investigated morphologically and mechanically for four disc materials: mild steel, brass, PTFE and PMMA.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

What is the weakest topology in which feedback stability is robust?

Mathematical theorems in control theory are only of interest in so far as their assumptions relate to practical situations. The space of systems with transfer functions in ℋ∞, for example, has many advantages mathematically, but includes large classes of non-physical systems, and one must be careful in drawing inferences from results in that setting. Similarly, the graph topology has long been known to be the weakest, or coarsest, topology in which (1) feedback stability is a robust property (i.e. preserved in small neighbourhoods) and (2) the map from open-to-closed-loop transfer functions is continuous. However, it is not known whether continuity is a necessary part of this statement, or only required for the existing proofs. It is entirely possible that the answer depends on the underlying classes of systems used. The class of systems we concern ourselves with here is the set of systems that can be approximated, in the graph topology, by real rational transfer function matrices. That is, lumped parameter models, or those distributed systems for which it makes sense to use finite element methods. This is precisely the set of systems that have continuous frequency responses in the extended complex plane. For this class, we show that there is indeed a weaker topology; in which feedback stability is robust but for which the maps from open-to-closed-loop transfer functions are not necessarily continuous. © 2013 Copyright Taylor and Francis Group, LLC.

Talent development : exposing the weakest link. 'El desarrollo del talento : sobre el eslabón más débil'.

Resumen basado en el de la publicación. Monográfico con el título: 'Alumnos de altas capacidades : reflexiones sobre educación'

Synoptic preconditions for extreme flooding during the summer Asian Monsoon in the Mumbai area

The summer monsoon season is an important hydrometeorological feature of the Indian subcontinent and it has significant socioeconomic impacts. This study is aimed at understanding the processes associated with the occurrence of catastrophic flood events. The study has two novel features that add to the existing body of knowledge about the South Asian Monsoon: 1) combine traditional hydrometeorological observations (rain gauge measurements) with unconventional data (media and state historical records of reported flooding) to produce value-added century-long time-series of potential flood events, and 2) identify the larger regional synoptic conditions leading to days with flood potential in the time-series. The promise of mining unconventional data to extend hydrometeorological records is demonstrated in this study. The synoptic evolution of flooding events in the western-central coast of India and the densely populated Mumbai area are shown to correspond to active monsoon periods with embedded low-pressure centers and have far upstream influence from the western edge of the Indian Ocean basin. The coastal processes along the Arabian Peninsula where the currents interact with the continental shelf are found to be key features of extremes during the South Asian Monsoon

Preconditions and propositions for "another development"

Includes bibliography

Preconditions and propositions for "another development"

Includes bibliography