History-aware, real-time risk detection in business processes (Extended Version)

This paper proposes a novel approach for identifying risks in executable business processes and detecting them at run time. The approach considers risks in all phases of the business process management lifecycle, and is realized via a distributed, sensor-based architecture. At design-time, sensors are defined to specify risk conditions which when fulfilled, are a likely indicator of faults to occur. Both historical and current execution data can be used to compose such conditions. At run-time, each sensor independently notifies a sensor manager when a risk is detected. In turn, the sensor manager interacts with the monitoring component of a process automation suite to prompt the results to the user who may take remedial actions. The proposed architecture has been implemented in the YAWL system and its performance has been evaluated in practice.

Facilitating learning in a real time strategy computer game

The aim of this project was to implement a just-in-time hints help system into a real time strategy (RTS) computer game that would deliver information to the user at the time that it would be of the most benefit. The goal of this help system is to improve the user’s learning in terms of their rate of learning, retention and avoidance of stagnation. The first stage of this project was implementing a computer game to incorporate four different types of skill that the user must acquire, namely motor, perceptual, declarative knowledge and strategic. Subsequently, the just-in-time hints help system was incorporated into the game to assess the user’s knowledge and deliver hints accordingly. The final stage of the project was to test the effectiveness of this help system by conducting two phases of testing. The goal of this testing was to demonstrate an increase in the user’s assessment of the helpfulness of the system from phase one to phase two. The results of this testing showed that there was no significant difference in the user’s responses in the two phases. However, when the results were analysed with respect to several categories of hints that were identified, it became apparent that patterns in the data were beginning to emerge. The conclusions of the project were that further testing with a larger sample size would be required to provide more reliable results and that factors such as the user’s skill level and different types of goals should be taken into account.

Identification of circulating tumour cells in early stage breast cancer patients using multi marker immunobead RT-PCR

Introduction The ability to screen blood of early stage operable breast cancer patients for circulating tumour cells is of potential importance for identifying patients at risk of developing distant relapse. We present the results of a study of the efficacy of the immunobead RT-PCR method in identifying patients with circulating tumour cells. Results Immunomagnetic enrichment of circulating tumour cells followed by RT-PCR (immunobead RT-PCR) with a panel of five epithelial specific markers (ELF3, EPHB4, EGFR, MGB1 and TACSTD1) was used to screen for circulating tumour cells in the peripheral blood of 56 breast cancer patients. Twenty patients were positive for two or more RT-PCR markers, including seven patients who were node negative by conventional techniques. Significant increases in the frequency of marker positivity was seen in lymph node positive patients, in patients with high grade tumours and in patients with lymphovascular invasion. A strong trend towards improved disease free survival was seen for marker negative patients although it did not reach significance (p = 0.08). Conclusion Multi-marker immunobead RT-PCR analysis of peripheral blood is a robust assay that is capable of detecting circulating tumour cells in early stage breast cancer patients.

Towards automated and in-situ, near-real time 3-D reconstruction of coral reef environments

Coral reefs are biologically complex ecosystems that support a wide variety of marine organisms. These are fragile communities under enormous threat from natural and human-based influences. Properly assessing and measuring the growth and health of reefs is essential to understanding impacts of ocean acidification, coastal urbanisation and global warming. In this paper, we present an innovative 3-D reconstruction technique based on visual imagery as a non-intrusive, repeatable, in situ method for estimating physical parameters, such as surface area and volume for efficient assessment of long-term variability. The reconstruction algorithms are presented, and benchmarked using an existing data set. We validate the technique underwater, utilising a commercial-off-the-shelf camera and a piece of staghorn coral, Acropora cervicornis. The resulting reconstruction is compared with a laser scan of the coral piece for assessment and validation. The comparison shows that 77% of the pixels in the reconstruction are within 0.3 mm of the ground truth laser scan. Reconstruction results from an unknown video camera are also presented as a segue to future applications of this research.

Broadening of transgenic adenocarcinoma of the mouse prostate (TRAMP) model to represent late stage androgen depletion independent cancer

