This study examines the Islamic concept of Al-Wala’ wal Bara’ (Loyalty and Disavowal) in modern Salafism referred to here as WB. The research is divided into two parts. Part One introduces the phenomenon of modern Salafism and the concept of WB (Chapter One). It also demonstrates how the Quran, particularly its sixtieth chapter (Surah Al-Mumtahanah) and the concept of Millat Ibrahim (Religion of Abraham) play an important role in formulating the modern Salafi concept of WB (Chapter Two). Part Two discusses the realities and complexities of the concept. First, the concept in Wahhabism, whose adherents form the majority of modern Salafis, and whose tradition is believed to have influenced and shaped modern Salafism, is discussed (Chapter Three). The complexities of WB are described as the research recognizes the diversity or “spectrum” of the concept in modern Salafism, which ranges from what might be termed “very mild” to “very extreme” (Chapter Four). The research shows that one of the main reasons for this diversity is the different Salafi orientations or the backgrounds from which modern Salafis emerge. This is proven through analyzing the writings on WB by Salafis of purist, politico and Jihadi backgrounds – a specific categorization of modern Salafis used for the purpose of this research (Chapter Five). The analysis is conducted by mainly observing the role of WB within their intellectual systems. Through this analysis, it is concluded that a particular Salafi orientation has an effect on the style of writing and presentation of the concept by modern Salafis. This reflects the position of WB in modern Salafism as being fluid and multi-dimensional. The research then, aims to explore the centrality, breadth and complexity of the WB concept in modern Salafism, and proves that WB in modern Salafism is not static but flexible and dynamic. The significance of the research lies in the fact that understanding modern Salafi conceptions of WB is an urgent priority in the lives of Muslims today. This understanding is critical, as Muslims increasingly live as minority communities across the globe and WB has specific implications for whether (and how) Muslims can live with non-Muslims. The research concludes that the consequences of applying the modern Salafi concept of WB are serious – WB generally promotes a way of life that is insular and hostile towards non-Muslims and this, it might be argued, is at variance with more tolerant, inclusive nature of Islam.

Cette thèse offre une nouvelle édition de trois documents essentiels pour l’histoire du monastère italien de Bobbio au 9e siècle : le « Breve memorationis » de l’abbé Wala (c. 835) et les polyptyques de 862 et 883. Au travers d’une analyse qui prête une attention inédite à la matérialité des documents originaux, il a été possible de mettre en évidence un certain nombre de logiques internes aux documents et de démarches d’enquête et de mise par écrit jusque là totalement ignorées par la recherche. L’importance des logiques de succession géographique des possessions a notamment été mise en évidence, en rapport direct avec la forme donnée au texte de 862 par son rédacteur. La personnalité de Wala est longuement étudiée, ainsi que l’organisation interne du monastère à laquelle son nom est associé. Enfin, le polyptyque de 883 bénéficie d’une attention nouvelle, qui permet de rédéfinir sa place et son rôle par rapport à son modèle de 862.

