The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Comparison of high sensitivity troponin T and I assays in the diagnosis of non-ST elevation acute myocardial infarction in emergency patients with chest pain

Objectives: Concentrations of troponin measured with high sensitivity troponin assays are raised in a number of emergency department (ED) patients; however many are not diagnosed with acute myocardial infarction (AMI). Clinical comparisons between the early use (2 h after presentation) of high sensitivity cardiac troponin T (hs-cTnT) and I (hs-cTnI) assays for the diagnosis of AMI have not been reported. Design and methods: Early (0 h and 2 h) hs-cTnT and hs-cTnI assay results in 1571 ED patients with potential acute coronary syndrome (ACS) without ST elevation on electrocardiograph (ECG) were evaluated. The primary outcome was diagnosis of index MI adjudicated by cardiologists using the local cTnI assay results taken ≥6 h after presentation, ECGs and clinical information. Stored samples were later analysed with hs-cTnT and hs-cTnI assays. Results: The ROC analysis for AMI (204 patients; 13.0%) for hs-cTnT and hs-cTnI after 2 h was 0.95 (95% CI: 0.94–0.97) and 0.98 (95% CI: 0.97–0.99) respectively. The sensitivity, specificity, PLR, and NLR of hs-cTnT and hs-cTnI for AMI after 2 h were 94.1% (95% CI: 90.0–96.6) and 95.6% (95% CI: 91.8–97.7), 79.0% (95% CI: 76.8–81.1) and 92.5% (95% CI: 90.9–93.7), 4.48 (95% CI: 4.02–5.00) and 12.86 (95% CI: 10.51–15.31), and 0.07 (95% CI: 0.04–0.13) and 0.05 (95% CI:0.03–0.09) respectively. Conclusions: Exclusion of AMI 2 h after presentation in emergency patients with possible ACS can be achieved using hs-cTnT or hs-cTnI assays. Significant differences in specificity of these assays are relevant and if using the hs-cTnT assay, further clinical assessment in a larger proportion of patients would be required.

Tristate

"This work forms part of a much larger collaborative album project in progress between Tim Bruniges, Julian Knowles and David Trumpmanis which explores the intersections between traditional rock instrumentation and analogue and digital media. All of the creative team are performers, composers and producers. The material for the album was thus generated by a series of in studio improvisations and performances with each collaborator assuming a range of different and alternating roles – guitars, electronics, drums, percussion, bass, keyboards production. Thematically the work explores the intersection of instrumental (post) rock, ambient music, and historical electro-acoustic tape composition traditions. Over the past 10 years, musical practice has become increasingly hybrid, with the traditional boundaries between genre becoming progressively eroded. At the same time, digital tools have replaced many of the major analogue technologies that dominated music production and performance in the 20th century. The disappearance of analogue media in mainstream musical practice has had a profound effect on the sonic characteristics of contemporary music and the gestural basis for its production. Despite the increasing power of digital technologies, a small but dedicated group of practitioners has continued to prize and use analogue technology for its unique sounds and the non-linearity of the media, aestheticising its inherent limitations and flaws. At the most radical end of this spectrum lie glitch and lo-fi musical forms, seen in part as reactions to the clinical nature of digital media and the perceived lack of character associated with its transparency. Such developments have also problematised the traditional relationships between media and genre, where specific techniques and their associated sounds have become genre markers. Tristate is an investigation into this emerging set of dialogues between analogue and digital media across composition, production and performance. It employs analogue tape loops in performance, where a tape machine ‘performer’ records and hand manipulates loops of an electric guitar performer on ‘destroyed’ tape stock (intentionally damaged tape), processing the output of this analogue system in the digital domain with contemporary sound processors. In doing so it investigates how the most extreme sonic signatures of analogue media – tape dropout and noise – can be employed alongside contemporary digital sound gestures in both compositional and performance contexts and how the extremes of the two media signatures can brought together both compositionally and performatively. In respect of genre, the work established strategies for merging compositional techniques from the early musique concrete tradition of the 1940s with late 60s popular music experimentalism and the laptop glitch electronica movement of the early 2000s. Lastly, the work explores how analogue recording studio technologies can be used as performance tools, thus illuminating and foregrounding the performative/gestural dimensions of traditional analogue studio tools in use."

Securing multicast groups in ad hoc networks

