1,087 research outputs found
Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation
Model transformation tools assist system designers by reducing the
labor--intensive task of creating and updating models of various aspects of
systems, ensuring that modeling assumptions remain consistent across every
model of a system, and identifying constraints on system design imposed by
these modeling assumptions. We have proposed a model transformation approach
based on abstract interpretation, a static program analysis technique. Abstract
interpretation allows us to define transformations that are provably correct
and specific. This work develops the foundations of this approach to model
transformation. We define model transformation in terms of abstract
interpretation and prove the soundness of our approach. Furthermore, we develop
formalisms useful for encoding model properties. This work provides a
methodology for relating models of different aspects of a system and for
applying modeling techniques from one system domain, such as smart power grids,
to other domains, such as water distribution networks.Comment: 8 pages, 4 figures; to appear in HASE 2019 proceeding
A rare haemoglobin variant identified as k woolwich in a Pakistani male
Haemoglobin (Hb) K Woolwich is a rare Hb variant which was first described in a family from West Indies and its occurrence was later reported mainly in Black families from many African countries. We report a case of a young male who came for evaluation of anemia. His complete blood count showed hypochromic, microcytic anemia and his serum ferritin was low. Hb electrophoresis done as part of initial workup showed an abnormal band which moved faster than HbA. For further evaluation, Hb analysis by high performance liquid chromatography was subsequently performed and revealed Hb K Woolwich. This is a rare Hb variant recognized in Pakistani population for the first time through careful interpretation of the chromatographic behavior of the H
Induction process of trainees in pathology residency
This article describes the evolution of the induction process of pathology residency at The Aga Khan University hospital. The Department of Postgraduate Medical Education was established in 1985. The induction process is an exhaustive exercise that includes an admission test held simultaneously in Karachi, Hyderabad, Lahore, and Rawalpindi, followed by an interview of the shortlisted candidates. The pathology residency program was started 25 years ago and since then the induction process has undergone major changes with the course of time
Leishmania donovani bodies in bone marrow
Key clinical message: We report a case of a 5-year-old female, resident of Afghanistan, who presented with fever and massive splenomegaly. Bone marrow revealed Leishmania donovani bodies (LD bodies) in macrophages characterized by a kinetoplast and characteristic double dot appearance. She was diagnosed as visceral leishmaniasis which is transmitted by sandflies (Phlebotomus)
Cost effective improvement in the protocol for detection of haemoglobin variants –a step forward in quality assurance
Background: We report the results of a cost effective improvement in the protocol for detection of haemoglobin variants which incorporates the findings of peripheral blood film along with the results of HPLC. Findings: A total of n = 10,844 samples were received from January 2011 till August 2011. Diagnosis of haemoglobinopathy was made in n = 1123 samples while other abnormalities included iron deficiency anaemia, megaloblastic anaemia, malarial parasite, autoimmune haemolytic anaemia and G6PD deficiency (n = 2473).Conclusion: We diagnosed 23% of abnormalities other than haemoglobinopathy by reviewing peripheral smear of samples received for detection of haemoglobin variants. This resulted in providing proper diagnosis to the referring physician without increment in cost
- …