Untanglings: A novel approach to analyzing concurrent systems

Substantial research efforts have been expended to deal with the complexity of concurrent systems that is inherent to their analysis, e.g., works that tackle the well-known state space explosion problem. Approaches differ in the classes of properties that they are able to suitably check and this is largely a result of the way they balance the trade-off between analysis time and space employed to describe a concurrent system. One interesting class of properties is concerned with behavioral characteristics. These properties are conveniently expressed in terms of computations, or runs, in concurrent systems. This article introduces the theory of untanglings that exploits a particular representation of a collection of runs in a concurrent system. It is shown that a representative untangling of a bounded concurrent system can be constructed that captures all and only the behavior of the system. Representative untanglings strike a unique balance between time and space, yet provide a single model for the convenient extraction of various behavioral properties. Performance measurements in terms of construction time and size of representative untanglings with respect to the original specifications of concurrent systems, conducted on a collection of models from practice, confirm the scalability of the approach. Finally, this article demonstrates practical benefits of using representative untanglings when checking various behavioral properties of concurrent systems.

Active versus passive screen time for young children

In this paper, we report some initial findings from our investigations into the Australian Government’s Longitudinal Study of Australian Children dataset. It is revealed that the majority of Australian children are exceeding the government’s Screen Time recommendations and that most of their screen time is spent as TV viewing, as opposed to video game play or computer use. In light of this finding,we review the body of research surrounding children’s engagement in Screen Time activities and the associated positive and negative effects. Based on existing evidence,we define two categories of Screen Time—Active Screen Time and Passive Screen Time. It is proposed that this distinction provides a more accurate classification of Screen Time and a more informative lens through which to consider the associated benefits and detrimental effects for young children.

Building intercultural competence one “Patch” at a time

This paper describes a program called Patches that was implemented to assist a group of Australian and Malaysian pre-service teachers to enhance their intercultural competence through their involvement in a series of reciprocal learning activities. Each learning experience was considered a “patch” that eventually created a “quilt of intercultural learning.” The purpose of this study was to enhance the intercultural competence of domestic and international students through organized intercultural activities, through a series of reflective writing sessions, and mutual engagement on a common project. The effectiveness of the Patches program was analysed in accordance with Deardorff’s elements of intercultural competence. The qualitative findings indicate that both cohorts of preservice teachers showed elements of intercultural competence through participation in the program, with both groups reporting a deeper appreciation and understanding of how to communicate more effectively in intercultural contexts.

Retirement villages : time for a change?

In retirement, many Australians relocate to a less onerous form of home occupation. Some downsize their house, or move to a strata title complex. Others, attracted by lifestyle perceptions, move into a retirement village. However, research shows Retirement Village documentation is complex and more analogous to commercial leasing than home ownership. The most recent government review by New South Wales, confirms the need for change. This paper identifies the current retirement village tenure models generally available in Australia. By comparing the various State/Territory systems the authors draw conclusions regarding the adoption of standardised documentation and uniform Australian Retirement Village legislation.

The high price of hesitation where time of the essence

The decision of Lai v Soineva [2011] QSC 247 in relation to the operation of standard conditions in the Queensland REIQ contract highlights a very practical issue often overlooked in the heat of a transaction .The point is relatively simple. In this instance ,the case concerned the interpretation of the printed "Building and Pest Inspection Clause" but is of relevance to the printed "Finance Clause" in the same contract as the wording and principles are identical. It highlights the issue of knowing well what is in the standard contract and not making assumptions. The case also highlights the cost to a party of dithering in making an election in a time of the essence environment

School-based programs for increasing connectedness and reducing risk behavior : a systematic review

School connectedness has a significant impact on adolescent outcomes, including reducing risk taking behavior. This paper critically examines the literature on school-based programs targeting increased connectedness for reductions in risk taking. Fourteen articles describing seven different school-based programs were reviewed. Programs drew on a range of theories to increase school connectedness, and evaluations conducted for the majority of programs demonstrated positive changes in school connectedness, risk behavior, or a combination of the two. Many of the reviewed programs involved widespread school system change, however, which is frequently a complex and time consuming task. Future research is needed to examine the extent of intervention complexity required to result in change. This review also showed a lack of consistency in definitions and measurement of connectedness as well as few mediation analyses testing assumptions of impact on risk taking behavior through increases in school connectedness. Additionally, this review revealed very limited evaluation of the elements of multi-component programs that are most effective in increasing school connectedness and reducing adolescent risk taking.

Investigating the complexity of judgement practice

Underlying all assessments are human judgements regarding the quality of students’ understandings. Despite their ubiquity, those judgements are conceptually elusive. The articles selected for inclusion in this issue explore the complexity of judgement practice raising critical questions that challenge existing views and accepted policy and practice.

