Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

Streptococcus pneumoniae infection suppresses allergic airways disease by inducing regulatory T cells

An inverse association exists between some bacterial infections and the prevalence of asthma. We investigated whether Streptococcus pneumoniae infection protects against asthma using mouse models of ovalbumin (OVA)-induced allergic airway disease (AAD). Mice were intratracheally infected or treated with killed S. pneumoniae before, during or after OVA sensitisation and subsequent challenge. The effects of S. pneumoniae on AAD were assessed. Infection or treatment with killed S. pneumoniae suppressed hallmark features of AAD, including antigen-specific T-helper cell (Th) type 2 cytokine and antibody responses, peripheral and pulmonary eosinophil accumulation, goblet cell hyperplasia, and airway hyperresponsiveness. The effect of infection on the development of specific features of AAD depended on the timing of infection relative to allergic sensitisation and challenge. Infection induced significant increases in regulatory T-cell (Treg) numbers in lymph nodes, which correlated with the degree of suppression of AAD. Tregs reduced T-cell proliferation and Th2 cytokine release. The suppressive effects of infection were reversed by anti-CD25 treatment. Respiratory infection or treatment with S. pneumoniae attenuates allergic immune responses and suppresses AAD. These effects may be mediated by S. pneumoniae-induced Tregs. This identifies the potential for the development of therapeutic agents for asthma from S. pneumoniae.

Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

Schizophrenia and the progression of emotional expression in relation to others

Gaining an improved understanding of people diagnosed with schizophrenia has the potential to influence priorities for therapy. Psychosis is commonly understood through the perspective of the medical model. However, the experience of social context surrounding psychosis is not well understood. In this research project we used a phenomenological methodology with a longitudinal design to interview 7 participants across a 12-month period to understand the social experiences surrounding psychosis. Eleven themes were explicated and divided into two phases of the illness experience: (a) transition into emotional shutdown included the experiences of not being acknowledged, relational confusion, not being expressive, detachment, reliving the past, and having no sense of direction; and (b) recovery from emotional shutdown included the experiences of being acknowledged, expression, resolution, independence, and a sense of direction. The experiential themes provide clinicians with new insights to better assess vulnerability, and have the potential to inform goals for therapy.

A comparison of the effects of a chlamydial vaccine administered during or after a C. muridarum urogenital infection of female mice

There are approximately 92 million new chlamydial infections of the genital tract in humans diagnosed each year, costing health care systems billions of dollars in treatment not only of acute infections, but also of associated inflammatory sequelae, such as pelvic inflammatory disease (PID) and ectopic pregnancy. These numbers are increasing at a steady rate and, due to the asymptomatic nature of infections, the incidence may be underestimated and the costs of treatment therefore higher. Over the previous few decades there has been a large amount of research into the development of an efficacious vaccine against genital tract chlamydial infections. The majority of this research has focused on females, due to the high rate of development of associated diseases, including PID, which can lead to ectopic pregnancy and infertility. In light of the increasing infection rates that have occurred despite the availability of antibiotics, and the asymptomatic nature of chlamydial infections, it is imperative that an efficacious vaccine that protects against infection and associated pathology be developed.

Parent decisions regarding paid work and care of the child

