Type Test Elimination using Typeflow Analysis

Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would normally only be detected at program execution. This paper introduces the concepts of typeflow analysis and details its use in the reduction of runtime overhead in Oberon-2.

Fast content-based file type identification

Digital forensic examiners often need to identify the type of a file or file fragment based only on the content of the file. Content-based file type identification schemes typically use a byte frequency distribution with statistical machine learning to classify file types. Most algorithms analyze the entire file content to obtain the byte frequency distribution, a technique that is inefficient and time consuming. This paper proposes two techniques for reducing the classification time. The first technique selects a subset of features based on the frequency of occurrence. The second speeds classification by sampling several blocks from the file. Experimental results demonstrate that up to a fifteen-fold reduction in file size analysis time can be achieved with limited impact on accuracy.

Chlorzoxazone, an SK-type potassium channel activator used in humans, reduces excessive alcohol intake in rats

Background Alcoholism imposes a tremendous social and economic burden. There are relatively few pharmacological treatments for alcoholism, with only moderate efficacy, and there is considerable interest in identifying additional therapeutic options. Alcohol exposure alters SK-type potassium channel (SK) function in limbic brain regions. Thus, positive SK modulators such as chlorzoxazone (CZX), a US Food and Drug Administration–approved centrally acting myorelaxant, might enhance SK function and decrease neuronal activity, resulting in reduced alcohol intake. Methods We examined whether CZX reduced alcohol consumption under two-bottle choice (20% alcohol and water) in rats with intermittent access to alcohol (IAA) or continuous access to alcohol (CAA). In addition, we used ex vivo electrophysiology to determine whether SK inhibition and activation can alter firing of nucleus accumbens (NAcb) core medium spiny neurons. Results Chlorzoxazone significantly and dose-dependently decreased alcohol but not water intake in IAA rats, with no effects in CAA rats. Chlorzoxazone also reduced alcohol preference in IAA but not CAA rats and reduced the tendency for rapid initial alcohol consumption in IAA rats. Chlorzoxazone reduction of IAA drinking was not explained by locomotor effects. Finally, NAcb core neurons ex vivo showed enhanced firing, reduced SK regulation of firing, and greater CZX inhibition of firing in IAA versus CAA rats. Conclusions The potent CZX-induced reduction of excessive IAA alcohol intake, with no effect on the more moderate intake in CAA rats, might reflect the greater CZX reduction in IAA NAcb core firing observed ex vivo. Thus, CZX could represent a novel and immediately accessible pharmacotherapeutic intervention for human alcoholism. Key Words: Alcohol intake; intermittent; neuro-adaptation; nucleus accumbens; SK potassium channel

An innovative approach to the assessment of nutrient intake in adults with type 2 diabetes : the development, trial and evaluation of a mobile phone photo/voice dietary record

