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.

Elimination of dengue by community programs using Mesocyclops(Copepoda) against Aedes aegypti in central Vietnam

From September 2000 to June 2003, a community-based program for dengue control using local predacious copepods of the genus Mesocyclops was conducted in three rural communes in the central Vietnam provinces of Quang Nam, Quang Ngai, and Khanh Hoa. Post-project, three subsequent entomologic surveys were conducted until March 2004. The number of households and residents in the communes were 5,913 and 27,167, respectively, and dengue notification rates for these communes from 1996 were as high as 2,418.5 per 100,000 persons. Following knowledge, attitude, and practice evaluations, surveys of water storage containers indicated that Mesocyclops spp. already occurred in 3-17% and that large tanks up to 2,000 liters, 130-300-liter jars, wells, and some 220-liter metal drums were the most productive habitats for Aedes aegypti. With technical support, the programs were driven by communal management committees, health collaborators, schoolteachers, and pupils. From quantitative estimates of the standing crop of third and fourth instars from 100 households, Ae. aegypti were reduced by approximately 90% by year 1, 92.3-98.6% by year 2, and Ae. aegypti immature forms had been eliminated from two of three communes by June 2003. Similarly, from resting adult collections from 100 households, densities were reduced to 0-1 per commune. By March 2004, two communes with no larvae had small numbers but the third was negative; one adult was collected in each of two communes while one became negative. Absolute estimates of third and fourth instars at the three intervention communes and one left untreated had significant correlations (P = 0.009-< 0.001) with numbers of adults aspirated from inside houses on each of 15 survey periods. By year 1, the incidence of dengue disease in the treated communes was reduced by 76.7% compared with non-intervention communes within the same districts, and no dengue was evident in 2002 and 2003, compared with 112.8 and 14.4 cases per 100,000 at district level. Since we had similar success in northern Vietnam from 1998 to 2000, this study demonstrates that this control model is broadly acceptable and achievable at community level but vigilance is required post-project to prevent reinfestation.

From barrier elimination to barrier negotiation : a qualitative study of parents' attitudes about active travel for elementary school trips

This paper examines parents' responses to key factors associated with mode choices for school trips. The research was conducted with parents of elementary school students in Denver Colorado as part of a larger investigation of school travel. School-based active travel programs aim to encourage students to walk or bike to school more frequently. To that end, planning research has identified an array of factors associated with parents' decisions to drive children to school. Many findings are interpreted as ‘barriers’ to active travel, implying that parents have similar objectives with respect to travel mode choices and that parents respond similarly and consistently to external conditions. While the conclusions are appropriate in forecasting demand and mode share with large populations, they are generally too coarse for programs that aim to influence travel behavior with individuals and small groups. This research uses content analysis of interview transcripts to examine the contexts of factors associated with parents' mode choices for trips to and from elementary school. Short, semi-structured interviews were conducted with 65 parents from 12 Denver Public Elementary Schools that had been selected to receive 2007–08 Safe Routes to School non-infrastructure grants. Transcripts were analyzed using Nvivo 8.0 to find out how parents respond to selected factors that are often described in planning literature as ‘barriers’ to active travel. Two contrasting themes emerged from the analysis: barrier elimination and barrier negotiation. Regular active travel appears to diminish parents' perceptions of barriers so that negotiation becomes second nature. Findings from this study suggest that intervention should build capacity and inclination in order to increase rates of active travel.

Realising dead path elimination in BPMN

The Web Service Business Process Execution Language (BPEL) lacks any standard graphical notation. Various efforts have been undertaken to visualize BPEL using the Business Process Modelling Notation (BPMN). Although this is straightforward for the majority of concepts, it is tricky for the full BPEL standard, partly due to the insufficiently specified BPMN execution semantics. The upcoming BPMN 2.0 revision will provide this clear semantics. In this paper, we show how the dead path elimination (DPE) capabilities of BPEL can be expressed with this new semantics and discuss the limitations. We provide a generic formal definition of DPE and discuss resulting control flow requirements independent of specific process description languages.

S-allylmercaptocysteine reduces carbon tetrachloride-induced hepatic oxidative stress and necroinflammation via nuclear factor kappa B-dependent pathways in mice.

Purpose To study the protective effects and underlying molecular mechanisms of SAMC on carbon tetrachloride (CCl4)-induced acute hepatotoxicity in the mouse model. Methods Mice were intraperitoneally injected with CCl4 (50 μl/kg; single dose) to induce acute hepatotoxicity with or without a 2-h pre-treatment of SAMC intraperitoneal injection (200 mg/kg; single dose). After 8 h, the blood serum and liver samples of mice were collected and subjected to measurements of histological and molecular parameters of hepatotoxicity. Results SAMC reduced CCl4-triggered cellular necrosis and inflammation in the liver under histological analysis. Since co-treatment of SAMC and CCl4 enhanced the expressions of antioxidant enzymes, reduced the nitric oxide (NO)-dependent oxidative stress, and inhibited lipid peroxidation induced by CCl4. SAMC played an essential antioxidative role during CCl4-induced hepatotoxicity. Administration of SAMC also ameliorated hepatic inflammation induced by CCl4 via inhibiting the activity of NF-κB subunits p50 and p65, thus reducing the expressions of pro-inflammatory cytokines, mediators, and chemokines, as well as promoting pro-regenerative factors at both transcriptional and translational levels. Conclusions Our results indicate that SAMC mitigates cellular damage, oxidative stress, and inflammation in CCl4-induced acute hepatotoxicity mouse model through regulation of NF-κB. Garlic or garlic derivatives may therefore be a potential food supplement in the prevention of liver damage.

