Computed success rates of various carrier phase integer estimation solutions and their comparison with statistical success rates

The success rate of carrier phase ambiguity resolution (AR) is the probability that the ambiguities are successfully fixed to their correct integer values. In existing works, an exact success rate formula for integer bootstrapping estimator has been used as a sharp lower bound for the integer least squares (ILS) success rate. Rigorous computation of success rate for the more general ILS solutions has been considered difficult, because of complexity of the ILS ambiguity pull-in region and computational load of the integration of the multivariate probability density function. Contributions of this work are twofold. First, the pull-in region mathematically expressed as the vertices of a polyhedron is represented by a multi-dimensional grid, at which the cumulative probability can be integrated with the multivariate normal cumulative density function (mvncdf) available in Matlab. The bivariate case is studied where the pull-region is usually defined as a hexagon and the probability is easily obtained using mvncdf at all the grid points within the convex polygon. Second, the paper compares the computed integer rounding and integer bootstrapping success rates, lower and upper bounds of the ILS success rates to the actual ILS AR success rates obtained from a 24 h GPS data set for a 21 km baseline. The results demonstrate that the upper bound probability of the ILS AR probability given in the existing literatures agrees with the actual ILS success rate well, although the success rate computed with integer bootstrapping method is a quite sharp approximation to the actual ILS success rate. The results also show that variations or uncertainty of the unit–weight variance estimates from epoch to epoch will affect the computed success rates from different methods significantly, thus deserving more attentions in order to obtain useful success probability predictions.

Cancer-related symptom clusters for symptom management in outpatients after commencing adjuvant chemotherapy, at 6 months, and 12 months

Goals of work: The aim of this secondary data analysis was to investigate symptom clusters over time for symptom management of a patient group after commencing adjuvant chemotherapy. Materials and methods: A prospective longitudinal study of 219 cancer outpatients conducted within 1 month of commencing chemotherapy (T1), 6 months (T2), and 12 months (T3) later. Patients' distress levels were assessed for 42 physical symptoms on a clinician-modified Rotterdam Symptom Checklist. Symptom clusters were identified in exploratory factor analyses at each time. Symptom inclusion in clusters was determined from structure coefficients. Symptoms could be associated with multiple clusters. Stability over time was determined from symptom cluster composition and the proportion of symptoms in the initial symptom clusters replicated at later times. Main results Fatigue and daytime sleepiness were the most prevalent distressing symptoms over time. The median number of concurrent distressing symptoms approximated 7, over time. Five consistent clusters were identified at T1, 2, and T3. An additional two clusters were identified at 12 months, possibly due to less variation in distress levels. Weakness and fatigue were each associated with two, four, and five symptom clusters at T1, T2, and T3, respectively, potentially suggesting different causal mechanisms. Conclusion: Stability is a necessary attribute of symptom clusters, but definitional clarification is required. We propose that a core set of concurrent symptoms identifies each symptom cluster, signifying a common cause. Additional related symptoms may be included over time. Further longitudinal investigation is required to identify symptom clusters and the underlying causes.

MobileMums: A randomized controlled trial of an SMS-based physical activity intervention

Background Postnatal women (<12 months postpartum) are at increased risk of physical inactivity. Purpose To evaluate the efficacy and feasibility of a theory-based physical activity (PA) intervention delivered to postnatal women primarily via mobile telephone short message service (SMS). Methods Eighty-eight women were randomized to the intervention (n=45) or minimal contact control (n=43) condition. The 12-week intervention consisted of a face-to-face PA goal-setting consultation, a goal-setting magnet, three to five personally tailored SMS/week and a nominated support person who received two SMS per week. SMS content targeted constructs of social cognitive theory. Frequency (days/week) and duration (min/week) of PA participation and walking for exercise were assessed via self-report at baseline, 6 and 13 weeks. Results Intervention participants increased PA frequency by 1.82 days/week (SE±0.18) by 13 weeks (F(2,85)=4.46, p=0.038) and walking for exercise frequency by 1.08 days/ week (SE±0.24) by 13 weeks (F(2,85)=5.38, p=0.02). Positive trends were observed for duration (min/week) of PA and walking for exercise. Conclusions Intervention exposure resulted in increased frequency of PA and walking for exercise in postnatal women.

Overview of the INEX 2010 focused relevance feedback track

