Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Applying urban morphology theory to design practice

The aim of this paper is to investigate the relationship between research and design through an applied example of how architects can approach the design for a building guided by data derived from morphological research. An Expert Focus Group consisting of nine leading architects and urban designers from Brisbane, Australia was given the task of testing this proposition. Analysis of the workshop outcomes are examined, and the design drawings of each participant are assessed to determine the relative congruence of the design proposals within the morphological commodity of the specific context. In addition, qualitative data, captured through verbal and written feedback is assessed highlighting the participants' observations and experiences of the workshop. This paper makes a contribution to the current debate within the field on the opportunities of integrating research with practice.

Which patients with chronic kidney disease have the greatest symptom burden? A comparative study of advanced CKD stage and dialysis modality

Background Chronic kidney disease (CKD) leads to a range of symptoms, which are often under-recognised and little is known about the multidimensional symptom experience in advanced CKD. Objectives To examine (1) symptom burden at CKD stages 4 and 5, and dialysis modalities, and (2) demographic and renal history correlates of symptom burden. Methods Using a cross-sectional design, a convenience sample of 436 people with CKD was recruited from three hospitals. The CKD Symptom Burden Index (CKD-SBI) was used to measure the prevalence, severity, distress and frequency of 32 symptoms. Demographic and renal history data were also collected. Results Of the sample, 75.5 % were receiving dialysis (haemodialysis, n = 287; peritoneal dialysis, n = 42) and 24.5 % were not undergoing dialysis (stage 4, n = 69; stage 5, n = 38). Participants reported an average of 13.01 ± 7.67 symptoms. Fatigue and pain were common and burdensome across all symptom dimensions. While approximately one-third experienced sexual symptoms, when reported these symptoms were frequent, severe and distressing. Haemodialysis, older age and being female were independently associated with greater symptom burden. Conclusions In CKD, symptom burden is better understood when capturing the multidimensional aspects of a range of physical and psychological symptoms. Fatigue, pain and sexual dysfunction are key contributors to symptom burden, and these symptoms are often under-recognised and warrant routine assessment. The CKD-SBI offers a valuable tool for renal clinicians to assess symptom burden, leading to the commencement of timely and appropriate interventions.

Measuring the multidimensions of symptoms in people with advanced stages of chronic kidney disease

Chronic kidney disease (CKD) is increasing globally and in Saudi Arabia it affects approximately 8% annual increment of dialysis population. It is associated with a high symptom burden. Previous studies have largely reported on the prevalence of symptoms only in the haemodialysis population. This study examined symptom burden across disease stages and treatment groups in advanced CKD, and their correlation with demographic and clinical factors. Using a cross-sectional design, a convenience sample of 436 patients with CKD was recruited from three hospitals in Saudi Arabia. The CKD Symptom Burden Index (CKD-SBI) was used to measure 32 CKD symptoms. Demographic and clinical data were also collected. Of the sample 75.5% were receiving dialysis (haemodialysis, n = 287; peritoneal dialysis, n = 42) and 24.5% were non-dialysis (CKD stage 4, n = 69; CKD stage 5, n = 38). Average symptom reported was 13.01 ± 7.67. Fatigue and pain were common and burdensome across all symptom dimensions.Approximately one-third of participants experienced sexual symptoms. Dialysis patients reported greater symptom burden, especially patients on haemodialysis. Haemodialysis treatment, older age and being female were independently associated with greater total symptom burden. In conclusion, symptom burden is high among advanced stages of CKD, particularly among those receiving dialysis. Although fatigue, pain and sexual dysfunction are key contributors to symptom burden in CKD, these symptoms are often under-recognised and warrant routine assessment. The CKD-SBI offers a valuable tool to assess symptom burden, leading to the commencement of timely and appropriate interventions.

Civil Procedure

This text provides a summary of Australian procedural law to its bare essence to assist students to rapidly come to grips with the main principles, theories and reality of civil litigation. The LexisNexis Study Guide series is designed to assist students in learning the foundations for effective, systematic exam preparation and revision. In each chapter of LexisNexis Study Guide - Civil Procedure, Stephen Colbran, Roger Douglas, Sheryl Jackson and Molly Townes O'Brien clearly identify and explain the pertinent and often difficult topics within civil procedure. The most important and recent cases are summarised to consolidate practical understanding of the theoretical concepts involved in civil procedure.

A multi-centre open-label randomised non-inferiority trial comparing watchful waiting to antibiotic treatment for acute otitis media without perforation in low-risk urban Aboriginal and Torres Strait Islander children (the WATCH trial): study protocol for a randomised controlled trial

Background Treatment guidelines recommend watchful waiting for children older than 2 years with acute otitis media (AOM) without perforation, unless they are at high risk of complications. The high prevalence of chronic suppurative otitis media (CSOM) in remote Aboriginal and Torres Strait Islander communities leads these children to be classified as high risk. Urban Aboriginal and Torres Strait Islander children are at lower risk of complications, but evidence to support the subsequent recommendation for watchful waiting in this population is lacking. Methods/Design This non-inferiority multi-centre randomised controlled trial will determine whether watchful waiting is non-inferior to immediate antibiotics for urban Aboriginal and Torres Strait Islander children with AOM without perforation. Children aged 2 − 16 years with AOM who are considered at low risk for complications will be recruited from six participating urban primary health care services across Australia. We will obtain informed consent from each participant or their guardian. The primary outcome is clinical resolution on day 7 (no pain, no fever of at least 38 °C, no bulging eardrum and no complications of AOM such as perforation or mastoiditis) as assessed by general practitioners or nurse practitioners. Participants and outcome assessors will not be blinded to treatment. With a sample size of 198 children in each arm, we have 80 % power to detect a non-inferiority margin of up to 10 % at a significance level of 5 %, assuming clinical improvement of at least 80 % in both groups. Allowing for a 20 % dropout rate, we aim to recruit 495 children. We will analyse both by intention-to-treat and per protocol. We will assess the cost- effectiveness of watchful waiting compared to immediate antibiotic prescription. We will also report on the implementation of the trial from the perspectives of parents/carers, health professionals and researchers. Discussion The trial will provide evidence for the safety and effectiveness of watchful waiting for the management of AOM in Aboriginal and Torres Strait Islander children living in urban settings who are considered to be at low risk of complications.

