Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets.

Vertical alignment of process models – how can we get there?

There is a wide variety of drivers for business process modelling initiatives, reaching from business evolution and process optimisation over compliance checking and process certification to process enactment. That, in turn, results in models that differ in content due to serving different purposes. In particular, processes are modelled on different abstraction levels and assume different perspectives. Vertical alignment of process models aims at handling these deviations. While the advantages of such an alignment for inter-model analysis and change propagation are out of question, a number of challenges has still to be addressed. In this paper, we discuss three main challenges for vertical alignment in detail. Against this background, the potential application of techniques from the field of process integration is critically assessed. Based thereon, we identify specific research questions that guide the design of a framework for model alignment.

Multivariate statistical analysis of hydrochemical data to assess alluvial aquifer–stream connectivity during drought and flood : Cressbrook Creek, southeast Queensland, Australia

A catchment-scale multivariate statistical analysis of hydrochemistry enabled assessment of interactions between alluvial groundwater and Cressbrook Creek, an intermittent drainage system in southeast Queensland, Australia. Hierarchical cluster analyses and principal component analysis were applied to time-series data to evaluate the hydrochemical evolution of groundwater during periods of extreme drought and severe flooding. A simple three-dimensional geological model was developed to conceptualise the catchment morphology and the stratigraphic framework of the alluvium. The alluvium forms a two-layer system with a basal coarse-grained layer overlain by a clay-rich low-permeability unit. In the upper and middle catchment, alluvial groundwater is chemically similar to streamwater, particularly near the creek (reflected by high HCO3/Cl and K/Na ratios and low salinities), indicating a high degree of connectivity. In the lower catchment, groundwater is more saline with lower HCO3/Cl and K/Na ratios, notably during dry periods. Groundwater salinity substantially decreased following severe flooding in 2011, notably in the lower catchment, confirming that flooding is an important mechanism for both recharge and maintaining groundwater quality. The integrated approach used in this study enabled effective interpretation of hydrological processes and can be applied to a variety of hydrological settings to synthesise and evaluate large hydrochemical datasets.

Real-time monitoring of nucleation-growth cycle of carbon nanoparticles in acetylene plasmas

Quantum cascade laserabsorption spectroscopy was used to measure the absolute concentration of acetylene in situ during the nanoparticle growth in Ar + C2H2 RF plasmas. It is demonstrated that the nanoparticle growth exhibits a periodical behavior, with the growth cycle period strongly dependent on the initial acetylene concentration in the chamber. Being 300 s at 7.5% of acetylene in the gas mixture, the growth cycle period decreases with the acetylene concentration increasing; the growth eventually disappears when the acetylene concentration exceeds 32%. During the nanoparticle growth, the acetylene concentration is small and does not exceed 4.2% at radio frequency (RF) power of 4 W, and 0.5% at RF power of 20 W. An injection of a single acetylene pulse into the discharge also results in the nanoparticlenucleation and growth. The absorption spectroscopy technique was found to be very effective for the time-resolved measurement of the hydrocarbon content in nanoparticle-generatingplasmas.

Low-pressure planar magnetron discharge for surface deposition and nanofabrication

Current-voltage characteristics of the planar magnetron are studied experimentally and by numerical simulation. Based on the measured current-voltage characteristics, a model of the planar magnetron discharge is developed with the background gas pressure and magnetic field used as parameters. The discharge pressure was varied in a range of 0.7-1.7 Pa, the magnetic field of the magnetron was of 0.033-0.12 T near the cathode surface, the discharge current was from 1 to 25 A, and the magnetic field lines were tangential to the substrate surface in the region of the magnetron discharge ignition. The discharge model describes the motion of energetic secondary electrons that gain energy by passing the cathode sheath across the magnetic field, and the power required to sustain the plasma generation in the bulk. The plasma electrons, in turn, are accelerated in the electric field and ionize effectively the background gas species. The model is based on the assumption about the prevailing Bohm mechanism of electron conductivity across the magnetic field. A criterion of the self-sustained discharge ignition is used to establish the dependence of the discharge voltage on the discharge current. The dependence of the background gas density on the current is also observed from the experiment. The model is consistent with the experimental results. © 2010 American Institute of Physics.

Foreword

Foreword for the book, "INTERCHANGING: Future designs for responsive transport environments"

Urban Informatics and Public Transport

