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.

High-level cytoplasmic cyclin D1 expression in lymph node metastases from prostate cancer independently predicts early biochemical failure and death in surgically treated patients

To test the prognostic significance of cyclin D1 in nodal-positive prostate cancer.

Auditory motion direction encoding in auditory cortex and high-level visual cortex

The aim of this functional magnetic resonance imaging (fMRI) study was to identify human brain areas that are sensitive to the direction of auditory motion. Such directional sensitivity was assessed in a hypothesis-free manner by analyzing fMRI response patterns across the entire brain volume using a spherical-searchlight approach. In addition, we assessed directional sensitivity in three predefined brain areas that have been associated with auditory motion perception in previous neuroimaging studies. These were the primary auditory cortex, the planum temporale and the visual motion complex (hMT/V5+). Our whole-brain analysis revealed that the direction of sound-source movement could be decoded from fMRI response patterns in the right auditory cortex and in a high-level visual area located in the right lateral occipital cortex. Our region-of-interest-based analysis showed that the decoding of the direction of auditory motion was most reliable with activation patterns of the left and right planum temporale. Auditory motion direction could not be decoded from activation patterns in hMT/V5+. These findings provide further evidence for the planum temporale playing a central role in supporting auditory motion perception. In addition, our findings suggest a cross-modal transfer of directional information to high-level visual cortex in healthy humans.

Trovafloxacin in treatment of rabbits with experimental meningitis caused by high-level penicillin-resistant Streptococcus pneumoniae

The fluoroquinolone trovafloxacin was bactericidal (0.47 +/- 0.23 delta log10 CFU/ml x h after 10 mg/kg of body weight and 0.78 +/- 0.15 delta log10 CFU/ml x h after 30 mg/kg) in the treatment of experimental meningitis caused by a highly penicillin-resistant (MIC and minimum bactericidal concentration = 4 and 4 microg/ml) strain of Streptococcus pneumoniae. Combinations with ampicillin and rifampin were indifferent compared to single drugs.

High level of extracellular potassium and its correlates after severe head injury: relationship to high intracranial pressure

OBJECT: Disturbed ionic and neurotransmitter homeostasis are now recognized as probably the most important mechanisms contributing to the development of secondary brain swelling after traumatic brain injury (TBI). Evidence obtained in animal models indicates that posttraumatic neuronal excitation by excitatory amino acids leads to an increase in extracellular potassium, probably due to ion channel activation. The purpose of this study was therefore to measure dialysate potassium in severely head injured patients and to correlate these results with measurements of intracranial pressure (ICP), patient outcome, and levels of dialysate glutamate and lactate, and cerebral blood flow (CBF) to determine the role of ischemia in this posttraumatic ion dysfunction. METHODS: Eighty-five patients with severe TBI (Glasgow Coma Scale Score < 8) were treated according to an intensive ICP management-focused protocol. All patients underwent intracerebral microdialyis. Dialysate potassium levels were analyzed using flame photometry, and dialysate glutamate and dialysate lactate levels were measured using high-performance liquid chromatography and an enzyme-linked amperometric method in 72 and 84 patients, respectively. Cerebral blood flow studies (stable xenon computerized tomography scanning) were performed in 59 patients. In approximately 20% of the patients, dialysate potassium values were increased (dialysate potassium > 1.8 mM) for 3 hours or more. A mean amount of dialysate potassium greater than 2 mM throughout the entire monitoring period was associated with ICP above 30 mm Hg and fatal outcome, as were progressively rising levels of dialysate potassium. The presence of dialysate potassium correlated positively with dialysate glutamate (p < 0.0001) and lactate (p < 0.0001) levels. Dialysate potassium was significantly inversely correlated with reduced CBF (p = 0.019). CONCLUSIONS: Dialysate potassium was increased after TBI in 20% of measurements. High levels of dialysate potassium were associated with increased ICP and poor outcome. The simultaneous increase in dialysate potassium, together with dialysate glutamate and lactate, supports the concept that glutamate induces ionic flux and consequently increases ICP, which the authors speculate may be due to astrocytic swelling. Reduced CBF was also significantly correlated with increased levels of dialysate potassium. This may be due to either cell swelling or altered vasoreactivity in cerebral blood vessels caused by higher levels of potassium after trauma. Additional studies in which potassium-sensitive microelectrodes are used are needed to validate these ionic events more clearly.

Possible role of Cdx2 in the serrated pathway of colorectal cancer characterized by BRAF mutation, high-level CpG Island methylator phenotype and mismatch repair-deficiency

Colorectal cancer is a heterogeneous disease at the histomorphological, clinical and molecular level. Approximately 20% of cases may progress through the "serrated" pathway characterized by BRAF mutation and high-level CpG Island Methylator Phenotype (CIMP). A large subgroup are additionally microsatellite instable (MSI) and demonstrate significant loss of tumor suppressor Cdx2. The aim of this study is to determine the specificity of Cdx2 protein expression and CpG promoter hypermethylation for BRAF(V600E) and high-level CIMP in colorectal cancer. Cdx2, Mlh1, Msh2, Msh6, and Pms2 were analyzed by immunohistochemistry using a multi-punch tissue microarray (TMA; n = 220 patients). KRAS and BRAF(V600E) mutation analysis, CDX2 methylation and CIMP were investigated. Loss of Cdx2 was correlated with larger tumor size (P = 0.0154), right-sided location (P = 0.0014), higher tumor grade (P < 0.0001), more advanced pT (P = 0.0234) and lymphatic invasion (P = 0.0351). Specificity was 100% for mismatch repair (MMR)-deficiency (P < 0.0001), 92.2% (P < 0.0001) for BRAF(V600E) and 91.8% for CIMP-high. Combined analysis of BRAF(V600E) /CIMP identified Cdx2 loss as sensitive (80%) and specific (91.5%) for mutation/high status. These results were validated on eight well-established colorectal cancer cell lines. CDX2 methylation correlated with BRAF(V600E) (P = 0.0184) and with Cdx2 protein loss (P = 0.0028). These results seem to indicate that Cdx2 may play a role in the serrated pathway to colorectal cancer as underlined by strong relationships with BRAF(V600E) , CIMP-high and MMR-deficiency. Whether this protein can only be used as a "surrogate" marker, or is functionally involved in the progression of these tumors remains to be elucidated.