Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear

Automated and unsupervised detection of malarial parasites in microscopic images

<p>Abstract</p> <p>Background</p> <p>Malaria is a serious infectious disease. According to the World Health Organization, it is responsible for nearly one million deaths each year. There are various techniques to diagnose malaria of which manual microscopy is considered to be the gold standard. However due to the number of steps required in manual assessment, this diagnostic method is time consuming (leading to late diagnosis) and prone to human error (leading to erroneous diagnosis), even in experienced hands. The focus of this study is to develop a robust, unsupervised and sensitive malaria screening technique with low material cost and one that has an advantage over other techniques in that it minimizes human reliance and is, therefore, more consistent in applying diagnostic criteria.</p> <p>Method</p> <p>A method based on digital image processing of Giemsa-stained thin smear image is developed to facilitate the diagnostic process. The diagnosis procedure is divided into two parts; enumeration and identification. The image-based method presented here is designed to automate the process of enumeration and identification; with the main advantage being its ability to carry out the diagnosis in an unsupervised manner and yet have high sensitivity and thus reducing cases of false negatives.</p> <p>Results</p> <p>The image based method is tested over more than 500 images from two independent laboratories. The aim is to distinguish between positive and negative cases of malaria using thin smear blood slide images. Due to the unsupervised nature of method it requires minimal human intervention thus speeding up the whole process of diagnosis. Overall sensitivity to capture cases of malaria is 100% and specificity ranges from 50-88% for all species of malaria parasites.</p> <p>Conclusion</p> <p>Image based screening method will speed up the whole process of diagnosis and is more advantageous over laboratory procedures that are prone to errors and where pathological expertise is minimal. Further this method provides a consistent and robust way of generating the parasite clearance curves.</p

Validation and Use of 22Na Turnover to Measure Food Intake in Free-Ranging Lizards

As the food intake of free-ranging animals has proved to be difficult to measure by traditional means, the feasibility of using radioactive Na to measure food consumption in a small scincid lizard (Lampropholis guichenoti) was assessed. This technique has previously been used only for several species of mammal. A significant relationship between food intake and Na turnover was found in the laboratory, with Na turnover underestimating intake by 7.6%. The food intake of free-ranging members of a field population was estimated by 22Na turnover to be 9.55, 0.65, 9.39 and 13.75 mg dry weight (day)-1 during autumn, winter, spring and summer respectively. Estimates of assimilated and expended energy from these food intake values agree closely with data reported for other lizards using alternative techniques. This study also describes the technical innovations which were necessary to study lizards weighing less than 1 g; and it suggests that 22Na can provide an easy, reliable and inexpensive means of studying the energetics of many free-living animals

Genetic structure of drone congregation areas of Africanized honeybees in southern Brazil

As yet, certain aspects of the Africanization process are not well understood, for example, the reproductive behavior of African and European honeybees and how the first Africanized swarms were formed and spread. Drone congregation areas (DCAs) are the ideal place to study honeybee reproduction under natural conditions since hundreds of drones from various colonies gather together in the same geographical area for mating. In the present study, we assessed the genetic structure of seven drone congregations and four commercial European-derived and Africanized apiaries in southern Brazil, employing seven microsatellite loci for this purpose. We also estimated the number of mother-colonies that drones of a specific DCA originated from. Pairwise comparison failed to reveal any population sub-structuring among the DCAs, thus indicating low mutual genetic differentiation. We also observed high genetic similarity between colonies of commercial apiaries and DCAs, besides a slight contribution from a European-derived apiary to a DCA formed nearby. Africanized DCAs seem to have a somewhat different genetic structure when compared to the European

Estrogen and progesterone receptor levels in nonneoplastic breast epithelium of breast cancer cases versus benign breast biopsy controls

