Abstract Interpretation of Stateful Networks

Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. However, the presence of middleboxes drastically complicates the task of network verification. Previous work showed that the problem is undecidable in general and EXPSPACE-complete when abstracting away the order of packet arrival. We describe a new algorithm for conservatively checking isolation properties of stateful networks. The asymptotic complexity of the algorithm is polynomial in the size of the network, albeit being exponential in the maximal number of queries of the local state that a middlebox can do, which is often small. Our algorithm is sound, i.e., it can never miss a violation of safety but may fail to verify some properties. The algorithm performs on-the fly abstract interpretation by (1) abstracting away the order of packet processing and the number of times each packet arrives, (2) abstracting away correlations between states of different middleboxes and channel contents, and (3) representing middlebox states by their effect on each packet separately, rather than taking into account the entire state space. We show that the abstractions do not lose precision when middleboxes may reset in any state. This is encouraging since many real middleboxes reset, e.g., after some session timeout is reached or due to hardware failure

Defining Terrorism in Pakistani Anti-Terrorism Law

We critically examine the definition of ‘terrorism’ in the Anti-Terrorism 1997 of Pakistan and as it is interpreted by the Supreme Court of Pakistan under the principle of legality in criminal and human rights law standards. We conclude that the definition of terrorism under the Anti-Terrorism Act does not pass the test of the principle of legality and the jurisprudence of the Supreme Court of Pakistan is inconsistent confounding the situation further. We recommend that Pakistan, following the principle of legality and human rights standards, amend the current definition of terrorism as an overbroad definition could be misused and abused leading to human rights violations

Perceptions and Experiences of Artificial Intelligence (AI) Use in Libraries: A Study of Library Users in Pakistan

This study sought to understand library users\u27 opinions, attitudes, and needs regarding using artificial intelligence (AI) in libraries. A survey questionnaire was administered to 71 respondents from academic and public libraries throughout the region. This survey examined a range of topics related to AI use in libraries, such as its perceived benefits and drawbacks; ethical and privacy considerations; user demographics; and factors influencing user adoption of and satisfaction with AI-powered services. The survey results revealed a generally positive attitude toward AI use in libraries. However, concerns were raised regarding such decisions\u27 privacy and ethical ramifications. Libraries must consider user needs and expectations when implementing and managing AI-powered systems. At the same time, further research is necessary to explore different topics related to this emerging technology field

Prevalence of iron deficiency anaemia in children of the urban slums of Karachi

A preliminary baseline survey was conducted to estimate the prevalence of anaemia in a group of 391 children aged 6-60 months, randomly selected from three urban slums of Karachi. Haemoglobin and the red cell indices including haematocrit, MCV, MCH, MCHC, ABC and red cell distribution width (RDW) were estimated for each of the selected children. Ferritin estimation was done on 354 (9 1%) children to assess the iron storage status. According to WHO criteria, the accepted cut-off point for anaemia screening in children is set at 11 gm/dl, 70 fI and 20 pg for haemoglobin, MCV and MCH respectively. Following these criteria, 118 (30%) children were classified as normals (Hg = \u3e11 gm/dl) and 273 (70%) as anaemic (Hg = \u3c11 gm/dl). Of the 354 ferritin estimations, 225 (64%) children had ferritin levels lower than normal (\u3c11 ng/ml) and 128 (36%) had ferritin levels within normal limit (11-120 ng/ml). From this group, a total of 61% (214/354) children were classified as microcytic hypochromic (MIH) and 11% (39/354) of which had normal ferritin levels suggesting the presence of thalassemia minor trait. The overall results obtained indicate that iron deficiency anaemia is highly prevalent among these childre

Autoimmune hemolytic anemia in visceral leishmaniasis

A case of an 8-month old male child, who presented with lgG mediated Coomb’s positive hemolytic anemia and visceral leishmaniasis is presented. The hemolytic anemia resolved following the treatment of leishmaniasis. Although various other mechanisms of anemia have been described, so far the association between IgG-mediated hemolytic anemia and visceral leishmaniasis has not been reported

Acute myeloid leukemia in children in Pakistan: an audit