Introdução: a determinação da Borda WALA em modelos de gesso permitia defini-la como uma linha imaginária utilizada no planejamento, seguimento e finalização de casos clínicos. Procurou-se determinar a Borda WALA em modelos de gesso de pacientes ortodônticos, mandíbulas secas, radiografias oclusais e cortes tomográficos dos pacientes e mandíbulas respectivas. O objetivo foi detectar a viabilidade de mensurar e determinar, por um método reproduzível, a Borda WALA em radiografias oclusais e cortes tomográficos. Metodologia: foram utilizados modelos, radiografias oclusais e tomografias de feixe cônico de 12 pacientes ortodônticos, e 12 mandíbulas e suas respectivas radiografias oclusais e cortes tomográficos. As mensurações tomográficas foram realizadas, em todos os dentes, do ponto mais vestibular das raízes dentárias no nível cervical até a parte mais externa da cortical óssea vestibular. Nas mandíbulas secas e nos modelos, as medidas verticais partiam do ponto EV até a linha de grafite que determinou o ponto vestibular mais externo. Resultados: os arcos correspondentes à Borda WALA obtidos nos modelos de gesso e nas mandíbulas secas se equivaleram em sua forma, sendo um pouco menores, em sua dimensão, nos modelos. Os arcos obtidos a partir das mensurações realizadas em radiografias oclusais e cortes tomográficos se equivaleram, em sua forma, nos modelos e mandíbulas, com correlação fortemente positiva, detectada pelo Coeficiente de Correlação de Pearson. Conclusões: 1. a Borda WALA não representa uma estrutura anatômica, mas uma medida/anagrama/referência a ser mensurada e utilizada nos tratamentos ortodônticos e ortopédicos; 2. a Borda WALA não deve ser considerada uma linha imaginária, mas um arco a ser determinado por medidas que devem servir de parâmetro nas correções das alterações da oclusão e alinhamento dos dntes inferiores; 3. em seu contorno e forma, as medidas obtidas nos modelos e nas mandíbulas, assim como nas radiografias oclusais e tomografias de feixe cônico, se equivaleram estatisticamente. Nas radiografias oclusais dos pacientes, houve dificuldades técnicas para a obtenção de imagens que permitissem uma mensuração precisa na determinação da Borda WALA. Nos cortes tomográficos, as medidas realizadas para determinação da Borda WALA reproduziram, com coeficiente de correlação fortemente positivo, a dimensão e a forma obtidas em medidas nos modelos de gesso e nas mandíbulas secas. Em suma, a determinação da Borda WALA a partir de cortes tomográficos transversais no nível cervical dos dentes inferiores é viável, pois a dimensão e a forma do arco obtido se equivalem estatisticamente ao arco obtido pelas medidas realizadas em modelos de gesso e mandíbulas secas. / Introduction: The WALA ridge is an imaginary line determined in cast models and used as reference for orthodontic treatment planning, execution and finalization. In the following study, the WALA ridge was defined in cast models of orthodontic patients, dissected mandibles, occlusal radiographies and tomographic slices of patients and respective mandibles aiming to find a reproducible method for determining the WALA ridge in occlusal radiographies and tomographic slices. Methodology: The sample comprised 12 cast models, occlusal radiographies and cone beam tomographies of orthodontic patients and 12 dissected mandibles, their respective occlusal radiographies and tomographic slices. Tomographic measurements were made in all teeth from the most buccal point of dental roots on their cervical level until the most external and anterior cortical line of bone. Vertical measurements on dissected mandibles and cast models were taken from FA point until the pencil line that determined the most external edge of bone around mandibular teeth. Results: The arches corresponding to the WALA ridge obtained from cast models and dissected mandibles were equivalent in form but a little smaller in size for cast models. The arches obtained from occlusal radiographies and tomographic slices were equivalent in form to the ones obtained from models and dissected mandibles, with a high positive correlation of proportion statistically confirmed by Pearsons coefficient. Conclusion: 1. The WALA ridge is not an anatomical structure, but a measurement/anagram/reference to be measured and used during orthodontic and orthopedic treatment. 2. The WALA ridge should not be considered an imaginary line, but an arch to be determined by measurements and used as parameter when correcting the occlusion of misalignment of inferior teeth; 3. The measurements obtained from models and dissected mandibles, as well as from occlusal radiographies and cone beam tomographies were equivalent in shape and form. Obtaining the WALA ridge from occlusal radiographies in patients involve technical difficulties to acquire a good image for precise measurement. Tomographic measurements to determine the WALA ridge were reproducible, with a high positive correlation coefficient to the dimension and form obtained from cast models and dissected mandible measurements. To sum up, determining the WALA ridge from tomographic transversal slices on the cervical level of inferior teeth is viable, since the dimension and arch form are statistically equivalent to the arch form obtained from cast models and dissected mandibles.

