The biconnected verification of workflow nets

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information

Calcitonin receptor plays a physiological role to protect against hypercalcemia in mice

It is well established that calcitonin is a potent inhibitor of bone resorption; however, a physiological role for calcitonin acting through its cognate receptor, the calcitonin receptor (CTR), has not been identified. Data from previous genetically modified animal models have recognized a possible role for calcitonin and the CTR in controlling bone formation; however, interpretation of these data are complicated, in part because of their mixed genetic background. Therefore, to elucidate the physiological role of the CTR in calcium and bone metabolism, we generated a viable global CTR knockout (KO) mouse model using the Cre/loxP system, in which the CTR is globally deleted by >94% but <100%. Global CTRKOs displayed normal serum ultrafiltrable calcium levels and a mild increase in bone formation in males, showing that the CTR plays a modest physiological role in the regulation of bone and calcium homeostasis in the basal state in mice. Furthermore, the peak in serum total calcium after calcitriol [1,25(OH)2D3]-induced hypercalcemia was substantially greater in global CTRKOs compared with controls. These data provide strong evidence for a biological role of the CTR in regulating calcium homeostasis in states of calcium stress.

Engaging creativity through an action learning and action research process to develop an Indigenous art exhibition

In most art exhibitions, the creative part of the exhibition is assumed to be the artworks on display. But for the Capricornia Arts Mob’s first collective art exhibition in Rockhampton during NAIDOC Week in 2012, the process of developing the exhibition became the focus of creative action learning and action research. In working together to produce a multi-media exhibition, we learned about the collaborative processes and time required to develop a combined exhibition. We applied Indigenous ways of working – including yarning, cultural respect, cultural protocols, mentoring young people, providing a culturally safe working environment and sharing both time and food – to develop our first collective art exhibition. We developed a process that allowed us to ask deep questions, engage in a joint journey of learning, and develop our collective story. This paper explores the processes that the Capricornia Arts Mob used to develop the exhibition for NAIDOC 2012.

Free for all : a case study examining implementation factors of one-to-one device programs

Despite significant investment in school one-to-one device programs, little is known about which aspects of program implementation work and why. Through a comparison of two implementation models, adopter-diffusion and saturation, and using existing data from the One Laptop per Child Australia laptop program, we explored how factors of implementation may affect device diffusion, learning and educational outcomes, and program sustainability in schools. In this article we argue that more focused research into implementation of one-to-one device programs, moving beyond comparisons of “devices versus without devices,” is needed to provide reliable data to inform future program funding and advance this area of research.

Transmembrane/cytoplasmic domain-mediated membrane type 1-matrix metalloprotease docking to invadopodia is required for cellinvasion

The invasion of human malignant melanoma cells into the extracellular matrix (ECM) involves the accumulation of proteases at sites of ECM degradation where activation of matrix metalloproteases (MMP) occurs. Here, we show that when membrane type 1 MMP (MT-MMP) was overexpressed in RPMI7951 human melanoma cells, the cells made contact with the ECM, activated soluble and ECM-bound MMP-2, and degraded and invaded the ECM. Further experiments demonstrated the importance of localization of the MT-MMP to invadopodia. Overexpression of MT-MMP without invadopodial localization caused activation of soluble MMP-2, but did not facilitate ECM degradation or cell invasiveness. Up-regulation of endogenous MT-MMP with concanavalin A caused activation of MMP-2. However, concanavalin A treatment prevented invadopodial localization of MT-MMP and ECM degradation. Neither a truncated MT-MMP mutant lacking transmembrane (TM) and cytoplasmic domains (ΔTM(MT-MMP)), nor a chimeric MT-MMP containing the interleukin 2 receptor α chain (IL-2R) TM and cytoplasmic domains (ΔTM(MT-MMP)/TM(IL-2R)) were localized to invadopodia or exhibited ECM degradation. Furthermore, a chimera of the TM/cytoplasmic domain of MT-MMP (TM(MT-MMP)) with tissue inhibitor of MMP 1 (TIMP-1/TM(MT- MMP)) directed the TIMP-1 molecule to invadopodia. Thus, the MT-MMP TM/cytoplasmic domain mediates the spatial organization of MT-MMP into invadopodia and subsequent degradation of the ECM.

A place to make, hack, and learn: makerspaces in Australian public libraries

Content-creation spaces, or ‘makerspaces’, are an emerging phenomenon in public libraries worldwide. This study investigated the current state of makerspaces in Australian public libraries. Qualitative interviews with three information professionals formed the data collection. Thematic analysis of interviews addressed two research questions: What are the issues and challenges of creating makerspaces within Australian public libraries? How can they be addressed? Findings revealed the substantive benefits of these spaces, including enhanced community engagement, development of a new form of library as ‘third place’, and transforming the library's image from that of a place where works are consumed to that of a place where works are created. Additionally the study highlighted significant challenges to creating these spaces, including budgetary constraints, resistance to change within organisations and proving the relevance of such spaces within a library context. The study provides suggestions for overcoming these obstacles and provides areas for further research in the area, including larger studies across a broader geographic area and further investigation and follow-up into upcoming programs within existing makerspaces.