The holistic urban experience we perceive when immersed in an urban context is at the heart of urban informatics. This experience encompasses all urban elements such as architecture, people, and culture. Urban informatics explores the possibilities and opportunities created by new technologies and information for enhancing the urban experience. Public transport is an essential urban experience. Everyday, urban dwellers takes public transport to commute and move between different parts of the city. Public transport serves people from all over the city and moves them through different places in the city, using different means of transportation. The nature of public transport—involving people, places, and technologies, makes it a fitting context for urban informatics interventions. There are three main aspects of the public transport experience that can readily benefit from urban informatics interventions the: pragmatic aspect, hedonistic aspect, and social aspect. From the pragmatic perspective, these interventions can help people to be more efficient and effective in taking public transport. Hedonistic-related interventions aim to bring enjoyment and fun to our mundane commute. Finally, urban informatics can strengthen the sense of community in a socially-passive context like public transport environments through adopting socially focused interventions.

Survey on BPM Conference impression

In May/June 2014, the Program Committee Chairs of BPM’15 conducted a survey with present and past attendees and submitters to the BPM conference to gather feedback on the general perception of the conference. The survey is available at http://survey.qut.edu.au/f/180586/6bb1/. In particular, the survey included questions about the reputation of the conference, the reasons why survey participants submitted papers, whether they plan to submit to BPM’15, and soliciting input on a number of suggested changes and additions to the conduct of the conference series.

Iron(II) spin-transition complexes with dendritic ligands, part II

The dendritic triazole-based complexes \[Fe(G1-BOC)3](triflate) 2·xH2O (1; G1-BOC = tert-butyl {3-\[3-(3-tert- butoxycarbonylaminopropyl)-5-(\[1,2,4]triazol-4-ylcarbamoyl)-phenyl]propyl} carbamate, triflate = CF3SO3-), \[Fe(G1-BOC) 3]-(tosylate)2·xH2O(2;tosylate = p-CH3PhSO3-),\[Fe(G1-DPBE)3]-(triflate) 2·xH2O {3; G1-DPBE = 3,5-bis(3,5- didodecaoxybenzyloxy)-N-\[1,2,4]triazol-4-ylbenzamide}, \[Fe(G1-DPBE) 3]-(tosylate)2·xH2O (4) and \[Fe(G1-DPBE)3](BF4)2·xH2O (5) were designed and synthesized. Magnetic and thermal properties of these novel complexes were characterized by magnetic susceptibility measurements, 57Fe Mössbauer spectroscopy and thermogravimetric analysis or differential scanning calorimetry, respectively. All dendritic complexes under study show different spin-transition behaviour with respect to the nature of different dendritic ligands and counteranions. Complexes 1 and 2 have pronounced effects of a spin-state change during the first heating process and gradual spintransition properties for further temperature treatments, whereas 3 and 4 exhibited a very sharp spin-state change in the first heating procedures. Complex 5 showed a gradual spin-transition curve. In this paper, we report how the magnetic properties of these complexes are correlated with noncoordinated water molecules and their effects on spin states.

The economics of credence goods : an experiment on the role of liability, verifiability, reputation and competition

Credence goods markets are characterized by asymmetric information between sellers and consumers that may give rise to inefficiencies, such as under- and overtreatment or market breakdown. We study in a large experiment with 936 participants the determinants for efficiency in credence goods markets. While theory predicts that liability or verifiability yield efficiency, we find that liability has a crucial, but verifiability at best a minor, effect. Allowing sellers to build up reputation has little influence, as predicted. Seller competition drives down prices and yields maximal trade, but does not lead to higher efficiency as long as liability is violated. (JEL D12, D82)

Molecular phylogeny, biogeography, and habitat preference evolution of marsupials

Marsupials exhibit great diversity in ecology and morphology. However, compared to their sister group, the placental mammals, our understanding of many aspects of marsupial evolution remains limited. We use 101 mitochondrial genomes and data from 26 nuclear loci to reconstruct a dated phylogeny including 97% of extant genera and 58% of modern marsupial species. This tree allows us to analyze the evolution of habitat preference and geographic distributions of marsupial species through time. We found a pattern of mesic-adapted lineages evolving to use more arid and open habitats, which is broadly consistent with regional climate and environmental change. However, contrary to the general trend, several lineages subsequently appear to have reverted from drier to more mesic habitats. Biogeographic reconstructions suggest that current views on the connectivity between Australia and New Guinea/Wallacea during the Miocene and Pliocene need to be revised. The antiquity of several endemic New Guinean clades strongly suggests a substantially older period of connection stretching back to the Middle Miocene, and implies that New Guinea was colonized by multiple clades almost immediately after its principal formation.