BACKGROUND The transgenic adenocarcinoma of the mouse prostate (TRAMP) model closely mimics PC-progression as it occurs in humans. However, the timing of disease incidence and progression (especially late stage) makes it logistically difficult to conduct experiments synchronously and economically. The development and characterization of androgen depletion independent (ADI) TRAMP sublines are reported. METHODS Sublines were derived from androgen-sensitive TRAMP-C1 and TRAMP-C2 cell lines by androgen deprivation in vitro and in vivo. Epithelial origin (cytokeratin) and expression of late stage biomarkers (E-cadherin and KAI-1) were evaluated using immunohistochemistry. Androgen receptor (AR) status was assessed through quantitative real time PCR, Western blotting, and immunohistochemistry. Coexpression of AR and E-cadherin was also evaluated. Clonogenicity and invasive potential were measured by soft agar and matrigel invasion assays. Proliferation/survival of sublines in response to androgen was assessed by WST-1 assay. In vivo growth of subcutaneous tumors was assessed in castrated and sham-castrated C57BL/6 mice. RESULTS The sublines were epithelial and displayed ADI in vitro and in vivo. Compared to the parental lines, these showed (1) significantly faster growth rates in vitro and in vivo independent of androgen depletion, (2) greater tumorigenic, and invasive potential in vitro. All showed substantial downregulation in expression levels of tumor suppressor, E-cadherin, and metastatis suppressor, KAI-1. Interestingly, the percentage of cells expressing AR with downregulated E-cadherin was higher in ADI cells, suggesting a possible interaction between the two pathways. CONCLUSIONS The TRAMP model now encompasses ADI sublines potentially representing different phenotypes with increased tumorigenicity and invasiveness.

A transport protocol for real-time applications in wireless networked control systems

A Networked Control System (NCS) is a feedback-driven control system wherein the control loops are closed through a real-time network. Control and feedback signals in an NCS are exchanged among the system’s components in the form of information packets via the network. Nowadays, wireless technologies such as IEEE802.11 are being introduced to modern NCSs as they offer better scalability, larger bandwidth and lower costs. However, this type of network is not designed for NCSs because it introduces a large amount of dropped data, and unpredictable and long transmission latencies due to the characteristics of wireless channels, which are not acceptable for real-time control systems. Real-time control is a class of time-critical application which requires lossless data transmission, small and deterministic delays and jitter. For a real-time control system, network-introduced problems may degrade the system’s performance significantly or even cause system instability. It is therefore important to develop solutions to satisfy real-time requirements in terms of delays, jitter and data losses, and guarantee high levels of performance for time-critical communications in Wireless Networked Control Systems (WNCSs). To improve or even guarantee real-time performance in wireless control systems, this thesis presents several network layout strategies and a new transport layer protocol. Firstly, real-time performances in regard to data transmission delays and reliability of IEEE 802.11b-based UDP/IP NCSs are evaluated through simulations. After analysis of the simulation results, some network layout strategies are presented to achieve relatively small and deterministic network-introduced latencies and reduce data loss rates. These are effective in providing better network performance without performance degradation of other services. After the investigation into the layout strategies, the thesis presents a new transport protocol which is more effcient than UDP and TCP for guaranteeing reliable and time-critical communications in WNCSs. From the networking perspective, introducing appropriate communication schemes, modifying existing network protocols and devising new protocols, have been the most effective and popular ways to improve or even guarantee real-time performance to a certain extent. Most previously proposed schemes and protocols were designed for real-time multimedia communication and they are not suitable for real-time control systems. Therefore, devising a new network protocol that is able to satisfy real-time requirements in WNCSs is the main objective of this research project. The Conditional Retransmission Enabled Transport Protocol (CRETP) is a new network protocol presented in this thesis. Retransmitting unacknowledged data packets is effective in compensating for data losses. However, every data packet in realtime control systems has a deadline and data is assumed invalid or even harmful when its deadline expires. CRETP performs data retransmission only in the case that data is still valid, which guarantees data timeliness and saves memory and network resources. A trade-off between delivery reliability, transmission latency and network resources can be achieved by the conditional retransmission mechanism. Evaluation of protocol performance was conducted through extensive simulations. Comparative studies between CRETP, UDP and TCP were also performed. These results showed that CRETP significantly: 1). improved reliability of communication, 2). guaranteed validity of received data, 3). reduced transmission latency to an acceptable value, and 4). made delays relatively deterministic and predictable. Furthermore, CRETP achieved the best overall performance in comparative studies which makes it the most suitable transport protocol among the three for real-time communications in a WNCS.

A conditional retransmission enabled transport protocol for real-time networked control systems

