State convergence in the initialisation of the Sfinks stream cipher

Sfinks is a shift register based stream cipher designed for hardware implementation. The initialisation state update function is different from the state update function used for keystream generation. We demonstrate state convergence during the initialisation process, even though the individual components used in the initialisation are one-to-one. However, the combination of these components is not one-to-one.

Using operations research methodologies to improve operating theatre scheduling

A hospital consists of a number of wards, units and departments that provide a variety of medical services and interact on a day-to-day basis. Nearly every department within a hospital schedules patients for the operating theatre (OT) and most wards receive patients from the OT following post-operative recovery. Because of the interrelationships between units, disruptions and cancellations within the OT can have a flow-on effect to the rest of the hospital. This often results in dissatisfied patients, nurses and doctors, escalating waiting lists, inefficient resource usage and undesirable waiting times. The objective of this study is to use Operational Research methodologies to enhance the performance of the operating theatre by improving elective patient planning using robust scheduling and improving the overall responsiveness to emergency patients by solving the disruption management and rescheduling problem. OT scheduling considers two types of patients: elective and emergency. Elective patients are selected from a waiting list and scheduled in advance based on resource availability and a set of objectives. This type of scheduling is referred to as ‘offline scheduling’. Disruptions to this schedule can occur for various reasons including variations in length of treatment, equipment restrictions or breakdown, unforeseen delays and the arrival of emergency patients, which may compete for resources. Emergency patients consist of acute patients requiring surgical intervention or in-patients whose conditions have deteriorated. These may or may not be urgent and are triaged accordingly. Most hospitals reserve theatres for emergency cases, but when these or other resources are unavailable, disruptions to the elective schedule result, such as delays in surgery start time, elective surgery cancellations or transfers to another institution. Scheduling of emergency patients and the handling of schedule disruptions is an ‘online’ process typically handled by OT staff. This means that decisions are made ‘on the spot’ in a ‘real-time’ environment. There are three key stages to this study: (1) Analyse the performance of the operating theatre department using simulation. Simulation is used as a decision support tool and involves changing system parameters and elective scheduling policies and observing the effect on the system’s performance measures; (2) Improve viability of elective schedules making offline schedules more robust to differences between expected treatment times and actual treatment times, using robust scheduling techniques. This will improve the access to care and the responsiveness to emergency patients; (3) Address the disruption management and rescheduling problem (which incorporates emergency arrivals) using innovative robust reactive scheduling techniques. The robust schedule will form the baseline schedule for the online robust reactive scheduling model.

Evaluation of the Hamilton Youth Court Pilot 2003-2005

Pilot Youth Courts were introduced at Hamilton Sheriff Court in June 2003 and at Airdrie Sheriff Court in June 2004. Although introduced as one of a number of measures aimed at responding more effectively to youth crime (including young people dealt with through the Children’s Hearings System), the Youth Courts were intended for young people who would otherwise have been dealt with in the adult Sheriff Summary Court. The objectives of the pilot Youth Courts were to: • reduce the frequency and seriousness of re-offending by 16 and 17 year old offenders, particularly persistent offenders (and some 15 year olds who are referred to the court); • promote the social inclusion, citizenship and personal responsibility of these young offenders while maximising their potential; • establish fast track procedures for those young persons appearing before the Youth Court; • enhance community safety, by reducing the harm caused to individual victims of crime and providing respite to those communities which are experiencing high levels of crime; and • test the viability and usefulness of a Youth Court using existing legislation and to demonstrate whether legislative and practical improvements might be appropriate. Evaluation of the Hamilton and Airdrie Sheriff Youth Court pilots suggested that they had been successful in meeting the objectives set for them by the Youth Court Feasibility Group. Both were tightly run courts that dealt with a heavy volume of business. The particular strengths of the Youth Court model over previous arrangements included the fast-tracking of young people to and through the court, the reduction in trials, the availability of a wider range of resources and services for young people and ongoing judicial review. The successful operation of the pilot Youth Courts was dependent upon effective teamwork among the relevant agencies and professionals concerned. Good information sharing, liaison and communication appeared to exist across agencies and the procedures that were in place to facilitate the sharing of information seemed to be working well. This was also facilitated by the presence of dedicated staff within agencies, resulting in clear channels of communication, and in the opportunity provided by the multi-agency Implementation Groups to identify and address operational issues on an ongoing basis. However, whether Youth Courts are required in Scotland or whether procedural improvement were possible in the absence of dedicated resources and personnel was more difficult to assess. Two issues in particular required further attention. First, consideration needed to be given to whether the Youth Courts should be more explicitly youth focused and what this might entail. Second, greater clarity was required regarding for whom the Youth Courts were intended. This suggested the need for further discussion of Youth Court targeting and its potential consequences among the various agencies concerned.