We propose a reliable and ubiquitous group key distribution scheme that is suitable for ad hoc networks. The scheme has self-initialisation and self-securing features. The former feature allows a cooperation of an arbitrary number of nodes to initialise the system, and it also allows node admission to be performed in a decentralised fashion. The latter feature allows a group member to determine the group key remotely while maintaining the system security. We also consider a decentralised solution of establishing secure point-to-point communication. The solution allows a new node to establish a secure channel with every existing node if it has pre-existing secure channels with a threshold number of the existing nodes.

Demand for refilled reusable products

The conversion of one-way polyethylene terephthalate (PET) bottles into reusable bottles helps reduce environmental burden. Recently, the Ministry of the Environment in Japan began discussing the introduction of reusable bottles. One of the barriers to introducing the new type of bottle is consumer unwillingness to accept refilled reusable bottles. We administered the questionnaires to consumers in a pilot test on reusable PET bottles organized to analyze the demand for these products. To increase the demand for refilled reusable bottles, it is necessary to supply refilled reusable bottles that are acceptable to consumers who are concerned about container flaws and stains.

In pursuit of an architecture realism

The noble idea of studying seminal works to ‘see what we can learn’ has turned in the 1990s into ‘let’s see what we can take’ and in the last decade a more toxic derivative ‘what else can’t we take’. That is my observation as a student of architecture in the 1990s, and as a practitioner in the 2000s. In 2010, the sense that something is ending is clear. The next generation is rising and their gaze has shifted. The idea of classification (as a means of separation) was previously rejected by a generation of Postmodernists; the usefulness of difference declined. It’s there in the presence of plurality in the resulting architecture, a decision to mine history and seize in a willful manner. This is a process of looking back but never forward. It has been a mono-culture of absorption. The mono-culture rejected the pursuit of the realistic. It is a blanket suffocating all practice of architecture in this country from the mercantile to the intellectual. Independent reviews of Australia’s recent contributions to the Venice Architecture Biennales confirm the malaise. The next generation is beginning to reconsider classification as a means of unification. By acknowledging the characteristics of competing forces it is possible to bring them into a state of tension. Seeking a beautiful contrast is a means to a new end. In the political setting, this is described by Noel Pearson as the radical centre[1]. The concept transcends the political and in its most essential form is a cultural phenomenon. It resists the compromised position and suggests that we can look back while looking forward. The radical centre is the only demonstrated opportunity where it is possible to pursue a realistic architecture. A realistic architecture in Australia may be partially resolved by addressing our anxiety of permanence. Farrelly’s built desires[2] and Markham’s ritual demonstrations[3] are two ways into understanding the broader spectrum of permanence. But I think they are downstream of our core problem. Our problem, as architects, is that we are yet to come to terms with this place. Some call it landscape others call it country. Australian cities were laid out on what was mistaken for a blank canvas. On some occasions there was the consideration of the landscape when it presented insurmountable physical obstacles. The architecture since has continued to work on its piece of a constantly blank canvas. Even more ironic is the commercial awards programs that represent a claim within this framework but at best can only establish a dialogue within itself. This is a closed system unable to look forward. It is said that Melbourne is the most European city in the southern hemisphere but what is really being described there is the limitation of a senseless grid. After all, if Dutch landscape informs Dutch architecture why can’t the Australian landscape inform Australian architecture? To do that, we would have to acknowledge our moribund grasp of the meaning of the Australian landscape. Or more precisely what Indigenes call Country[4]. This is a complex notion and there are different ways into it. Country is experienced and understood through the senses and seared into memory. If one begins design at that starting point it is not unreasonable to think we can arrive at an end point that is a counter trajectory to where we have taken ourselves. A recent studio with Masters students confirmed this. Start by finding Country and it would be impossible to end up with a building looking like an Aboriginal man’s face. To date architecture in Australia has overwhelmingly ignored Country on the back of terra nullius. It can’t seem to get past the picturesque. Why is it so hard? The art world came to terms with this challenge, so too did the legal establishment, even the political scene headed into new waters. It would be easy to blame the budgets of commerce or the constraints of program or even the pressure of success. But that is too easy. Those factors are in fact the kind of limitations that opportunities grow out of. The past decade of economic plenty has, for the most part, smothered the idea that our capitals might enable civic settings or an architecture that is able to looks past lot line boundaries in a dignified manner. The denied opportunities of these settings to be prompted by the Country they occupy is criminal. The public realm is arrested in its development because we refuse to accept Country as a spatial condition. What we seem to be able to embrace is literal and symbolic gestures usually taking the form of a trumped up art installations. All talk – no action. To continue to leave the public realm to the stewardship of mercantile interests is like embracing derivative lending after the global financial crisis.Herein rests an argument for why we need a resourced Government Architect’s office operating not as an isolated lobbyist for business but as a steward of the public realm for both the past and the future. New South Wales is the leading model with Queensland close behind. That is not to say both do not have flaws but current calls for their cessation on the grounds of design parity poorly mask commercial self interest. In Queensland, lobbyists are heavily regulated now with an aim to ensure integrity and accountability. In essence, what I am speaking of will not be found in Reconciliation Action Plans that double as business plans, or the mining of Aboriginal culture for the next marketing gimmick, or even discussions around how to make buildings more ‘Aboriginal’. It will come from the next generation who reject the noxious mono-culture of absorption and embrace a counter trajectory to pursue an architecture of realism.

