ORBS and the limits of static slicing

Observation-based slicing is a recently-introduced, language-independent, slicing technique based on the dependencies observable from program behaviour. Due to the wellknown limits of dynamic analysis, we may only compute an under-approximation of the true observation-based slice. However, because the observation-based slice captures all possible dependence that can be observed, even such approximations can yield insight into the limitations of static slicing. For example, a static slice, S that is strictly smaller than the corresponding observation based slice is guaranteed to be unsafe. We present the results of three sets of experiments on 12 different programs, including benchmarks and larger programs, which investigate the relationship between static and observation-based slicing. We show that, in extreme cases, observation-based slices can find the true static minimal slice, where static techniques cannot. For more typical cases, our results illustrate the potential for observation-based slicing to highlight unsafe static slices. Finally, we report on the sensitivity of observation-based slicing to test quality.

Religiöse Symbole im öffentlichen Raum

Abhandlung über Symbole verschiedener Religionen und deren mögliches Konfliktpotential (auch in Gerichtsverfahren in Deutschland). Außerdem findet sich eine Beschreibung von Räumen der Stille, welche, abhängig von ihrer Gestaltung und Ausrichtung, symbol-frei und daher offen für alle Religionen gestaltet sein können.

A presença árabe-islâmica em Fernando Pessoa

Tese de doutoramento, Filosofia (Filosofia em Portugal), Universidade de Lisboa, Faculdade de Letras, 2015

Muslims in Public and Media Discourse in Western Europe: The Reproduction of Aporia and Exclusion

This chapter scrutinizes the dominant public discourse in Western Europe. Drawing on examples from the UK, Germany, and France but also from the Netherlands, Denmark and Spain it illustrates the gradual transformation of discourse from an “exotic Islam” to a “threatening Islam” that endangers European values and safety and suggests that the combination of this “securitization” of Islam and the monopoly of the “Muslim voice” by radical Muslim activists leads to a vicious circle of misrecognition and enhancing the aporia of Europe's Muslims.

Islão transnacional e os fantasmas do colonialismo português

Este artigo examina a forma como as políticas colónias portuguesas de enquadramento do Islão na Guiné e em Moçambique evoluíram de uma representação do muçulmano como ameaça para uma imagem mais conciliadora, pela qual os muçulmanos poderiam ser potenciais aliados do poder português na guerra contra os movimentos nacionalistas. Sendo ambas as representações marcadas pela ambivalência, a primeira predominou até ao final da década de 50 e a segunda desenhou-se em meados dos anos 60, acompanhando o restante trajecto das guerras coloniais. As duas imagens corresponderam a diferentes formas de lidar com a dimensão transnacional do Islão e com o seu alegado impacto sobre o colonialismo português em África. O artigo analisa essas estratégias, abordando a participação que nelas teve a Igreja Católica, o aparelho central de poder e as suas ramificações locais nas colónias.

Relações sinuosas: Portugal e o mundo árabe, 1950-1973

Nas três últimas décadas do colonialismo português, as políticas destinadas às populações muçulmanas da Guiné e de Moçambique passaram da hostilidade mais ou menos aberta para uma estratégia de sedução, com vista a promover um “Islão português” e a usar certos sectores muçulmanos no combate aos movimentos nacionalistas. Esta transição teve também uma componente transnacional, na medida em que se quis alargar a intervenção portuguesa a um espaço estratégico designado como “mundo islâmico”. O presente artigo procura analisar essa intervenção, debruçando-se sobre o pensamento geopolítico que a informou e as suas aplicações diplomáticas, em particular no relacionamento com os países árabes.

Rites funéraires (eTalks)