Real-time networked control systems (NCSs) over data networks are being increasingly implemented on a massive scale in industrial applications. Along with this trend, wireless network technologies have been promoted for modern wireless NCSs (WNCSs). However, popular wireless network standards such as IEEE 802.11/15/16 are not designed for real-time communications. Key issues in real-time applications include limited transmission reliability and poor transmission delay performance. Considering the unique features of real-time control systems, this paper develops a conditional retransmission enabled transport protocol (CRETP) to improve the delay performance of the transmission control protocol (TCP) and also the reliability performance of the user datagram protocol (UDP) and its variants. Key features of the CRETP include a connectionless mechanism with acknowledgement (ACK), conditional retransmission and detection of ineffective data packets on the receiver side.

Modelling and performance evaluation of the IEEE 802.11 DCF for real-time control

Popular wireless networks, such as IEEE 802.11/15/16, are not designed for real-time applications. Thus, supporting real-time quality of service (QoS) in wireless real-time control is challenging. This paper adopts the widely used IEEE 802.11, with the focus on its distributed coordination function (DCF), for soft-real-time control systems. The concept of the critical real-time traffic condition is introduced to characterize the marginal satisfaction of real-time requirements. Then, mathematical models are developed to describe the dynamics of DCF based real-time control networks with periodic traffic, a unique feature of control systems. Performance indices such as throughput and packet delay are evaluated using the developed models, particularly under the critical real-time traffic condition. Finally, the proposed modelling is applied to traffic rate control for cross-layer networked control system design.

Stepwise refinement of interrupt-driven real-time programs

Embedded real-time programs rely on external interrupts to respond to events in their physical environment in a timely fashion. Formal program verification theories, such as the refinement calculus, are intended for development of sequential, block-structured code and do not allow for asynchronous control constructs such as interrupt service routines. In this article we extend the refinement calculus to support formal development of interrupt-dependent programs. To do this we: use a timed semantics, to support reasoning about the occurrence of interrupts within bounded time intervals; introduce a restricted form of concurrency, to model composition of interrupt service routines with the main program they may preempt; introduce a semantics for shared variables, to model contention for variables accessed by both interrupt service routines and the main program; and use real-time scheduling theory to discharge timing requirements on interruptible program code.

Gatekeeping, gatewatching, real-time feedback : new challenges for Journalism

How bloggers and other independent online commentators criticise, correct, and otherwise challenge conventional journalism has been known for years, but has yet to be fully accepted by journalists; hostilities between the media establishment and the new generation of citizen journalists continue to flare up from time to time. The old gatekeeping monopoly of the mass media has been challenged by the new practice of gatewatching: by individual bloggers and by communities of commentators which may not report the news first-hand, but curate and evaluate the news and other information provided by official sources, and thus provide an important service. And this now takes place ever more rapidly, almost in real time: using the latest social networks, which disseminate, share, comment, question, and debunk news reports within minutes, and using additional platforms that enable fast and effective ad hoc collaboration between users. When hundreds of volunteers can prove within a few days that a German minister has been guilty of serious plagiarism, when the world first learns of earthquakes and tsunamis via Twitter – how does journalism manage to keep up?

Calcium ions promote osteogenic differentiation and mineralization of human dental pulp cells : implication for pulp capping materials

Calcium (Ca) is the main element of most pulp capping materials and plays an essential role in mineralization. Different pulp capping materials can release various concentrations of Ca ions leading to different clinical outcomes. The purpose of this study was to investigate the effects of various concentrations of Ca ions on the growth and osteogenic differentiation of human dental pulp cells (hDPCs). Different concentrations of Ca ions were added to growth culture medium and osteogenic inductive culture medium. A Cell Counting Kit-8 (CCK-8) was used to determine the proliferation of hDPCs in growth culture medium. Osteogenic differentiation and mineralization were measured by alkaline phosphatase (ALP) assay, Alizarin red S/von kossa staining, calcium content quantitative assay. The selected osteogenic differentiation markers were investigated by quantitative real-time polymerase chain reaction (qRT-PCR). Within the range of 1.8–16.2 mM, increased concentrations of Ca ions had no effect on cell proliferation, but led to changes in osteogenic differentiation. It was noted that enhanced mineralized matrix nodule formation was found in higher Ca ions concentrations; however, ALP activity and gene expression were reduced. qRT-PCR results showed a trend towards down-regulated mRNA expression of type I collagen (COL1A2) and Runx2 at elevated concentrations of Ca ions, whereas osteopontin (OPN) and osteocalcin (OCN) mRNA expression was significantly up-regulated. Ca ions content in the culture media can significantly influence the osteogenic properties of hDPCs, indicating the importance of optimizing Ca ions release from dental pulp capping materials in order to achieve desirable clinical outcomes.