Harmonic elimination technique for a single-phase multilevel converter with unequal DC link voltage levels

Multilevel converters, because of the benefits they attract in generating high quality output voltage, are used in several applications. Various modulation and control techniques are introduced by several researchers to control the output voltage of the multilevel converters like space vector modulation and harmonic elimination (HE) methods. Multilevel converters may have a DC link with equal or unequal DC voltages. In this study a new HE technique based on the HE method is proposed for multilevel converters with unequal DC link voltage. The DC link voltage levels are considered as additional variables for the HE method and the voltage levels are defined based on the HE results. Increasing the number of voltage levels can reduce lower order harmonic content because of the fact that more variables are created. In comparison to previous methods, this new technique has a positive effect on the output voltage quality by reducing its total harmonic distortion, which must take into consideration for some applications such as uninterruptable power supply, motor drive systems and piezoelectric transducer excitation. In order to verify the proposed modulation technique, MATLAB simulations and experimental tests are carried out for a single-phase four-level diode-clamped converter.

Inflammation, hepatic enzymes and resistance training in individuals with metabolic risk factors

AIMS: Increases in inflammatory markers, hepatic enzymes and physical inactivity are associated with the development of the metabolic syndrome (MetS). We examined whether inflammatory markers and hepatic enzymes are correlated with traditional risk factors for MetS and studied the effects of resistance training (RT) on these emerging risk factors in individuals with a high number of metabolic risk factors (HiMF, 2.9 +/- 0.8) and those with a low number of metabolic risk factors (LoMF, 0.5 +/- 0.5). METHODS: Twenty-eight men and 27 women aged 50.8 +/- 6.5 years (mean +/- sd) participated in the study. Participants were randomized to four groups, HiMF training (HiMFT), HiMF control (HiMFC), LoMF training (LoMFT) and LoMF control (LoMFC). Before and after 10 weeks of RT [3 days/week, seven exercises, three sets with intensity gradually increased from 40-50% of one repetition maximum (1RM) to 75-85% of 1RM], blood samples were obtained for the measurement of pro-inflammatory cytokines, C-reactive protein (CRP), gamma-glutamyltransferase (GGT) and alanine aminotransferase (ALT). RESULTS: At baseline, HiMF had higher interleukin-6 (33.9%), CRP (57.1%), GGT (45.2%) and ALT (40.6%) levels, compared with LoMF (all P < 0.05). CRP, GGT and ALT correlated with the number of risk factors (r = 0.48, 0.51 and 0.57, respectively, all P < 0.01) and with other anthropometric and clinical measures (r range from 0.26 to 0.60, P < 0.05). RT did not significantly alter inflammatory markers or hepatic enzymes (all P > 0.05). CONCLUSIONS: HiMF was associated with increased inflammatory markers and hepatic enzyme concentrations. RT did not reduce inflammatory markers and hepatic enzymes in individuals with HiMF.

Marker gene elimination from transgenic barley, using co-transformation with adjacent 'twin T-DNAs' on a standard Agrobacterium transformation vector

We have tested a methodology for the elimination of the selectable marker gene after Agrobacterium-mediated transformation of barley. This involves segregation of the selectable marker gene away from the gene of interest following co-transformation using a plasmid carrying two T-DNAs, which were located adjacent to each other with no intervening region. A standard binary transformation vector was modified by insertion of a small section composed of an additional left and right T-DNA border, so that the selectable marker gene and the site for insertion of the gene of interest (GOI) were each flanked by a left and right border. Using this vector three different GOIs were transformed into barley. Analysis of transgene inheritance was facilitated by a novel and rapid assay utilizing PCR amplification from macerated leaf tissue. Co-insertion was observed in two thirds of transformants, and among these approximately one quarter had transgene inserts which segregated in the next generation to yield selectable marker-free transgenic plants. Insertion of non-T-DNA plasmid sequences was observed in only one of fourteen SMF lines tested. This technique thus provides a workable system for generating transgenic barley free from selectable marker genes, thereby obviating public concerns regarding proliferation of these genes.

Identification and elimination of a matrix-induced systematic error in LA–ICP–MS 206Pb/238U dating of zircon

