Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…

As interconnect linewidths continue to scale downward, a detailed knowledge of stress evolution and void growth processes enables a determination of the electromigration-induced failure times of these interconnects. This thesis provides this knowledge through the development of an electromigration simulation…

GPUs are flexible parallel processors capable of accelerating real applications. To exploit them, programmers rewrite programs in new languages using intimate knowledge of the underlying hardware. This is a step backwards in abstraction and ease of use from sequential programming.…

Data are provided on two hoverfly species new to the Iberian Peninsula, Brachyopa grunewaldensis Kassebeer and Criorhina floccosa (Meigen), and one new to Spain, Eumerus consimilis Šimić & Vujić. New habitat and breeding data are presented., Financial support was provided…

The Sami people have struggled for centuries to maintain their culture in spite of pressures against it from colonialism. The formal education systems of Norway and Finland have acted in discord with Sami decision-making since their inception. In response to…

Le regroupement des données est une méthode classique pour analyser les matrices d'expression génétiques. Lorsque le regroupement est appliqué sur les lignes (gènes), chaque colonne (conditions expérimentales) appartient à toutes les grappes obtenues. Cependant, il est souvent observé que des…

Research in decision making has identified the importance of prior knowledge and heuristics on decision making behaviour. These develop with experience in a fashion similar to how domain experts develop specialized knowledge structures and heuristic reasoning patterns. This research is…

The aim of this study is to test the assumption that the depictions of ancient boxing found on Attic Black and Red Figure pottery are accurate. Due to the scarcity of ancient written material and physical evidence, most of our…

This study examines Christian experientialist epistemology as articulated of late by Alvin Plantinga especially and also William Alston. It situates their approach to the epistemic status of Christian belief claims within the overall outlook they have respectively developed on what…

Las teorizaciones «estándar» sobre la argumentación jurídica se basan en unas in-distinciones fundamentales: entre las dos grandes clases de juicios de valor (los categóricos y los instrumentales), entre ciertos meta-lenguajes académicos (Teoría del Derecho) y su lenguaje-objeto práctico (discursos jurídicos…