Real-time detection of concealed chemical hazards under ambient light conditions using Raman spectroscopy

Current concerns regarding terrorism and international crime highlight the need for new techniques for detecting unknown and hazardous substances. A novel Raman spectroscopy-based technique, spatially offset Raman spectroscopy (SORS), was recently devised for non-invasively probing the contents of diffusely scattering and opaque containers. Here, we demonstrate a modified portable SORS sensor for detecting concealed substances in-field under different background lighting conditions. Samples including explosive precursors, drugs and an organophosphate insecticide (chemical warfare agent surrogate) were concealed inside diffusely scattering packaging including plastic, paper and cloth. Measurements were carried out under incandescent and fluorescent light as well as under daylight to assess the suitability of the probe for different real-life conditions. In each case, it was possible to identify the substances against their reference Raman spectra in less than one minute. The developed sensor has potential for rapid detection of concealed hazardous substances in airports, mail distribution centers and customs checkpoints.

Evolutionary placement of continuously operating reference stations of network Real-Time Kinematic

Network RTK (Real-Time Kinematic) is a technology that is based on GPS (Global Positioning System) or more generally on GNSS (Global Navigation Satellite System) observations to achieve centimeter-level accuracy positioning in real time. It is enabled by a network of Continuously Operating Reference Stations (CORS). CORS placement is an important problem in the design of network RTK as it directly affects not only the installation and running costs of the network RTK, but also the Quality of Service (QoS) provided by the network RTK. In our preliminary research on the CORS placement, we proposed a polynomial heuristic algorithm for a so-called location-based CORS placement problem. From a computational point of view, the location-based CORS placement is a largescale combinatorial optimization problem. Thus, although the heuristic algorithm is efficient in computation time it may not be able to find an optimal or near optimal solution. Aiming at improving the quality of solutions, this paper proposes a repairing genetic algorithm (RGA) for the location-based CORS placement problem. The RGA has been implemented and compared to the heuristic algorithm by experiments. Experimental results have shown that the RGA produces better quality of solutions than the heuristic algorithm.

Dynamic compression improves biosynthesis of human zonal chondrocytes from osteoarthritis patients

Objective: We hypothesize that chondrocytes from distinct zones of articular cartilage respond differently to compressive loading, and that zonal chondrocytes from osteoarthritis (OA) patients can benefit from optimized compressive stimulation. Therefore, we aimed to determine the transcriptional response of superficial (S) and middle/deep (MD) zone chondrocytes to varying dynamic compressive strain and loading duration. To confirm effects of compressive stimulation on overall matrix production, we subjected zonal chondrocytes to compression for 2 weeks. Design: Human S and MD chondrocytes from osteoarthritic joints were encapsulated in 2% alginate, pre-cultured, and subjected to compression with varying dynamic strain (5, 15, 50% at 1 Hz) and loading duration (1, 3, 12 h). Temporal changes in cartilage-specific, zonal, and dedifferentiation genes following compression were evaluated using quantitative real-time reverse transcriptase polymerase chain reaction (qRT-PCR). The benefits of long-term compression (50% strain, 3 h/day, for 2 weeks) were assessed by measuring construct glycosaminoglycan (GAG) content and compressive moduli, as well as immunostaining. Results: Compressive stimulation significantly induced aggrecan (ACAN), COL2A1, COL1A1, proteoglycan 4 (PRG4), and COL10A1 gene expression after 2 h of unloading, in a zone-dependent manner (P < 0.05). ACAN and PRG4 mRNA levels depended on strain and load duration, with 50% and 3 h loading resulting in highest levels (P < 0.05). Long-term compression increased collagen type II and ACAN immunostaining and total GAG (P < 0.05), but only S constructs showed more PRG4 stain, retained more GAG (P < 0.01), and developed higher compressive moduli than non-loaded controls. Conclusions: The biosynthetic activity of zonal chondrocytes from osteoarthritis joints can be enhanced with selected compression regimes, indicating the potential for cartilage tissue engineering applications. © 2012 Osteoarthritis Research Society International.