Nutrition interventions in the form of both self-management education and individualised diet therapy are considered essential for the long-term management of type 2 diabetes mellitus (T2DM). The measurement of diet is essential to inform, support and evaluate nutrition interventions in the management of T2DM. Barriers inherent within health care settings and systems limit ongoing access to personnel and resources, while traditional prospective methods of assessing diet are burdensome for the individual and often result in changes in typical intake to facilitate recording. This thesis investigated the inclusion of information and communication technologies (ICT) to overcome limitations to current approaches in the nutritional management of T2DM, in particular the development, trial and evaluation of the Nutricam dietary assessment method (NuDAM) consisting of a mobile phone photo/voice application to assess nutrient intake in a free-living environment with older adults with T2DM. Study 1: Effectiveness of an automated telephone system in promoting change in dietary intake among adults with T2DM The effectiveness of an automated telephone system, Telephone-Linked Care (TLC) Diabetes, designed to deliver self-management education was evaluated in terms of promoting dietary change in adults with T2DM and sub-optimal glycaemic control. In this secondary data analysis independent of the larger randomised controlled trial, complete data was available for 95 adults (59 male; mean age(±SD)=56.8±8.1 years; mean(±SD)BMI=34.2±7.0kg/m2). The treatment effect showed a reduction in total fat of 1.4% and saturated fat of 0.9% energy intake, body weight of 0.7 kg and waist circumference of 2.0 cm. In addition, a significant increase in the nutrition self-efficacy score of 1.3 (p<0.05) was observed in the TLC group compared to the control group. The modest trends observed in this study indicate that the TLC Diabetes system does support the adoption of positive nutrition behaviours as a result of diabetes self-management education, however caution must be applied in the interpretation of results due to the inherent limitations of the dietary assessment method used. The decision to use a close-list FFQ with known bias may have influenced the accuracy of reporting dietary intake in this instance. This study provided an example of the methodological challenges experienced with measuring changes in absolute diet using a FFQ, and reaffirmed the need for novel prospective assessment methods capable of capturing natural variance in usual intakes. Study 2: The development and trial of NuDAM recording protocol The feasibility of the Nutricam mobile phone photo/voice dietary record was evaluated in 10 adults with T2DM (6 Male; age=64.7±3.8 years; BMI=33.9±7.0 kg/m2). Intake was recorded over a 3-day period using both Nutricam and a written estimated food record (EFR). Compared to the EFR, the Nutricam device was found to be acceptable among subjects, however, energy intake was under-recorded using Nutricam (-0.6±0.8 MJ/day; p<0.05). Beverages and snacks were the items most frequently not recorded using Nutricam; however forgotten meals contributed to the greatest difference in energy intake between records. In addition, the quality of dietary data recorded using Nutricam was unacceptable for just under one-third of entries. It was concluded that an additional mechanism was necessary to complement dietary information collected via Nutricam. Modifications to the method were made to allow for clarification of Nutricam entries and probing forgotten foods during a brief phone call to the subject the following morning. The revised recording protocol was evaluated in Study 4. Study 3: The development and trial of the NuDAM analysis protocol Part A explored the effect of the type of portion size estimation aid (PSEA) on the error associated with quantifying four portions of 15 single foods items contained in photographs. Seventeen dietetic students (1 male; age=24.7±9.1 years; BMI=21.1±1.9 kg/m2) estimated all food portions on two occasions: without aids and with aids (food models or reference food photographs). Overall, the use of a PSEA significantly reduced mean (±SD) group error between estimates compared to no aid (-2.5±11.5% vs. 19.0±28.8%; p<0.05). The type of PSEA (i.e. food models vs. reference food photograph) did not have a notable effect on the group estimation error (-6.7±14.9% vs. 1.4±5.9%, respectively; p=0.321). This exploratory study provided evidence that the use of aids in general, rather than the type, was more effective in reducing estimation error. Findings guided the development of the Dietary Estimation and Assessment Tool (DEAT) for use in the analysis of the Nutricam dietary record. Part B evaluated the effect of the DEAT on the error associated with the quantification of two 3-day Nutricam dietary records in a sample of 29 dietetic students (2 males; age=23.3±5.1 years; BMI=20.6±1.9 kg/m2). Subjects were randomised into two groups: Group A and Group B. For Record 1, the use of the DEAT (Group A) resulted in a smaller error compared to estimations made without the tool (Group B) (17.7±15.8%/day vs. 34.0±22.6%/day, p=0.331; respectively). In comparison, all subjects used the DEAT to estimate Record 2, with resultant error similar between Group A and B (21.2±19.2%/day vs. 25.8±13.6%/day; p=0.377 respectively). In general, the moderate estimation error associated with quantifying food items did not translate into clinically significant differences in the nutrient profile of the Nutricam dietary records, only amorphous foods were notably over-estimated in energy content without the use of the DEAT (57kJ/day vs. 274kJ/day; p<0.001). A large proportion (89.6%) of the group found the DEAT helpful when quantifying food items contained in the Nutricam dietary records. The use of the DEAT reduced quantification error, minimising any potential effect on the estimation of energy and macronutrient intake. Study 4: Evaluation of the NuDAM The accuracy and inter-rater reliability of the NuDAM to assess energy and macronutrient intake was evaluated in a sample of 10 adults (6 males; age=61.2±6.9 years; BMI=31.0±4.5 kg/m2). Intake recorded using both the NuDAM and a weighed food record (WFR) was coded by three dietitians and compared with an objective measure of total energy expenditure (TEE) obtained using the doubly labelled water technique. At the group level, energy intake (EI) was under-reported to a similar extent using both methods, with the ratio of EI:TEE was 0.76±0.20 for the NuDAM and 0.76±0.17 for the WFR. At the individual level, four subjects reported implausible levels of energy intake using the WFR method, compared to three using the NuDAM. Overall, moderate to high correlation coefficients (r=0.57-0.85) were found across energy and macronutrients except fat (r=0.24) between the two dietary measures. High agreement was observed between dietitians for estimates of energy and macronutrient derived for both the NuDAM (ICC=0.77-0.99; p<0.001) and WFR (ICC=0.82-0.99; p<0.001). All subjects preferred using the NuDAM over the WFR to record intake and were willing to use the novel method again over longer recording periods. This research program explored two novel approaches which utilised distinct technologies to aid in the nutritional management of adults with T2DM. In particular, this thesis makes a significant contribution to the evidence base surrounding the use of PhRs through the development, trial and evaluation of a novel mobile phone photo/voice dietary record. The NuDAM is an extremely promising advancement in the nutritional management of individuals with diabetes and other chronic conditions. Future applications lie in integrating the NuDAM with other technologies to facilitate practice across the remaining stages of the nutrition care process.