An economic case for providing free access to antiretroviral therapy for HIV-positive people in South Australia

Background As financial constraints can be a barrier to accessing HIV antiretroviral therapy (ART), we argue for the removal of copayment requirements from HIV medications in South Australia. Methods Using a simple mathematical model informed by available behavioural and biological data and reflecting the HIV epidemiology in South Australia, we calculated the expected number of new HIV transmissions caused by persons who are not currently on ART compared with transmissions for people on ART. The extra financial investment required to cover the copayments to prevent an HIV infection was compared with the treatment costs saved due to averting HIV infections. Results It was estimated that one HIV infection is prevented per year for every 31.4 persons (median, 24.0–42.7 interquartile range (IQR)) who receive treatment. By considering the incremental change in costs and outcomes of a change in program from the current status quo, it would cost the health sector $17 860 per infection averted (median, $13 651–24 287 IQR) if ART is provided as a three-dose, three-drug combination without requirements for user-pay copayments. Conclusions The costs of removing copayment fees for ART are less than the costs of treating extra HIV infections that would result under current conditions. Removing the copayment requirement for HIV medication would be cost-effective from a governmental perspective.

Hydrochemical evolution and groundwater flow processes in the Galilee and Eromanga basins, Great Artesian Basin, Australia: A multivariate statistical approach

The Galilee and Eromanga basins are sub-basins of the Great Artesian Basin (GAB). In this study, a multivariate statistical approach (hierarchical cluster analysis, principal component analysis and factor analysis) is carried out to identify hydrochemical patterns and assess the processes that control hydrochemical evolution within key aquifers of the GAB in these basins. The results of the hydrochemical assessment are integrated into a 3D geological model (previously developed) to support the analysis of spatial patterns of hydrochemistry, and to identify the hydrochemical and hydrological processes that control hydrochemical variability. In this area of the GAB, the hydrochemical evolution of groundwater is dominated by evapotranspiration near the recharge area resulting in a dominance of the Na–Cl water types. This is shown conceptually using two selected cross-sections which represent discrete groundwater flow paths from the recharge areas to the deeper parts of the basins. With increasing distance from the recharge area, a shift towards a dominance of carbonate (e.g. Na–HCO3 water type) has been observed. The assessment of hydrochemical changes along groundwater flow paths highlights how aquifers are separated in some areas, and how mixing between groundwater from different aquifers occurs elsewhere controlled by geological structures, including between GAB aquifers and coal bearing strata of the Galilee Basin. The results of this study suggest that distinct hydrochemical differences can be observed within the previously defined Early Cretaceous–Jurassic aquifer sequence of the GAB. A revision of the two previously recognised hydrochemical sequences is being proposed, resulting in three hydrochemical sequences based on systematic differences in hydrochemistry, salinity and dominant hydrochemical processes. The integrated approach presented in this study which combines different complementary multivariate statistical techniques with a detailed assessment of the geological framework of these sedimentary basins, can be adopted in other complex multi-aquifer systems to assess hydrochemical evolution and its geological controls.

Three-dimensional geological modelling of the Galilee and central Eromanga basins, Australia: New insights into aquifer/aquitard geometry and potential influence of faults on inter-connectivity

Study region The Galilee and Eromanga basins are located in central Queensland, Australia. Both basins are components of the Great Artesian Basin which host some of the most significant groundwater resources in Australia. Study focus This study evaluates the influence of regional faults on groundwater flow in an aquifer/aquitard interbedded succession that form one of the largest Artesian Basins in the world. In order to assess the significance of regional faults as potential barriers or conduits to groundwater flow, vertical displacements of the major aquifers and aquitards were studied at each major fault and the general hydraulic relationship of units that are juxtaposed by the faults were considered. A three-dimensional (3D) geological model of the Galilee and Eromanga basins was developed based on integration of well log data, seismic surfaces, surface geology and elevation data. Geological structures were mapped in detail and major faults were characterised. New hydrological insights for the region Major faults that have been described in previous studies have been confirmed within the 3D geological model domain and a preliminary assessment of their hydraulic significance has been conducted. Previously unknown faults such as the Thomson River Fault (herein named) have also been identified in this study.