Australia has witnessed a continual increase in maternal employment over the past two decades, which has placed focus on child care- its effects on the child and on early childhood education and care policy and provision. The engagement of women in the paid workforce contributes to national economic development, and is recognised in government policy incentives such as cash subsidies and tax relief for child care fees. These incentives are targeted towards mothers, to encourage them to engage in paid work. Making a contribution to the family’s economy and to a mother’s economic self sufficiency are two key drivers for women’s engagement in satisfying paid work. Many women also seek to maintain a personal investment in the development of their career, simultaneously ensuring that the child is experiencing suitable care. Policies that support women’s choices for satisfying workforce engagement and care arrangements are prudent for ensuring productivity of the economy as well as for enhancing the wellbeing of parents and children (OECD, 2007). Policies that provide family friendly employment arrangements, paid parental leave, and child care support, directly affect maternal employment decisions. Availability of family friendly employment policies is viewed as one way to not only promote gender equity in employment opportunities but also support the wellbeing of children and families (OECD, 2007). Yet there are not comprehensive and coherent policies on work and family in Australia. Australia is due to implement its first paid parental leave scheme in January, 2011. At the time of the data collection of this research, June 2007 to December 2008, Australia had no statutory provision for paid parental leave. To date, most research has focused on the consequences of paid work and care decisions made by women. Far less is known about the processes of decision-making and reasons underlying women’s choices. Investigation of what is most salient for women as they make decisions regarding engagement in paid work, and care for their child is important in order to inform policy and practices related to parental leave, family friendly employment and care for the child. This prospective longitudinal research was of 124 Australian expectant first-time mothers who completed questionnaires in their third trimester of pregnancy, and again at six and twelve months postpartum. First-time expectant mothers' decisions regarding engaging in paid work and selecting care for their child represent those of a group who are invested in motherhood and have usually had direct experience of engaging in paid work. They therefore provide an important insight into society’s idealised views about motherhood and the emotional and social uncertainty of making personal decisions where the consequences of such decisions are unknown. These decisions reflect public beliefs about the role of women in contributing to the country’s productivity and decisions about providing for the economic and emotional care needs of their family. As so little is known about the reasoning and processes of decision-making of women’s choices regarding paid work and care of the child this research was designed to capture expectant first-time mother’s preferred options for engaging in paid work and the care of their child, and investigate their actual decisions made at six and 12 months postpartum. To capture preferred options, decisions and outcomes of decisions regarding paid work and care of the child a prospective longitudinal research design was utilised. This design had three important components that addressed key limitations in the extant literature. First the research commenced in pregnancy in order to investigate preferences and beliefs about paid work and care and to examine baseline data that may influence decisions made as the women returned to paid work. Second the research involved longitudinal tracking from the antenatal time point to six and 12 months postpartum in order to identify the influences on decisions made. Third the research measured outcomes of the decisions made at each time point. This research examined the intentions, preferences, beliefs, influences, and outcomes of the decisions about engagement in paid work and choice of care. The analyses examined factors predicting return to paid work, the timing of return and extent of engagement in paid work; the care for the child; satisfaction with paid work; satisfaction with care for the child, motherhood and fulfilment; and maternal wellbeing at six and 12 months postpartum. The factors of interest were both rational/economic (availability and extent of paid and unpaid maternity leave; flexible work patterns) and emotional/affective (career satisfaction, investment in motherhood, and concern with quality of care for the child). Results indicated a group preference, and realisation for, return to paid work within the first year after the birth of a child but with reduction in hours to part-time. Most women saw paid work not only as a source of income but also as source of personal satisfaction. There were four key themes arising from this research. First, the women strived to feel emotionally secure when deciding about engaging in paid work and care of the child. To achieve emotional security women made their decisions for paid work and care of the child differently. A woman’s decision for maternal employment is a function of her personal beliefs, preferences and context regarding paid work and care of the child. She adjusts her established work identity with her new identity as a mother. The second key theme from this research is that the women made their decisions for maternal employment in response to their personal context and there were different levels of opportunities between the women’s choices. There is inequity of entitlement regarding work conditions associated with a woman’s education level. This has implications for the woman’s engagement in paid work, and her child’s health and wellbeing. The third key theme is that the quality of the child’s care mattered to the women in the research. They preferred care provided by parents and/or relatives more than any other types of care. The fourth key theme identified that satisfaction and wellbeing outcomes experienced as a result of maternal employment decisions were a complex interaction between multiple factors that change across time with the ongoing development of the mother’s identity, and the development of the child. The implications for policy within Australia are that the employment of mothers in the workforce necessitates that non-parental care becomes a public concern, where there is universal access to good quality affordable care for every child, not just for those who can afford it. This is equitable and represents real choice while supporting the rights of the child (Thorpe, Cloney & Tayler, 2010), protecting and promoting the public interest (Cleveland & Krashinsky, 2010). Children’s health and wellbeing will be supported (Moore & Oberklaid, 2010) while children are in non-parental care, and they will be exposed to environments and experiences that support their learning and development. The significant design of the research enabled the trajectories of first-time expectant women to be tracked from the antenatal point to 12 months postpartum. But there were limitations: the small sample size, the over-representation of the sample being highly educated and the nature of a longitudinal research that is set within the economic, social and political context at that time. These limitations are discussed in relation to suggestions for future research.

Geometry vs appearance for discriminating between posed and spontaneous emotions

