Applying partial virtualization on ELF binaries through dynamic loaders

The technology of partial virtualization is a revolutionary approach to the world of virtualization. It lies directly in-between full system virtual machines (like QEMU or XEN) and application-related virtual machines (like the JVM or the CLR). The ViewOS project is the flagship of such technique, developed by the Virtual Square laboratory, created to provide an abstract view of the underlying system resources on a per-process basis and work against the principle of the Global View Assumption. Virtual Square provides several different methods to achieve partial virtualization within the ViewOS system, both at user and kernel levels. Each of these approaches have their own advantages and shortcomings. This paper provides an analysis of the different virtualization methods and problems related to both the generic and partial virtualization worlds. This paper is the result of an in-depth study and research for a new technology to be employed to provide partial virtualization based on ELF dynamic binaries. It starts with a mild analysis of currently available virtualization alternatives and then goes on describing the ViewOS system, highlighting its current shortcomings. The vloader project is then proposed as a possible solution to some of these inconveniences with a working proof of concept and examples to outline the potential of such new virtualization technique. By injecting specific code and libraries in the middle of the binary loading mechanism provided by the ELF standard, the vloader project can promote a streamlined and simplified approach to trace system calls. With the advantages outlined in the following paper, this method presents better performance and portability compared to the currently available ViewOS implementations. Furthermore, some of itsdisadvantages are also discussed, along with their possible solutions.

Supersymmetry searches in the single lepton final state with the ATLAS detector

This thesis presents an analysis for the search of Supersymmetry with the ATLAS detector at the LHC. The final state with one lepton, several coloured particles and large missing transverse energy was chosen. Particular emphasis was placed on the optimization of the requirements for lepton identification. This optimization showed to be particularly useful when combining with multi-lepton selections. The systematic error associated with the higher order QCD diagrams in Monte Carlo production is given particular focus. Methods to verify and correct the energy measurement of hadronic showers are developed. Methods for the identification and removal of mismeasurements caused by the detector are found in the single muon and four jet environment are applied. A new detector simulation system is shown to provide good prospects for future fast Monte Carlo production. The analysis was performed for $35pb^{-1}$ and no significant deviation from the Standard Model is seen. Exclusion limits subchannel for minimal Supergravity. Previous limits set by Tevatron and LEP are extended.

Jet energy measurement with the ATLAS detector in proton-proton collisions at sqrt(s) = 7 TeV

The jet energy scale (JES) and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of sqrt(s) = 7 TeV corresponding to an integrated luminosity of 38 inverse pb. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0.4 or R=0.6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pt > 20 GeV and pseudorapidities eta<4.5. The JES systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams. The JES uncertainty is less than 2.5% in the central calorimeter region (eta<0.8) for jets with 60 < pt < 800 GeV, and is maximally 14% for pt < 30 GeV in the most forward region 3.2with pt > 50 GeV after a dedicated correction for this effect. The JES is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pt, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pt jets recoiling against a high-pt jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, providing an improved jet energy resolution and a reduced flavour dependence of the jet response. The JES systematic uncertainty determined from a combination of in situ techniques are consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pt jets.

Spastin in the human and mouse central nervous system with special reference to its expression in the hippocampus of mouse pilocarpine model of status epilepticus and temporal lobe epilepsy

