PyGirl Generating Whole-System VMs from high-level models using PyPy

Virtual machines emulating hardware devices are generally implemented in low-level languages and using a low-level style for performance reasons. This trend results in largely difficult to understand, difficult to extend and unmaintainable systems. As new general techniques for virtual machines arise, it gets harder to incorporate or test these techniques because of early design and optimization decisions. In this paper we show how such decisions can be postponed to later phases by separating virtual machine implementation issues from the high-level machine-specific model. We construct compact models of whole-system VMs in a high-level language, which exclude all low-level implementation details. We use the pluggable translation toolchain PyPy to translate those models to executables. During the translation process, the toolchain reintroduces the VM implementation and optimization details for specific target platforms. As a case study we implement an executable model of a hardware gaming device. We show that our approach to VM building increases understandability, maintainability and extendability while preserving performance.

PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy

Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that are difficult to understand. In this paper we report on our experience using the PyPy toolchain to improve the portability and reduce the complexity of whole-system VM implementations. As a case study we implement a VM prototype for a Nintendo Game Boy, called PyGirl, in which the high-level model is separated from low-level VM implementation issues. We shed light on the process of refactoring from a low-level VM implementation in Java to a high-level model in RPython. We show that our whole-system VM written with PyPy is significantly less complex than standard implementations, without substantial loss in performance.

Whole-body vibration exposure study in U.S. railroad locomotives--an ergonomic risk assessment

Whole-body vibration exposure of locomotive engineers and the vibration attenuation of seats in 22 U.S. locomotives (built between 1959 and 2000) was studied during normal revenue service and following international measurement guidelines. Triaxial vibration measurements (duration mean 155 min, range 84-383 min) on the seat and on the floor were compared. In addition to the basic vibration evaluation (aw rms), the vector sum (av), the maximum transient vibration value (MTVV/aw), the vibration dose value (VDV/(aw T1/4)), and the vibration seat effective transmissibility factor (SEAT) were calculated. The power spectral densities are also reported. The mean basic vibration level (aw rms) was for the fore-aft axis x = 0.18 m/sec2, the lateral axis y = 0.28 m/sec2, and the vertical axis z = 0.32 m/sec2. The mean vector sum was 0.59 m/sec2 (range 0.27 to 1.44). The crest factors were generally at or above 9 in the horizontal and vertical axis. The mean MTVV/aw was 5.3 (x), 5.1 (y), and 4.8 (z), and the VDV/(aw T1/4) values ranged from 1.32 to 2.3 (x-axis), 1.33 to 1.7 (y-axis), and 1.38 to 1.86 (z-axis), generally indicating high levels of shocks. The mean seat transmissibility factor (SEAT) was 1.4 (x) and 1.2 (y) and 1 (z), demonstrating a general ineffectiveness of any of the seat suspension systems. In conclusion, these data indicate that locomotive rides are characterized by relatively high shock content (acceleration peaks) of the vibration signal in all directions. Locomotive vertical and lateral vibrations are similar, which appears to be characteristic for rail vehicles compared with many road/off-road vehicles. Tested locomotive cab seats currently in use (new or old) appear inadequate to reduce potentially harmful vibration and shocks transmitted to the seated operator, and older seats particularly lack basic ergonomic features regarding adjustability and postural support.

A whole-genome scan for recurrent airway obstruction in Warmblood sport horses indicates two positional candidate regions