Black et al. (2004) identified a systematic difference between LA–ICP–MS and TIMS measurements of 206Pb/238U in zircons, which they correlated with the incompatible trace element content of the zircon. We show that the offset between the LA–ICP–MS and TIMS measured 206Pb/238U correlates more strongly with the total radiogenic Pb than with any incompatible trace element. This suggests that the cause of the 206Pb/238U offset is related to differences in the radiation damage (alpha dose) between the reference and unknowns. We test this hypothesis in two ways. First, we show that there is a strong correlation between the difference in the LA–ICP–MS and TIMS measured 206Pb/238U and the difference in the alpha dose received by unknown and reference zircons. The LA–ICP–MS ages for the zircons we have dated can be as much as 5.1% younger than their TIMS age to 2.1% older, depending on whether the unknown or reference received the higher alpha dose. Second, we show that by annealing both reference and unknown zircons at 850 °C for 48 h in air we can eliminate the alpha-dose-induced differences in measured 206Pb/238U. This was achieved by analyzing six reference zircons a minimum of 16 times in two round robin experiments: the first consisting of unannealed zircons and the second of annealed grains. The maximum offset between the LA–ICP–MS and TIMS measured 206Pb/238U for the unannealed zircons was 2.3%, which reduced to 0.5% for the annealed grains, as predicted by within-session precision based on counting statistics. Annealing unknown zircons and references to the same state prior to analysis holds the promise of reducing the 3% external error for the measurement of 206Pb/238U of zircon by LA–ICP–MS, indicated by Klötzli et al. (2009), to better than 1%, but more analyses of annealed zircons by other laboratories are required to evaluate the true potential of the annealing method.

Hybrid genetic algorithm for elimination of severe stress concentration in railhead ends

This paper presents a computational method for eliminating severe stress concentration at the unsupported railhead ends in rail joints through innovative shape optimization of the contact zone, which is complex due to near field nonlinear contact. With a view to minimizing the computational efforts, hybrid genetic algorithm method coupled with parametric finite element has been developed and compared with the traditional genetic algorithm (GA). The shape of railhead top surface where the wheel contacts nonlinearly was optimized using the hybridized GA method. Comparative study of the optimal result and the search efficiency between the traditional and hybrid GA methods has shown that the hybridized GA provides the optimal shape in fewer computational cycles without losing accuracy. The method will be beneficial to solving complex engineering problems involving contact nonlinearity.

Concerted HO2 elimination from alpha-Aminoalkylperoxyl free radicals : Experimental and theoretical evidence from the gas phase NH2 center dot CHCO2- + O-2 reaction

We have investigated the gas-phase reaction of the alpha-aminoacetate (glycyl) radical anion (NH2(sic)CHCO2-) with O-2 using ion trap mass spectrometry, quantum chemistry, and statistical reaction rate theory. This radical is found to undergo a remarkably rapid reaction with O-2 to form the hydroperoxyl radical (HO2(sic)) and an even-electron imine (NHCHCO2-), with experiments and master equation simulations revealing that reaction proceeds at the ion molecule collision rate. This reaction is facilitated by a low-energy concerted HO2(sic) elimination mechanism in the NH2CH(OO(sic))CO2- peroxyl radical. These findings can explain the widely observed free-radical-mediated oxidation of simple amino acids to amides plus alpha-keto acids (their imine hydrolysis products). This work also suggests that imines will be the main intermediates in the atmospheric oxidation of primary and secondary amines, including amine carbon capture solvents such as 2-aminoethanol (commonly known as monoethanolamine, or MEA), in a process that avoids the ozone-promoting conversion of (sic)NO to (sic)NO2 commonly encountered in peroxyl radical chemistry.

Offspring of mothers fed a high fat diet display hepatic cell cycle inhibition and associated changes in gene expression and DNA methylation

The association between an adverse early life environment and increased susceptibility to later-life metabolic disorders such as obesity, type 2 diabetes and cardiovascular disease is described by the developmental origins of health and disease hypothesis. Employing a rat model of maternal high fat (MHF) nutrition, we recently reported that offspring born to MHF mothers are small at birth and develop a postnatal phenotype that closely resembles that of the human metabolic syndrome. Livers of offspring born to MHF mothers also display a fatty phenotype reflecting hepatic steatosis and characteristics of non-alcoholic fatty liver disease. In the present study we hypothesised that a MHF diet leads to altered regulation of liver development in offspring; a derangement that may be detectable during early postnatal life. Livers were collected at postnatal days 2 (P2) and 27 (P27) from male offspring of control and MHF mothers (n = 8 per group). Cell cycle dynamics, measured by flow cytometry, revealed significant G0/G1 arrest in the livers of P2 offspring born to MHF mothers, associated with an increased expression of the hepatic cell cycle inhibitor Cdkn1a. In P2 livers, Cdkn1a was hypomethylated at specific CpG dinucleotides and first exon in offspring of MHF mothers and was shown to correlate with a demonstrable increase in mRNA expression levels. These modifications at P2 preceded observable reductions in liver weight and liver:brain weight ratio at P27, but there were no persistent changes in cell cycle dynamics or DNA methylation in MHF offspring at this time. Since Cdkn1a up-regulation has been associated with hepatocyte growth in pathologic states, our data may be suggestive of early hepatic dysfunction in neonates born to high fat fed mothers. It is likely that these offspring are predisposed to long-term hepatic dysfunction.