Introdução: a determinação da Borda WALA em modelos de gesso permitia defini-la como uma linha imaginária utilizada no planejamento, seguimento e finalização de casos clínicos. Procurou-se determinar a Borda WALA em modelos de gesso de pacientes ortodônticos, mandíbulas secas, radiografias oclusais e cortes tomográficos dos pacientes e mandíbulas respectivas. O objetivo foi detectar a viabilidade de mensurar e determinar, por um método reproduzível, a Borda WALA em radiografias oclusais e cortes tomográficos. Metodologia: foram utilizados modelos, radiografias oclusais e tomografias de feixe cônico de 12 pacientes ortodônticos, e 12 mandíbulas e suas respectivas radiografias oclusais e cortes tomográficos. As mensurações tomográficas foram realizadas, em todos os dentes, do ponto mais vestibular das raízes dentárias no nível cervical até a parte mais externa da cortical óssea vestibular. Nas mandíbulas secas e nos modelos, as medidas verticais partiam do ponto EV até a linha de grafite que determinou o ponto vestibular mais externo. Resultados: os arcos correspondentes à Borda WALA obtidos nos modelos de gesso e nas mandíbulas secas se equivaleram em sua forma, sendo um pouco menores, em sua dimensão, nos modelos. Os arcos obtidos a partir das mensurações realizadas em radiografias oclusais e cortes tomográficos se equivaleram, em sua forma, nos modelos e mandíbulas, com correlação fortemente positiva, detectada pelo Coeficiente de Correlação de Pearson. Conclusões: 1. a Borda WALA não representa uma estrutura anatômica, mas uma medida/anagrama/referência a ser mensurada e utilizada nos tratamentos ortodônticos e ortopédicos; 2. a Borda WALA não deve ser considerada uma linha imaginária, mas um arco a ser determinado por medidas que devem servir de parâmetro nas correções das alterações da oclusão e alinhamento dos dntes inferiores; 3. em seu contorno e forma, as medidas obtidas nos modelos e nas mandíbulas, assim como nas radiografias oclusais e tomografias de feixe cônico, se equivaleram estatisticamente. Nas radiografias oclusais dos pacientes, houve dificuldades técnicas para a obtenção de imagens que permitissem uma mensuração precisa na determinação da Borda WALA. Nos cortes tomográficos, as medidas realizadas para determinação da Borda WALA reproduziram, com coeficiente de correlação fortemente positivo, a dimensão e a forma obtidas em medidas nos modelos de gesso e nas mandíbulas secas. Em suma, a determinação da Borda WALA a partir de cortes tomográficos transversais no nível cervical dos dentes inferiores é viável, pois a dimensão e a forma do arco obtido se equivalem estatisticamente ao arco obtido pelas medidas realizadas em modelos de gesso e mandíbulas secas. / Introduction: The WALA ridge is an imaginary line determined in cast models and used as reference for orthodontic treatment planning, execution and finalization. In the following study, the WALA ridge was defined in cast models of orthodontic patients, dissected mandibles, occlusal radiographies and tomographic slices of patients and respective mandibles aiming to find a reproducible method for determining the WALA ridge in occlusal radiographies and tomographic slices. Methodology: The sample comprised 12 cast models, occlusal radiographies and cone beam tomographies of orthodontic patients and 12 dissected mandibles, their respective occlusal radiographies and tomographic slices. Tomographic measurements were made in all teeth from the most buccal point of dental roots on their cervical level until the most external and anterior cortical line of bone. Vertical measurements on dissected mandibles and cast models were taken from FA point until the pencil line that determined the most external edge of bone around mandibular teeth. Results: The arches corresponding to the WALA ridge obtained from cast models and dissected mandibles were equivalent in form but a little smaller in size for cast models. The arches obtained from occlusal radiographies and tomographic slices were equivalent in form to the ones obtained from models and dissected mandibles, with a high positive correlation of proportion statistically confirmed by Pearsons coefficient. Conclusion: 1. The WALA ridge is not an anatomical structure, but a measurement/anagram/reference to be measured and used during orthodontic and orthopedic treatment. 2. The WALA ridge should not be considered an imaginary line, but an arch to be determined by measurements and used as parameter when correcting the occlusion of misalignment of inferior teeth; 3. The measurements obtained from models and dissected mandibles, as well as from occlusal radiographies and cone beam tomographies were equivalent in shape and form. Obtaining the WALA ridge from occlusal radiographies in patients involve technical difficulties to acquire a good image for precise measurement. Tomographic measurements to determine the WALA ridge were reproducible, with a high positive correlation coefficient to the dimension and form obtained from cast models and dissected mandible measurements. To sum up, determining the WALA ridge from tomographic transversal slices on the cervical level of inferior teeth is viable, since the dimension and arch form are statistically equivalent to the arch form obtained from cast models and dissected mandibles.

Cette thèse offre une nouvelle édition de trois documents essentiels pour l’histoire du monastère italien de Bobbio au 9e siècle :le « Breve memorationis » de l’abbé Wala (c. 835) et les polyptyques de 862 et 883. Au travers d’une analyse qui prête une attention inédite à la matérialité des documents originaux, il a été possible de mettre en évidence un certain nombre de logiques internes aux documents et de démarches d’enquête et de mise par écrit jusque là totalement ignorées par la recherche. L’importance des logiques de succession géographique des possessions a notamment été mise en évidence, en rapport direct avec la forme donnée au texte de 862 par son rédacteur. La personnalité de Wala est longuement étudiée, ainsi que l’organisation interne du monastère à laquelle son nom est associé. Enfin, le polyptyque de 883 bénéficie d’une attention nouvelle, qui permet de rédéfinir sa place et son rôle par rapport à son modèle de 862. / Doctorat en Histoire, art et archéologie / info:eu-repo/semantics/nonPublished

Nowadays, static analysis is a helpful option for developers to ensure all the important properties of a developed application. But these analyses must be also developed and it is inevitable that sometimes they must be debugged to find and solve problems inside of the analyses themself. The debugging of static analyses might be more complicated because some popular analysis frameworks do not provide sufficient support for debugging. One of the widely used analysis frameworks is WALA. In this thesis, we thoroughly explored all the main features of WALA and determined possible points for better debugging support. For each of these points, we designed and implemented supporting infrastructure that should accelerate the process of debugging by avoiding the tedious manual effort needed for inspection and evaluation of the internal state of WALA. One kind of these points is the analysis configuration where we created an inspection system for class hierarchy and call graph that should detect common misconfiguration problems. The next point is the debugging of the data flow transfer functions, for which we created a visualizer of the running analysis over the subject program. This visualization is done within the Visual Studio Code editor. To connect the editor with the analysis we used Debug Adapter Protocol and...