Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

The impact of whey protein isolate on energy balance regulation

Using C57BL/6J mice fed whey protein isolate (WPI) enriched high fat (HFD) or low-fat diets (LFD), this study tested the hypothesis that WPI directly impacts on adiposity by influencing lipid metabolism. WPI suppressed HFD-induced body fat and increased lean mass at 8 weeks of dietary challenge despite elevated plasma triacylglycerol (TAG) levels, suggesting reduced TAG storage. WPI reduced HFD-associated hypothalamic leptin and insulin receptor (IR) mRNA expression, and prevented HFD-associated reductions in adipose tissue IR and glucose transporter 4 expression. These effects were largely absent at 21 weeks of HFD feeding, however WPI increased lean mass and cause a trend towards decreased fat mass, with notable increased Lactobacillus and decreased Clostridium gut bacterial species. Increasing the protein to carbohydrate ratio enhanced the above effects, and shifted the gut microbiota composition away from the HFD group. Seven weeks of WPI intake with a LFD decreased insulin signalling gene expression in the adipose tissue in association with an increased fat accumulation. WPI reduced intestinal weight and length, suggesting a potential functional relationship between WPI, gastro-intestinal morphology and insulin related signalling in the adipose. Extending the study to 15 weeks, did not affect adipose fat weight, but decreased energy intake, weight gain and intestinal length. The functionality of protein sensing lysophosphatidic acid receptor 5 (LPA5) in 3T3-L1 pre-adipocytes was assessed. Over-expression of the receptor in 3T3-L1 pre-adipocytes provided a growth advantage to the cells and suppressed cellular differentiation into mature fat cells. In conclusion, the data demonstrates WPI impacts on adiposity by influencing lipid metabolism in a temporal manner, resulting possibly due to changes in lean mass, hypothalamic and adipose gene expression, gut microbiota and gastrointestinal morphology. The data also showed LPA5 is a novel candidate in regulating of preadipocyte growth and differentiation, and may mediate dietary protein effects on adipose tissue.

The balance between the pro-inflammatory effect of plasma noradrenaline and the anti-inflammatory effect of neuronal noradrenaline determines the peripheral effect of noradrenaline

Perfusion experiments on an isolated, canine lateral saphenous vein segment preparation have shown that noradrenaline causes potent, flow dependent effects, at a threshold concentration comparable to that of plasma noradrenaline, when it stimulates the segment by diffusion from its microcirculation (vasa vasorum). The effects caused are opposite to those neuronal noradrenaline causes in vivo and that, in the light of the principle that all information is transmitted in patterns that need contrast to be detected – star patterns need darkness, sound patterns, quietness – has generated the hypothesis that plasma noradrenaline provides the obligatory contrast tissues need to detect and respond to the regulatory information encrypted in the diffusion pattern of neuronal noradrenaline. Based on the implications of that hypothesis, the controlled variable of the peripheral noradrenergic system is believed to be the maintenance of a set point balance between the contrasting effects of plasma and neuronal noradrenaline on a tissue. The hypothalamic sympathetic centres are believed to monitor that balance through the level of afferent sympathetic traffic they receive from a tissue and to correct any deviation it detects in the balance by adjusting the level of efferent sympathetic input it projects to the tissue. The failure of the centres to maintain the correct balance, for reasons intrinsic or extrinsic to themselves, is believed to be responsible for degenerative and genetic disorders. When the failure causes the balance to be polarised in favour of the effect of plasma noradrenaline that is believed to cause inflammatory diseases like dilator cardiac failure, renal hypertension, varicose veins and aneurysms; when it causes it to be polarised in favour of the effect of neuronal noradrenaline that is believed to cause genetic diseases like hypertrophic cardiopathy, pulmonary hypertension and stenoses and when, in pregnancy, a factor causes the polarity to favour plasma noradrenaline in all the maternal tissues except the uterus and conceptus, where it favours neuronal noradrenaline, that is believed to cause preeclampsia.