An attack on Iran: the legal basis, or lack thereof

Talk of a possible Israeli strike on Iran’s nuclear facilities has re-ignited debate over the right of self-defence under international law. Some academics, including Anthony D'Amato and Alan Dershowitz, have claimed that an attack on Iran would be a permissible act of self-defence. Others, such as Kevin Jon Heller, argue that such action would be a clear breach of international law. So, who is correct? Would military action against Iran be legal or illegal?

Australian content and convergence

This article is a response to Kim Dalton's 2011 Henry Mayer Lecture. It focuses on Dalton's discussion of Australian content in the context of the government's ongoing Convergence Review.

An estimation of crash risks using a log-linear model and the induced exposure technique

Prevention and safety promotion programmes. Traditionally, in-depth investigations of crash risks are conducted using exposure controlled study or case-control methodology. However, these studies need either observational data for control cases or exogenous exposure data like vehicle-kilometres travel, entry flow or product of conflicting flow for a particular traffic location, or a traffic site. These data are not readily available and often require extensive data collection effort on a system-wide basis. Aim: The objective of this research is to propose an alternative methodology to investigate crash risks of a road user group in different circumstances using readily available traffic police crash data. Methods: This study employs a combination of a log-linear model and the quasi-induced exposure technique to estimate crash risks of a road user group. While the log-linear model reveals the significant interactions and thus the prevalence of crashes of a road user group under various sets of traffic, environmental and roadway factors, the quasi-induced exposure technique estimates relative exposure of that road user in the same set of explanatory variables. Therefore, the combination of these two techniques provides relative measures of crash risks under various influences of roadway, environmental and traffic conditions. The proposed methodology has been illustrated using Brisbane motorcycle crash data of five years. Results: Interpretations of results on different combination of interactive factors show that the poor conspicuity of motorcycles is a predominant cause of motorcycle crashes. Inability of other drivers to correctly judge the speed and distance of an oncoming motorcyclist is also evident in right-of-way violation motorcycle crashes at intersections. Discussion and Conclusions: The combination of a log-linear model and the induced exposure technique is a promising methodology and can be applied to better estimate crash risks of other road users. This study also highlights the importance of considering interaction effects to better understand hazardous situations. A further study on the comparison between the proposed methodology and case-control method would be useful.

State convergence and keyspace reduction of the mixer stream cipher

This paper presents an analysis of the stream cipher Mixer, a bit-based cipher with structural components similar to the well-known Grain cipher and the LILI family of keystream generators. Mixer uses a 128-bit key and 64-bit IV to initialise a 217-bit internal state. The analysis is focused on the initialisation function of Mixer and shows that there exist multiple key-IV pairs which, after initialisation, produce the same initial state, and consequently will generate the same keystream. Furthermore, if the number of iterations of the state update function performed during initialisation is increased, then the number of distinct initial states that can be obtained decreases. It is also shown that there exist some distinct initial states which produce the same keystream, resulting in a further reduction of the effective key space

Design of flight avoidance manoeuvre alphabets for mixed centralised-decentralised separation management

This paper investigates a mixed centralised-decentralised air traffic separation management system, which combines the best features of the centralised and decentralised systems whilst ensuring the reliability of the air traffic management system during degraded conditions. To overcome communication band limits, we propose a mixed separation manager on the basis of a robust decision (or min-max) problem that is posed on a reduced set of admissible flight avoidance manoeuvres (or a FAM alphabet). We also present a design method for selecting an appropriate FAM alphabet for use in the mixed separation management system. Simulation studies are presented to illustrate the benefits of our proposed FAM alphabet based mixed separation manager.

An implicit RBF meshless method for a fractal mobile/immobile transport model

