BACKGROUND The Leiden University Medical Center (LUMC) is the Dutch national referral centre for pregnancies complicated by haemolytic disease of the fetus and newborn (HDFN) caused by maternal alloimmunization. Yearly, 20-25 affected fetuses with severe anaemia are transfused with intra-uterine blood transfusions (IUT). Mothers of whom their fetus has undergone IUT for HDFN are considered high...

Abstract Hemolytic disease of the fetus and newborn (HDFN) remains main cause fetal anemia primarily due to RH-D maternal incompatibility but also other rarer antigens. Anti-Kell mediated immunization is a rare involving about 0.1% pregnant women causing more severe HDFN compared both for its mechanism because lack preventive immunoglobulin therapy. Although standard treatment intrauterine tran...

Abstarct: This paper presents an algorithm for solving the multi-objective reactive power dispatch problem in a power system. Modal analysis of the system is used for static voltage stability assessment. Loss minimization and maximization of voltage stability margin are taken as the objectives. Generator terminal voltages, reactive power generation of the capacitor banks and tap changing transf...

Many real-time applications enable RESET to account for all kinds of unexpected problems, or to accommodate for a users’ want of restarting. Additionally, some software testing techniques must allow for resetting timed-Implementations Under Test (t-IUT). Dedicated internal logic is probably the most common of solutions for accomplishing such tasks. There are situations, however, where such a pr...

We study the generation of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the implementation under test (IUT) is described by using variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two test methods presented in previous work, namely : 1) a method for g...

Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a...

Testing problems with multivariate one-sided alternative hypotheses are common in clinical trials with multiple endpoints. In the case of comparing two treatments, treatment 1 is often preferred if it is superior for at least one of the endpoints and not biologically inferior for the remaining endpoints. Bloch et al. (2001, Biometrics57, 1039-1047) propose an intersection-union test (IUT) for t...

Fetal anemia is a serious complication in pregnancy and associated with perinatal mortality and morbidity. During 25 years of worldwide experience with intravascular intrauterine blood transfusion, a variety of indications have been described. Intrauterine transfusion (IUT) treatment is considered most successful for fetal anemia due to red cell alloimmunization. Moreover, the use of this proce...