Learning hierarchical prototypes of motion time series for interactive systems

Abstract. For interactive systems, recognition, reproduction, and generalization of observed motion data are crucial for successful interaction. In this paper, we present a novel method for analysis of motion data that we refer to as K-OMM-trees. K-OMM-trees combine Ordered Means Models (OMMs) a model-based machine learning approach for time series with an hierarchical analysis technique for very large data sets, the K-tree algorithm. The proposed K-OMM-trees enable unsupervised prototype extraction of motion time series data with hierarchical data representation. After introducing the algorithmic details, we apply the proposed method to a gesture data set that includes substantial inter-class variations. Results from our studies show that K-OMM-trees are able to substantially increase the recognition performance and to learn an inherent data hierarchy with meaningful gesture abstractions.

Residence time investigation in a co-axial dielectric barrier discharge reactor

The residence time distribution (RTD) is a crucial parameter when treating engine exhaust emissions with a Dielectric Barrier Discharge (DBD) reactor. In this paper, the residence time of such a reactor is investigated using a finite element based software: COMSOL Multiphysics 4.3. Non-thermal plasma (NTP) discharge is being introduced as a promising method for pollutant emission reduction. DBD is one of the most advantageous of NTP technologies. In a two cylinder co-axial DBD reactor, tubes are placed between two electrodes and flow passes through the annuals between these barrier tubes. If the mean residence time increases in a DBD reactor, there will be a corresponding increase in reaction time and consequently, the pollutant removal efficiency can increase. However, pollutant formation can occur during increased mean residence time and so the proportion of fluid that may remain for periods significantly longer than the mean residence time is of great importance. In this study, first, the residence time distribution is calculated based on the standard reactor used by the authors for ultrafine particle (10-500 nm) removal. Then, different geometrics and various inlet velocities are considered. Finally, for selected cases, some roughness elements added inside the reactor and the residence time is calculated. These results will form the basis for a COMSOL plasma and CFD module investigation.

Rule-based transit signal priority control method using a real-time transit travel time prediction model

An advanced rule-based Transit Signal Priority (TSP) control method is presented in this paper. An on-line transit travel time prediction model is the key component of the proposed method, which enables the selection of the most appropriate TSP plans for the prevailing traffic and transit condition. The new method also adopts a priority plan re-development feature that enables modifying or even switching the already implemented priority plan to accommodate changes in the traffic conditions. The proposed method utilizes conventional green extension and red truncation strategies and also two new strategies including green truncation and queue clearance. The new method is evaluated against a typical active TSP strategy and also the base case scenario assuming no TSP control in microsimulation. The evaluation results indicate that the proposed method can produce significant benefits in reducing the bus delay time and improving the service regularity with negligible adverse impacts on the non-transit street traffic.

Efficient real-time face detection for high resolution surveillance applications

This paper presents an efficient face detection method suitable for real-time surveillance applications. Improved efficiency is achieved by constraining the search window of an AdaBoost face detector to pre-selected regions. Firstly, the proposed method takes a sparse grid of sample pixels from the image to reduce whole image scan time. A fusion of foreground segmentation and skin colour segmentation is then used to select candidate face regions. Finally, a classifier-based face detector is applied only to selected regions to verify the presence of a face (the Viola-Jones detector is used in this paper). The proposed system is evaluated using 640 x 480 pixels test images and compared with other relevant methods. Experimental results show that the proposed method reduces the detection time to 42 ms, where the Viola-Jones detector alone requires 565 ms (on a desktop processor). This improvement makes the face detector suitable for real-time applications. Furthermore, the proposed method requires 50% of the computation time of the best competing method, while reducing the false positive rate by 3.2% and maintaining the same hit rate.

A reliable real-time transport protocol for control systems over wireless networks

Deploying networked control systems (NCSs) over wireless networks is becoming more and more popular. However, the widely-used transport layer protocols, Transmission Control Protocol (TCP) and User Datagram Protocol (UDP), are not designed for real-time applications. Therefore, they may not be suitable for many NCS application scenarios because of their limitations on reliability and/or delay performance, which real-control systems concern. Considering a typical type of NCSs with periodic and sporadic real-time traffic, this paper proposes a highly reliable transport layer protocol featuring a packet loss-sensitive retransmission mechanism and a prioritized transmission mechanism. The packet loss-sensitive retransmission mechanism is designed to improve the reliability of all traffic flows. And the prioritized transmission mechanism offers differentiated services for periodic and sporadic flows. Simulation results show that the proposed protocol has better reliability than UDP and improved delay performance than TCP over wireless networks, particularly when channel errors and congestions occur.