Spontaneous facial expressions differ from posed ones in appearance, timing and accompanying head movements. Still images cannot provide timing or head movement information directly. However, indirectly the distances between key points on a face extracted from a still image using active shape models can capture some movement and pose changes. This information is superposed on information about non-rigid facial movement that is also part of the expression. Does geometric information improve the discrimination between spontaneous and posed facial expressions arising from discrete emotions? We investigate the performance of a machine vision system for discrimination between posed and spontaneous versions of six basic emotions that uses SIFT appearance based features and FAP geometric features. Experimental results on the NVIE database demonstrate that fusion of geometric information leads only to marginal improvement over appearance features. Using fusion features, surprise is the easiest emotion (83.4% accuracy) to be distinguished, while disgust is the most difficult (76.1%). Our results find different important facial regions between discriminating posed versus spontaneous version of one emotion and classifying the same emotion versus other emotions. The distribution of the selected SIFT features shows that mouth is more important for sadness, while nose is more important for surprise, however, both the nose and mouth are important for disgust, fear, and happiness. Eyebrows, eyes, nose and mouth are important for anger.

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.

Assessment for learning - Why the theory needs the practice

Assessment for Learning is a pedagogical practice with anticipated gains of increased student motivation, mastery and autonomy as learners develop their capacity to monitor and plan their own learning progress. Assessment for Learning (AfL) differs from Assessment of learning in its timing, occurring within the regular flow of learning rather than end point, in its purpose of improving student learning rather than summative grading and in the ownership of the learning where the student voice is heard in judging quality. Since Black and Wiliam (1998) highlighted the achievement gains that AfL practices seem to bring to all learners in classrooms, it has become part of current educational policy discourse in Australia, yet teacher adoption of the practices is not a straightforward implementation of techniques within an existing classroom repertoire. As can be seen from the following meta-analysis, recent research highlights a more complex interrelationship between teacher and student beliefs about learning and assessment, and the social and cultural interactions in and contexts of the classroom. More research is needed from a sociocultural perspective that allows meaning to emerge from practice. Before another policy push, we need to understand better the many factors within the assessment relationship. We need to hear from teachers and students through long-term AfL case studies both to inform AfL theory and to shed light on the complexities of pedagogical change for enhancing learner autonomy.

Conceptualising and teaching discursive and performative reflection in higher education

The importance of reflection in higher education, and across disciplinary fields is widely recognised. It is generally embedded in university graduate attributes, professional standards and course objectives. Furthermore, reflection is commonly included in assessment requirements in higher education subjects, often without necessary scaffolding or clear expectations for students. It is essential that academic staff have substantive knowledge and clear expectations about the aims of reflective activities, the most effective mode of representation, and appropriate teaching strategies to support students in deep, critical reflection. The paper argues the case for reflection to be represented in different modes, using discursive (language) or performative (symbolic practice) forms of expression according to disciplinary context and individual communicative strengths. It introduces key discursive and expressive elements that constitute different modes of representation in reflective tasks. This functional analysis of textual elements provides explicit knowledge for teaching and assessing multiple modes of reflection in higher education.

Gimmelife : listening for dialogic voices in the email self-narratives of gifted young adolescents

The art of listening for voices within narrative research is a positive endeavour that has specific value within research design and subsequent approaches to analysis. This paper details an investigation into the dialogic nature of voices among gifted young adolescents who engaged in the co-construction of email-generated self-narratives. Data are drawn from a study involving ten adolescents, aged between ten and fourteen years, diagnosed as gifted according to Australian guidelines. Individual participants were asked to produce self-managed journal entries written and sent as asynchronous emails to the researcher who was the sole recipient and respondent. Within this approach, specific techniques of listening were used to examine a series of multi-vocal narratives generated over a period of six months. This paper proposes that an adaptation of the everyday convenience of email with the traditional journal format as a self-report mechanism creates a synergy that fosters self-disclosure. Individual excerpts are presented to show that the harnessing of personal narratives within an email context has potential to yield valuable insights into the emotions, personal realities and experiences of gifted young adolescents. Furthermore, the co-construction of self-expressive and explanatory narratives supported by a facilitative adult listener appeared to promote healthy self-awareness amongst participants. This paper contributes to narrative exploration in two distinct ways: first, in using online methods for gaining access to the everyday, emotional realities of participants; and, second, in demonstrating the value of listening as a narrative technique for uncovering layers of voices across a body of texts produced over time. These methods represent an innovative attempt to move beyond face-to-face approaches and away from a focus on content and coding techniques that might oversimplify complex emotions.

High frequency of BRAF mutations in nevi

