Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

In this paper we apply the UML-RSDS notation and tools to the "Hello World" case studies and explain the underlying development process for this model transformation approach.Comment: In Proceedings TTC 2011, arXiv:1111.440

Solving the TTC 2011 Model Migration Case with UML-RSDS

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.Comment: In Proceedings TTC 2011, arXiv:1111.440

Evaluation of Model Transformation Approaches for Model Refactoring

This paper provides a systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC 9126-1 quality characteristics for software systems. We apply this framework to compare five transformation approaches (QVT-R, ATL, Kermeta, UMLRSDS and GrGen.NET) on a complex model refactoring case study: the amalgamation of apparent attribute clones in a class diagram. The case study highlights the problems with the specification and design of the refactoring category of model transformations, and provides a challenging example by which model transformation languages and approaches can be compared. We take into account a wide range of evaluation criteria aspects such as correctness, efficiency, flexibility, interoperability, reusability and robustness, which have not been comprehensively covered by other comparative surveys of transformation approaches. The results show clear distinctions between the capabilities and suitabilities of different approaches to address the refactoring form of transformation problem

Tracebook : a dynamic checklist support system

It has recently been demonstrated that checklist scan enable significant improvements to patient safety. However, their clinical acceptance is significantly lower than expected. This is due to the lack of good support systems. Specifically, support systems are too static: this holds for paper-based support as well as for electronic systems that digitize paper-based support naively. Both approaches are independent from clinical process and clinical context. In this paper, we propose a process-oriented and context-aware dynamic checklist support system: Tracebook. This system supports the execution of complex clinical processes and rules involving data from Electronic Medical Record systems. Workflow activities and forms are specific to individual patients based on clinical rules and they are dispatched to the right user automatically based on a process model. Besides describing the Tracebook functionality in general, this paper demonstrates the support system specifically on an example application that we are preparing for a controlled clinical evaluation. At last we discuss the difference between Tracebook and other support systems which also rely on a checklist format

Identification of TUB as a novel candidate gene influencing body weight in humans

Previously, we identified a locus on 11p influencing obesity in families with type 2 diabetes. Based on mouse studies, we selected TUB as a functional candidate gene and performed association studies to determine whether this controls obesity. We analyzed the genotypes of 13 single nucleotide polymorphisms (SNPs) around TUB in 492 unrelated type 2 diabetic patients with known BMI values. One SNP (rs1528133) was found to have a significant effect on BMI (1.54 kg/m(2), P = 0.006). This association was confirmed in a population enriched for type 2 diabetes, using 750 individuals who were not selected for type 2 diabetes. Two SNPs in linkage disequilibrium with rs1528133 and mapping to the 3' end of TUB, rs2272382, and rs2272383 also affected BMI by 1.3 kg/m2 (P = 0.016 and P = 0.010, respectively). Combined analysis confirmed this association (P = 0.005 and P = 0.002, respectively). Moreover, comparing 349 obese subjects (BMI >30 kg/m(2)) from the combined cohort with 289 normal subjects (BMI <25 kg/m(2)) revealed that the protective alleles have a lower frequency in obese subjects (odds ratio 1.32 [95% CI 1.04-1.67], P = 0.022). Altogether, data from the tubby mouse as well as these data suggest that TUB could be an important factor in controlling the central regulation of body weight in humans

Towards a high-precision measurement of the antiproton magnetic moment

The recent observation of single spins flips with a single proton in a Penning trap opens the way to measure the proton magnetic moment with high precision. Based on this success, which has been achieved with our apparatus at the University of Mainz, we demonstrated recently the first application of the so called double Penning-trap method with a single proton. This is a major step towards a measurement of the proton magnetic moment with ppb precision. To apply this method to a single trapped antiproton our collaboration is currently setting up a companion experiment at the antiproton decelerator of CERN. This effort is recognized as the Baryon Antibaryon Symmetry Experiment (BASE). A comparison of both magnetic moment values will provide a stringent test of CPT invariance with baryons.Comment: Submitted to LEAP 2013 conference proceeding

The half-life of 221^{221}Fr in Si and Au at 4K and at mK temperatures

The half-life of the $\alpha$ decaying nucleus $^{221}$Fr was determined in different environments, i.e. embedded in Si at 4 K, and embedded in Au at 4 K and about 20 mK. No differences in half-life for these different conditions were observed within 0.1%. Furthermore, we quote a new value for the absolute half-life of $^{221}$Fr of t$_{1/2}$ = 286.1(10) s, which is of comparable precision to the most precise value available in literature