Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

Extrinsic primary afferent signalling in the gut

Visceral sensory neurons activate reflex pathways that control gut function and also give rise to important sensations, such as fullness, bloating, nausea, discomfort, urgency and pain. Sensory neurons are organised into three distinct anatomical pathways to the central nervous system (vagal, thoracolumbar and lumbosacral). Although remarkable progress has been made in characterizing the roles of many ion channels, receptors and second messengers in visceral sensory neurons, the basic aim of understanding how many classes there are, and how they differ, has proven difficult to achieve. We suggest that just five structurally distinct types of sensory endings are present in the gut wall that account for essentially all of the primary afferent neurons in the three pathways. Each of these five major structural types of endings seems to show distinctive combinations of physiological responses. These types are: 'intraganglionic laminar' endings in myenteric ganglia; 'mucosal' endings located in the subepithelial layer; 'muscular–mucosal' afferents, with mechanosensitive endings close to the muscularis mucosae; 'intramuscular' endings, with endings within the smooth muscle layers; and 'vascular' afferents, with sensitive endings primarily on blood vessels. 'Silent' afferents might be a subset of inexcitable 'vascular' afferents, which can be switched on by inflammatory mediators. Extrinsic sensory neurons comprise an attractive focus for targeted therapeutic intervention in a range of gastrointestinal disorders.Australian National Health and Medical Research Counci

The role of myeloid cells in the promotion of tumour angiogenesis

The use of various transgenic mouse models and analysis of human tumour biopsies has shown that bone marrow-derived myeloid cells, such as macrophages, neutrophils, eosinophils, mast cells and dendritic cells, have an important role in regulating the formation and maintenance of blood vessels in tumours. In this Review the evidence for each of these cell types driving tumour angiogenesis is outlined, along with the mechanisms regulating their recruitment and activation by the tumour microenvironment. We also discuss the therapeutic implications of recent findings that specific myeloid cell populations modulate the responses of tumours to agents such as chemotherapy and some anti-angiogenic therapies

Genomic analyses identify molecular subtypes of pancreatic cancer

© 2016 Macmillan Publishers Limited. All rights reserved.Integrated genomic analysis of 456 pancreatic ductal adenocarcinomas identified 32 recurrently mutated genes that aggregate into 10 pathways: KRAS, TGF-β, WNT, NOTCH, ROBO/SLIT signalling, G1/S transition, SWI-SNF, chromatin modification, DNA repair and RNA processing. Expression analysis defined 4 subtypes: (1) squamous; (2) pancreatic progenitor; (3) immunogenic; and (4) aberrantly differentiated endocrine exocrine (ADEX) that correlate with histopathological characteristics. Squamous tumours are enriched for TP53 and KDM6A mutations, upregulation of the TP63ΔN transcriptional network, hypermethylation of pancreatic endodermal cell-fate determining genes and have a poor prognosis. Pancreatic progenitor tumours preferentially express genes involved in early pancreatic development (FOXA2/3, PDX1 and MNX1). ADEX tumours displayed upregulation of genes that regulate networks involved in KRAS activation, exocrine (NR5A2 and RBPJL), and endocrine differentiation (NEUROD1 and NKX2-2). Immunogenic tumours contained upregulated immune networks including pathways involved in acquired immune suppression. These data infer differences in the molecular evolution of pancreatic cancer subtypes and identify opportunities for therapeutic development