Long-range stereo visual odometry for unmanned aerial vehicles

This thesis explored the utility of long-range stereo visual odometry for application on Unmanned Aerial Vehicles. Novel parameterisations and initialisation routines were developed for the long-range case of stereo visual odometry and new optimisation techniques were implemented to improve the robustness of visual odometry in this difficult scenario. In doing so, the applications of stereo visual odometry were expanded and shown to perform adequately in situations that were previously unworkable.

Mathematical modeling for improved greenhouse gas balances, agro-ecosystems, and policy development: Lessons from the Australian experience

If the land sector is to make significant contributions to mitigating anthropogenic greenhouse gas (GHG) emissions in coming decades, it must do so while concurrently expanding production of food and fiber. In our view, mathematical modeling will be required to provide scientific guidance to meet this challenge. In order to be useful in GHG mitigation policy measures, models must simultaneously meet scientific, software engineering, and human capacity requirements. They can be used to understand GHG fluxes, to evaluate proposed GHG mitigation actions, and to predict and monitor the effects of specific actions; the latter applications require a change in mindset that has parallels with the shift from research modeling to decision support. We compare and contrast 6 agro-ecosystem models (FullCAM, DayCent, DNDC, APSIM, WNMM, and AgMod), chosen because they are used in Australian agriculture and forestry. Underlying structural similarities in the representations of carbon flows though plants and soils in these models are complemented by a diverse range of emphases and approaches to the subprocesses within the agro-ecosystem. None of these agro-ecosystem models handles all land sector GHG fluxes, and considerable model-based uncertainty exists for soil C fluxes and enteric methane emissions. The models also show diverse approaches to the initialisation of model simulations, software implementation, distribution, licensing, and software quality assurance; each of these will differentially affect their usefulness for policy-driven GHG mitigation prediction and monitoring. Specific requirements imposed on the use of models by Australian mitigation policy settings are discussed, and areas for further scientific development of agro-ecosystem models for use in GHG mitigation policy are proposed.

The new Vancouver Chest Pain Rule using troponin as the only biomarker: An external validation study

Objectives To externally evaluate the accuracy of the new Vancouver Chest Pain Rule and to assess the diagnostic accuracy using either sensitive or highly sensitive troponin assays. Methods Prospectively collected data from 2 emergency departments (EDs) in Australia and New Zealand were analysed. Based on the new Vancouver Chest Pain Rule, low-risk patients were identified using electrocardiogram results, cardiac history, nitrate use, age, pain characteristics and troponin results at 2 hours after presentation. The primary outcome was 30-day diagnosis of acute coronary syndrome (ACS), including acute myocardial infarction, and unstable angina. Sensitivity, specificity, positive predictive values and negative predictive values were calculated to assess the accuracy of the new Vancouver Chest Pain Rule using either sensitive or highly sensitive troponin assay results. Results Of the 1635 patients, 20.4% had an ACS diagnosis at 30 days. Using the highly sensitive troponin assay, 212 (13.0%) patients were eligible for early discharge with 3 patients (1.4%) diagnosed with ACS. Sensitivity was 99.1% (95% CI 97.4-99.7), specificity was 16.1 (95% CI 14.2-18.2), positive predictive values was 23.3 (95% CI 21.1-25.5) and negative predictive values was 98.6 (95% CI 95.9-99.5). The diagnostic accuracy of the rule was similar using the sensitive troponin assay. Conclusions The new Vancouver Chest Pain Rule should be used for the identification of low risk patients presenting to EDs with symptoms of possible ACS, and will reduce the proportion of patients requiring lengthy assessment; however we recommend further outpatient investigation for coronary artery disease in patients identified as low risk.