The INEX 2010 Focused Relevance Feedback track offered a refined approach to the evaluation of Focused Relevance Feedback algorithms through simulated exhaustive user feedback. As in traditional approaches we simulated a user-in-the loop by re-using the assessments of ad-hoc retrieval obtained from real users who assess focused ad-hoc retrieval submissions. The evaluation was extended in several ways: the use of exhaustive relevance feedback over entire runs; the evaluation of focused retrieval where both the retrieval results and the feedback are focused; the evaluation was performed over a closed set of documents and complete focused assessments; the evaluation was performed over executable implementations of relevance feedback algorithms; and �finally, the entire evaluation platform is reusable. We present the evaluation methodology, its implementation, and experimental results obtained for nine submissions from three participating organisations.

Soundness of workflow nets with reset arcs

Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation features, a mapping to workflow nets is not always possible. Therefore, it is interesting to consider workflow nets with reset arcs. Unfortunately, soundness is undecidable for workflow nets with reset arcs. In this paper, we provide a proof and insights into the theoretical limits of workflow verification.

Surmounting BPM challenges : the YAWL story

The field of Business ProcessManagement (BPM) has evolved considerably over the past decade. Many proposals for business process modelling and/or execution have emerged and some of these have faded into oblivion again. The Workflow Patterns Initiative aimed at achieving a more structured approach to language comparison and development. The patterns that were distilled served as the basis for YAWL (Yet AnotherWorkflow Language). In this paper YAWL is positioned with respect to historical developments in BPM and current challenges in the field.

Designing a workflow system using coloured petri nets

Traditional workflow systems focus on providing support for the control-flow perspective of a business process, with other aspects such as data management and work distribution receiving markedly less attention. A guide to desirable workflow characteristics is provided by the well-known workflow patterns which are derived from a comprehensive survey of contemporary tools and modelling formalisms. In this paper we describe the approach taken to designing the newYAWL workflow system, an offering that aims to provide comprehensive support for the control-flow, data and resource perspectives based on the workflow patterns. The semantics of the newYAWL workflow language are based on Coloured Petri Nets thus facilitating the direct enactment and analysis of processes described in terms of newYAWL language constructs. As part of this discussion, we explain how the operational semantics for each of the language elements are embodied in the newYAWL system and indicate the facilities required to support them in an operational environment. We also review the experiences associated with developing a complete operational design for an offering of this scale using formal techniques.

Segmentation of scenes of mobile objects and demonstrable backgrounds

In this paper we present a real-time foreground–background segmentation algorithm that exploits the following observation (very often satisfied by a static camera positioned high in its environment). If a blob moves on a pixel p that had not changed its colour significantly for a few frames, then p was probably part of the background when its colour was static. With this information we are able to update differentially pixels believed to be background. This work is relevant to autonomous minirobots, as they often navigate in buildings where smart surveillance cameras could communicate wirelessly with them. A by-product of the proposed system is a mask of the image regions which are demonstrably background. Statistically significant tests show that the proposed method has a better precision and recall rates than the state of the art foreground/background segmentation algorithm of the OpenCV computer vision library.

Narrative on a doctoral narrative : reflections on postgraduate study and pedagogy

This paper explores the stages of one student’s intellectual journey through a Doctor of Philosophy program of study in an Australian university. It outlines the theoretical and methodological insights made as she came to understand that data was discourse, entailing a politics and position of power that ran contrary to the aims of the study that the student was undertaking in and on her own community. The article is a reflective narrative produced from the experience of having to come to terms with some of the personal and professional tensions and contradictions that postgraduate study can, and maybe should, engender if it is to be any of real value.

Clone detection in repositories of business process models

As organizations reach to higher levels of business process management maturity, they often find themselves maintaining repositories of hundreds or even thousands of process models, representing valuable knowledge about their operations. Over time, process model repositories tend to accumulate duplicate fragments (also called clones) as new process models are created or extended by copying and merging fragments from other models. This calls for methods to detect clones in process models, so that these clones can be refactored as separate subprocesses in order to improve maintainability. This paper presents an indexing structure to support the fast detection of clones in large process model repositories. The proposed index is based on a novel combination of a method for process model decomposition (specifically the Refined Process Structure Tree), with established graph canonization and string matching techniques. Experiments show that the algorithm scales to repositories with hundreds of models. The experimental results also show that a significant number of non-trivial clones can be found in process model repositories taken from industrial practice.

Development of an online condition monitoring system for slow speed machinery