<p>Abstract</p> <p>Background</p> <p>Previous studies and biological mechanisms of carcinogenesis suggest that the steroid receptor content of benign breast epithelium may be related to breast cancer risk. The objective in this study was to compare the levels of estrogen receptor-α (ER) and progesterone receptor (PR) in nonneoplastic breast epithelium between breast cancer cases and biopsy controls.</p> <p>Methods</p> <p>Between 1995 and 1997 at two sites (Women's College Hospital in Toronto and Kingston General Hospital), 667 women who were scheduled for diagnostic excisional breast biopsies completed a questionnaire providing personal information and agreed to allow analysis of routinely resected tissue. Histological slides with nonneoplastic epithelium were available for 101 cancer cases and 200 biopsy controls in Toronto and for 105 cancer cases and 119 controls in Kingston. Nonneoplastic epithelium was examined with immunohistochemical assays to determine the percent of epithelial cells staining for ER and PR. Unconditional logistic regression was used to calculate odds ratios (OR) stratified by study site.</p> <p>Results</p> <p>The ER content of nonneoplastic tissue was higher in cases than biopsy controls in unadjusted analyses; after adjustment for age, however, a weak association remained in only one of the study sites. After adjustment for age, the PR content of nonneoplastic tissue was slightly lower in breast cancer cases than controls in one study site. Furthermore, this inverse association was confined to women with PR negative breast cancer in comparison to the controls. No interaction between ER and PR content of nonneoplastic tissue was observed in relation to the odds of having breast cancer.</p> <p>Conclusion</p> <p>The results of this study are consistent with only a slight indication of increased ER levels in nonneoplastic tissue in breast cancer cases relative to controls. This study contributes to the understanding of breast cancer by examining both ER and PR in nonneoplastic tissue. Limitations remain, however, such as the necessity of using as controls women with benign breast changes, difficulties in selecting the appropriate tissue for analysis, and tissue sampling concurrent to diagnosis.</p

Cone rod dystrophies

Cone rod dystrophies (CRDs) (prevalence 1/40,000) are inherited retinal dystrophies that belong to the group of pigmentary retinopathies. CRDs are characterized by retinal pigment deposits visible on fundus examination, predominantly localized to the macular region. In contrast to typical retinitis pigmentosa (RP), also called the rod cone dystrophies (RCDs) resulting from the primary loss in rod photoreceptors and later followed by the secondary loss in cone photoreceptors, CRDs reflect the opposite sequence of events. CRD is characterized by primary cone involvement, or, sometimes, by concomitant loss of both cones and rods that explains the predominant symptoms of CRDs: decreased visual acuity, color vision defects, photoaversion and decreased sensitivity in the central visual field, later followed by progressive loss in peripheral vision and night blindness. The clinical course of CRDs is generally more severe and rapid than that of RCDs, leading to earlier legal blindness and disability. At end stage, however, CRDs do not differ from RCDs. CRDs are most frequently non syndromic, but they may also be part of several syndromes, such as Bardet Biedl syndrome and Spinocerebellar Ataxia Type 7 (SCA7). Non syndromic CRDs are genetically heterogeneous (ten cloned genes and three loci have been identified so far). The four major causative genes involved in the pathogenesis of CRDs are ABCA4 (which causes Stargardt disease and also 30 to 60% of autosomal recessive CRDs), CRX and GUCY2D (which are responsible for many reported cases of autosomal dominant CRDs), and RPGR (which causes about 2/3 of X-linked RP and also an undetermined percentage of X-linked CRDs). It is likely that highly deleterious mutations in genes that otherwise cause RP or macular dystrophy may also lead to CRDs. The diagnosis of CRDs is based on clinical history, fundus examination and electroretinogram. Molecular diagnosis can be made for some genes, genetic counseling is always advised. Currently, there is no therapy that stops the evolution of the disease or restores the vision, and the visual prognosis is poor. Management aims at slowing down the degenerative process, treating the complications and helping patients to cope with the social and psychological impact of blindness

Usual choline and betaine dietary intake and incident coronary heart disease: the Atherosclerosis Risk in Communities (ARIC) Study

<p>Abstract</p> <p>Background</p> <p>Low dietary intake of the essential nutrient choline and its metabolite betaine may increase atherogenesis both through effects on homocysteine methylation pathways as well as through choline's antioxidants properties. Nutrient values for many common foods for choline and betaine have recently become available in the U.S. nutrient composition database. Our objective was to assess the association of dietary intake of choline and betaine with incident coronary heart disease (CHD), adjusting for dietary intake measurement error.</p> <p>Methods</p> <p>We conducted a prospective investigation of the relation between usual intake of choline and betaine with the risk of CHD in 14,430 middle-aged men and women of the biethnic Atherosclerosis Risk in Communities study. A semi-quantitative food frequency questionnaire was used to assess nutrient intake. Proportional hazard regression models were used to calculate the risk of incident CHD. A regression calibration method was used to adjust for measurement error.</p> <p>Results</p> <p>During an average 14 years of follow-up (1987–2002), 1,072 incident CHD events were documented. Compared with the lowest quartile of intake, incident CHD risk was slightly and non-significantly higher in the highest quartile of choline and choline plus betaine, HR = 1.22 (0.91, 1.64) and HR = 1.14 (0.85, 1.53), controlling for age, sex, education, total energy intake, dietary intakes of folate, methionine and vitamin B₆. No association was found between dietary choline intake and incident CHD when correcting for measurement error.</p> <p>Conclusion</p> <p>Higher intakes of choline and betaine were not protective for incident CHD. Similar investigations in other populations are of interest.</p