Prediction of individual genetic risk to prostate cancer using a polygenic score

BACKGROUND Polygenic risk scores comprising established susceptibility variants have shown to be informative classifiers for several complex diseases including prostate cancer. For prostate cancer it is unknown if inclusion of genetic markers that have so far not been associated with prostate cancer risk at a genome-wide significant level will improve disease prediction. METHODS We built polygenic risk scores in a large training set comprising over 25,000 individuals. Initially 65 established prostate cancer susceptibility variants were selected. After LD pruning additional variants were prioritized based on their association with prostate cancer. Six-fold cross validation was performed to assess genetic risk scores and optimize the number of additional variants to be included. The final model was evaluated in an independent study population including 1,370 cases and 1,239 controls. RESULTS The polygenic risk score with 65 established susceptibility variants provided an area under the curve (AUC) of 0.67. Adding an additional 68 novel variants significantly increased the AUC to 0.68 (P = 0.0012) and the net reclassification index with 0.21 (P = 8.5E-08). All novel variants were located in genomic regions established as associated with prostate cancer risk. CONCLUSIONS Inclusion of additional genetic variants from established prostate cancer susceptibility regions improves disease prediction. Prostate 75:1467–1474, 2015. © 2015 Wiley Periodicals, Inc.

Early and late electrophysiological effects of distractor frequency in picture naming: Reconciling input and output accounts

The “distractor-frequency effect” refers to the finding that high-frequency (HF) distractor words slow picture naming less than low-frequency distractors in the picture–word interference paradigm. Rival input and output accounts of this effect have been proposed. The former attributes the effect to attentional selection mechanisms operating during distractor recognition, whereas the latter attributes it to monitoring/decision mechanisms operating on distractor and target responses in an articulatory buffer. Using high-density (128-channel) EEG, we tested hypotheses from these rival accounts. In addition to conducting stimulus- and response-locked whole-brain corrected analyses, we investigated the correct-related negativity, an ERP observed on correct trials at fronto-central electrodes proposed to reflect the involvement of domain general monitoring. The wholebrain ERP analysis revealed a significant effect of distractor frequency at inferior right frontal and temporal sites between 100 and 300-msec post-stimulus onset, during which lexical access is thought to occur. Response-locked, region of interest (ROI) analyses of fronto-central electrodes revealed a correct-related negativity starting 121 msec before and peaking 125 msec after vocal onset on the grand averages. Slope analysis of this component revealed a significant difference between HF and lowfrequency distractor words, with the former associated with a steeper slope on the time windowspanning from100 msec before to 100 msec after vocal onset. The finding of ERP effects in time windows and components corresponding to both lexical processing and monitoring suggests the distractor frequency effect is most likely associated with more than one physiological mechanism.

Performance based planning in Queensland : A case of unintended plan-making outcomes

Performance based planning (PBP) is purported to be a viable alternative to traditional zoning. The implementation of PBP ranges between pure approaches that rely on predetermined quantifiable performance standards to determine land use suitability, and hybrid approaches that rely on a mix of activity based zones in addition to prescriptive and subjective standards. Jurisdictions in the USA, Australia and New Zealand have attempted this type of land use regulation with varying degrees of success. Despite the adoption of PBP legislation in these jurisdictions, this paper argues that a lack of extensive evaluation means that PBP is not well understood and the purported advantages of this type of planning are rarely achieved in practice. Few empirical studies have attempted to examine how PBP has been implemented in practice. In Queensland, Australia, the Integrated Planning Act 1997 (IPA) operated as Queensland's principal planning legislation between March 1998 and December 2009. While the IPA did not explicitly use the term performance based planning, the Queensland's planning system is widely considered to be performance based in practice. Significantly, the IPA prevented Local Government from prohibiting development or use and the term zone was absent from the legislation. How plan-making would be advanced under the new planning regime was not clear, and as a consequence local governments produced a variety of different plan-making approaches to comply with the new legislative regime. In order to analyse this variation the research has developed a performance adoption spectrum to classify plans ranging between pure and hybrid perspectives of PBP. The spectrum compares how land use was regulated in seventeen IPA plans across Queensland. The research found that hybrid plans predominated, and that over time a greater reliance on risk adverse drafting approaches created a quasi-prohibition plan, the exact opposite of what was intended by the IPA. This paper concludes that the drafting of the IPA and absence of plan-making guidance contributed to lack of shared understanding about the intended direction of the new planning system and resulted in many administrative interpretations of the legislation. It was a planning direction that tried too hard to be different, and as a result created a perception of land use risk and uncertainty that caused a return to more prescriptive and inflexible plan-making methods.