Lifestyle risk factor modification in midlife women with type 2 diabetes : theoretical modelling of perceived barriers

Objective: The aim of this paper is to propose a ‘Perceived barriers and lifestyle risk factor modification model’ that could be incorporated into existing frameworks for diabetes education to enhance lifestyle risk factor education in women. Setting: Diabetes education, community health. Primary argument: ‘Perceived barriers’ is a health promotion concept that has been found to be a significant predictor of health promotion behaviour. There is evidence that women face a range of perceived barriers that prevent them from engaging in healthy lifestyle activities. Despite this, current evidence based models of diabetes education do not explicitly incorporate the concept of perceived barriers. A model of risk factor reduction that incorporates ‘perceived barriers’ is proposed. Conclusion: Although further research is required, current approaches to risk factor reduction in type 2 diabetes could be enhanced by identification and goal setting to reduce an individual’s perceived barriers.

The effect of a high fat meal on postprandial arterial stiffness in men with obesity and type 2 diabetes

Context: Postprandial dysmetabolism is emerging as an important cardiovascular risk factor. Augmentation index (AIx) is a measure of systemic arterial stiffness and independently predicts cardiovascular outcome. Objective: The objective of this study was to assess the effect of a standardized high-fat meal on metabolic parameters and AIx in 1) lean, 2) obese nondiabetic, and 3) subjects with type 2 diabetes mellitus (T2DM). Design and Setting: Male subjects (lean, n = 8; obese, n = 10; and T2DM, n = 10) were studied for 6 h after a high-fat meal and water control. Glucose, insulin, triglycerides, and AIx (radial applanation tonometry) were measured serially to determine the incremental area under the curve (iAUC). Results: AIx decreased in all three groups after a high-fat meal. A greater overall postprandial reduction in AIx was seen in lean and T2DM compared with obese subjects (iAUC, 2251 +/- 1204, 2764 +/- 1102, and 1187 +/- 429% . min, respectively; P < 0.05). The time to return to baseline AIx was significantly delayed in subjects with T2DM (297 +/- 68 min) compared with lean subjects (161 +/- 88 min; P < 0.05). There was a significant correlation between iAUC AIx and iAUC triglycerides (r = 0.50; P < 0.05). Conclusions: Obesity is associated with an attenuated overall postprandial decrease in AIx. Subjects with T2DM have a preserved, but significantly prolonged, reduction in AIx after a high-fat meal. The correlation between AIx and triglycerides suggests that postprandial dysmetabolism may impact on vascular dynamics. The markedly different response observed in the obese subjects compared with those with T2DM was unexpected and warrants additional evaluation.

Randomised controlled trial of an automated, interactive telephone intervention (TLC Diabetes) to improve type 2 diabetes management : Baseline findings and six-month outcomes

