Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper moves quiescence into the foreground and introduces the notion of quiescent transition systems (QTSs): an extension of regular input-output transition systems (IOTSs) in which quiescence is represented explicitly, via quiescent transitions. Four carefully crafted rules on the use of quiescent transitions ensure that our QTSs naturally capture quiescent behaviour. We present the building blocks for a comprehensive theory on QTSs supporting parallel composition, action hiding and determinisation. In particular, we prove that these operations preserve all the aforementioned rules. Additionally, we provide a way to transform existing IOTSs into QTSs, allowing even IOTSs as input that already contain some quiescent transitions. As an important application, we show how our QTS framework simplifies the fundamental model-based testing theory formalised around ioco.Comment: In Proceedings MBT 2012, arXiv:1202.582

From Eat to trEat : engineering the mitochondrial Eat1 enzyme for enhanced ethyl acetate production in Escherichia coli

Genetic engineering of microorganisms has become a common practice to establish microbial cell factories for a wide range of compounds. Ethyl acetate is an industrial solvent that is used in several applications, mainly as a biodegradable organic solvent with low toxicity. While ethyl acetate is produced by several natural yeast species, the main mechanism of production has remained elusive until the discovery of Eat1 in Wickerhamomyces anomalus. Unlike other yeast alcohol acetyl transferases (AATs), Eat1 is located in the yeast mitochondria, suggesting that the coding sequence contains a mitochondrial pre-sequence. For expression in prokaryotic hosts such as E. coli, expression of heterologous proteins with eukaryotic signal sequences may not be optimal. Results Unprocessed and synthetically truncated eat1 variants of Kluyveromyces marxianus and Wickerhamomyces anomalus have been compared in vitro regarding enzyme activity and stability. While the specific activity remained unaffected, half-life improved for several truncated variants. The same variants showed better performance regarding ethyl acetate production when expressed in E. coli. Conclusion By analysing and predicting the N-terminal pre-sequences of different Eat1 proteins and systematically trimming them, the stability of the enzymes in vitro could be improved, leading to an overall improvement of in vivo ethyl acetate production in E. coli. Truncated variants of eat1 could therefore benefit future engineering approaches towards efficient ethyl acetate production.publishedVersio

Removable partial dentures: The clinical need for innovation

Statement of problem: The number of partially dentate adults is increasing, and many patients will require replacement of missing teeth. Although current treatment options also include fixed partial dentures and implants, removable partial dentures (RPDs) can have advantages and are widely used in clinical practice. However, a significant need exists to advance materials and fabrication technologies because of the unwanted health consequences associated with current RPDs. Purpose: The purpose of this review was to assess the current state of and future need for prosthetics such as RPDs for patients with partial edentulism, highlight areas of weakness, and outline possible solutions to issues that affect patient satisfaction and the use of RPDs. Material and methods: The data on treatment for partial edentulism were reviewed and summarized with a focus on currently available and future RPD designs, materials, means of production, and impact on oral health. Data on patient satisfaction and compliance with RPD treatment were also reviewed to assess patient-centered care. Results: Design, materials, ease of repair, patient education, and follow-up for RPD treatment all had a significant impact on treatment success. Almost 40% of patients no longer use their RPD within 5 years because of factors such as sociodemographics, pain, and esthetics. Research on RPD-based treatment for partial edentulism for both disease-oriented and patient-centered outcomes is lacking. Conclusions: Future trials should evaluate new RPD materials and design technologies and include both long-term follow-up and health-related and patient-reported outcomes. Advances in materials and digital design/production along with patient education promise to further the application of RPDs and improve the quality of life for patients requiring RPDs

Using electric current to surpass the microstructure breakup limit

The elongated droplets and grains can break up into smaller ones. This process is driven by the interfacial free energy minimization, which gives rise to a breakup limit. We demonstrated in this work that the breakup limit can be overpassed drastically by using electric current to interfere. Electric current free energy is dependent on the microstructure configuration. The breakup causes the electric current free energy to reduce in some cases. This compensates the increment of interfacial free energy during breaking up and enables the processing to achieve finer microstructure. With engineering practical electric current parameters, our calculation revealed a significant increment of the obtainable number of particles, showing electric current a powerful microstructure refinement technology. The calculation is validated by our experiments on the breakup of Fe3C-plates in Fe matrix. Furthermore, there is a parameter range that electric current can drive spherical particles to split into smaller ones

The influence of different culture microenvironments on the generation of dendritic cells from non-small-cell lung cancer patients

This study extends the model developed in Williams and Seaman’s [Williams, J. J. and Seaman, A. E. (2010). Corporate Governance and Mindfulness: The Impact of Management Accounting Systems Change, The Journal of Applied Business Research, Vol. 26, No. 5, pp. 1-17] exploratory paper examining the moderating effects of management accounting systems (MAS) change on the corporate governance/mindfulness relationship for a Canadian sample of 124 top-level accounting professionals. Canonical correlation analysis was applied to the linkage of multiple cognitive processes of mindfulness (Weick and Sutcliffe, 2001; 2007) and the governance dimensions of performance and conformance specified by the International Federation of Accountants (2009), underpinned by the moderating effects of five different components of MAS change, which yielded 13 significant relationships. The latter were subsequently analyzed for important gestalts (i.e., patterns) in the overall relationship, and assessed within the context of aligning professional accounting practices involving systems changes to the IFAC (2009) governance framework. These findings appear to have implications for improved governance structures in practice as well as offering a rich foundation for future research

25th Annual Computational Neuroscience Meeting: CNS-2016

Abstracts of the 25th Annual Computational Neuroscience Meeting: CNS-2016 Seogwipo City, Jeju-do, South Korea. 2–7 July 201