In the present in situ hybridization and immunocytochemical studies in the mouse central nervous system (CNS), a strong expression of spastin mRNA and protein was found in Purkinje cells and dentate nucleus in the cerebellum, in hippocampal principal cells and hilar neurons, in amygdala, substantia nigra, striatum, in the motor nuclei of the cranial nerves and in different layers of the cerebral cortex except piriform and entorhinal cortices where only neurons in layer II were strongly stained. Spastin protein and mRNA were weakly expressed in most of the thalamic nuclei. In selected human brain regions such as the cerebral cortex, cerebellum, hippocampus, amygdala, substania nigra and striatum, similar results were obtained. Electron microscopy showed spastin immunopositive staining in the cytoplasma, dendrites, axon terminals and nucleus. In the mouse pilocarpine model of status epilepticus and subsequent temporal lobe epilepsy, spastin expression disappeared in hilar neurons as early as at 2h during pilocarpine induced status epilepticus, and never recovered. At 7 days and 2 months after pilocarpine induced status epilepticus, spastin expression was down-regulated in granule cells in the dentate gyrus, but induced expression was found in reactive astrocytes. The demonstration of widespread distribution of spastin in functionally different brain regions in the present study may provide neuroanatomical basis to explain why different neurological, psychological disorders and cognitive impairment occur in patients with spastin mutation. Down-regulation or loss of spastin expression in hilar neurons may be related to their degeneration and may therefore initiate epileptogenetic events, leading to temporal lobe epilepsy.

The cytochrome P450 aromatase lacking exon 5 is associated with a phenotype of nonclassic aromatase deficiency and is also present in normal human steroidogenic tissues

OBJECTIVE: The previously described c655G>A mutation of the human cytochrome P450 aromatase gene (P450aro, CYP19) results in aberrant splicing due to disruption of a donor splice site. To explain the phenotype of partial aromatase deficiency observed in a female patient described with this mutation, molecular consequences of the c655G>A mutation were investigated. DESIGN: To investigate whether the c655G>A mutation causes an aberrant spliced mRNA lacking exon 5 (-Ex5), P450aro RNA was analysed from the patient's lymphocytes by reverse transcription polymerase chain reaction (RT-PCR) and by splicing assays performed in Y1 cells transfected with a P450aro -Ex5 expression vector. Aromatase activity of the c655G>A mutant was predicted by three dimensional (3D) protein modelling studies and analysed in transiently transfected Y1 cells. Exon 5 might be predicted as a poorly defined exon suggesting a susceptibility to both splicing mutations and physiological alternative splicing events. Therefore, expression of the -Ex5 mRNA was also assessed as a possibly naturally occurring alternative splicing transcript in normal human steroidogenic tissues. PATIENTS: An aromatase deficient girl was born with ambiguous genitalia. Elevated serum LH, FSH and androgens, as well as cystic ovaries, were found during prepuberty. At the age of 8.4 years, spontaneous breast development and a 194.6 pmol/l serum oestradiol level was observed. RESULTS: The -Ex5 mRNA was found in lymphocytes of the P450aro deficient girl and her father, who was a carrier of the mutation. Mutant minigene expression resulted in complete exon 5 skipping. As expected from 3D protein modelling, -Ex5 cDNA expression in Y1 cells resulted in loss of P450aro activity. In addition, the -Ex5 mRNA was present in placenta, prepubertal testis and adrenal tissues. CONCLUSIONS: Alternative splicing of exon 5 of the CYP19 gene occurs in the wild type (WT) as well as in the c655G>A mutant. We speculate that for the WT it might function as a regulatory mechanism for aromatization, whereas for the mutant a relative prevalence of the shorter over the full-length protein might explain the phenotype of partial aromatase deficiency.

A novel succinate dehydrogenase subunit B gene mutation, H132P, causes familial malignant sympathetic extraadrenal paragangliomas

We report a family with malignant sympathetic paragangliomas (PGL) exhibiting a new type of germline mutation in the succinate dehydrogenase subunit B (SDHB) gene. Two affected brothers, presenting with symptoms at the ages of 25 and 52 yr, suffered from malignant abdominal extraadrenal sympathetic PGL. They died of their disease at ages 43 and 61 yr. Their mother had the same history of signs and symptoms, suggesting a catecholamine-producing tumor at the age of 55 yr. Analysis of the germline DNA from these three patients revealed a novel mutation in exon 4 (H132P) of the SDHB gene. This mutation was absent in 160 control chromosomes. Loss of heterozygosity analysis of the tumors showed a loss of one SDHB allele, and RT-PCR-based expression analysis confirmed the exclusive expression of the mutated allele in both tumors. A review of the published PGL families revealed malignant tumors in seven of 12 well-documented families with SDHB mutation-associated extraadrenal PGL. These findings, as well as findings of the family reported here, suggest a strong causal relationship of SDHB germline mutations with malignant extraadrenal abdominal PGL and imply the necessity of a close follow-up of affected individuals and family members.