To evaluate the timing of mutations in BRAF (v-raf murine sarcoma viral oncogene homolog B1) during melanocytic neoplasia, we carried out mutation analysis on microdissected melanoma and nevi samples. We observed mutations resulting in the V599E amino-acid substitution in 41 of 60 (68%) melanoma metastases, 4 of 5 (80%) primary melanomas and, unexpectedly, in 63 of 77 (82%) nevi. These data suggest that mutational activation of the RAS/RAF/MAPK pathway in nevi is a critical step in the initiation of melanocytic neoplasia but alone is insufficient for melanoma tumorigenesis.

Choreographic approaches to music composition for a new musical interface : the eMic

Gesture in performance is widely acknowledged in the literature as an important element in making a performance expressive and meaningful. The body has been shown to play an important role in the production and perception of vocal performance in particular. This paper is interested in the role of gesture in creative works that seek to extend vocal performance via technology. A creative work for vocal performer, laptop computer and a Human Computer Interface called the eMic (Extended Microphone Stand Interface controller) is presented as a case study, to explore the relationships between movement, voice production, and musical expression. The eMic is an interface for live vocal performance that allows the singers’ gestures and interactions with a sensor based microphone stand to be captured and mapped to musical parameters. The creative work discussed in this paper presents a new compositional approach for the eMic by working with movement as a starting point for the composition and thus using choreographed gesture as the basis for musical structures. By foregrounding the body and movement in the creative process, the aim is to create a more visually engaging performance where the performer is able to more effectively use the body to express their musical objectives.

Use of precision time protocol to synchronize sampled value process buses

Transmission smart grids will use a digital platform for the automation of high voltage substations. The IEC 61850 series of standards, released in parts over the last ten years, provide a specification for substation communications networks and systems. These standards, along with IEEE Std 1588-2008 Precision Time Protocol version 2 (PTPv2) for precision timing, are recommended by the both IEC Smart Grid Strategy Group and the NIST Framework and Roadmap for Smart Grid Interoperability Standards for substation automation. IEC 61850, PTPv2 and Ethernet are three complementary protocol families that together define the future of sampled value digital process connections for smart substation automation. A time synchronisation system is required for a sampled value process bus, however the details are not defined in IEC 61850-9-2. PTPv2 provides the greatest accuracy of network based time transfer systems, with timing errors of less than 100 ns achievable. The suitability of PTPv2 to synchronise sampling in a digital process bus is evaluated, with preliminary results indicating that steady state performance of low cost clocks is an acceptable ±300 ns, but that corrections issued by grandmaster clocks can introduce significant transients. Extremely stable grandmaster oscillators are required to ensure any corrections are sufficiently small that time synchronising performance is not degraded.

Assessment of preterm infants' readiness to commence breastfeeding

Preterm infants commence breastfeeding when health-care professionals deem them to be ready. However, the optimal timing for commencement of breastfeeding is unclear. Currently, there is little guidance for neonatal care providers to decide when to initiate breastfeeding among preterm infants. A mixed-methods study was conducted to develop and test the Preterm Sucking Readiness (PTSR) scale in four phases. The first phase involved a chart audit to explore the use of age as a criterion by investigating when preterm infants meet feeding milestones as well as other factors that may affect an infant’s readiness to engage in nutritive sucking behaviour. The second phase utilised focus groups to explore and define how neonatal care providers decide when to commence breastfeeding. To gain consensus on the criteria mentioned by the focus groups, a Delphi survey was conducted in phase 3, involving neonatal providers across Australia and New Zealand. Phase 4 of the study involved an observational study that was used to test the six-item PTSR. The age at which specific feeding milestones were reached was consistent with what has been previously described in the literature. The chart audit showed that the time taken to the first feeding attempt in the preterm infant population was affected by gestational age at birth, birth weight, and specific interventions. Staff also considered age along with other criteria when deciding when to initiate feeding. Consensus on nine criteria for inclusion into the six-item PTSR was achieved using the Delphi technique. Three items of PTSR showed significant differences between the preterm and fullterm infant groups. Only two items, feeding-readiness behaviour and low pulse oximetry during handling, explained the variance in breastfeeding behaviour. The inter-rater variability ranged between moderate and very good for the PTSR items. The results of this study indicate the importance of assessing behavioural cues as an indication of breastfeeding readiness in the preterm infant population, once an infant is deemed physiologically stable. Age continues to be a factor in some clinicians' decisions to commence breastfeeding. However, age alone cannot be used to decide if an infant is ready to engage in breastfeeding. Further research is needed to confirm these findings.