Development and validation of the Emergency Department Assessment of Chest pain Score and 2h accelerated diagnostic protocol

Objective Risk scores and accelerated diagnostic protocols can identify chest pain patients with low risk of major adverse cardiac event who could be discharged early from the ED, saving time and costs. We aimed to derive and validate a chest pain score and accelerated diagnostic protocol (ADP) that could safely increase the proportion of patients suitable for early discharge. Methods Logistic regression identified statistical predictors for major adverse cardiac events in a derivation cohort. Statistical coefficients were converted to whole numbers to create a score. Clinician feedback was used to improve the clinical plausibility and the usability of the final score (Emergency Department Assessment of Chest pain Score [EDACS]). EDACS was combined with electrocardiogram results and troponin results at 0 and 2 h to develop an ADP (EDACS-ADP). The score and EDACS-ADP were validated and tested for reproducibility in separate cohorts of patients. Results In the derivation (n = 1974) and validation (n = 608) cohorts, the EDACS-ADP classified 42.2% (sensitivity 99.0%, specificity 49.9%) and 51.3% (sensitivity 100.0%, specificity 59.0%) as low risk of major adverse cardiac events, respectively. The intra-class correlation coefficient for categorisation of patients as low risk was 0.87. Conclusion The EDACS-ADP identified approximately half of the patients presenting to the ED with possible cardiac chest pain as having low risk of short-term major adverse cardiac events, with high sensitivity. This is a significant improvement on similar, previously reported protocols. The EDACS-ADP is reproducible and has the potential to make considerable cost reductions to health systems.

Constructing a traditional Chinese medicine data warehouse application

The explosive growth in the development of Traditional Chinese Medicine (TCM) has resulted in the continued increase in clinical and research data. The lack of standardised terminology, flaws in data quality planning and management of TCM informatics are preventing clinical decision-making, drug discovery and education. This paper argues that the introduction of data warehousing technologies to enhance the effectiveness and durability in TCM is paramount. To showcase the role of data warehousing in the improvement of TCM, this paper presents a practical model for data warehousing with detailed explanation, which is based on the structured electronic records, for TCM clinical researches and medical knowledge discovery.

'The ones with the beastly lives': Gender and textuality in Jean Rhys's Voyage in the Dark

Anna Morgan, the central character of Jean Rhys's Voyage in the Dark, has previously been read as a victim of her own inability to fashion some form of life for herself.1 It is possible, however, to suggest an alternative to such character-based readings and instead examine the systems of oppression which work to ensure that Anna remains an excluded, marginalized subject. Rather than personal failings, it is Anna's gender and colonial status which prevent her from participating fully in the dominant social and economic order of Voyage in the Dark. Anna is textually constrained on three levels, which may be defined as economic, colonialist, and narrative. Imbricated within these is the question of gender, which functions to place Anna in a position of double-exclusion within the text. These forms of exclusion function at the levels of discourse and narrative; I would argue that Anna's position is not, therefore, a product of realist character 'flaws' but rather that her discursive placement within the novel offers insight into the ways in which colonialism and sexism function in terms of textuality.

Wild dogma: An examination of recent "evidence" for dingo regulation of invasive mesopredator release in Australia

There is growing interest in the role that apex predators play in shaping terrestrial ecosystems and maintaining trophic cascades. In line with the mesopredator release hypothesis, Australian dingoes (Canis lupus dingo and hybrids) are assumed by many to regulate the abundance of invasive mesopredators, such as red foxes Vulpes vulpes and feral cats Felis catus, thereby providing indirect benefits to various threatened vertebrates. Several recent papers have claimed to provide evidence for the biodiversity benefits of dingoes in this way. Nevertheless, in this paper we highlight several critical weaknesses in the methodological approaches used in many of these reports, including lack of consideration for seasonal and habitat differences in activity, the complication of simple track-based indices by incorporating difficult-to-meet assumptions, and a reduction in sensitivity for assessing populations by using binary measures rather than potentially continuous measures. Of the 20 studies reviewed, 15 of them (75%) contained serious methodological flaws, which may partly explain the inconclusive nature of the literature nvestigating interactions between invasive Australian predators. We therefore assert that most of the “growing body of evidence” for mesopredator release is merely an inconclusive growing body of literature only. We encourage those interested in studying the ecological roles of dingoes relative to invasive mesopredators and native prey species to account for the factors we identify, and caution the value of studies that have not done so.