One of the main challenges of slow speed machinery condition monitoring is that the energy generated from an incipient defect is too weak to be detected by traditional vibration measurements due to its low impact energy. Acoustic emission (AE) measurement is an alternative for this as it has the ability to detect crack initiations or rubbing between moving surfaces. However, AE measurement requires high sampling frequency and consequently huge amount of data are obtained to be processed. It also requires expensive hardware to capture those data, storage and involves signal processing techniques to retrieve valuable information on the state of the machine. AE signal has been utilised for early detection of defects in bearings and gears. This paper presents an online condition monitoring (CM) system for slow speed machinery, which attempts to overcome those challenges. The system incorporates relevant signal processing techniques for slow speed CM which include noise removal techniques to enhance the signal-to-noise and peak-holding down sampling to reduce the burden of massive data handling. The analysis software works under Labview environment, which enables online remote control of data acquisition, real-time analysis, offline analysis and diagnostic trending. The system has been fully implemented on a site machine and contributing significantly to improve the maintenance efficiency and provide a safer and reliable operation.

newYAWL : Towards Workflow 2.0

The field of workflow technology has burgeoned in recent years providing a variety of means of automating business processes. It is a great source of opportunity for organisations seeking to streamline and optimise their operations. Despite these advantages however, the current generation of workflow technologies are subject to a variety of criticisms, in terms of their restricted view of what comprises a business process, their imprecise definition and their general inflexibility. As a remedy to these potential difficulties, in this paper we propose a series of development goals for the next generation of workflow technology. We also present newYAWL, a formally defined, multi-perspective reference language for workflow systems.

Thermal analysis and infrared emission spectroscopic study of kaolinite-potassium acetate intercalate complex

The thermal behavior and decomposition of kaolinite-potassium acetate intercalation complex was investigated through a combination of thermogravimetric analysis and infrared emission spectroscopy. Three main changes were observed at 48, 280, 323 and 460 °C which were attributed to (a) the loss of adsorbed water (b) loss of the water coordinated to acetate ion in the layer of kaolinite (c) loss of potassium acetate in the complex and (d) water through dehydroxylation. It is proposed that the KAc intercalation complex is stability except heating at above 300 °C. The infrared emission spectra clearly show the decomposition and dehydroxylation of the kaolinite intercalation complex when the temperature is raised. The dehydration of the intercalation complex is followed by the loss of intensity of the stretching vibration bands at region 3600-3200 cm-1. Dehydroxylation is followed by the decrease in intensity in the bands between 3695 and 3620 cm-1. Dehydration is completed by 400 °C and partial dehydroxylation by 650 °C. The inner hydroxyl group remained until around 700 °C.

Examination of gaze behaviors under in situ and video simulation task constraints reveals differences in information pickup for perception and action

Gaze and movement behaviors of association football goalkeepers were compared under two video simulation conditions (i.e., verbal and joystick movement responses) and three in situ conditions (i.e., verbal, simplified body movement, and interceptive response). The results showed that the goalkeepers spent more time fixating on information from the penalty kick taker’s movements than ball location for all perceptual judgment conditions involving limited movement (i.e., verbal responses, joystick movement, and simplified body movement). In contrast, an equivalent amount of time was spent fixating on the penalty taker’s relative motions and the ball location for the in situ interception condition, which required the goalkeepers to attempt to make penalty saves. The data suggest that gaze and movement behaviors function differently, depending on the experimental task constraints selected for empirical investigations. These findings highlight the need for research on perceptual— motor behaviors to be conducted in representative experimental conditions to allow appropriate generalization of conclusions to performance environments.

The hydrogen-bonded coordination polymer tetracesium bis(5-nitroisophthalate) heptahydrate

The coordination polymer complex tetracesium bis(5-nitroisophthalate) heptahydrate [Cs4(C8H3NO6)2 (H2O)7]n has been synthesized and characterized using single-crystal X-ray diffraction. Crystals are monoclinic, space group P21/c, with Z = 4 in a cell with dimensions a = 12.3213(3), b =6.7557(2) c = 36.2020(9) Å, β = 90.548(2)o. The complex is based on a repeating unit comprising four independent and different Cs coordination centres, two 6-coordinate, and two 8-coordinate [Cs-O, range 2.959(5)-3.386(5)Å], and seven water molecules, two of which are monodentate and the other five bridging, while all other oxygen atoms in the structure, including those of the nitro groups form inter-Cs bridges. Extensive water O-H…O hydrogen-bonding interactions give a three-dimensional framework. This structure represents the first of an alkali metal compound of 5-nitroisophthalic acid that has been reported.