Background: Effective self-management of diabetes is essential for the reduction of diabetes-related complications, as global rates of diabetes escalate. Methods: Randomised controlled trial. Adults with type 2 diabetes (n = 120), with HbA1c greater than or equal to 7.5 %, were randomly allocated (4 × 4 block randomised block design) to receive an automated, interactive telephone-delivered management intervention or usual routine care. Baseline sociodemographic, behavioural and medical history data were collected by self-administered questionnaires and biological data were obtained during hospital appointments. Health-related quality of life (HRQL) was measured using the SF-36. Results: The mean age of participants was 57.4 (SD 8.3), 63 % of whom were male. There were no differences in demographic, socioeconomic and behavioural variables between the study arms at baseline. Over the six-month period from baseline, participants receiving the Australian TLC (Telephone-Linked Care) Diabetes program showed a 0.8 % decrease in geometric mean HbA1c from 8.7 % to 7.9 %, compared with a 0.2 % HbA1c reduction (8.9 % to 8.7 %) in the usual care arm (p = 0.002). There was also a significant improvement in mental HRQL, with a mean increase of 1.9 in the intervention arm, while the usual care arm decreased by 0.8 (p = 0.007). No significant improvements in physical HRQL were observed. Conclusions: These analyses indicate the efficacy of the Australian TLC Diabetes program with clinically significant post-intervention improvements in both glycaemic control and mental HRQL. These observed improvements, if supported and maintained by an ongoing program such as this, could significantly reduce diabetes-related complications in the longer term. Given the accessibility and feasibility of this kind of program, it has strong potential for providing effective, ongoing support to many individuals with diabetes in the future.

Perceived barriers to healthy lifestyle activities in midlife and older Australian women with type 2 diabetes

Purpose: Type 2 diabetes is a leading cause of morbidity and mortality in midlife and older Australian women with known modifiable risk factors for type 2 diabetes including smoking, nutrition, physical activity and obesity. In Australia little research has been done to investigate the perceived barriers to healthy lifestyle activities in midlife and older women with type 2 diabetes. The primary aim of this study was to explore the level and type of perceived barriers to health promotion activities. The secondary aim was to explore the relationship of perceived barriers to smoking behaviour, fruit and vegetable intake, physical activity, and body mass index. Methods: The study was a cross sectional survey of women, aged over 45 with type 2 diabetes, attending metropolitan community health clinics (N = 41). Data was collected from self-report questionnaire and analysed using descriptive and inferential statistics. Results: Women in the study had average total barriers scores similar to those reported in the literature for women with a range of physical disabilities and illnesses. The leading barriers for this group of women were: lack of interest, concern about safety, too tired, lack of money and feeling what they do does not help. There was no association between total barriers scores and body mass index, physical activity, fruit and vegetable intake or socio-demographic variables. Conclusion: This study contributes to understanding the perceptions of midlife and older women with type 2 diabetes about the level and type of barriers to healthy lifestyle activities that they experience. Evidence from this study can be applied to inform health promotion for lifestyle risk factor reduction in women with type 2 diabetes.

IMO mandatory energy efficiency measures for international shipping : the first mandatory global greenhouse gas reduction instrument for an international industry

Bunker fuels used in the aviation and maritime sectors are responsible for nearly 10% of global greenhouse gas emissions.1 According to a scientific survey: ‘[s]hipping is estimated to have emitted 1,046 million tonnes of CO2 in 2007, which corresponds to 3.3% of the global emissions during 2007. International shipping is estimated to have emitted 870 million tonnes, or about 2.7% of the global emissions of CO2 in 2007’. The study also predicted that ‘by 2050, in the absence of policies, ship emissions may grow by 150% to 250% (compared to the emissions in 2007) as a result of the growth in shipping.’

A retrospective cohort investigation of active range of motion within one week of open reduction and internal fixation of distal radius fractures