Recurrent airway obstruction (RAO), or heaves, is a naturally occurring asthma-like disease that is related to sensitisation and exposure to mouldy hay and has a familial basis with a complex mode of inheritance. A genome-wide scanning approach using two half-sibling families was taken in order to locate the chromosome regions that contribute to the inherited component of this condition in these families. Initially, a panel of 250 microsatellite markers, which were chosen as a well-spaced, polymorphic selection covering the 31 equine autosomes, was used to genotype the two half-sibling families, which comprised in total 239 Warmblood horses. Subsequently, supplementary markers were added for a total of 315 genotyped markers. Each half-sibling family is focused around a severely RAO-affected stallion, and the phenotype of each individual was assessed for RAO and related signs, namely, breathing effort at rest, breathing effort at work, coughing, and nasal discharge, using an owner-based questionnaire. Analysis using a regression method for half-sibling family structures was performed using RAO and each of the composite clinical signs separately; two chromosome regions (on ECA13 and ECA15) showed a genome-wide significant association with RAO at P < 0.05. An additional 11 chromosome regions showed a more modest association. This is the first publication that describes the mapping of genetic loci involved in RAO. Several candidate genes are located in these regions, a number of which are interleukins. These are important signalling molecules that are intricately involved in the control of the immune response and are therefore good positional candidates.

Whole genome methylation array analysis reveals new aspects in Balkan endemic nephropathy etiology

Background Balkan endemic nephropathy (BEN) represents a chronic progressive interstitial nephritis in striking correlation with uroepithelial tumours of the upper urinary tract. The disease has endemic distribution in the Danube river regions in several Balkan countries. DNA methylation is a primary epigenetic modification that is involved in major processes such as cancer, genomic imprinting, gene silencing, etc. The significance of CpG island methylation status in normal development, cell differentiation and gene expression is widely recognized, although still stays poorly understood. Methods We performed whole genome DNA methylation array analysis on DNA pool samples from peripheral blood from 159 affected individuals and 170 healthy individuals. This technique allowed us to determine the methylation status of 27 627 CpG islands throughout the whole genome in healthy controls and BEN patients. Thus we obtained the methylation profile of BEN patients from Bulgarian and Serbian endemic regions. Results Using specifically developed software we compared the methylation profiles of BEN patients and corresponding controls and revealed the differently methylated regions. We then compared the DMRs between all patient-control pairs to determine common changes in the epigenetic profiles. SEC61G, IL17RA, HDAC11 proved to be differently methylated throughout all patient-control pairs. The CpG islands of all 3 genes were hypomethylated compared to controls. This suggests that dysregulation of these genes involved in immunological response could be a common mechanism in BEN pathogenesis in both endemic regions and in both genders. Conclusion Our data propose a new hypothesis that immunologic dysregulation has a place in BEN etiopathogenesis. Keywords: Epigenetics; Whole genome array analysis; Balkan endemic nephropathy

An in-situ surface electrochemistry approach toward whole-cell studies: Charge transfer between Geobacter sulfurreducens and electrified metal/electrolyte interfaces through linker molecules

Electrochemical reactivity and structure properties of electrogenic bacteria, Geobacter sulfurreducens (Gs) were studied to explore the heterogeneous electron transfer at the bacteria/electrode interface using electrochemical and in-situ spectroscopic techniques. The redox behavior of Gs adsorbed on a gold electrode, which is modified with a ω-functionalized self-assembled monolayer (SAM) of alkanethiols, depends strongly on the terminal group. The latter interacts directly with outermost cytochromes embedded into the outer membrane of the Gs cells. The redox potential of bacterial cells bound electrostatically to a carboxyl-terminated SAM is close to that observed for bacteria attached to a bare gold electrode, revealing a high electronic coupling at the cell/SAM interface. The redox potentials of bacterial cells adsorbed on amino- and pyridyl-terminated SAMs are significantly different suggesting that the outermost cytochromes changes their conformation upon adsorption on these SAMs. No redox activity of Gs was found with CH3-, N(CH3)3+- and OH-terminated SAMs. Complementary in-situ spectroscopic studies on bacteria/SAMs/Au electrode assemblies were carried out to monitor structure changes of the bacterial cells upon polarization. Spectro-electrochemical techniques revealed the electrochemical turnover of the oxidized and reduced states of outer membrane cytochromes (OMCs) in Gs, providing evidence that the OMCs are responsible for the direct electron transfer to metal electrodes, such as gold or silver, during the electricity production. Furthermore, we observed spectroscopic signatures of the native structure of the OMCs and no conformational change during the oxidation/reduction process of the microorganisms. These findings indicate that the carboxyl-anchoring group provides biocompatible conditions for the outermost cytochromes of the Gs, which facilitate the heterogeneous electron transfer at the microorganism/electrode interface.

