Abstract processes of place/transition systems

A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of equivalence classes of Goltz-Reisig processes, using an equivalence proposed by Best and Devillers. It yields a fully satisfying solution for at least all one-safe nets. However, for certain nets which intuitively have different conflicting behaviours, it yields only one maximal abstract process. Here we identify a class of place/transition systems, called structural conflict nets, where conflict and concurrency due to token multiplicity are clearly separated. We show that, in the case of structural conflict nets, the equivalence proposed by Best and Devillers yields a unique maximal abstract process only for conflict-free nets. Thereby BD-processes constitute a simple and fully satisfying solution in the class of structural conflict nets.     

Product Focused Software Process Improvement: Concepts and Experiences from Industry

Management problems in the development of software have been addressed over the last years by a strong focus on the improvement of the development processes. Software process improvement (SPI) activities are characterized by an internal focus on a software development department and its procedures. However, the quality of the product is hardly addressed in software process improvement programs. This paper presents the application of a model for product focused SPI (P-SPI) and describes experiences with this model in practice. The main conclusions are that P-SPI puts products to be developed in a central position in improvement programs, results in fulfilling specific quality goals of a company and project, and industrial experiments show interesting benefits. Applying the approach in industrial projects showed that P-SPI is relatively cheap and gives fast results and high benefits.     

Quality through Managed Improvement and Measurement (QMIM): Towards a Phased Development and Implementation of a Quality Management System for a Software Company

The paper describes results of a longitudinal study of developments in the area of software product and process quality improvement within a Hungarian software company, IQSOFT Ltd. This company has been active in this area since 1993, trying to build, introduce and maintain an efficiently working quality management system which, e.g., fulfils the ISO 9001 requirements, allows steady software process improvement and, at the same time, conforms to company's own needs. Over the last eight years five phases could be distinguished. Each phase is described shortly, following the same structure, namely: basic starting points, key problem areas, literature consulted, activities and design executed, reflections on what happened and why. The lessons resulting from the analysis of this case have been formulated in terms of guidelines. We feel that these are applicable to any low maturity software development organisation embarking on a product or process quality improvement endeavour. These guidelines are developed around a framework containing the basic issues of software production (project management, technical processes and products). The guidelines advocate a careful step-by-step development of definitions, quality characteristics, and metrics related to these objects while at the same time developing and introducing the associated process.     

Effect of set-up error on the dose across the junction of matching cranial-spinal fields in the treatment of medulloblastoma

PURPOSE: The effect of systematic and stochastic setup error on the dose delivered to the gap region for the three field radiation treatment of medulloblastoma is studied. The consequences of such setup error is discussed. METHODS AND MATERIALS: The treatment of medulloblastoma is typically a 3 field technique, in which two lateral cranial fields are matched with a spine field. The x-ray dose delivered to the region between the matched fields depends upon the gap size. The choice of the gap width between the cranial and spinal fields is controversial. It is currently a compromise between minimizing the risk of dose hot spots to the spine, and the associated clinical complications, as well as the magnitude of cold spots (underdosing) across the gap, with the associated risk of disease recurrence. In this paper, we examine the effect of gap width with a moving junction, referred to as "field feathering", on the dose across the field junction for a 6MV photon beam. In addition, we have studied 129 portal films and 40 simulation films to assess the accuracy and precision of patient setup during treatment with a plan involving feathered fields. Selected landmarks observable on both portal and simulation films were identified and the variation in the distances to the field edges measured. The distribution of patient setup error was convoluted with the beam profiles for a 6MV linac. These convoluted field edges were used obtain dose profiles across the gap region as a function of gap separation. The consequences for therapy are discussed. In addition, analysis of patient setup error on an alternative treatment involving beam modifiers to broaden the beam penumbra is discussed. RESULTS: The magnitude of the spatial stochastic and systematic setup error was determined to be approximately three and two millimeters respectively. The dosimetric consequences of patient setup error lead to over and under dosing in the spinal gap region for the three field technique. The degree of under or over dose depends on the nature and magnitude of the patient setup error. CONCLUSIONS: The effect of patient setup error can lead to significant dosimetric errors in the dose to the gap region depending on the magnitude of the setup errors. The effective over and under dose can be compensated by the use beams modifiers such as a beam spoiler or vibrating jaws.     

The use of NDVI and its Derivatives for Monitoring Lake Victoria’s Water Level and Drought Conditions

Normalized Difference Vegetation Index (NDVI), which is a measure of vegetation vigour, and lake water levels respond variably to precipitation and its deficiency. For a given lake catchment, NDVI may have the ability to depict localized natural variability in water levels in response to weather patterns. This information may be used to decipher natural from unnatural variations of a given lake’s surface. This study evaluates the potential of using NDVI and its associated derivatives (VCI (vegetation condition index), SVI (standardised vegetation index), AINDVI (annually integrated NDVI), green vegetation function (F _g ), and NDVIA (NDVI anomaly)) to depict Lake Victoria’s water levels. Thirty years of monthly mean water levels and a portion of the Global Inventory Modelling and Mapping Studies (GIMMS) AVHRR (Advanced Very High Resolution Radiometer) NDVI datasets were used. Their aggregate data structures and temporal co-variabilities were analysed using GIS/spatial analysis tools. Locally, NDVI was found to be more sensitive to drought (i.e., responded more strongly to reduced precipitation) than to water levels. It showed a good ability to depict water levels one-month in advance, especially in moderate to low precipitation years. SVI and SWL (standardized water levels) used in association with AINDVI and AMWLA (annual mean water levels anomaly) readily identified high precipitation years, which are also when NDVI has a low ability to depict water levels. NDVI also appears to be able to highlight unnatural variations in water levels. We propose an iterative approach for the better use of NDVI, which may be useful in developing an early warning mechanisms for the management of lake Victoria and other Lakes with similar characteristics.     