Neural network based glucose - insulin metabolism models for children with Type 1 diabetes

In this paper two models for the simulation of glucose-insulin metabolism of children with Type 1 diabetes are presented. The models are based on the combined use of Compartmental Models (CMs) and artificial Neural Networks (NNs). Data from children with Type 1 diabetes, stored in a database, have been used as input to the models. The data are taken from four children with Type 1 diabetes and contain information about glucose levels taken from continuous glucose monitoring system, insulin intake and food intake, along with corresponding time. The influences of taken insulin on plasma insulin concentration, as well as the effect of food intake on glucose input into the blood from the gut, are estimated from the CMs. The outputs of CMs, along with previous glucose measurements, are fed to a NN, which provides short-term prediction of glucose values. For comparative reasons two different NN architectures have been tested: a Feed-Forward NN (FFNN) trained with the back-propagation algorithm with adaptive learning rate and momentum, and a Recurrent NN (RNN), trained with the Real Time Recurrent Learning (RTRL) algorithm. The results indicate that the best prediction performance can be achieved by the use of RNN.

Interactive Augmentation of Live Images using a HDR Stereo Camera

Adding virtual objects to real environments plays an important role in todays computer graphics: Typical examples are virtual furniture in a real room and virtual characters in real movies. For a believable appearance, consistent lighting of the virtual objects is required. We present an augmented reality system that displays virtual objects with consistent illumination and shadows in the image of a simple webcam. We use two high dynamic range video cameras with fisheye lenses permanently recording the environment illumination. A sampling algorithm selects a few bright parts in one of the wide angle images and the corresponding points in the second camera image. The 3D position can then be calculated using epipolar geometry. Finally, the selected point lights are used in a multi pass algorithm to draw the virtual object with shadows. To validate our approach, we compare the appearance and shadows of the synthetic objects with real objects.

Dynamic merge of discrete goods flow – Impact on throughput and efficiency

Continuous conveyors with a dynamic merge were developed with adaptable control equipment to differentiate these merges from competing Stop-and-Go merges. With a dynamic merge, the partial flows are manipulated by influencing speeds so that transport units need not stop for the merge. This leads to a more uniform flow of materials, which is qualitatively observable and verifiable in long-term measurements. And although this type of merge is visually mesmerizing, does it lead to advantages from the view of material flow technology? Our study with real data indicates that a dynamic merge shows a 24% increase in performance, but only for symmetric or nearly symmetric flows. This performance advantage decreases as the flows become less symmetric, approaching the throughput of traditional Stop-and-Go merges. And with a cost premium for a continuous merge of approximately 10% due to the additional technical components (belt conveyor, adjustable drive engines, software, etc.), this restricts their economical use.

Energy and weight reduction in hoisting systems with magnetic traction sheaves

At the Chair of Logistics Engineering, TU Dresden, a particular focus is research and development of magnetic traction sheaves. Therein the main fundamentals of these special sheaves are determined for applications in different fields such as elevators, several kinds of winches, hoists and cranes. In the current research project “energy balance of magnetic traction sheaves”, the dynamic behaviour of systems with magnetic traction sheaves was investigated. The research focused on theoretical and practical examinations of energy balance. Moreover, a new approach for dimensioning magnetic traction sheave systems is presented. It is a project of the Research Foundation Intralogistics / Material Handling and Logistics (IFL), which is funded through the AiF under the program of Industrial Collective Research for SMEs (IGF) by the Federal Ministry of Economics and Technology (BMWi).