Objective: To see the clinical features and treatment of children with Acute Myeloid Leukemia (AML) in Pakistan. Setting: Tertiary referral at a specialist Hematology/Oncology center. Methods: Retrospective, chart-based review of children (less than 14 years) admitted to the hospital with a diagnosis of AML between January 1987 and August 1997. Results: A total of 23 patients were admitted. There were 18 males and 5 females. The mean age was 8 5 years. M3 was the commonest morphological subtype (43%). Twenty- two percent of the patients presented with hyperleucocytosis (TLC\u3e 100 x i09 /L) and 95% with an elevated LDH (\u3e548 lUlL). Pneumonia at presentation was seen in 29%. Of 23 patients 14 were evaluable for responses. Six patients died early (43%); 3 before starting the chemotherapy and 3 during the induction chemotherapy, 8/11 (73%) patients entered remission. The median survival was 9 months. Conclusion: The pediatric patients with acute myeloid leukemia present with advanced disease. There is a high early death rate (within 28 days of diagnosis). The long-term outcome was inferior to that reported in the literature (JPMA 52:247; 2002)

Does red blood cell distribution width (RDW) improve evaluation of microcytic anaemias?

Abstract The red cell distribution width (RDW) is an index of the variation in red cells size (anisocytosis). A study was conducted to examine the validity of using RDW in improving classification of microcytic anaemias. A total of 300 blood samples collected from a patient population aged 3 months to 55 years who were referred for haemoglobin electrophoresis were examined at The Aga Khan University Hospital (AKUH). On complete blood count, initially 200 patients (66.6%) were found to have hypochromic microcytic anaemia. Following haemoglobin electrophoresis 41% (821200) patients were diagnosed to have thalassemia minor and 59% (1181200) had hypochromic microcytic anaemia with either a normal haemoglobin paltern or an abnormal haemoglobin. The mean (± SD) RDW estimated in 250 apparently healthy Pakistani population was 14 (+ 1.5%). Elevated RDW of 23% was present in 94% (110/118) of the patients with hypochromic microcytic anaemia due to other causes, whereas 48% (39/82) of the patients with thalassemia minor had elevated RDW of 16%. Also, of the 82 thalassemia minor, 28 patients had normal haemoglobin level, of which 6 had elevated RDW and of the 54 with low haemoglobin level, 35 had elevated RDW. RDW was normal in 41 patients with thalassemia minor trait. Our results suggest that RDW alone cannot be used as a reliable indicator to distinguish between thalassemia minor and other causes of microcytosis (JPMA 43:149, 1993)

Prevalence of depression among subjects with and without gestational diabetes mellitus in Bangladesh: a hospital based study

Background Data on association between depression and diabetes during the pregnancy period in Asia, specifically in Bangladesh are scarce. The study was designed to measure the prevalence of depression during pregnancy with or without Gestational Diabetes Mellitus (GDM). Methods Seven hundred and forty eight pregnant women (382 with GDM, 366 without-GDM) attending at the Bangladesh Institute of Research and Rehabilitation in Diabetes, Endocrine and Metabolic Disorders, participated in the study. Blood glucose was measured following both WHO and ACOG criteria; GDM was diagnosed within 24–28 weeks. Depressive symptoms were assessed following MADRS scale. Semi-structured questionnaire was used to record their socio-demographic status and clinical and family history. Blood pressure, height, weight were also measured. Results Overall prevalence of depression was 18.32 %. Depression was higher in GDM subjects (25.92 %) compared to without-GDM subjects (10.38 %) with mean age of of 28.34 and 27.17 years respectively. Prevalence of depression was alarming in both the extreme of age. Dwelling place (P < 0.009) and past history of GDM (P < 0.018) had strong association with Depression. Higher prevalence of depression was found in Primipara whereas the risk of GDM increased with parity. Other obstetrical factors did not show any significant association with depression and GDM. Income (self and total family), physical exercise, sedentary lifestyle and workload had no significant statistical association with depression or GDM. Conclusion Higher rate of depression in pregnancy deserves medical attention especially women diagnosed with GDM. Further studies should estimate adverse pregnancy outcome for untreated depression especially in GDM cases

Neuro-cognitive virtual environment for children with autism (VECA).

Autism a neurological disorder which is often diagnosed during early childhood and can cause significant social, communication, and behavioral challenges over a lifetime. It is increasing day by day and people are inclining from clinical and psychological therapies to assistive technologies. We have developed an interactive virtual environment VECA that aims to enhance the cognitive skills and creativity in children with autism by playing games and interacting with the environment. The setup also incorporates the feedback of the child that whether he/she is comfortable with the environment or not. This solution is cost effective, with no side effects unlike traditional therapies, and can provide valuable insight to the behavior analysis of the autism patients