Distal radius fractures stabilized by open reduction internal fixation (ORIF) have become increasingly common. There is currently no consensus on the optimal time to commence range of motion (ROM) exercises post-ORIF. A retrospective cohort review was conducted over a five-year period to compare wrist and forearm range of motion outcomes and number of therapy sessions between patients who commenced active ROM exercises within the first seven days and from day eight onward following ORIF of distal radius fractures. One hundred and twenty-one patient cases were identified. Clinical data, active ROM at initial and discharge therapy assessments, fracture type, surgical approaches, and number of therapy sessions attended were recorded. One hundred and seven (88.4%) cases had complete datasets. The early active ROM group (n = 37) commenced ROM a mean (SD) of 4.27 (1.8) days post-ORIF. The comparator group (n = 70) commenced ROM exercises 24.3 (13.6) days post-ORIF. No significant differences were identified between groups in ROM at initial or discharge assessments, or therapy sessions attended. The results from this study indicate that patients who commenced active ROM exercises an average of 24 days after surgery achieved comparable ROM outcomes with similar number of therapy sessions to those who commenced ROM exercises within the first week.

Perceived barriers to healthy lifestyle activities in midlife and older Australian women with type 2 diabetes

Background Type 2 diabetes is a leading cause of morbidity and mortality in midlife and older Australian women with known modifiable risk factors for type 2 diabetes including smoking, nutrition, physical activity and obesity. In Australia little research has been done to investigate the perceived barriers to healthy lifestyle activities in midlife and older women with type 2 diabetes. Aims The primary aim of this study was to explore the level and type of perceived barriers to health promotion activities. The secondary aim was to explore the relationship of perceived barriers to smoking behaviour, fruit and vegetable intake, physical activity, and body mass index. Methods The study was a cross sectional survey of women, aged over 45 with type 2 diabetes, recruited from four metropolitan community health clinics (n = 41). Data were collected from self-report questionnaires and analysed using quantitative methods. Results Women in the study had average total barriers scores similar to those reported in the literature for women with a range of physical disabilities and illnesses. The leading barriers for this group of women were: lack of interest, concern about safety, too tired, lack of money and feeling what they do does not help. There was no association between total barriers scores and body mass index, physical activity, fruit and vegetable intake or socio-demographic variables. Conclusion This study contributes to understanding the perceptions of midlife and older women with type 2 diabetes about the level and type of barriers to healthy lifestyle activities that they experience. The participants reported a high level perceived barriers with a range of personal, social and environmental issues identified and described. This study suggests that health promotion education and interventions for risk factor reduction in women with type 2 diabetes may be enhanced by explicitly addressing perceived barriers to healthy lifestyle activities.

Longitudinal assessment of neuropathy in type 1 diabetes using novel ophthalmic markers (LANDMark) : study design and baseline characteristics

Aims Corneal nerve morphology and corneal sensation threshold have recently been explored as potential surrogate markers for the evaluation of diabetic neuropathy. We present the baseline findings of the ‘Longitudinal Assessment of Neuropathy in type 1 Diabetes using novel ophthalmic Markers’(LANDMark) study. Methods The LANDMark study is a 4-year, two-site, natural history study of three participant groups: type 1 diabetes with neuropathy (T1W), type 1 diabetes without neuropathy (T1WO) and control participants without diabetes or neuropathy. All participants undergo a detailed annual assessment of neuropathy including corneal nerve parameters measured using corneal confocal microscopy and corneal sensitivity measured using non-contact corneal aesthesiometry. Results 76 T1W, 166 T1WO and 154 control participants were enrolled into the study. Corneal sensation threshold (mbars) was significantly higher (i.e. sensitivity was lower) in T1W (1.0 ± 1.1) than T1WO (0.7 ± 0.7) and controls (0.6 ± 0.4) (p < 0.001), with no difference between T1WO and controls. Corneal nerve fibre length was lower in T1W (14.0 ± 6.4 mm/mm2) compared to T1WO (19.1 ± 5.8 mm/mm2) and controls (23.2 ± 6.3 mm/mm2) (p < 0.001). Corneal nerve fibre length was lower in T1WO compared to controls. Conclusions The LANDMark baseline findings confirm a reduction in corneal sensitivity only in Type 1 patients with neuropathy. However, corneal nerve fibre length is reduced even in Type 1 patients without neuropathy with an even greater deficit in Type 1 patients with neuropathy.