La mort est au centre de toutes les sociétés. Quelles que soient les procédures funéraires suivies - de la crémation du cadavre à l'embaumement le plus sophistiqué -, la mort fait l'objet de traitements obéissant aux conceptions que les sociétés se font de la mort elle-même, du devenir du défunt et des relations que les vivants entretiennent avec ce dernier. Si la mort donne lieu à des rites funéraires fort variés, ceux-ci partagent cependant des fonctions communes: prendre acte d'une rupture tout en la dissolvant dans le temps long d'une transition, créer un espace dans le temps ordinaire continu, recomposer du lien social là où la mort a imposé un vide.... Etudier les rites funéraires, c'est donc s'intéresser aux réponses culturelles développées par les êtres humains face à la mort biologique, s'interroger sur les pratiques mises en place pour accompagner les défunts, mais aussi aborder la question du deuil et de la séparation des vivants d'avec leurs morts. -- Trois dimensions Pour transmettre ces connaissances, une nouvelle forme de communication multimédia a été mise au point au sein d'une équipe interdisciplinaire sciences humaines-informatique : «les eTalks», un nouveau nom que nous nous permettons d'utiliser désormais en français. Cette nouvelle forme est décrite plus bas. Quant à leur contenu, les eTalks proposés sont issus de deux cycles de formation continue organisés par l'Université de Lausanne et la Haute école pédagogique du canton de Vaud en 2010 et 2012. Les conférences, données par des professeurs d'université, de Hautes Ecoles ou par des praticiens, s'adressaient à un public provenant d'horizons professionnels très variés (enseignants, agents funéraires, membres du corps médical, représentants des communautés religieuses, etc.). Il est donc à relever que les genres littéraires de ces e-talks varient, depuis la communication académique standard, jusqu'aux témoignages de professionnels engagés sur le terrain. -- Pour des raisons de clarté, nous avons regroupé les eTalks en trois sous-thèmes: -- 1. A la découverte des cultures funéraires Génératrice de culture depuis la préhistoire, la mort suscite des attitudes et des pratiques diversifiées selon les époque et les sociétés. Les eTalks regroupés ici visent à présenter et à expliquer des pratiques funéraires développées dans trois traditions religieuses distinctes - l'Egypte ancienne, le monde réformé (du XVIe - XIXe siècle) et l'islam - et invitent ainsi à comparer des usages provenant d'horizons culturels très différents. -- 2. Rites funéraires sur le terrain Dans nos sociétés très institutionnalisées, la mort et les demandes de rites funéraires qui en découlent ont aussi un impact au sein des établissements professionnels que l'on fréquente à différentes étapes de nos vies. Les eTalks regroupés ici s'intéressent aux rites funéraires et à la gestion du deuil dans des institutions telles que l'école, les établissements médico-sociaux, le monde du travail et les pompes funèbres. Ils joignent des recherches menées sur le terrain et rendent compte des expériences vécues par les acteurs institutionnels confrontés à la mort. -- 3. Rites funéraires contemporains Certains déplorent la déperdition des rites funéraires dans nos sociétés contemporaines. Mais en est-il vraiment ainsi ? N'assiste-t-on pas aujourd'hui à une revitalisation des formes rituelles que ce soit à travers la reélaboration de pratiques anciennes ou la création de nouveaux rites ? Les eTalks regroupés ici démontrent en tous les cas une grande vitalité rituelle que ce soit par le biais de la réinterprétation et de l'adaptation des traditions religieuses ou de la créativité dont témoignent des non-croyants. Ils indiquent qu'après un temps marqué par l'éloignement de la mort, nous sommes peut-être engagés dans des formes multiples de réappropriation de cette dernière.

Genetic variants in novel pathways influence blood pressure and cardiovascular disease risk.

Blood pressure is a heritable trait influenced by several biological pathways and responsive to environmental stimuli. Over one billion people worldwide have hypertension (≥140 mm Hg systolic blood pressure or  ≥90 mm Hg diastolic blood pressure). Even small increments in blood pressure are associated with an increased risk of cardiovascular events. This genome-wide association study of systolic and diastolic blood pressure, which used a multi-stage design in 200,000 individuals of European descent, identified sixteen novel loci: six of these loci contain genes previously known or suspected to regulate blood pressure (GUCY1A3-GUCY1B3, NPR3-C5orf23, ADM, FURIN-FES, GOSR2, GNAS-EDN3); the other ten provide new clues to blood pressure physiology. A genetic risk score based on 29 genome-wide significant variants was associated with hypertension, left ventricular wall thickness, stroke and coronary artery disease, but not kidney disease or kidney function. We also observed associations with blood pressure in East Asian, South Asian and African ancestry individuals. Our findings provide new insights into the genetics and biology of blood pressure, and suggest potential novel therapeutic pathways for cardiovascular disease prevention.

