There are many examples of the utilization of formal methods for creating complete specifications of software applications. Often these are bounded in scope to the concept of a critical system. This work looks to expand ...

The aims of this thesis were to (a) study the properties of Low Moisture Part-Skim (LMPS) Mozzarella; (b) investigate the effects of 40% fat and 30% salt reduction on the properties of LMPS Mozzarella; (c) improve the ...

The optical fibre sensor (OFS) has been studied for the last few decades and has found extensive use in many scientific and engineering fields including major application areas such as environmental, chemical, and biomedical. ...

Free/libre/open source software (FLOSS) communities are commonly understood according to the Onion model. This thesis presents an alternative approach of understanding participation, the habitualepisodic lens drawn from ...

Background and Aims: Faecal diversion is associated with improvements in Crohn’s disease but not ulcerative colitis, indicating that differing mechanisms mediate the diseases. This study aimed to investigate levels of ...

Abstract. ASSL (Autonomic System Specification Language) is a framework dedicated to the development of self-managing systems whereby developers are helped with problem formation, system design, system analysis and ...

Physical loading is a potent regulator of bone anabolism, yet the cellular mechanisms by which this occurs are poorly understood. Due to the finite lifespan of bone forming osteoblasts, it is hypothesized that these cells ...

The stirred tank bioreactor is one of the most widely-utilised technologies in the biopharmaceutical industry for large-scale mammalian cell culture resulting in the production of therapeutic monoclonal antibodies. In these ...

Introduction: Physical exercises help in the rehabilitation and recovery of various diseases. Cardiovascular and hypertension problems are the main causes of people being affected by kidney problems, which as a consequence, ...