Shrinking the keys of discrete-log-type lossy trapdoor functions

To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ 2) group elements for a reduction from the decisional Diffie-Hellman assumption (where λ is a security parameter). We propose two realizations of lossy trapdoor functions that achieve public key size of only Θ(λ) group elements in bilinear groups, with a reduction from the decisional Bilinear Diffie-Hellman assumption. Our first construction achieves this result at the expense of a long common reference string of Θ(λ 2) elements, albeit reusable in multiple LTDF instantiations. Our second scheme also achieves public keys of size Θ(λ), entirely in the standard model and in particular without any reference string, at the cost of a slightly more involved construction. The main technical novelty, developed for the second scheme, is a compact encoding technique for generating compressed representations of certain sequences of group elements for the public parameters.

Artificial neural networks to predict activity type and energy expenditure in youth

Previous studies have demonstrated that pattern recognition approaches to accelerometer data reduction are feasible and moderately accurate in classifying activity type in children. Whether pattern recognition techniques can be used to provide valid estimates of physical activity (PA) energy expenditure in youth remains unexplored in the research literature. Purpose: The objective of this study is to develop and test artificial neural networks (ANNs) to predict PA type and energy expenditure (PAEE) from processed accelerometer data collected in children and adolescents. Methods: One hundred participants between the ages of 5 and 15 yr completed 12 activity trials that were categorized into five PA types: sedentary, walking, running, light-intensity household activities or games, and moderate-to-vigorous intensity games or sports. During each trial, participants wore an ActiGraph GTIM on the right hip, and (V) Over dotO(2) was measured using the Oxycon Mobile (Viasys Healthcare, Yorba Linda, CA) portable metabolic system. ANNs to predict PA type and PAEE (METs) were developed using the following features: 10th, 25th, 50th, 75th, and 90th percentiles and the lag one autocorrelation. To determine the highest time resolution achievable, we extracted features from 10-, 15-, 20-, 30-, and 60-s windows. Accuracy was assessed by calculating the percentage of windows correctly classified and root mean square en-or (RMSE). Results: As window size increased from 10 to 60 s, accuracy for the PA-type ANN increased from 81.3% to 88.4%. RMSE for the MET prediction ANN decreased from 1.1 METs to 0.9 METs. At any given window size, RMSE values for the MET prediction ANN were 30-40% lower than the conventional regression-based approaches. Conclusions: ANNs can be used to predict both PA type and PAEE in children and adolescents using count data from a single waist mounted accelerometer.

The type I collagen induction of MT1-MMP-mediated MMP-2 activation is repressed by αVβ3 integrin in human breast cancer cells

The influence of αVβ3 integrin on MT1-MMP functionality was studied in human breast cancer cells of differing β3 integrin status. Overexpression of β3 integrin caused increased cell surface expression of αV integrin and increased cellular adhesion to extracellular matrix (ECM) substrates in BT-549, MDA-MB-231 and MCF-7 cells. β3 integrin expression also enhanced the migration of breast cancer cells on ECM substrates and enhanced collagen gel contraction. In vivo, αVβ3 cooperated with MT1-MMP to increase the growth of MCF-7 cells after orthotopic inoculation in immunocompromised mice, but had no influence on in vitro proliferation. Despite these stimulatory effects, overexpression of β3 integrin suppressed the type I collagen (Col I) induced MMP-2 activation in all breast cancer cell lines analyzed. This was also evident in extracts from the MCF-7 tumors in vivo, where MMP-2 activation was stimulated by MT1-MMP transfection, but attenuated with β3 integrin expression. Although our studies confirm important biological effects of αVβ3 integrin on enhancing cell adhesion and migration, ECM remodeling and tumor growth, β3 integrin caused reduced MMP-2 activation in response to Col I in vitro, which appears to be physiologically relevant, as it was also seen in tumor xenografts in vivo. The reduction of MMP-2 activation (and thus MT1-MMP activity) by αVβ3 in response to Col I may be important in scenarios where cells which are activated for matrix degradation need to preserve some pericellular collagen, perhaps as a substrate for cell adhesion and migration, thus maintaining a balanced level of proteolysis required for efficient tumor growth.