Effects of different types of solid feeds on health status and performance of Swiss veal calves. II. Basic feeding with whole milk

The objective of this study was to identify a suitable alternative to the current practice of complementing the feeding of whole milk with straw. The influence of 3 different solid supplements on the health and performance of Swiss veal calves was investigated during 3 production cycles of 90 veal calves each with a mean initial age of 42 days and a mean initial weight of 68.7 kg. The calves were housed in groups of 30 in stalls strewn with wheat straw without outside pen. Liquid feeding consisted of whole milk combined with an additional skim milk powder ad libitum. Groups were assigned to one of the three following experimental solid feeds provided ad libitum: Pellet mix (composition: oat hulls, corn [whole plant], barley, sunflower seeds, squeezed grains of corn, molasses and a pellet binder), whole plant corn pellets, and wheat straw as control. Calves of the straw group showed significantly more abomasal lesions in the fundic part as compared to the pellet mix and corn pellets groups (P < 0.001), the prevalence of insufficient papillae was highest (P < 0.05), and ruminating behavior was unsatisfactory. In contrast to the pellet mix and straw groups, performance of calves in the corn pellets group was good. Additionally, prevalence of abomasal fundic lesions was lowest (P < 0.001), and rumen development was best in calves of the corn pellets group (P < 0.01). As in part I, the results reveal that whole-plant corn pellets are most consistent with an optimal result combining the calves' health and fattening performance. Therefore, it can be recommended as a solid supplement for veal calves basically fed whole milk under Swiss conditions.

Prediction of residential radon exposure of the whole Swiss population: comparison of model-based predictions with measurement-based predictions

Radon plays an important role for human exposure to natural sources of ionizing radiation. The aim of this article is to compare two approaches to estimate mean radon exposure in the Swiss population: model-based predictions at individual level and measurement-based predictions based on measurements aggregated at municipality level. A nationwide model was used to predict radon levels in each household and for each individual based on the corresponding tectonic unit, building age, building type, soil texture, degree of urbanization, and floor. Measurement-based predictions were carried out within a health impact assessment on residential radon and lung cancer. Mean measured radon levels were corrected for the average floor distribution and weighted with population size of each municipality. Model-based predictions yielded a mean radon exposure of the Swiss population of 84.1 Bq/m(3) . Measurement-based predictions yielded an average exposure of 78 Bq/m(3) . This study demonstrates that the model- and the measurement-based predictions provided similar results. The advantage of the measurement-based approach is its simplicity, which is sufficient for assessing exposure distribution in a population. The model-based approach allows predicting radon levels at specific sites, which is needed in an epidemiological study, and the results do not depend on how the measurement sites have been selected.

Biochemical, single-channel, whole-cell patch clamp, and pharmacological analyses of endogenous TRPM4 channels in HEK293 cells

