open_access
Refine
Year of publication
Document Type
- Doctoral Thesis (450)
- Part of Periodical (139)
- Article (58)
- Book (49)
- Report (21)
- Preprint (18)
- Conference Proceeding (10)
- Master's Thesis (10)
- Other (10)
- Bachelor Thesis (7)
Language
- German (480)
- English (294)
- Multiple languages (5)
- Spanish (3)
- French (1)
Has Fulltext
- yes (783)
Keywords
- Lehrerbildung (30)
- Deutschland (22)
- Österreich (18)
- Universität Passau (13)
- Kultursemiotik (12)
- Maßtheorie (12)
- Mediensemiotik (12)
- Graphenzeichnen (9)
- Computersicherheit (8)
- Didaktik (7)
Institute
- Philosophische Fakultät (206)
- Fakultät für Informatik und Mathematik (114)
- Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik (70)
- Wirtschaftswissenschaftliche Fakultät (67)
- Juristische Fakultät (40)
- Mitarbeiter Lehrstuhl/Einrichtung der Wirtschaftswissenschaftlichen Fakultät (40)
- Zentrum für Lehrerbildung und Fachdidaktik (32)
- Department für Katholische Theologie (28)
- Universitätsbibliothek (28)
- Philosophische Fakultät / Pädagogik (23)
Diskriminierungsverbote unter Privaten: Rechtsdurchsetzung im deutschen und US-amerikanischen Recht
(2015)
Die Arbeit untersucht die Rechtsdurchsetzung von an Private gerichteten Diskriminierungsverboten im deutschen Recht und im US-Bundesrecht. Teil 1 führt in die Fragestellung der Arbeit ein und behandelt rechtssystemübergreifende Grundlagen. Teil 2 stellt den Rahmen des Unionsrechts für nationales Antidiskriminierungsrecht dar. Die Teile 3 und 4 sind der Analyse eines Rechtsfolgensystems gewidmet. Der dritte Teil beschäftigt sich dabei mit der Rechtslage in Deutschland, der vierte Teil mit dem US-Bundesrecht. Teil 5 ist eine vergleichende Analyse deutscher und amerikanischer Konzepte und greift so auf die Teile 3 und 4 zurück. Die Untersuchung geht dabei sowohl grundlegenden Strukturentscheidungen nach (wie z. B. dem fast vollständigen Fehlen kollektiver Rechtsdurchsetzung in Deutschland) als auch der konkreten Ausgestaltung bestimmter Rechtsfolgen im Detail und zeigt Gemeinsamkeiten und Unterschiede auf. Teil 6 abstrahiert von den konkreten nationalen Regelungen und untersucht Rechtsdurchsetzungs- und Rechtsfolgenmodelle für die Verletzung von Diskriminierungsverboten auf ihre Eignung zur Verhaltenssteuerung anhand verschiedener Modelle; dabei wird ein interdisziplinärer Ansatz verfolgt, der insbesondere Erkenntnisse der ökonomischen Analyse des Rechts berücksichtigt. Teil 7 enthält abschließende Bemerkungen.
Eine explorative Studie im Bereich der Ausbildung von Praxislehrpersonen, die Studierende in den Schulpraktischen Studien begleiten.
Die Untersuchung beleuchtet die Fragen, welches Wissen angehende Praxislehrpersonen über Unterrichtsqualität und über die Kriterien der wissenschaftlichen Beobachtung für die Betreuung von Studierenden mitbringen und wie sie dieses Wissen konkret anwenden. Weiters interessiert, ob diese Kenntnisse durch speziell konzipierte Ausbildungskurse nachhaltig erweitert werden können. Mittels Fragebogen zu einem videografierten Unterrichtsauftritt einer Studentin wird erhoben, welche Kenntnisse die Untersuchungsteilnehmer/innen in den genannten Bereichen haben und wie weit ihr Ratingverhalten von einem Expertinnen-/Expertenrating abweicht. Nach einschlägigen Schulungen zu den angeführten Themenbereichen wird in zwei weiteren Fragebogenuntersuchungen, eine einen Tag nach der Schulung, die andere nach sechs Monaten, erhoben, wie sich das genannte Wissen und das Ratingverhalten verändert haben. Es wird davon ausgegangen, dass Ausbildungskurse bei Praxislehrpersonen eine Erweiterung des Wissens in Hinblick auf wichtige Einflussgrößen auf den Lernerfolg von Schülerinnen und Schülern hervorrufen und dass sie sich aufgrund der Ausbildungskurse in ihrem Ratingverhalten dem Expertinnen-/Expertenrating annähern. Die Ergebnisse zeigen, dass spezifische Schulungen in einzelnen Bereichen eine Wissenserweiterung bringen, das Ausgangswissen über Qualitätsmerkmale guten Unterrichts aber gering ist.
Abstract zum Dissertationsfragment "Spotzuordnung und Wellenfront-Rekonstruktion für Shack-Hartmann-Sensoren" von Sascha Groening (20.04.1972 - 16.11.2001)
Sascha Groening war nach seinem Studium der Informatik an der Universität Passau von 01.Oktober 1998 bis 16. November 2001 wissenschaftlicher Mitarbeiter der Forschungsgruppe Entscheidungsunterstützende Systeme innerhalb des Forschungsverbundes Wissensbasierte Systeme, die 2005 in das Institut für Softwaresystem in technischen Anwendungen der Informatik an der Universität Passau überging.
Tragischerweise ist er am 16. November 2001 im Alter von nur 28 Jahren kurz vor der Fertigstellung seiner Dissertation völlig überraschend verstorben. In seiner Dissertation beschäftigte er sich mit Fragestellungen aus dem Teilprojekt „Entwicklung eines Messverfahrens mit hohem Dynamikbereich für die Qualitätssicherung von optischen Asphären für die in‐situ Messung von Wellenfronten (kurz Wellensensor)“ des Forschungsverbundes FORMIKROSYS II, der von der Bayerischen Forschungsstiftung gefördert wurde.
Auf den Sicherungen des Instituts konnten wir nur eine relativ unvollständige elektronische Version seiner Dissertation „Spotzuordnung und Wellenfrontrekonstruktion für Shack‐Hartmann‐Sensoren“ finden, da er seine Arbeit auf einem privaten PC anfertigte.
Monika Groening, seine Mutter, hat dagegen im Jahr 2013 privat unten stehenden Ausdruck seiner schriftlichen Arbeit gefunden, die einem Stand etwa zwei Wochen vor der geplanten Abgabe entspricht und die nun hiermit als Scan der Öffentlichkeit zur Verfügung gestellt wird.
Am Institut wurden nach Abschluss des Projektes Wellensensor die Forschungen auf diesem Gebiet nicht weiter verfolgt, da die Problemstellung des Projektes für die Partner, die die Lösung von Sascha Groening angewendet haben, zufriedenstellend gelöst war.
Im Rahmen des Projektes wurden die Leistungsgrenzen für ein Messgerät zur Vermessung von optischen Asphären (z.B. Gleitsicht‐Brillengläsern) und allgemeinen Wellenfronten (z.B. Strahlprofil eines Lasers, Wellenfront hinter einem optischen Subsystem) auf der Basis des Shack‐Hartmann‐Sensors erforscht. Das Prinzip beruht auf der geometrisch‐optischen Bestimmung lokaler Wellenfrontkrümmungen mit Hilfe eines Feldes von Mikrolinsen und einer CCD‐Kamera in der Fokalebene der Mikrolinsen. Sascha Groening entwickelte völlig neu konzipierte Auswertealgorithmen, die eine schnelle und zuverlässige Zuordnung von Fokuspunkten zu Mikrolinsen durchführen und damit eine hochgenaue Vermessung von
Ashären bei stark aberranten Wellenfronten möglich machen. Eine einfallende Wellenfront erzeugt in der Fokalebene der Mikrolinsen ein charakteristisches Spotmuster. Durch die Analyse der lokalen Ablenkungen der Spots von ihren Idealpositionen, also den Positionen, die bei Einfall einer ebenen Wellenfront entstehen würden, können Aussagen über das
lokale Steigungsverhalten der einfallenden Wellenfront getroffen werden. Je größer der Dynamikbereich des Messgerätes sein soll, desto schwieriger wird das Problem der Zuordnung von Spot zu Mikrolinse. Genau diese Herausforderung wurde von Sascha Gröning durch einen iterativen Spline‐Passungs‐Algorithmus schnell und elegant gelöst. Wenn dann
die Spotzuordnung erfolgt ist, kann die Wellenfront aus den lokalen Ablenkungen der Spots rekonstruiert werden.
Das Fragment der Dissertationsschrift ist vollständig bis auf Kapitel 1 Einleitung und Kapitel 7 Zusammenfassung. Außerdem fehlen in Kapitel 4 noch die Beschreibungen einiger untersuchter Verfahren zur Spotdetektion und in den Unterkapiteln von 5 und 6 fehlen die Verfahren zur Spotzuordnung und Wellenfrontrekonstruktion bei nicht stetig differenzierbaren bzw. unstetigen Wellenfronten. Ansonsten bietet die Arbeit aber einen guten Überblick über den Stand der Technik zur damaligen Zeit und erklärt die grundlegenden Verfahren, die von Sascha Groening erforscht und entwickelt wurden. In Kapitel 2 werden ausführlich das Funktionsprinzip des Shack‐Hartmann‐Sensors und die Wellenfrontvermessung erklärt, wobei speziell auf das Zuordnungsproblem von Spot zu Mikrolinse und auf die globale Wellenfrontrekonstruktion aus einem Feld partieller Ableitungen eingegangen wird.
Die mathematischen Grundlagen wie Tensorprodukt‐Splines oder die Lösungsverfahren für lineare Ausgleichsprobleme ohne und mit linearen Nebenbedingungen werden in Kapitel 3 gelegt. Einen ersten Schwerpunkt bildet Kapitel 4, das sich mit der Spotdetektion beschäftigt. Nach der Erläuterung der optischen Grundlagen wird die Spotentstehung mathematisch modelliert, um so geeignete Detektionsverfahren ableiten zu können.
Im zentralen Kapitel 5 der Dissertation geht es um die Spotzuordnung. Nach der Vorstellung bekannter Verfahren wird die neu entwickelte Spotzuordnung durch iterative Funktionspassung beschrieben. Nach einer initialen Zuordnung von einigen zentralen Spots, die unter Nutzung von Nebenwissen problemlos möglich ist, wird dann iterativ mit Hilfe von Splinepassungen vorgegangen. Bei einer vorhandenen Zuordnung wird durch Extrapolation der berechneten Splinepassung der Suchbereich für weitere, nicht zugeordnete Spots ausgedehnt, und diese werden dann wiederum korrekt zugeordnet. Diese Schritte werden iterativ wiederholt, bis alle Spots zugeordnet sind. Die Vorgehensweise, von bekanntem in unbekanntes Gebiet zu extrapolieren führt hier vortrefflich zum Ziel. Sascha Groening zeigt auch, dass der Erfolg vom gewählten Funktionsraum, hier Tensorprodukt‐Splines, abhängt. Schließlich runden die Verfahren zur Wellenfrontrekonstruktion, die ebenfalls auf Spline‐Passungen basieren, in Kapitel 6 die Arbeit ab.
Mit der Bereitstellung dieses Fragments seiner Dissertation wollen wir die geleistete Arbeit von Sascha Groening an der Universität Passau würdigen und hoffen, dass seine Ergebnisse ihren Platz in der wissenschaftlichen Gemeinschaft finden.
Im Mai 2015, Dr. Erich Fuchs
Top-k Semantic Caching
(2015)
The subject of this thesis is the intelligent caching of top-k queries in an environment with high latency and low throughput. In such an environment, caching can be used to reduce network traffic and improve response time. Slow database connections of mobile devices and to databases, which have been offshored, are practical use cases.
A semantic cache is a query-based cache that caches query results and maintains their semantic description. It reuses partial matches of previous query results. Each query that is processed by the semantic cache is split into two disjoint parts: one that can be completely answered with tuples of the cache probe query, and another that requires tuples to be transferred from the server (remainder query).
Existing semantic caches do not support top-k queries, i.e., ordered and limited queries. In this thesis, we present an innovative semantic cache that naturally supports top-k queries. The support of top-k queries in a semantic cache has considerable effects on cache elements, operations on cache elements -- like creation, difference, intersection, and union -- and query answering. Hence, we introduce new techniques for cache management and query processing. They enable the semantic cache to become a true top-k semantic cache.
In addition, we have developed a new algorithm that can estimate the lower bounds of query results of sorted queries using multidimensional histograms. Using this algorithm, our top-k semantic cache is able to pipeline partial query results of top-k queries. Thereby, query execution performance can be significantly increased.
We have implemented a prototype of a top-k semantic cache called IQCache (Intelligent Query Cache). An extensive and thorough evaluation with various benchmarks using our prototype demonstrates the applicability and performance of top-k semantic caching in practice. The experiments prove that the top-k semantic cache invariably outperforms simple hash-based caching strategies and scales very well.
The world wide web today serves as a distributed application platform. Its origins, however, go back to a simple delivery network for static hypertexts. The legacy from these days can still be observed in the communication protocol used by increasingly sophisticated clients and applications. This thesis identifies the actual security requirements of modern web applications and shows that HTTP does not fit them: user and application authentication, message integrity and confidentiality, control-flow integrity, and application-to-application authorization. We explore the other protocols in the web stack and work out why they can not fill the gap. Our analysis shows that the underlying problem is the connectionless property of HTTP. However, history shows that a fresh start with web communication is far from realistic. As a consequence, we come up with approaches that contribute to meet the identified requirements.
We first present impersonation attack vectors that begin before the actual user authentication, i.e. when secure web interaction and authentication seem to be unnecessary. Session fixation attacks exploit a responsibility mismatch between the web developer and the used web application framework. We describe and compare three countermeasures on different implementation levels: on the source code level, on the framework level, and on the network level as a reverse proxy.
Then, we explain how the authentication credentials that are transmitted for the user login, i.e. the password, and for session tracking, i.e. the session cookie, can be complemented by browser-stored and user-based secrets respectively. This way, an attacker can not hijack user accounts only by phishing the user's password because an additional browser-based secret is required for login. Also, the class of well-known session hijacking attacks is mitigated because a secret only known by the user must be provided in order to perform critical actions.
In the next step, we explore alternative approaches to static authentication credentials. Our approach implements a trusted UI and a mutually authenticated session using signatures as a means to authenticate requests. This way, it establishes a trusted path between the user and the web application without exchanging reusable authentication credentials. As a downside, this approach requires support on the client side and on the server side in order to provide maximum protection. Another approach avoids client-side support but can not implement a trusted UI and is thus susceptible to phishing and clickjacking attacks.
Our approaches described so far increase the security level of all web communication at all time. This is why we investigate adaptive security policies that fit the actual risk instead of permanently restricting all kinds of communication including non-critical requests. We develop a smart browser extension that detects when the user is authenticated on a website meaning that she can be impersonated because all requests carry her identity proof. Uncritical communication, however, is released from restrictions to enable all intended web features.
Finally, we focus on attacks targeting a web application's control-flow integrity. We explain them thoroughly, check whether current web application frameworks provide means for protection, and implement two approaches to protect web applications: The first approach is an extension for a web application framework and provides protection based on its configuration by checking all requests for policy conformity. The second approach generates its own policies ad hoc based on the observed web traffic and assuming that regular users only click on links and buttons and fill forms but do not craft requests to protected resources.
This thesis addresses a problem related to usage analysis in information retrieval
systems. Indeed, we exploit the history of search queries as support of analysis to
extract a profile model. The objective is to characterize the user and the data source
that interact in a system to allow different types of comparison (user-to-user, sourceto-
source, user-to-source). According to the study we conducted on the work done on
profile model, we concluded that the large majority of the contributions are strongly
related to the applications within they are proposed. As a result, the proposed
profile models are not reusable and suffer from several weaknesses. For instance,
these models do not consider the data source, they lack of semantic mechanisms and
they do not deal with scalability (in terms of complexity). Therefore, we propose
a generic model of user and data source profiles. The characteristics of this model
are the following. First, it is generic, being able to represent both the user and the
data source. Second, it enables to construct the profiles in an implicit way based on histories of search queries. Third, it defines the profile as a set of topics of interest,
each topic corresponding to a semantic cluster of keywords extracted by a specific
clustering algorithm. Finally, the profile is represented according to the vector space
model. The model is composed of several components organized in the form of a
framework, in which we assessed the complexity of each component.
The main components of the framework are:
• a method for keyword queries disambiguation
• a method for semantically representing search query logs in the form of a
taxonomy;
• a clustering algorithm that allows fast and efficient identification of topics of
interest as semantic clusters of keywords;
• a method to identify user and data source profiles according to the generic
model.
This framework enables in particular to perform various tasks related to usage-based
structuration of a distributed environment. As an example of application, the framework
is used to the discovery of user communities, and the categorization of data
sources. To validate the proposed framework, we conduct a series of experiments
on real logs from the search engine AOL search, which demonstrate the efficiency
of the disambiguation method in short queries, and show the relation between the
quality based clustering and the structure based clustering.
Static analysis tools and transformation engines for source code belong to the standard equipment of a software developer. Their use simplifies a developer's everyday work of maintaining and evolving software systems significantly and, hence, accounts for much of a developer's programming efficiency and programming productivity. This is also beneficial from a financial point of view, as programming errors are early detected and avoided in the the development process, thus the use of static analysis tools reduces the overall software-development costs considerably.
In practice, software systems are often developed as configurable systems to account for different requirements of application scenarios and use cases. To implement configurable systems, developers often use compile-time implementation techniques, such as preprocessors, by using #ifdef directives. Configuration options control the inclusion and exclusion of #ifdef-annotated source code and their selection/deselection serve as an input for generating tailor-made system variants on demand. Existing configurable systems, such as the linux kernel, often provide thousands of configuration options, forming a huge configuration space with billions of system variants.
Unfortunately, existing tool support cannot handle the myriads of system variants that can typically be derived from a configurable system. Analysis and transformation tools are not prepared for variability in source code, and, hence, they may process it incorrectly with the result of an incomplete and often broken tool support.
We challenge the way configurable systems are analyzed and transformed by introducing variability-aware static analysis tools and a variability-aware transformation engine for configurable systems' development. The main idea of such tool support is to exploit commonalities between system variants, reducing the effort of analyzing and transforming a configurable system. In particular, we develop novel analysis approaches for analyzing the myriads of system variants and compare them to state-of-the-art analysis approaches (namely sampling). The comparison shows that variability-aware analysis is complete (with respect to covering the whole configuration space), efficient (it outperforms some of the sampling heuristics), and scales even to large software systems. We demonstrate that variability-aware analysis is even practical when using it with non-trivial case studies, such as the linux kernel.
On top of variability-aware analysis, we develop a transformation engine for C, which respects variability induced by the preprocessor. The engine provides three common refactorings (rename identifier, extract function, and inline function) and overcomes shortcomings (completeness, use of heuristics, and scalability issues) of existing engines, while still being semantics-preserving with respect to all variants and being fast, providing an instantaneous user experience. To validate semantics preservation, we extend a standard testing approach for refactoring engines with variability and show in real-world case studies the effectiveness and scalability of our engine.
In the end, our analysis and transformation techniques show that configurable systems can efficiently be analyzed and transformed (even for large-scale systems), providing the same guarantees for configurable systems as for standard systems in terms of detecting and avoiding programming errors.
Krise … continued: Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad
(2015)
Die zentrale Fragestellung der folgenden Ausführungen wird dementsprechend lauten, durch welche scheinbar extrem populären Merkmale sich BREAKING BAD aufbauend oder abweichend von Gattungskonventionen auszeichnet und inwiefern diese mit dem kulturellen Krisendiskurs des Produktionszeitraumes korrelieren. Dabei wird die Serie als spezifische Form der Krisenartikulation und -bearbeitung analysiert. Dazu werden anfangs einige theoretische Erwägungen zum seriellen Erzählen vorausgeschickt. Im Rahmen der darauf folgenden Handlungsanalyse wird insbesondere auf das vorgeführte Familienmodell, die kausale Weltordnung der Diegese, Identitätskonflikte des Protagonisten, Bürgerlichkeit als Krisenraum sowie das hier propagierte Gegenmodell poetischer Gerechtigkeit einzugehen sein. Abschließend sollen die daraus resultierenden Befunde einer zusammenfassenden Analyse des Krisendiskurses in BREAKING BAD dienen.
Die erfolgreichsten deutschsprachigen Kino-Produktionen der Jahre 2012 und 2013 erzählen humoristisch von der interkulturellen Annäherung und Verpartnerung zwischen „Deutschen“ und „Migranten mit deutschem Pass“–, so jedenfalls lautet die Bezeichnung in einem intradiegetischen fiktiven Beitrag des ARDONachtmagazins in TÜRKISCH FÜR ANFÄNGER. Diese der Tagesschau-Redaktion unterstellte und von der offiziellen Sprachregelung „Menschen mit Migrationshintergrund“ signifikant abweichende Wortwahl dient einer filmischen Kritik an der öffentlichen Rede über die bezeichneten Personen(-gruppen) in Deutschland, weil sie den Aspekt der (Neu-)Zuwanderung und systemischen Fremdheit bei Menschen ohne eigene Migrations-erfahrung, die bereits in zweiter Generation deutsche Staatsangehörige sind, markiert. En passant und bar jeden Witzes attestiert der Film damit öffentlichen Instanzen – als eine solche wird die Tagesschau im Medienbereich wahrgenommen –, dass sie Personen die Anerkennung einer sozialen und kulturellen Zugehörigkeit verweigern, die faktisch deutsche Mitbürger sind und das Recht haben, als solche betrachtet zu werden: „Wo kommst’n her?“ fragt der Deutschtürke Cem den Deutschgriechen Costa; „Steglitz“, ist die selbstverständliche Antwort, während der Nachrichtenbeitrag im Film zwar eine juristisch-formale (deutscher Pass), nicht aber kulturelle deutsche Identität eben dieser beiden Figuren behauptet. Zentraler Gegenstand der filmischen Verhandlung in TÜRKISCH FÜR ANFÄNGER ist damit das Verhältnis von Deutschen und Postmigranten – so der auch von der Bundeszentrale für politische Bildung aktuell bevorzugte Begriff, der nach Naika Foroutan einer „nationalen und kulturellen Mehrfachzugehörigkeit und -identifikation von Individuen“ Rechnung trägt.
”Volkstümliche Musik” is a significant phenomenon (at least) of the early 1990s. The analysis of this phenomenon can paradigmatically represent the discursive practices and sub-thought systems of large parts of the population of the Federal Republic of Germany at this time. ”Volkstümliche Musik” depends on the political situation and indirectly deals with the needs and problems of individuals which result from such a situation and which lie in the deep structure of their mentalities. It thus takes on a cultural function.
In den letzten Jahren hat sich in der Philosophie, Ästhetik, Kunst- und Bildwissenschaft eine Reihe von Denkern zu Wort gemeldet, die die Semiotik grundlegend kritisieren. Es kann mittlerweile von einer antisemiotischen Bewegung gesprochen werden, die sich mit Namen wie Dieter Mersch, Hans Belting, Gernot Böhme, Hans Ulrich Gumbrecht oder Lambert Wiesing verbindet. Dabei wird mit Begriffen wie „Materialität“, „Präsenz“, „Aura“, „Ereignis“ und „hermeneutischer Widerständigkeit“ argumentiert, um Aspekte zu benennen, die die Semiotik nicht berücksichtigt habe und die in Zukunft anstelle von Zeichenphänomenen verstärkt beachtet werden sollten. Dieser Beitrag setzt sich mit der Kritik auseinander, zeigt die Leistungsfähigkeit und Grenzen semiotischer Theoriebildung auf und diskutiert Konsequenzen für die Semiotik und die Einzelwissenschaften, in denen die Kritik geäußert wird.
Inhalt der ersten Ausgabe der Schriften zur Kultur- und Mediensemiotik | Online
Martin Nies (Hrsg.)
Vorwort zur ersten Ausgabe
Martin Siefkes
Sturm auf die Zeichen:
Was die Semiotik von ihren Kritikern lernen kann
Hans Krah
German “volkstümliche Musik” of the Early Nineties and ‘Modern Society’:
Strategies of De-Individualisation as a Contribution to a Collective Re-Organisation
Martin Nies
Culture-Clash-Komödien der Gegenwart:
Konzeptionen von Transkulturalität, Intrakulturalität und Gender in Türkisch für Anfänger, Fack ju Göhte und Zwei Familien auf der Palme
Martin Hennig
Krise … continued:
Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad
Impressum
In study 1 an introduction to the research on moral self-regulation is provided alongside with an explanation of the two manifestations of moral self-regulation: moral licensing and moral cleansing. At the core of the first study is an experiment which was designed to identify moral licensing and cleansing in the domain of honesty. The experiment merges relevant studies from social psychology and experimental economics. It assesses the question if moral self-regulation exists within the domain of honesty or more precisely, if the truth and lies are told in such a way as to balance each other out. After manipulating participants’ moral balances (either positively or negatively), rates of truth-telling are compared to a neutral baseline scenario. Since neither moral licensing nor moral cleansing is observed, the results provide no support to the initial hypothesis that moral self-regulation exists within the domain of honesty.
Study 2 builds on these results and discusses possible reasons for the absence of moral self-regulation. The research on moral hypocrisy and self-concept maintenance are presented and discussed as possible explanations. In order to shed more light on participants’ behavior, a coding procedure is presented that was used on the dataset from study 1. This approach makes it possible to quantify participants’ handwritten stories that resulted from the moral manipulation in study 1 and gain more insights on how truth-telling and lying affect the moral balance. By analyzing (dis)honesty on a more detailed level, results show that participants tend to act consistent to what they revealed about themselves in their stories.
Study 3 links together aspects of moral self-regulation, moral hypocrisy and impression management. The "looting game" is presented which lets participants loot money from a charity box being subject to altruistic punishment from observers. For their punishment decision observers are provided with a history of participants’ past actions. This design allows to assess how misconduct, punishment and the creation of a favorable impression interact and ultimately impact profits. The results indicate that moral cleansing, and not the desire to trick observers, is the reason for manipulation. Participants who loot money from the charity box do not expect to receive less punishment, rather they simply want to present a more favorable picture of themselves. On the other hand, observers fully account for the possibility of manipulation and tend to disregard a manipulated history. The looting game therefore brings the hypothesis into question that impressions are managed and manipulated to increase profits.
Eine Gruppe erfüllt die Tits-Alternative, wenn sie entweder eine nicht-abelsche freie Untergruppe vom Rang 2 enthält oder virtuell auflösbar ist, d. h. eine auflösbare Untergruppe von endlichem Index enthält. Diese Eigenschaft geht auf J. Tits zurück, der sie für endlich erzeugte lineare Gruppen nachwies. Es wird eine relevante Klasse endlich präsentierter Gruppen in Bezug auf die Tits-Alternative untersucht. Die betrachteten Gruppen stellen eine Verallgemeinerung von Pride-Gruppen und der von Vinberg betrachteten Gruppen erzeugt von periodisch gepaarten Relationen für drei Erzeugende dar. Zusätzlich treten diese Gruppen als Fundamentalgruppen hyperbolischer Orbifaltigkeiten auf. Es wird der Nachweis der Tits-Alternative unter bestimmten Voraussetzungen an die Präsentierungen der betrachteten Gruppen erbracht. Für diesen Nachweis werden verschiedene Methoden angewandt: Es werden zum einen homomorphe Bilder der Gruppen betrachtet. Zum anderen wird die Existenz wesentlicher Darstellungen in eine lineare Gruppe nachgewiesen. Basierend auf diesen Darstellungen kann in vielen Fällen der Nachweis der Existenz nicht-abelscher freier Untergruppen erbracht werden. Zusätzlich wird für den Nachweis der Endlichkeit und damit der Tits-Alternative einiger Gruppen eine Methode angewandt, die auf Berechnungen von Gröbner-Basen in nicht-kommutativen Polynomringen basiert. Es wird dabei die Dimension der Gruppenringe betrachtet als Vektorräume berechnet. Für die betrachtete Klasse von Gruppen wird für Relationen der Blocklänge 1 die Tits-Alternative vollständig nachgewiesen. Als Folgerung ergibt sich eine Klassifikation der endlichen unter diesen Gruppen.
Quantum computing is an emerging technology that has the potential to change the perspectives and applications of computing in general. A wide range of applications are enabled: from faster algorithmic solutions of classically still difficult problems to theoretically more secure communication protocols. A quantum computer uses the quantum mechanical effects of particles or particle-like systems, and a major similarity between quantum and classical computers consists of both being abstracted as information processing machines. Whereas a classical computer operates on classical digital information, the quantum computer processes quantum information, which shares similarities with analog signals. One of the central differences between the two types of information is that classical information is more fault-tolerant when compared to its quantum counterpart.
Faults are the result of the quantum systems being interfered by external noise, but during the last decades quantum error correction codes (QECC) were proposed as methods to reduce the effect of noise. Reliable quantum circuits are the result of designing circuits that operate directly on encoded quantum information, but the circuit’s reliability is also increased by supplemental redundancies, such as sub-circuit repetitions.
Reliable quantum circuits have not been widely used, and one of the major obstacles is their vast associated resource overhead, but recent quantum computing architectures show promising scalabilities. Consequently the number of particles used for computing can be more easily increased, and that the classical control hardware (inherent for quantum computation) is also more reliable. Reliable quantum circuits haev been investigated for almost as long as general quantum computing, but their limited adoption (until recently) has not generated enough interest into their systematic design.
The continuously increasing practical relevance of reliability motivates the present thesis to investigate some of the first answers to questions related to the background and the methods forming a reliable quantum circuit design stack.
The specifics of quantum circuits are analysed from two perspectives: their probabilistic behaviour and their topological properties when a particular class of QECCs are used. The quantum phenomena, such as entanglement and superposition, are the computational resources used for designing quantum circuits. The discrete nature of classical information is missing for quantum information. An arbitrary quantum system can be in an infinite number of states, which are linear combinations of an exponential number of basis states. Any nontrivial linear combination of more than one basis states is called a state superposition. The effect of superpositions becomes evident when the state of the system is inferred (measured), as measurements are probabilistic with respect to their output: a nontrivial state superposition will collapse to one of the component basis states, and the measurement result is known exactly only after the measurement.
A quantum system is, in general, composed from identical subsystems, meaning that a quantum computer (the complete system) operates on multiple similar particles (subsystems). Entanglement expresses the impossibility of separating the state of the subsystems from the state of the complete system: the nontrivial interactions between the subsystems result into a single indivisible state. Entanglement is an additional source of probabilistic behaviour: by measuring the state of a subsystem, the states of the unmeasured subsystems will probabilistically collapse to states from a well defined set of possible states. Superposition and entanglement are the building blocks of quantum information teleportation protocols, which in turn are used in state-of-the-art fault-tolerant quantum computing architectures. Information teleportation implies that the state of a subsystem is moved to a second subsystem without copying any information during the process.
The probabilistic approach towards the design of quantum circuits is initiated by the extension of classical test and diagnosis methods. Quantum circuits are modelled similarly to classical circuits by defining gate-lists, and missing quantum gates are modelled by the single missing gate fault. The probabilistic approaches towards quantum circuits are facilitated by comparing these to stochastic circuits, which are a particular type of classical digital circuits. Stochastic circuits can be considered an emulation of analogue computing using digital components.
A first proposed design method, based on the direct comparison, is the simulation of quantum circuits using stochastic circuits by mapping each quantum gate to a stochastic computing sub-circuit. The resulting stochastic circuit is compiled and simulated on FPGAs. The obtained results are encouraging and illustrate the capabilities of the proposed simulation technique. However, the exponential number of possible quantum basis states was translated into an exponential number of stochastic computing elements.
A second contribution of the thesis is the proposal of test and diagnosis methods for both stochastic and quantum circuits. Existing verification (tomographic) methods of quantum circuits were targeting the reconstruction of the gate-lists. The repeated execution of the quantum circuit was followed by different but specific measurement at the circuit outputs. The similarities between stochastic and quantum circuits motivated the proposal of test and diagnosis methods that use a restricted set of measurement types, which minimise the number of circuit executions. The obtained simulation results show that the proposed validation methods improve the feasibility of quantum circuit tomography for small and medium size circuits.
A third contribution of the thesis is the algorithmic formalisation of a problem encountered in teleportation-based quantum computing architectures. The teleportation results are probabilistic and require corrections represented as quantum gates from a particular set. However, there are known commutation properties of these gates with the gates used in the circuit. The corrections are not applied as dynamic gate insertions (during the circuit’s execution) into the gate-lists, but their effect is tracked through the circuit, and the corrections are applied only at circuit outputs. The simulation results show that the algorithmic solution is applicable for very large quantum circuits.
Topological quantum computing (TQC) is based on a class of fault-tolerant quantum circuits that use the surface code as the underlying QECC. Quantum information is encoded in lattice-like structures and error protection is enabled by the topological properties of the lattice. The 3D structure of the lattice allows TQC computations to be visualised similarly to knot diagrams. Logical information is abstracted as strands and strand interactions (braids) represent logical quantum gates. Therefore, TQC circuits are abstracted using a geometrical description, which allows circuit input-output transformations (correlations) to be represented as geometric sub-structures.
TQC design methods were not investigated prior to this work, and the thesis introduces the topological computational model by first analysing the necessary concepts. The proposed TQC design stack follows a top-down approach: an arbitrary quantum circuit is decomposed into the TQC supported gate set; the resulting circuit is mapped to a lattice of appropriate dimensions; relevant resulting topological properties are extracted and expressed using graphs and Boolean formulas. Both circuit representations are novel and applicable to TQC circuit synthesis and validation. Moreover, the Boolean formalism is broadened into a formal mechanism for proving circuit correctness.
The thesis introduces TQC circuit synthesis, which is based on a novel logical gate geometric description, whose formal correctness is demonstrated. Two synthesis methods are designed, and both use a general planar representation of the circuit. Initial simulation results demonstrate the practicality and performance of the methods.
An additional group of proposed design methods solves the problem of automatic correlation construction. The methods use validity criteria which were introduced and analysed beforehand in the thesis. Input-output correlations existing in the circuit are inferred using both the graph and the Boolean representation.
The thesis extends the TQC state-of-the-art by recognising the importance of correlations in the validation process: correlation construction is used as a sub-routine for TQC circuit validation. The presented cross-layer validation procedure is useful when investigating both the QECC and the circuit, while a second proposed method is QECC-independent. Both methods are scalable and applicable even to very large circuits.
The thesis completes with the analysis of TQC circuit identities, where the developed Boolean formalism is used. The proofs of former known circuit identities were either missing or complex, and the presented approach reduces the length of the proofs and represents a first step towards standardising them. A new identity is developed and detailed during the process of illustrating the known circuit identities.
Reliable quantum circuits are a necessity for quantum computing to become reality, and specialised design methods are required to support the quest for scalable quantum computers. This thesis used a twofold approach towards this target: firstly by focusing on the probabilistic behaviour of quantum circuits, and secondly by considering the requirements of a promising quantum computing architecture, namely TQC. Both approaches resulted in a set of design methods enabling the investigation of reliable quantum circuits.
The thesis contributes with the proposal of a new quantum simulation technique, novel and practical test and diagnosis methods for general quantum circuits, the proposal of the TQC design stack and the set of design methods that form the stack. The mapping, synthesis and validation of TQC circuits were developed and evaluated based on a novel and promising formalism that enabled checking circuit correctness.
Future work will focus on improving the understanding of TQC circuit identities as it is hoped that these are the key for circuit compaction and optimisation. Improvements to the stochastic circuit simulation technique have the potential of spawning new insights about quantum circuits in general.
Untersuchungsgegenstand dieser Monographie ist die französische Gruppe Mano Negra, die Ende der 1980 Jahre in der Nähe von Paris gegründet wurde. Zu Beginn der Arbeit liegt der Fokus auf der Geschichtsschreibung zur Band, die sich nach einer kurzen aber erfolgreichen Karriere bereits 1994 wieder auflöste. Darüber hinaus steht das Debüt-Album (Patchanka) im Zentrum einer Beispielanalyse. Ziel dieser Analyse war es die interkulturellen Vermischungen in: Sprache, Musik und Artwork der Band aufzudecken.
This study is an urban history of Cagayan de Oro (Northern Mindanao, Philippines), a city in a developing region, which faced urban transformation from the end of WWII in 1945 to 1980. It employed a multidisciplinary approach wherein the city’s demographic, economic and infrastructural changes were analyzed. The study revealed that Cagayan had grown and transformed from a traditional town into an urban centre whereby its demography had continuously expanded with high rates of natural increase and large streams of in-migrants; while its economic activities had shifted from agricultural production to commerce and industrialization. Its economic transition was due to the promotion of Cagayan as the “Gateway to the South” or “Gateway to Northern Mindanao” by the deciding elites who were part of the transnational economic system that supplied resources to the developed countries such as the United States and Japan. As a result, the growth of Cagayan was not directed towards the masses but instead to the elites and their foreign allies. Cagayan experienced inertia in terms of infrastructural development. Therefore the absorption of foreign structures resulted to an artificial form of urban transformation in Cagayan.
Vom 21. Juni 2013 bis zum 23. Juni 2013 fand an der Universität Passau das Symposium „Gender.Frauen.Wissenschaft.“ statt, auf dem der vorliegende Sammelband basiert. Veranstalterin war das Frauenbüro der Universität Passau, welches mit der Veranstaltung verschiedene Ziele bezweckte. Ausgehend von der Tatsache, dass es an der Universität zu dem Zeitpunkt keine institutionalisierten Gender-Studies gab, aber viele Wissenschaftlerinnen und Wissenschaftler, die zu Genderfragen bzw. Genderaspekten in ihrem Fach forschen, sollte das Symposium solchen Personen die Gelegenheit geben, sich kennenzulernen, über die Forschungsprojekte sich auszutauschen und zu vernetzen. In der Tat glückte der intra- und interfakultäre Ansatz. Da sich das Symposium als Förderinstrument verstand, sollte der Schwerpunkt auf dem wissenschaftlichen Nachwuchs liegen. So versammelt der Band Beiträge von Autorinnen und Autoren in ganz unterschiedlichen Qualifizierungsphasen.
Tourismus in ländlichen Regionen umfasst alle touristischen Angebotsformen in Gemeinden bis zu 5.000 Einwohnern und abseits städtischer Ballungsräume. Dieser Tourismusraum steht aktuell vor großen Herausforderungen und ist ein häufig kritisch beäugtes Diskussions- und Forschungsfeld. Regelmäßig wiederkehrende Themenbereiche sind: die Abwanderung junger Fachkräfte, die Überalterung, Budgetsenkung der öffentlichen Hand sowie die Gefährdung der örtlichen Grundversorgung aufgrund des demographischen Wandels. In einer Vielzahl ländlicher Gebiete Deutschlands, z. B. Bayerischer Wald, Harz, Allgäu, Sylt, ist der Tourismus der wichtigste Wirtschaftsfaktor. Die Einnahmen aus dem Tourismus erhalten strukturschwächere, periphere Gebiete am Leben. Viele wären ohne das Standbein Tourismus schon in einer weitaus schlechteren Situation, mit einem niedrigen Grad an Lebensqualität. Der Tourismus schafft für viele Einheimische und junge Menschen noch eine der wenigen Möglichkeiten, Arbeit in der Heimat zu finden und deswegen dort leben zu können. Die Entwicklung des ländlichen Raumes, inklusive des Wirtschaftsfaktors Tourismus, wird auch in Zukunft eine fundamentale Rolle im Leben vieler Menschen spielen. Es bedarf daher einer angemessenen Auseinandersetzung mit dieser komplexen Thematik in Wissenschaft und Praxis. Die Wichtigkeit des Standbeines Tourismus sowie die Probleme und Misserfolgsfaktoren zu erkennen, sind wichtige Bausteine für eine positive Veränderung. Das häufig pessimistisch gezeichnete Bild des ländlichen Raumes gilt es aber auch durch positive Aspekte zu ergänzen und so wichtige Ankerpunkte aufzuzeigen. Naturschönheiten, ein vielfältiges und vernetztes touristisches Angebot und attraktive Unterkünfte bieten große Mengen an Potential. In einer durch die Globalisierung und die erhöhte Mobilität der Gäste verschärften Konkurrenzsituation zwischen den Tourismusorten gilt es sich klar zu positionieren und das geschnürte Paket sowie die Vorzüge effektiv zu vermarkten. Nur so kann man im bunten Blumenstrauß der Konkurrenz ein klar ersichtliches Profil abgeben und sich Aufmerksamkeit verschaffen. Das Vernetzen von Angeboten und das Einhalten von Qualitätsstandards sind Grundvoraussetzungen, um Gäste erstmalig oder wiederholt zur Reise zu bewegen. Es gibt durchaus auch in strukturschwächeren Gebieten konkrete Erfolgsfaktoren, die durch aktives Handeln erreicht werden können. Deshalb steht die Aufforderung „LÄNDLICHE RÄUME AKTIV GESTALTEN!“ bewusst einleitend in diesem Bericht; sie sollte in jedem angesprochenen Bereich beherzigt werden. Wenn einzelne negative Entwicklungen und die dazugehörigen Misserfolgsfaktoren festgestellt werden, ist gegenzusteuern. Gezieltes taktisches Vorgehen, aber auch Geduld sind gefragt. Die Gemeinden Arnbruck und Drachselsried streben eine gemeinsame Tourismusentwicklung für das Zellertal an, die auch strukturell und personell innovative Wege beschreiten darf. Außerdem interessieren sich die Zellertaler Gemeinden für empirisch begründete Handlungsempfehlungen zur Weiterentwicklung bestimmter Tourismusfelder und zur Vernetzung neuer oder bereits bestehender Felder. Dies soll eine nachhaltige Entwicklung der Gemeinden zu unterstützen. Diese Tourismusstrategie soll, basierend auf wissenschaftlichen Erhebungen, konkrete Handlungs- und Projektempfehlungen für die im örtlichen Tourismus relevanten Bereiche geben. Ebenso soll durch Bürgerbeteiligung in Form von Bürgertreffen lokales Wissen generiert werden, um die Transparenz der Studie zu erhöhen und die zukünftige Umsetzung der Inhalte zu erleichtern. Um Theorie und Praxis in diesem Projekt gewinnbringend zu vereinen, ist eine Kooperation zwischen der Professur für Regionale Geographie der Universität Passau (Projektkoordinator ist Janine Maier, M. A. und Projektleitung Prof. Dr. Werner Gamerith) und dem Projektmanagementbüro Rothkopf in Grafenau (in Form von ITMA Andrea Rothkopf) entstanden. Der Mehrwert durch die Kombination aus Wissenschaft und Praxis zeigt sich in der sich symbiotisch ergänzenden Aufgabenverteilung. Die Universität Passau liefert die Personalkraft für Umfragen und Erhebungen sowie das wissenschaftsspezifische Know-How. ITMA Andrea Rothkopf ist speziell für die praktische Umsetzbarkeit der gesammelten empirischen Daten, wissenschaftlich fundierten Trends, Ideen und Handlungsempfehlungen mit im Team. Zusammen ergeben beide Schritte ein stimmigeres Bild, als wenn nur ein Teilbereich für sich alleine arbeiten würde. So kann jeder Auftraggeber ausschließen, dass weder der fundamental wichtige theoretische Rahmen noch der Aspekt der praktischen Umsetzbarkeit vernachlässigt, sondern beide Bereiche jeweils komplementär eingesetzt werden. Somit kann diese Kombination für den Gesamterfolg eines Forschungsprojektes nur von Vorteil sein. Gefördert wird das Projekt durch das Amt für Ländliche Entwicklung Niederbayern.
Sowohl in der wissenschaftlichen, als auch in der populärwissenschaftlichen Literatur zu römischen Soldaten und ihrer Ausrüstung treten in Bezug auf die Interpretation der Kontexte der von ihnen benutzten historischen Objekte regelmäßig unterschiedliche methodische Probleme auf, die in der vorliegenden Arbeit anhand von Einzelbeispielen diskutiert werden. Die Diskussion soll deutlich machen, daß es klarer methodischer Konzepte und klarer Begriffe bedarf, um derartige Probleme in der künftigen Forschung zu vermeiden. Diese Arbeit definiert die notwendigen Begriffe, erklärt die Probleme in der Vorgehensweise der Rekonstruktion und arbeitet klare Richtlinien zur Benutzung von Rekonstruktionen als Quellen für die Altertumswissenschaften aus. Gleichzeitig versucht die Arbeit, einen Weg für die sinnvolle Dokumentation von Rekonstruktionen für eine wissenschaftliche Verwertbarkeit im Rahmen von Fragestellungen, die über eine rein anthropozentrische Sicht des historischen Kontextes der Objekte hinausgehen, also Fragestellungen, wie sie in der Experimentellen Archäologie oder bei der Untersuchung von Netzwerken der ‚material agency‛ auftauchen können und die helfen, ‚epistemische Dinge‛ zu erkennen, aufzuzeigen. Anhand verschiedener Beispiele zur Interpretation textlicher, materieller und ikonographischer Quellen wird im Anschluß gezeigt, worauf hierfür bei der Quelleninterpretation zu achten ist.