Fractional differential equation is used to describe a fractal model of mobile/immobile transport with a power law memory function. This equation is the limiting equation that governs continuous time random walks with heavy tailed random waiting times. In this paper, we firstly propose a finite difference method to discretize the time variable and obtain a semi-discrete scheme. Then we discuss its stability and convergence. Secondly we consider a meshless method based on radial basis functions (RBF) to discretize the space variable. By contrast to conventional FDM and FEM, the meshless method is demonstrated to have distinct advantages: calculations can be performed independent of a mesh, it is more accurate and it can be used to solve complex problems. Finally the convergence order is verified from a numerical example is presented to describe the fractal model of mobile/immobile transport process with different problem domains. The numerical results indicate that the present meshless approach is very effective for modeling and simulating of fractional differential equations, and it has good potential in development of a robust simulation tool for problems in engineering and science that are governed by various types of fractional differential equations.

A holistic blended design studio model : a basis for exploring and expanding learning opportunities

While the studio environment has been promoted as an ideal educational setting for project-based disciplines, few qualitative studies have been undertaken in a comprehensive way (Bose, 2007). This study responds to this need by adopting Grounded Theory methodology in a qualitative comparative approach. The research aims to explore the limitations and benefits of a face-to-face (f2f) design studio as well as a virtual design studio (VDS) as experienced by architecture students and educators at an Australian university in order to find the optimal combination for a blended environment to maximize learning. The main outcome is a holistic multidimensional blended model being sufficiently flexible to adapt to various setting, in the process, facilitating constructivist learning through self-determination, self-management, and personalization of the learning environment.

Worthless and undeserving? : problematising the subjectivities of single parenthood

A considerable body of knowledge has been constructed perpetuating the notion single parenthood is a significant problem for society, and while this is supported by specific research designs and sampling practices, it is also maintained by two key discourses. The first constitutes single parenthood as a deficit, while the second identifies it as a risk. In both cases, these discourses are operationalised by the philosophy of neo-liberalism, which envisions good citizenship as economic autonomy. Historically, it has been the convergence of the risk and deficit discourses that has constituted single parenthood as a social problem. More recently, however, risk discourses have come to dominate thinking about single parenthood. As a result, this thesis terms risk discourses as dominant discourses. As dominant discourses, risk sidelines or discounts other ways of thinking about single parenthood. While a few exceptions are notable, including some feminist, poststructural and family resilience scholars, most researchers appear unable to see past the positioning of these discourses and envision another way of being for parents who are single. This means that alternative subjectivities are obscured and have limited influence in this field of research. Because this thesis aimed to problematise dominant subjectivities of single parenthood, a poststructural Foucauldian framework has been utilized in order to document the discursive constructions of single parenthood through literature, insider discourses, and outsider discourses. For the purposes of this thesis, outsider discourses are constituted as those outside the subjectivities of single parenthood, such as media and research discourses. An examination of the Australian media has been undertaken over a one year period, the results of which form the basis for the analysis of media discourses of single parenthood. Parents who are single were also targeted for self selection into this project to provide insider discourses about single parenthood. This analysis explored how respondents negotiated the discourses of single parenthood and how they themselves used or rejected the subjectivities constructed for them via these discourses to constitute their own subjectivities. This thesis aimed to explore the role of discourses in the construction of individuals' subjectivities. Specifically, it draws attention to the way in which knowledge and power work through discourses to emphasize what is allowable, both publicly and privately, in relation to single parenthood. Most importantly, this thesis offers alternative subjectivities for single parenthood to facilitate new ways of thinking about parents who are single.

Default judgment set aside without costs

A recent District Court case is believed to be the first in Queensland in which UCPR r 5 has been used to support the setting aside of a regularly entered default judgment without a costs order.

Corporations Act 2001 s 459G : application to set aside statutory demand

The application before the court in Millerview Constructions Pty Ltd v Palmer Plumbing Pty Ltd [2008] QSC 005 raised a significant question regarding the appropriate construction of s 459G of the Corporations Act 2001 (Cth) (the Act). The decision emphasises the importance of ensuring that any application to set aside a statutory demand must be served in a timely way on the creditor at the creditor’s address for service as stated in the statutory demand, or in strict compliance with another manner authorised by the Act.

Principles on assessment of costs on standard basis – necessary or proper

The judgement in Hennessey Glass and Aluminium Pty Ltd v Watpac Australia Pty Ltd [2007] QDC 57 McGill DCJ provides valuable guidance for practitioners as to whether a range of particular costs items should be permitted on an assessment on the standard basis, and the amounts which should be allowed for such items. The items in issue included counsel’s fees and fees paid to expert witnesses. The decision also examined GST implications for the recovery of legal costs.