S'inscrire dans l'espace public en tant que musulman en Suisse

En Suisse, comme dans de nombreux pays européens, l'exigence d'une représentation musulmane impose une forme d'inscription dans l'espace public d'acteurs emblématiques de l'islam. Cette contribution entend éclairer les différentes contraintes institutionnelles qui poussent les musulmans à s'inscrire différemment dans l'espace public. On distingue d'une part, une tendance s'efforçant d'apparaître dans l'espace public comme une structure confessionnelle garant de la communitas islamica. Elle est composée de communautés de la diaspora qui ont obtenu des accords auprès de la Confédération et de communautés qui se fédèrent au niveau cantonal pour constituer une représentation auprès des autorités de régulation religieuse. D'autre part, des acteurs parviennent à imposer leurs exigences d'un homo islamicus idéalisé en s'inscrivant pleinement dans l'espace médiatique au risque de prétériter la « représentation » chèrement acquise par des acteurs institutionnels

Worldwide trends in diabetes since 1980: a pooled analysis of 751 population-based studies with 4.4 million participants.

One of the global targets for non-communicable diseases is to halt, by 2025, the rise in the age-standardised adult prevalence of diabetes at its 2010 levels. We aimed to estimate worldwide trends in diabetes, how likely it is for countries to achieve the global target, and how changes in prevalence, together with population growth and ageing, are affecting the number of adults with diabetes. We pooled data from population-based studies that had collected data on diabetes through measurement of its biomarkers. We used a Bayesian hierarchical model to estimate trends in diabetes prevalence-defined as fasting plasma glucose of 7.0 mmol/L or higher, or history of diagnosis with diabetes, or use of insulin or oral hypoglycaemic drugs-in 200 countries and territories in 21 regions, by sex and from 1980 to 2014. We also calculated the posterior probability of meeting the global diabetes target if post-2000 trends continue. We used data from 751 studies including 4,372,000 adults from 146 of the 200 countries we make estimates for. Global age-standardised diabetes prevalence increased from 4.3% (95% credible interval 2.4-7.0) in 1980 to 9.0% (7.2-11.1) in 2014 in men, and from 5.0% (2.9-7.9) to 7.9% (6.4-9.7) in women. The number of adults with diabetes in the world increased from 108 million in 1980 to 422 million in 2014 (28.5% due to the rise in prevalence, 39.7% due to population growth and ageing, and 31.8% due to interaction of these two factors). Age-standardised adult diabetes prevalence in 2014 was lowest in northwestern Europe, and highest in Polynesia and Micronesia, at nearly 25%, followed by Melanesia and the Middle East and north Africa. Between 1980 and 2014 there was little change in age-standardised diabetes prevalence in adult women in continental western Europe, although crude prevalence rose because of ageing of the population. By contrast, age-standardised adult prevalence rose by 15 percentage points in men and women in Polynesia and Micronesia. In 2014, American Samoa had the highest national prevalence of diabetes (>30% in both sexes), with age-standardised adult prevalence also higher than 25% in some other islands in Polynesia and Micronesia. If post-2000 trends continue, the probability of meeting the global target of halting the rise in the prevalence of diabetes by 2025 at the 2010 level worldwide is lower than 1% for men and is 1% for women. Only nine countries for men and 29 countries for women, mostly in western Europe, have a 50% or higher probability of meeting the global target. Since 1980, age-standardised diabetes prevalence in adults has increased, or at best remained unchanged, in every country. Together with population growth and ageing, this rise has led to a near quadrupling of the number of adults with diabetes worldwide. The burden of diabetes, both in terms of prevalence and number of adults affected, has increased faster in low-income and middle-income countries than in high-income countries. Wellcome Trust.

شرايط الاسلام. Traité élémentaire sur les cinq points fondamentaux de la jurisprudence musulmane.

Sharaït al-Islam

An analysis of Ibn al-'Arabi's al-Insan al-Kamil, the Perfect Individual, with a brief comparison to the thought of Sir Muhammad Iqbal