Qualitative Differences Between Conscious and Nonconscious Processing? On Inverse Priming Induced by Masked Arrows.

In general, both consciously and unconsciously perceived stimuli facilitate responses to following similar stimuli. However, masked arrows delay responses to following arrows. This inverse priming has been ascribed to inhibition of premature motor activation, more recently even to special processing of nonconsciously perceived material. Here, inverse priming depended on particular masks, was insensitive to contextual requirements for increased inhibition, and was constant across response speeds. Putative signs of motor inhibition in the electroencephalogram may as well reflect activation of the opposite response. Consequently, rather than profiting from inhibition of primed responses, the alternative response is directly primed by perceptual interactions of primes and masks. Thus there is no need to assume separate pathways for nonconscious and conscious processing. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The W-Process for Software Product Evaluation: A Method for Goal-Oriented Implementation of the ISO 14598 Standard

The importance of software product evaluations will grow with the awareness of the need for better software quality. The process to conduct such evaluations is crucial to get evaluation results that can be applied and meet customers' expectations. This paper reviews a well-known evaluation process: the ISO 14598 standard. The review focuses on the difficulties in selecting and evaluating the appropriate evaluation techniques. The review shows that the standard has problems in applying evaluation processes in practice due to insufficient attention to goal definition and to relationships between activities being implicit. Also, the standard ignores the trade-off between goals and resources and pays insufficient attention to feedback. To address these deficiencies, the W-process is proposed. It extends the standard through an improved process structure and additional guidelines.     

Correlation of Immunological and Histopathological Features with Gene Expression-Based Classifiers in Colon Cancer Patients

The purpose of this study was to evaluate the association between four distinct histopathological features: (1) tumor infiltrating lymphocytes, (2) mucinous differentiation, (3) tumor-stroma ratio, plus (4) tumor budding and two gene expression-based classifiers—(1) consensus molecular subtypes (CMS) plus (2) colorectal cancer intrinsic subtypes (CRIS). All four histopathological features were retrospectively scored on hematoxylin and eosin sections of the most invasive part of the primary tumor in 218 stage II and III colon cancer patients from two independent cohorts (AMC-AJCC-90 and AC-ICAM). RNA-based CMS and CRIS assignments were independently obtained for all patients. Contingency tables were constructed and a χ2 test was used to test for statistical significance. Odds ratios with 95% confidence intervals were calculated. The presence of tumor infiltrating lymphocytes and a mucinous phenotype (>50% mucinous surface area) were strongly correlated with CMS1 (p < 0.001 and p = 0.008) and CRIS-A (p = 0.006 and p < 0.001). The presence of mucus (≥ 10%) was associated with CMS3: mucus was present in 64.1% of all CMS3 tumors (p < 0.001). Although a clear association between tumor-stroma ratio and CMS4 was established in this study (p = 0.006), still 32 out of 61 (52.5%) CMS4 tumors were scored as stroma-low, indicating that CMS4 tumors cannot be identified solely based on stromal content. Higher budding counts were seen in CMS4 and CRIS-B tumors (p = 0.045 and p = 0.046). No other associations of the measured parameters were seen for any of the other CRIS subtypes. Our analysis revealed clear associations between histopathologic features and CMS or CRIS subtypes. However, identification of distinct molecular subtypes solely based on histopathology proved to be infeasible. Combining both molecular and morphologic features could potentially improve patient stratification.     

Generation of Functional Immortalized Human Corneal Stromal Stem Cells

In addition to their therapeutic potential in regenerative medicine, human corneal stromal stem cells (CSSCs) could serve as a powerful tool for drug discovery and development. Variations from different donors, their isolation method, and their limited life span in culture hinder the utility of primary human CSSCs. To address these limitations, this study aims to establish and characterize immortalized CSSC lines (imCSSC) generated from primary human CSSCs. Primary CSSCs (pCSSC), isolated from human adult corneoscleral tissue, were transduced with ectopic expression of hTERT, c-MYC, or the large T antigen of the Simian virus 40 (SV40T) to generate imCSSC. Cellular morphology, proliferation capacity, and expression of CSSCs specific surface markers were investigated in all cell lines, including TNFAIP6 gene expression levels in vitro, a known biomarker of in vivo anti-inflammatory efficacy. SV40T-overexpressing imCSSC successfully extended the lifespan of pCSSC while retaining a similar morphology, proliferative capacity, multilineage differentiation potential, and anti-inflammatory properties. The current study serves as a proof-of-concept that immortalization of CSSCs could enable a large-scale source of CSSC for use in regenerative medicine.     

A Partial Order Approach to Branching Time Logic Model Checking

Partial order techniques enable reducing the size of the state space used for model checking, thus alleviating the “state space explosion” problem. These reductions are based on selecting a subset of the enabled operations from each program state. So far, these methods have been studied, implemented, and demonstrated for assertional languages that model the executions of a program as computation sequences, in particular the linear temporal logic. The present paper shows, for the first time, how this approach can be applied to languages that model the behavior of a program as a tree. We study here partial order reductions for branching temporal logics, e.g., the logics CTL and CTL* (with the next time operator removed) and process algebra logics such as Hennesy–Milner logic (withτactions). Conditions on the selection of subset of successors from each state during the state-space construction, which guarantee reduction that preserves CTL* properties, are given. The experimental results provided show that the reduction is substantial.