Matthias Freund

Learn More
We study in a quantitative way CP-violating effects in neutrino oscillation experiments in the light of current and future data. Different scenarios with three and four neutrinos are worked out in detail including matter effects in long baseline experiments and it is shown that in some cases CP-violating effects could affect the analysis of a possible(More)
Vector control constitutes an important component of integrated disease control campaigns. Source reduction is not an option for phlebotomine sand fly vectors of leishmaniasis, because larval breeding sites remain either unknown or inaccessible. Thus, all control efforts are directed against the adult sand flies, mostly attempting to limit their contact(More)
Assuming three-neutrino mixing, we study the capabilities of very long baseline neutrino oscillation experiments to verify and test the MSW effect and to measure the lepton mixing angle θ 13. We suppose that intense neutrino and antineutrino beams will become available in so–called neutrino factories. We find that the most promising and statistically(More)
Model transformations are the linking element between the different levels of abstraction in the model-based user interface development. They map source elements onto target elements and define rules for the execution of these mappings. Approaches for the reuse of transformation rules use formal transformation models, which only specify the mappings and(More)
We have searched for near-infrared extragalactic background light (EBL) in the data from the Near-InfraRed Spectrometer (NIRS) on the Infrared Telescope in Space (IRTS). After subtracting the contribution of faint stars and the zodiacal component based on modeling, a significant isotropic emission is obtained in the wavelength bands from 1.4 µm to 4.0 µm.(More)
Declarative mapping models aim at simplifying the development of model transformations by separating (1) the configuration of mappings between elements of the source and target meta-model and (2) the execution of these mappings. Existing solutions however require an extended definition of the mappings that, e.g., also describes how generated elements need(More)