Human embryonic kidney cells 293 (HEK293) are widely used as cellular heterologous expression systems to study transfected ion channels. This work characterizes the endogenous expression of TRPM4 channels in HEK293 cells. TRPM4 is an intracellular Ca(2+)-activated non-selective cationic channel expressed in many cell types. Western blot analyses have revealed the endogenous expression of TRPM4. Single channel 22pS conductance with a linear current-voltage relationship was observed using the inside-out patch clamp configuration in the presence of intracellular Ca(2+). The channels were permeable to the monovalent cations Na(+) and K(+), but not to Ca(2+). The open probability was voltage-dependent, being higher at positive potentials. Using the whole-cell patch clamp "ruptured patch" configuration, the amplitude of the intracellular Ca(2+)-activated macroscopic current was dependent on time after patch rupture. Initial transient activation followed by a steady-increase reaching a plateau phase was observed. Biophysical analyses of the macroscopic current showed common properties with those from HEK293 cells stably transfected with human TRPM4b, with the exception of current time course and Ca(2+) sensitivity. The endogenous macroscopic current reached the plateau faster and required 61.9±3.5μM Ca(2+) to be half-maximally activated versus 84.2±1.5μM for the transfected current. The pharmacological properties, however, were similar in both conditions. One hundred μM of flufenamic acid and 9-phenanthrol strongly inhibited the endogenous current. Altogether, the data demonstrate the expression of endogenous TRMP4 channels in HEK293 cells. This observation should be taken into account when using this cell line to study TRPM4 or other types of Ca(2+)-activated channels.

Acute effects of stochastic resonance whole body vibration

AIM: To investigate the acute effects of stochastic resonance whole body vibration (SR-WBV) training to identify possible explanations for preventive effects against musculoskeletal disorders. METHODS: Twenty-three healthy, female students participated in this quasi-experimental pilot study. Acute physiological and psychological effects of SR-WBV training were examined using electromyography of descending trapezius (TD) muscle, heart rate variability (HRV), different skin parameters (temperature, redness and blood flow) and self-report questionnaires. All subjects conducted a sham SR-WBV training at a low intensity (2 Hz with noise level 0) and a verum SR-WBV training at a higher intensity (6 Hz with noise level 4). They were tested before, during and after the training. Conclusions were drawn on the basis of analysis of variance. RESULTS: Twenty-three healthy, female students participated in this study (age = 22.4 ± 2.1 years; body mass index = 21.6 ± 2.2 kg/m2). Muscular activity of the TD and energy expenditure rose during verum SR-WBV compared to baseline and sham SR-WBV (all P < 0.05). Muscular relaxation after verum SR-WBV was higher than at baseline and after sham SR-WBV (all P < 0.05). During verum SR-WBV the levels of HRV were similar to those observed during sham SR-WBV. The same applies for most of the skin characteristics, while microcirculation of the skin of the middle back was higher during verum compared to sham SR-WBV (P < 0.001). Skin redness showed significant changes over the three measurement points only in the middle back area (P = 0.022). There was a significant rise from baseline to verum SR-WBV (0.86 ± 0.25 perfusion units; P = 0.008). The self-reported chronic pain grade indicators of pain, stiffness, well-being, and muscle relaxation showed a mixed pattern across conditions. Muscle and joint stiffness (P = 0.018) and muscular relaxation did significantly change from baseline to different conditions of SR-WBV (P < 0.001). Moreover, muscle relaxation after verum SR-WBV was higher than after sham SR-WBV (P < 0.05). CONCLUSION: Verum SR-WBV stimulated musculoskeletal activity in young healthy individuals while cardiovascular activation was low. Training of musculoskeletal capacity and immediate increase in musculoskeletal relaxation are potential mediators of pain reduction in preventive trials.

Whole Proteome Analysis of the Protozoan Parasite Trypanosoma brucei using Stable Isotope Labeling by Amino Acids in Cell Culture and Mass Spectrometry

The single-celled protozoan Trypanosoma brucei spp. is the causative agent of human African trypanosomiasis and nagana in cattle. Quantitative proteomics for the first time allowed for the characterization of the proteome from several different life stages of the parasite (1-3). To achieve this, stable isotope labeling by amino acids in cell culture (SILAC; (4)) was adapted to T. brucei spp. cultures. T. brucei cells grown in standard media with dialyzed fetal calf serum containing heavy isotope-labeled amino acids (arginine and lysine) show efficient incorporation of the labeled amino acids into the whole cell proteome (8-12 divisions) and no detectable amino acid conversions. The method can be applied to both of the major life stages of the parasite and in combination with RNAi or gene knock-out approaches.