Thesis (Ph.D.)--Bowling Green State University, 2007. / Document formatted into pages; contains ix, 182 p. Includes bibliographical references.

I denna studie undersöker jag hur det interreligiösa fredssamarbetet kan se ut mellan muslimer och kristna. Fokus ligger på en kvalitativ studie där tre muslimska och tre kristna interreligiöst aktiva fredsförespråkare i Stockholm förklarar sin syn på fredsskapande. Men det görs även nedslag i engelskspråklig litteratur där exempel från runt om i världen ges. Här nämner författarna sinsemellan vilka svårigheter som kan uppstå. Dessa svårigheter kan bland annat bero på vem som anses ha kunskaperna för att bedriva fredsarbete. Men även vilka roller som externa aktörer tar på sig när de ger sig in och påverkar fredsskapandet. Här ges exempel från Balkan. Vad gäller den kvalitativa studien ser man att det interreligiösa fredssamarbetet kan ta sig olika form. Exempel ges på ett gemensamt bönehus och mötesplats som finns i Fisksätra. Men även studie och föreläsningsprojektet Saalams vänner beskrivs. Den teori som används utgår från Ruth Illmans tolkning av filsofen Martin Buber. Illman söker genom Buber att förklara hur mötet med Den Andre också är ett möte med sig själv. Ett möte som när det är ärligt kan skapa respekt och förståelse trots skillnader. Dessa skillnader blir då sekundära.

The dissertation are analyzing the main characteristics of asphalt concrete influencing shear deformation, appearance and increase of rutting connected with them, analyze the influence of geosynthetic material characteristics onto asphalt concrete functioning.

In the dissertation are analyzing the main characteristics of asphalt concrete influencing shear deformation, appearance and increase of rutting connected with them, analyze the influence of geosynthetic material characteristics onto asphalt concrete functioning.

This paper examines whether Justice Ruth Bader Ginsburg demonstrates any evidence of a "feminine voice" in her opinions. There has been much jurisprudential literature written recently regrading the possible existence of a "feminine voice." This paper surveyes the literature and defines what is meant by a "feminine voice." The paper proceeds to analyze some of Justice Ginsburg's opinions to determine if a "feminine voice" is present. This study focuses on four areas of law the literature suggests evidence of a "feminine voice" might be found: cases involving gender, race, the Establishment Clause, and physician-assisted suicide. With the exception of cases concerning race, no evidence of a "feminine voice" was found. In race cases, there is evidence to suggest that Justice Ginsburg arrives at her decision in a way that is different from her male colleagues. The lack of evidence of a "feminine voice" in the other areas does not mean that no such voice exists; rather, it is just not present in all of the decisions written by Justice Ginsburg. The paper concludes that, at least in cases involving race, Justice Ginsburg does reason in a "feminine voice." While this is a narrow finding, the fact that there is evidence of a "feminine voice," at least in some cases, suggests that gender does play a role in judicial decision-making at the United States Supreme Court level. / Department of Political Science

Real-time systems are amongst the most safety critical systems involving computer software and the incorrect functioning of this software can cause great damage, up to and including the loss of life. If seems sensible therefore to write real-time software in a way that gives us the best chance of correctly implementing specifications. Because of the high level of functional programming languages, their semantic simplicity and their amenability to formal reasoning and correctness preserving transformation it thus seems natural to use a functional language for this task. This thesis explores the problems of applying functional programming languages to real-time by defining the real-time functional programming language Ruth. The first part of the thesis concerns the identification of the particular problems associated with programming real-time systems. These can broadly be stated as a requirement that a real-time language must be able to express facts about time, a feature we have called time expressibility. The next stage is to provide time expressibility within a purely functional framework. This is accomplished by the use of timestamps on inputs and outputs and by providing a real-time clock as an input to Ruth programs. The final major part of the work is the construction of a formal definition of the semantics of Ruth to serve as a basis for formal reasoning and transformation. The framework within which the formal semantics of a real-time language are defined requires time expressibility in the same way as the real-time language itself. This is accomplished within the framework of domain theory by the use of specialised domains for timestamped objects, called herring-bone domains. These domains could be used as the basis for the definition of the semantics of any real-time language.

Thesis (Ph. D.) -- University of Maryland, 2004. / Includes bibliographical references (p. 386-408)

Diss.--Gesamthochschule Wuppertal, 1990.

Thesis (Th. M.)--Dallas Theological Seminary, 2004. / Includes bibliographical references(leaves [121]-123).

Thesis (Ph. D.)--University of Texas at Austin, 1999. / Vita. Includes bibliographical references (leaves 233-260). Available also in a digital version from Dissertation Abstracts.