This thesis analyzes four philosophical questions surrounding Ibn al-'Arabi's concept of the al-iman al-kamil, the Perfect Individual. The Introduction provides a definition of Sufism, and it situates Ibn al-'Arabi's thought within the broader context of the philosophy of perfection. Chapter One discusses the transformative knowledge of the Perfect Individual. It analyzes the relationship between reason, revelation, and intuition, and the different roles they play within Islam, Islamic philosophy, and Sufism. Chapter Two discusses the ontological and metaphysical importance of the Perfect Individual, exploring the importance of perfection within existence by looking at the relationship the Perfect Individual has with God and the world, the eternal and non-eternal. In Chapter Three the physical manifestations of the Perfect Individual and their relationship to the Prophet Muhammad are analyzed. It explores the Perfect Individual's roles as Prophet, Saint, and Seal. The final chapter compares Ibn al-'Arabi's Perfect Individual to Sir Muhammad Iqbal's in order to analyze the different ways perfect action can be conceptualized. It analyzes the relationship between freedom and action.

South Asian Women's Identities: A Media and Personal Narrative Analysis

This study examines issues of racism and sexism through the lens of Critical Race Theory and the interaction of personal and composite narratives. Specifically, the study explores how mainstream media’s hegemonic portrayal of South Asian culture and the 2007 socalled honour killing of Aqsa Parvez contribute to post-9/11 Islamophobia. The researcher presents a personal narrative that draws upon her experiences growing up in Dubai, U.A.E., and in Ontario, Canada and critically analyzes majoritarian stories related to Parvez as well as “counter-perspectives” that challenge such views. Study findings highlight the impact of 9/11 and Parvez’s murder on the researcher’s identity formation, and how media portray Muslim women as oppressed beings who live under the yoke of patriarchy. Results also indicate that although certain articles offer a counter-perspective that challenge dominant narratives, most recent media representations of the Parvez story equate Islam with honour killings and thus foster continued Islamophobia.

Unveiling Shi’i Religious Identities: Case Studies of Hijab in Culturally Homogeneous Canadian Schools

This qualitative case study explored 10 young female Shi’i Muslim Arabic-Canadian students’ experiences associated with wearing the Hijab (headscarf) within their home, community, and predominantly White Canadian public elementary school environments. The study integrated several bodies of scholarly theories in order to examine the data under a set of comprehensive lenses that more fully articulates and theorizes on the diversity of female Shi’i Muslim Canadian students’ experiences. These theories are: identity theories with a focus on religious identity and negative stereotypes associated with Muslims; feminism and the Hijab discourses; research pertaining to Muslims in school settings; and critical race theory. In order to readdress the dearth of information about Shi’is’ experiences in schools, this study provides an in-depth case study analysis in which the methodology strategies included 10 semi-structured in-depth interviews, 2 focus-group meetings, and the incorporation of the researcher’s fieldnotes. Data analysis revealed the following themes corresponding to participants’ experiences and values in their social worlds of home, community, and schools: (a) martyrdom and self-sacrifice as a means for social justice; (b) transformational meaning of the Hijab; (c) intersectionality between culture, religion, and gender; and (d) effects of visits “back home” on participants’ religious identities. Additional themes related to participants’ school experiences included: (a) “us versus them” mentality; (b) religious and complex secular dialogues; (c) absence of Muslim representations in monocultural schools; (d) discrimination; (e) remaining silent versus speaking out; and (f) participants’ strategies for preserving their identities. Recommendations are made to integrate Shi’i Muslim females’ identity within the context of Islam and the West, most notably in relation to: (a) the role of Muslim community in nondiverse settings as a space that advances and nurtures Shi’i Muslim identity; and (b) holistic and culturally responsive teaching that fosters respect of others’ religiosity and spirituality. This study makes new inroads into feminist theorizing by drawing conceptual links between these previously unknown connections such as the impact of the historical female exemplary role model and the ritual stories on the experiences of Muslim females wearing the Hijab.

La finance islamique: fondements, theorie et realite.

L’Islam interdit le riba , mot arabe signifiant à la fois usure et intérêt. L’interdiction du rib figure dans la loi islamique, née dans l’Arabie du Moyen Âge. Elle est à la base de la finance islamique qui connut une expansion remarquable durant la deuxième moitié du XX e siècle. Nous nous interrogeons sur les origines de cette interdiction, sur les problèmes que connaît actuellement la finance islamique et sur ses perspectives d’avenir.