Learn More
The low MR sensitivity of the sodium nucleus and its low concentration in the human body constrain acquisition time. The use of both single-quantum and triple-quantum sodium imaging is, therefore, restricted. In this work, we present a novel MRI sequence that interleaves an ultra-short echo time radial projection readout into the three-pulse triple-quantum(More)
Today component- and service-based technologies play a central role in many aspects of enterprise computing. However, although the technologies used to define, implement, and assemble components have improved significantly over recent years, techniques for verifying systems created from them have changed very little. The correctness and reliability of(More)
Imaging in neuroscience, clinical research and pharmaceutical trials often employs the 3D magnetisation-prepared rapid gradient-echo (MPRAGE) sequence to obtain structural T1-weighted images with high spatial resolution of the human brain. Typical research and clinical routine MPRAGE protocols with ~1mm isotropic resolution require data acquisition time in(More)
Because of the dynamic way in which service-oriented architectures are configured, the correct interaction of service users and service providers can only be fully tested at run-time. However, the run-time testing of web services is complicated by the fact that they may be arbitrarily shared and may have lifetimes which are independent of the applications(More)
Triple-quantum filtering has been suggested as a mechanism to differentiate signals from different physiological compartments. However, the filtering method is sensitive to static field inhomogeneities because different coherence pathways may interfere destructively. Previously suggested methods employed additional phase-cycles to separately acquire(More)
Runtime testing is important for improving the quality of software systems. This fact holds true especially for systems which cannot be completely assembled at development time, such as mobile or ad-hoc systems. The concepts of built-in-test (BIT) can be used to cope with runtime testing, but to our knowledge there does not exist an implemented(More)
In hybrid magnetic resonance-positron emission tomography (MR-PET) studies with the Siemens 3T MR-BrainPET scanner an instantaneous reduction of the PET sensitivity was observed during execution of certain MR sequences. This interference was investigated in detail with custom-made as well as standard clinical MR sequences. The radio-frequency pulses, the(More)
1.1 Introduction In this chapter we present a version of the Trading System case study modeled according to the KobrA approach. KobrA is a UML-based method for describing components and component-based systems developed at the Fraunhofer Institute for Experimental Software Engineering at the beginning of the decade. The acronym stands for the term "(More)