Design Time Methodology for the Formal Modeling and Verification of Smart Environments

Smart Environments (SmE) are intelligent and complex due to smart connectivity and interaction of heterogeneous devices achieved by complicated and sophisticated computing algorithms. Based on their domotic and industrial applications, SmE system may be critical in terms of correctness, reliability, safety, security and other such vital factors. To achieve error-free and requirement-compliant implementation of these systems, it is advisable to enforce a design process that may guarantee these factors by adopting formal models and formal verification techniques at design time. The e-Lite research group at Politecnico di Torino is developing solutions for SmE based on integration of commercially available home automation technologies with an intelligent ecosystem based on a central OSGi-based gateway, and distributed collaboration of intelligent applications, with the help of semantic web technologies and applications. The main goal of my research is to study new methodologies which are used for the modeling and verification of SmE. This goal includes the development of a formal methodology which ensures the reliable implementation of the requirements on SmE, by modeling and verifying each component (users, devices, control algorithms and environment/context) and the interaction among them, especially at various stages in design time, so that all the complexities and ambiguities can be reduced

Prevalence and pattern of dyslipidemia in hyperglycemic patients and its associated factors among Pakistani population

AbstractIn diabetes mellitus dyslipidemia is one of the major risk factors for cardiovascular disease. In type 2 diabetes mellitus early detection and treatment of dyslipidemia can avoid risk for cardiovascular disorder. The present study was carried to determine the prevalence and pattern of hyperlipidemia in patients with hyperglycemia. The cross sectional study was done in different laboratories of Pakistan, the laboratories served patients referred from different government and private hospitals between July 2014 and June 2015. All known cases of diabetes mellitus were evaluated for their lipid profile. Totally 200 diabetic patients were included in the study in which 120 (60%) were males and 80 (40%) were females. Prevalence of dyslipidemia among diabetic males was 97.18% while for females 87.15%. Among dyslipidemic male the proportion with mixed dyslipidemic patients was 17.5%, combined two parameters dyslipidemia was 47.5% and isolated single parameter dyslipidemia was 35%. In females these proportions in mixed, combined two parameters and isolated single parameter were 16.25%, 51.25% and 32.5%, respectively. Majority of hyperglycemic patients were dyslipidemic. The most prevalent pattern among male was combined dyslipidemia with high triglycerides (TG) and low High Density Lipoprotein (HDL) and in female it was high Low Density Lipoprotein (LDL) and low HDL. The most prevalent lipid abnormality in our study was low HDL followed by high TG

On the estimation of population variance using auxiliary attribute in absence and presence of non-response

In this article we proposed a new class of estimators for estimating thefinite population variance using available auxiliary attribute in absence and presence of non-response problem. Properties such as bias and mean square error of the proposed class are derived up to the first order of approximation. The proposed class is more efficient than the Singh et al. (1988), Shabbir and Gupta (2007), Singh and Solanki (2013a), usual sample variance and regression estimators

Appraisal of Geotechnical Characteristics of Ormara Soil, Baluchistan, Pakistan

Ormara is located 240 km west of Karachi which is a coastal and port city (25° 16' 29N, 64° 35' 10E) ofPakistan. Present study evaluates engineering properties of soils of Ormara for future construction plans and possibleexpansions in the area. Fifty bore holes were done in study area at depths of 20m, 40m and some (10 bore holes) were60m deep. The study area was divided into three major zones i.e. Foot hills, on-shore and off-shore. Groundwater wasencountered at depths of 2.75m on onshore and offshore zones and at 3.65m depth in foothill zone. Laboratory testingi.e. moisture content (12 to 38 %), liquid limit (from 26 to 34), plasticity index (10 to 18) of soil samples indicate thatsoils are low plastic to moderate plastic in nature. Soil samples of granular soils indicate angles of internal friction (ø)varying from 260- 36ºin upper sand layers while 260 to 30º in lower silt layers (encountered after the clay layer) andCohesion ranges 0 to 0.04kg/cm2 in all three zones. Further, unconsolidated undrained triaxial compression tests on aclayey soil sample indicated an undrained cohesion value of 28 kPa. Density values ranges from 1.6 to 2.05gm/cm3.Consolidation (Cv = 0.20 to 0.40 cm2/minute, Cc = 0.149 to 0.17) has been calculated for clay layer. Chemical testscarried out on soil samples indicated that soil and water both are reactive aggressively and may cause corrosion to steeland concrete disintegration

CDA as an Approach to Analyze Language Ideologies in Supervisory Meetings

This qualitative case study research set out to look at the concepts of hegemony and power in supervisory meetings centered on the idea of linguistic ideologies. Two BS (English) study supervisees and their supervisors were chosen for the study as two case studies their supervisory meetings were recorded and later transcribed for analysis purpose. The study adopted Halliday’s Systematic Functional Linguistics (SFL) for data collection and Norman Fairclough's Critical Discourse Analysis (CDA) analytical methodology for the empirical investigation of the concepts of power as well as hegemony in supervision procedures (1989; 2003). The study's findings show how language contributed to the development of power relationships among the study's participants. In research supervisory meetings, language was a significant issue along with educational experience and knowledge that contributed to the development of unequal power relations among the participants. In terms of methodology and supervisory style, case B was slightly different from case A, due to its flexibility. This study suggests a fair and democratic style of supervision that can be beneficial and flexible for participants involved in research supervision regardless of their educational background. Keywords: Critical discourse analysis (CDA), SFL, Power, Research supervision, Hegemony, Language ideologies. DOI: 10.7176/JEP/13-33-13 Publication date: November 30th 202

Surgical management of traumatic extra dural hematoma in children: Experiences and analysis from 24 consecutively treated patients in a developing country

Background: Children with epidural hematoma (EDH) present differently thanadults. The outcome of treatment is also different. We aim to report our experiences with EDH in pediatric age group in terms of mode of injury, presenting features, management, and outcomes. We also aim to identify different prognostic indicators in pediatric patients with EDH. Methods: We prospectively collected data from 24 consecutively surgically treated pediatric patients. The data collected included presenting features, radiological imaging, details of management, and outcomes. Descriptive analysis was performed and different variables were tested for any statistical significance with Glasgow Outcome Score (GOS). Results: There were 19 male and 5 female patients. The mean GlasgowComa Scale (GCS) score at presentation was 9.3 ± 4.4. Falls were the mostcommon cause of EDH. Outcome assessment was done at 3 month follow up.A total of 15 patients had a GOS score of 5, 4 patients had a GOS score of4, 2 patients had a GOS score of 3, while 3 patients had a GOS score of 1.On univariate analysis, admitting GCS score, patient’s age, the time frominjury to admission and injury to surgery, anisocoric pupils at presentation andeffacement of basal cisterns were significantly associated with the outcome ofGOS score. Conclusion: Falls are the most common mode of injury leading to EDH inchildren. Lower GCS at presentation, younger age at trauma, increased timesince trauma to surgery and admission, anisocoria and effacement of basalcisterns are statistically significant variables in surgically treated pediatric patients of EDH that confer a poorer prognosis. A timely surgical intervention can result in excellent outcomes