Considerable interest has recently focused on the weaver mutation, which causes inward rectifier channel alterations leading to profound impairment of neuronal differentiation and to severe motor dysfunction in mice (Hess, 1996). The principal targets of mutation are cerebellar granule cells, most of which fail to differentiate and degenerate in a premigratory position (Rakic and Sidman, 1973a,...

The original de nition of re nement proof obligations in VDM is reviewed and examples are discussed which while being in tuitively sensible pose problems for this de nition of re nement An extended VDM re nement relation is introduced to cope with the prob lems Some non standard applications of the extended re nement proof obligations are discussed

The read and write frames of reference variables used in the VDM style of operation decomposition serve two purposes. Syntactically, they bind the variables that occur in the predicates of the operation speciication; and semantically, they record what access to the state an implementation can be allowed to make. This paper examines the use of frames in these two roles, in particular considering...

D. Stelzeneder, S. Goed, G. H. Welsch, C. Hirschfeld, T. Paternostro-Sluga, K. Pieber, K. Friedrich, M. Reisegger, T. C. Mamisch, and S. Trattnig Department of Radiology, MR Centre, Medical University of Vienna, Vienna, Vienna, Austria, Department of Trauma Surgery, University of Erlangen, Erlangen, Germany, Department of Physical Medicine and Rehabilitation, Medical University of Vienna, Vienn...

1 Institute for Meteorology, University of Natural Resources and Applied Life Sciences (BOKU), Vienna, Austria 2 Institute for Geography and Regional Research, University of Vienna, Vienna, Austria 3 Division for Biomedical Physics, Innsbruck Medical University, Innsbruck, Austria 4 Institute of Geophysics, Polish Academy of Sciences, Warsaw, Poland 5 Division for Medical Physics and Biostatist...

1Department of Neuropathology, Institute of Pathology, Ruprecht-Karls-Universität Heidelberg, Heidelberg, Germany; 2Clinical Cooperation Unit Neuropathology, German Cancer Research Center (DKFZ), Heidelberg, Germany; 3Department of Medicine I and Comprehensive Cancer Center, Medical University of Vienna, Vienna, Austria; 4Department of General Pathology, Institute of Pathology, Ruprecht-Karls-U...

Although a switched reluctance generator (SRG) is not the mainstream wind generator, it possesses application potential and worth developing for its many structural merits high developed power ability. This paper presents SRG-based bipolar DC microgrid having grid-connected plug-in energy supporting functions. First, surface-mounted permanent magnet synchronous motor (SPMSM)-driven turbine emul...

1Children’s Cancer Research Institute, St Anna Kinderkrebsforschung, Vienna, Austria; 2St Anna Kinderspital, Medical University Vienna, Vienna, Austria; 3Department of Pediatrics, Division of Oncology and Hematology, Charité-Universitätsmedizin Berlin, Campus Virchow Klinikum, Berlin, Germany; 4Department of Pediatrics, University Hospital Schleswig-Holstein, Campus Kiel, Kiel, Germany; 5Depart...

1Department of Economics, Vienna University of Economics and Business (WU), Vienna, Austria 2Wittgenstein Centre for Demography and Global Human Capital (WIC), Vienna, Austria 3World Population Program, International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria 4Austrian Institute of Economic Research (WIFO), Vienna, Austria 5Research Group Macroeconomics and Economic Poli...

Vienna, Austria; Department/Clinic for Companion Animals and Horses, Clinic for Small Animals, Clinical Unit of Internal Medicine, University of Veterinary Medicine Vienna, Vienna, Austria; Department of Internal Medicine II, Division of Angiology, Medical University of Vienna, Vienna, Austria; Medical Clinic III for Oncology, Haematology and Rheumatology, University Hospital Bonn (UKB), Bonn, ...