The -Omics in drug development

New advancement in genomics, proteomics, and metabonomics created significant excitement about the use of these relatively new technologies in drug design, discovery, development, and molecular-targeted therapeutics by identifying new drug targets and better tools for safety and efficacy studies in preclinical and clinical stages of drug development as well as diagnostics. In this chapter, we will briefly discuss the application of genomics, proteomics, and metabonomics in drug discovery and development

Using collaborative and activity-based learning for engaging IT students

Active and collaborative learning are becoming essential strategies to attract, engage and retain students. These methods have been adopted within the Science and Engineering Faculty of Queensland University of Technology for use in its Science, Information Technology and Engineering degrees. This paper describes the adoption and application of these techniques in a specific first year unit in a new Bachelor of Information Technology degree which has majors in Computer Science and Information Systems. The paper reports on the design, development and implementation of this foundation subject and discusses how it uses active and collaborative learning to teach design thinking through a series of design challenges, and how it uses critiquing and reflection to ensure that students become more aware of design and team processes.

Measurement of small ions near a busy motorway

Combustion sources are well-known sources of electrical ions (Howard, J.B. et al. 1973). Motor vehicles emissions are one of the main sources of ions in urban environments. The presence of charged particles in motor vehicle emissions has been known for many years (Kittelson, 1986; Yu et al, 2004; Jung and Kittelson, 2005). Although these particles are probably charged by the attachment of air ions, there is very little information on the nature, sign and magnitude of the small ions (diameter < 1.6 nm) emitted by motor vehicles and/or present by the sides of roads.

A story about being engaged in research : buzzing bees, small business and Australian unfair dismissal laws

Protection for employees from unfair dismissal (UFD) has been around in Australia under various guises for 30 years or so (Chapman, 2006). Labour standards, and particularly ILO Convention 158 (Convention Concerning Termination of Employment at the Initiative of the Employer 1982), underpin the adoption of a particular form of federal statutory UFD regime which first appeared in the 1993 reforms to the Industrial Relations Act 1998 (Commonwealth). Its existence, however, has not been uncontroversial, and the meaning, operation, scope and remedies have attracted attention over time. In fact, the first reforms to the federal UFD regime were undertaken under the Keating Labor government three months after they were enacted (Chapman, ibid.). Further reforms were made by the incoming Howard Liberal-national coalition government through the Workplace Relations Act 1996 (Commonwealth) (WRA), and arguably these reforms continued down the ‘contraction’ path (ibid.).

Kirsten ras mutations in patients with colorectal cancer : the ‘RASCAL II’ study

Researchers worldwide with information about the Kirsten ras (Ki-ras) tumour genotype and outcome of patients with colorectal cancer were invited to provide that data in a schematized format for inclusion in a collaborative database called RASCAL (The Kirsten ras in-colorectal-cancer collaborative group). Our results from 2721 such patients have been presented previously and for the first time in any common cancer, showed conclusively that different gene mutations have different impacts on outcome, even when the mutations occur at the same site on the genome. To explore the effect of Ki-ras mutations at different stages of colorectal cancer, more patients were recruited to the database, which was reanalysed when information on 4268 patients from 42 centres in 21 countries had been entered. After predetermined exclusion criteria were applied, data on 3439 patients were entered into a multivariate analysis. This found that of the 12 possible mutations on codons 12 and 13 of Kirsten ras, only one mutation on codon 12, glycine to valine, found in 8.6% of all patients, had a statistically significant impact on failure-free survival (P = 0.004, HR 1.3) and overall survival (P = 0.008, HR 1.29). This mutation appeared to have a greater impact on outcome in Dukes’ C cancers (failure-free survival, P = 0.008, HR 1.5; overall survival P = 0.02, HR 1.45) than in Dukes’ B tumours (failure-free survival, P = 0.46, HR 1.12; overall survival P = 0.36, HR 1.15). Ki-ras mutations may occur early in the development of pre-cancerous adenomas in the colon and rectum. However, this collaborative study suggests that not only is the presence of a codon 12 glycine to valine mutation important for cancer progression but also that it may predispose to more aggressive biological behaviour in patients with advanced colorectal cancer.

The effect of sleep deprivation on BOLD activity elicited by a divided attention task

Sleep loss, widespread in today’s society and associated with a number of clinical conditions, has a detrimental effect on a variety of cognitive domains including attention. This study examined the sequelae of sleep deprivation upon BOLD fMRI activation during divided attention. Twelve healthy males completed two randomized sessions; one after 27 h of sleep deprivation and one after a normal night of sleep. During each session, BOLD fMRI was measured while subjects completed a cross-modal divided attention task (visual and auditory). After normal sleep, increased BOLD activation was observed bilaterally in the superior frontal gyrus and the inferior parietal lobe during divided attention performance. Subjects reported feeling significantly more sleepy in the sleep deprivation session, and there was a trend towards poorer divided attention task performance. Sleep deprivation led to a down regulation of activation in the left superior frontal gyrus, possibly reflecting an attenuation of top-down control mechanisms on the attentional system. These findings have implications for understanding the neural correlates of divided attention and the neurofunctional changes that occur in individuals who are sleep deprived.