Refine
Year of publication
- 2015 (26) (remove)
Document Type
- Doctoral Thesis (19)
- Part of Periodical (6)
- Other (1)
Has Fulltext
- yes (26)
Is part of the Bibliography
- no (26)
Keywords
- Computersicherheit (2)
- (generalized) border bases (1)
- (lokale) Bildmerkmale (1)
- AGG (1)
- Abfrageverarbeitung (1)
- Antidiskriminierungsrecht (1)
- Approximation (1)
- Beobachtung (1)
- Beobachtung im Schulpraktikum (1)
- Bildverarbeitung (1)
Institute
Postsäkulare Weltpolitik
(2015)
Der Sammelband analysiert den Einfluss von Religion in der Weltpolitik an Fallbeispielen zwischen Internationalen Beziehungen, Weltöffentlichkeit, Länderstudien und Europäischer Integration. Der postsäkulare Ansatz von Jürgen Habermas wird auf sein globales Potential an der Schnittstelle von Außen- und Innenpolitik überprüft und weiterentwickelt.
Many communication scholars agree that political communication in the 21st century has permanently changed due to the enormous shifts in mass media communications landscape. Today, political culture and public debate are characterized by a highly individualistic and consumption-oriented electorate conditioned by a hypermedialized public sphere spawned by the so-called “Digital Revolution”.
Confronted with a fluid and volatile communications landscape, political actors of the 21st century have had to develop new strategies to fulfill their functional role in the public arena and satisfy their audiences’ expectations. This has had massive impact on the communication logistics of perhaps the world’s most powerful political office and the ultimate of collective meaning-making and national identity in the United States: that of the American Presidency.
The perception of Barack Obama’s 2008 election campaign as epitomizing such shifts in the collective meaning-making processes lies at the core of this research project. The analyzes Barack Obama’s 2008 presidential election campaign with respect to its underlying communicational and performative concept(s), and its impact on the socio-ontological dimension of the office of the American Presidency in the 21st century.
While storytelling and performative staging have always been crucial to the American presidential office (Cornog 2004; Woodward 2007, Weiss 2008), this research project aims to show how “telling a story” and staging it properly have become the sine qua non for American presidential political communication. This case study of Barack Obama’s 2008 presidential election campaign examines the central role that imaginative processes, their narrative formation and performative staging play in 21st century political dialog. Furthermore the dissertation suggests, that these paradigmatic shifts demand a refinement of existing socio-political concepts of the institution of the American Presidency.
Die vorliegende Dissertation stellt die Frage, welche strukturellen und inhaltliche Voraussetzungen gegeben sein müssen, um eine enge Theorie-Praxis-Verzahnung in der 1. Phase der Lehrerbildung zu ermöglichen. Dazu wurde ein spiralcurriculares Konzept (Modellcurriculum) entwickelt, in dem die universitären Lehrangebote mit kontinuierlichen Praktikumsphasen und deren Reflexion verbunden sind. Damit soll ein inhaltlicher und organisatorischer Austausch zwischen der Universität, den Studierenden des MCs sowie den beteiligten Lehrkräften als integrale Einheit zwischen Theorie und Praxis ermöglicht werden. Das Konzept wurde empirisch begleitet, indem problemzentrierte Interviews mit den Teilnehmenden, dem Schulamt Passau, dem Praktikumsamt Passau, den Schulleiter/-innen und den mitwirkenden Lehrkräften durchgeführt wurden (N=16). Die Ergebnisse zeigen, dass spiralcurriculare Strukturen aus universitärer Lehre und Praktika eine raschere Implementierung innovativer Konzepte von der Universität an den Schulen, einschließlich gemeinsamer Reflexionen mit den Studierenden und den Lehrkräften begünstigen. Es ist aber zu fragen, ob das betreuungsintensive Seminarkonzept außerhalb des Pilotversuchs (mit wenigen Teilnehmerinnen und Teilnehmer) auch im Rahmen eines Regelstudiums geleistet werden kann und wie dabei Seminarkonzepte mit vertretbarem Aufwand gebildet werden können.
Als sich in der ersten Hälfte des 19. Jahrhunderts zunehmend mehr bedeutende Mathematiker mit der Suche nach Invarianten beschäftigten, konnte natürlich noch niemand vorhersehen, dass die Invariantentheorie mit Beginn des Computerzeitalters in der Bildverarbeitung bzw. dem Rechnersehen ein äußerst fruchtbares Anwendungsgebiet finden wird. In dieser Arbeit wird eine neue Anwendungsmöglichkeit der Invariantentheorie in der Bildverarbeitung vorgestellt. Dazu werden lokale Bildmerkmale betrachtet. Dabei handelt es sich um die Koordinaten einer Polynomfunktion bzgl. einer geeigneten Orthonormalbasis von P_n(R^2,R), die die zeitintegrierte Sensorinputfunktion auf lokalen Pixelfenstern bestmöglich approximiert. Diese Bildmerkmale werden in vielen Anwendungen eingesetzt, um Objekte in Bildern zu erkennen und zu lokalisieren. Beispiele hierfür sind die Detektion von Werkstücken an einem Fließband oder die Verfolgung von Fahrbahnmarkierungen in Fahrerassistenzsystemen. Modellieren lässt sich die Suche nach einem Muster in einem Suchbild als Paar von Stereobildern, auf denen lokal die affin-lineare Gruppe AGL(R) operiert. Will man also feststellen, ob zwei lokale Pixelfenster in etwa Bilder eines bestimmten dreidimensionalen Oberflächenausschnitts sind, ist zu klären, ob die Bildausschnitte durch eine Operation der Gruppe AGL(R) näherungsweise ineinander übergeführt werden können. Je nach Anwendung genügt es bereits, passende Untergruppen G von AGL(R) zu betrachten. Dank der lokalen Approximation durch Polynomfunktionen induziert die Operation einer Untergruppe G eine Operation auf dem reellen Vektorraum P_n(R^2,R). Damit lässt sich das Korrespondenzproblem auf die Frage reduzieren, ob es eine Transformation T in G gibt so, dass p ungefähr mit der Komposition von q und T für die zugehörigen Approximationspolynome p,q in P_n(R^2,R) gilt. Mit anderen Worten, es ist zu klären, ob sich p und q näherungsweise in einer G-Bahn befinden, eine typische Fragestellung der Invariantentheorie. Da nur lokale Bildausschnitte betrachtet werden, genügt es weiter, Untergruppen G von GL_2(R) zu betrachten. Dann erhält man sofort auch die Antwort für das semidirekte Produkt von R^2 mit G. Besonders interessant für Anwendungen ist hierbei die spezielle orthogonale Gruppe G=SO_2(R) und damit insgesamt die eigentliche Euklidische Gruppe. Für diese Gruppe und spezielle Pixelfenster ist das Korrespondenzproblem bereits gelöst. In dieser Arbeit wird das Problem in eben dieser Konstellation ebenfalls gelöst, allerdings auf elegante Weise mit Methoden der Invariantentheorie. Der Ansatz, der hier vorgestellt wird, ist aber nicht auf diese Gruppe und spezielle Pixelfenster begrenzt, sondern leicht auf weitere Fälle erweiterbar. Dazu ist insbesondere zu klären, wie sich sogenannte fundamentale Invarianten von lokalen Bildmerkmalen, also letztendlich Invarianten von Polynomfunktionen, berechnen lassen, d.h. Erzeugendensysteme der entsprechenden Invariantenringe. Mit deren Hilfe lässt sich die Zugehörigkeit einer Polynomfunktion zur Bahn einer anderen Funktion auf einfache Weise untersuchen.
Neben der Vorstellung des Verfahrens zur Korrespondenzfindung und der dafür notwendigen Theorie werden in dieser Arbeit Erzeugendensysteme von Invariantenringen untersucht, die besonders "schöne" Eigenschaften besitzen. Diese schönen Erzeugendensysteme von Unteralgebren werden, analog zu Gröbner-Basen als Erzeugendensysteme von Idealen, SAGBI-Basen genannt ("Subalgebra Analogs to Gröbner Bases for Ideals"). SAGBI-Basen werden hier insbesondere aus algorithmischer Sicht behandelt, d.h. die Berechnung von SAGBI-Basen steht im Vordergrund. Dazu werden verschiedene Algorithmen erarbeitet, deren Korrektheit bewiesen und implementiert. Daraus resultiert ein Software-Paket zu SAGBI-Basen für das Computeralgebrasystem ApCoCoA, dessen Funktionalität in diesem Umfang in keinem Computeralgebrasystem zu finden sein wird. Im Zuge der Umsetzung der einzelnen Algorithmen konnte außerdem die Theorie der SAGBI-Basen an zahlreichen Stellen erweitert werden.
IT outsourcing to clouds bears new challenges to the technical implementation of legally compliant clouds. On the one hand, outsourcing companies have to comply with legal requirements. On the other hand, cloud providers have to support their customers in achieving compliance with these legal requirements when processing data in the cloud. Consequently, the questions arise when IT outsourcing to clouds is lawful, which legal requirements apply to data processing in clouds, and how cloud providers can support their customers on achieving legal compliance.
In this thesis, answers to these questions are given by performing a legal analysis identifying the legal requirements and a technical analysis identifying how legal requirements can be addressed in the context of cloud computing. Further, an information flow analysis is done, resulting in a system theoretical model that is able to describe information flow control in clouds based on the security classification of virtual resources and hardware resources. In a proof-of-concept implementation which is based on the OpenStack open-source cloud platform, it is shown that information flow control can be implemented as a part of cloud management and that legal compliance can be monitored and reported based on the actual assignment of virtual resources to hardware resources. Thereby, cloud providers are able to provide cloud customers with cloud resources, which are automatically assigned to hardware resources that comply with the legal requirements of the cloud customers. This consequently empowers cloud customers to utilise cloud resources according to their legal requirements and to keep control of managing the legal compliance of their data processing in clouds.
This doctoral thesis is devoted to generalize border bases to the module setting and to apply them in various ways.
First, we generalize the theory of border bases to finitely generated modules over a polynomial ring. We characterize these generalized border bases and show that we can compute them. As an application, we are able to characterize subideal border bases in various new ways and give a new algorithm for their computation. Moreover, we prove Schreyer's Theorem for border bases of submodules of free modules of finite rank over a polynomial ring.
In the second part of this thesis, we study the effect of homogenization to border bases of zero-dimensional ideals. This yields the new concept of projective border bases of homogeneous one-dimensional ideals. We show that there is a one-to-one correspondence between projective border bases and zero-dimensional closed subschemes of weighted projective spaces that have no point on the hyperplane at infinity. Applying that correspondence, we can characterize uniform zero-dimensional closed subschemes of weighted projective spaces that have a rational support over the base field in various ways. Finally, we introduce projective border basis schemes as specific subschemes of border basis schemes. We show that these projective border basis schemes parametrize all zero-dimensional closed subschemes of a weighted projective space whose defining ideals possess a projective border basis. Assuming that the base field is algebraically closed, we are able to prove that the set of all closed points of a projective border basis scheme that correspond to a uniform subscheme is a constructive set with respect to the Zariski topology.
Die Arbeit behandelt zunächst den Tatbestand der Marktmanipulation aus kriminologischer und wirtschaftlicher Sicht.
Im Anschluss wird der damit verbundene Straftatbestand aus der Perspektive des deutschen, spanischen und europäischen Rechts analysiert. Dabei werden auch kriminalpolitische Aspekte, wie die Privatisierung des Strafrechts, die "regulierte Selbstregulierung" und das europäische Gesetzgebungsverfahren berücksichtigt.
Im zweiten Teil der Arbeit werden die Möglichkeiten der Prävention und Detektion solchen Verhaltens durch Compliance-Programme erörtert. In diesem Zusammenhang spielt auch die strafrechtliche Verantwortlichkeit juristischer Personen eine bedeutende Rolle.
Die Forschungsarbeit beschreibt die Begleitung einer Schule über mehrere Jahre hinweg.
Dabei fokussiert sich die Untersuchung auf die Ausgangsfrage wie sich schulisches Wohlbefinden bei Schülern steigern lässt.
Das Forschungsanliegen wird durch die Idee geleitet, die Eigenaktivität der Schüler zu fördern.
Die vorliegende Arbeit untersucht auf Basis einer umfassenden weltweiten empirischen Befragung die Arbeitsweise und das Entscheidungsverhalten von Private Equity Professionals in der Transaktionspraxis. Ausgehend von einer empirischen Beurteilung von Due Diligence mit Hinblick auf die Notwendigkeit ihrer Durchführung im Kontext von Informations- und Prognoseproblem zeigt die Untersuchung auf, wie sich die quantitative Arbeit in der Private Equity Praxis ausgestaltet und ordnet diese in ihrem Zusammenspiel mit weichen Faktoren und Expertenwissen bzw. persönlicher Erfahrung ein. Zuletzt wird auf Basis der verfügbaren Daten eine Brücke zwischen Einsatz & Rolle quantitativer Methoden und weicher Faktoren bei der Investitionsentscheidung und der Performance von Private Equity Gesellschaften geschlagen.
Die Arbeit gliedert sich in folgende sechs Hauptabschnitte:
- Einleitung
- Aktuelle Forschung zu Private Equity und Motivation der Arbeit
- Private Equity – eine Einführung
- Grundlegende Informationsprobleme und Unsicherheiten bei einem Unternehmenskauf: Informationsasymmetrien und Prognoseproblem
- Empirische Untersuchung: Due Diligence im Private Equity – Einsatz und Rolle quantitativer Methoden bei Private Equity Transaktionen
- Schlussbemerkung und Ausblick
This thesis attempts to investigate the Noether, Dedekind, and Kähler differents for a 0-dimensional scheme X in the projective n-space P^n_K over an arbitrary field K. In particular, we focus on studying the relations between the algebraic structure of these differents and geometric properties of the scheme X.
In Chapter 1 we give an outline to the problems this thesis is concerned with, a brief literature review for each problem, and the main results regarding these problems. Chapter 2 contains background results that we will need in the subsequent chapters. We introduce the concept of maximal p_j-subschemes of a 0-dimensional scheme X and give some descriptions of them and their Hilbert functions. Furthermore, we generalize the notion of a separator of a subscheme of X of degree deg(X)-1 to a set of separators of a maximal p_j-subscheme of X. In Chapter 3 we explore the Noether, Dedekind, and Kähler differents for 0-dimensional schemes X. First we define these differents for X, and take a look at how to compute these differents and examine their relations. Then we give an answer to the question "What are the Hilbert functions of these differents?" in some cases.
In Chapter 4 we use the differents to investigate the Cayley-Bacharach property of 0-dimensional schemes over an arbitrary field K. The principal results of this chapter are characterizations of CB-schemes and of arithmetically Gorenstein schemes in terms of their Dedekind differents and a criterion for a 0-dimensional smooth scheme to be a complete intersection. We also generalize some results such as Dedekind's formula and the characterization of the Cayley-Bacharach property by using Liaison theory. In addition, several propositions on the uniformities are proven. In Chapter 5 we are interested in studying the Noether, Dedekind, and Kähler differents for finite special classes of schemes and finding out some applications of these differents. First, we investigate these differents for reduced 0-dimensional almost complete intersections X in P^n_K over a perfect field K. Then we investigate the relationships between these differents and the i-th Fitting ideals of the module of Kähler differentials of the homogeneous coordinate ring of X. Finally, we look more closely at the Hilbert functions and the regularity indices of these differents for fat point schemes.
The Will to Play. Performance and Construction of Royal Masculinity in Early Modern History Plays
(2015)
Die vorliegende Arbeit untersucht Männlichkeitskonzepte in der Frühen Neuzeit, wobei das Hauptaugenmerk auf die dramatische Konstruktion der Figur des Königs gerichtet wird. Anhand von zehn Historiendramen der 1590er wird zum einen die diskursive Komplexität königlicher Männlichkeit in der Renaissance untersucht, um darauf aufbauend deren performative Darstellung zu analysieren. Im Theorieteil werden Männlichkeit und Herrschaft im elisabethanischen England mithilfe zeitgenössischer Texte diskutiert und durch den Genderdiskurs und die Performativität von Gender erweitert. Der darauf folgende Methodikteil entwickelt aus den gewonnenen Erkenntnissen eine Semiotik von königlicher Männlichkeit, die anschließend im Analyseteil anhand der ausgewählten Historiendramen evaluiert wird.
This doctoral thesis is dedicated to the analysis and the design of
symmetric cryptographic algorithms.
In the first part of the dissertation, we deal with fault-based attacks
on cryptographic circuits which belong to the field of active implementation
attacks and aim to retrieve secret keys stored on such chips. Our main focus
lies on the cryptanalytic aspects of those attacks. In particular, we target
block ciphers with a lightweight and (often) non-bijective key schedule where
the derived subkeys are (almost) independent from each other. An attacker who is
able to reconstruct one of the subkeys is thus not necessarily able to directly
retrieve other subkeys or even the secret master key by simply reversing the key
schedule. We introduce a framework based on differential fault analysis that
allows to attack block ciphers with an arbitrary number of independent subkeys
and which rely on a substitution-permutation network. These methods are then
applied to the lightweight block ciphers LED and PRINCE and we show in both
cases how to recover the secret master key requiring only a small number of
fault injections. Moreover, we investigate approaches that utilize algebraic
instead of differential techniques for the fault analysis and discuss advantages
and drawbacks. At the end of the first part of the dissertation, we explore
fault-based attacks on the block cipher Bel-T which also has a lightweight key
schedule but is not based on a substitution-permutation network but instead on
the so-called Lai-Massey scheme. The framework mentioned above is thus not
usable against Bel-T. Nevertheless, we also present techniques for the case of
Bel-T that enable full recovery of the secret key in a very efficient way using
differential fault analysis.
In the second part of the thesis, we focus on authenticated encryption
schemes. While regular ciphers only protect privacy of processed data,
authenticated encryption schemes also secure its authenticity and integrity.
Many of these ciphers are additionally able to protect authenticity and
integrity of so-called associated data. This type of data is transmitted
unencrypted but nevertheless must be protected from being tampered with during
transmission. Authenticated encryption is nowadays the standard technique to
protect in-transit data. However, most of the currently deployed schemes have
deficits and there are many leverage points for improvements. With NORX we
introduce a novel authenticated encryption scheme supporting associated data.
This algorithm was designed with high security, efficiency in both hardware and
software, simplicity, and robustness against side-channel attacks in mind. Next
to its specification, we present special features, security goals,
implementation details, extensive performance measurements and discuss
advantages over currently deployed standards. Finally, we describe our
preliminary security analysis where we investigate differential and rotational
properties of NORX. Noteworthy are in particular the newly developed
techniques for differential cryptanalysis of NORX which exploit the power of
SAT- and SMT-solvers and have the potential to be easily adaptable to other
encryption schemes as well.
The aim of this dissertation is to investigate Kaehler differential algebras and their Hilbert functions for 0-dimensional schemes in P^n. First we give relations between Kaehler differential 1-forms of fat point schemes and another fat point schemes. Then we determine the Hilbert polynomial and give a sharp bound for the regularity index of the module of Kaehler differential m-forms, for 0<m<n+2. Next, we examine the Kaehler differential algebras for fat point schemes whose supports lie on non-singular conics in P^2. Finally, we prove the Segre bounds for equimultiple fat point schemes in P^4, this result allows us to determine the regularity index of the module of Kaehler differential 1-forms, and a sharp bound for the regularity index of the module of Kaehler differential m-forms, for 1<m<6.
This thesis is divided into two parts. The first part is devoted to the curvature estimation of piecewise smooth curves using variation diminishing splines. The variation diminishing property combined with the ability to reconstruct linear functions leads to a convexity preserving approximation that is crucial if additional sign changes in the curvature estimation have to be avoided. To this end, we will first establish the foundations of variation diminishing transforms and introduce the Bernstein and the Schoenberg operator on the space of continuous functions and its generalization to the Lp-spaces. In order to be able to detect C2-singularities in piecewise smooth curves, we establish lower estimates for the approximation error in terms of the second order modulus of smoothness for Schoenberg’s variation diminishing operator. Afterwards, we consider smooth curve approximations using only finitely many samples of the curve, where the approximation, its first, and its second derivative converge uniformly to its corresponding part of the curve to be approximated. In this case, we can show that the estimated curvature converges uniformly to the real curvature if the number of samples goes to infinity. Based on the lower estimates that relates the decay rate of the approximation error with smoothness we propose a multi-scale algorithm to estimate the curvature and to detect C2-singularities. We numerically evaluate our algorithm and compare it to others to show that our algorithm achieves competitive accuracy while our curvature estimations are significantly faster to compute.
The second part deals with generalizations of the established lower estimates for the Schoenberg operator. We will show that such estimates can be obtained for linear operators on a general Banach function space with smooth range provided that the iterates of the operator converge uniformly and a semi-norm defined on the range of the operator annihilates the fixed points of the operator. To this end, we will prove by spectral properties that the iterates of every positive finite-rank operator converge uniformly. As highlight of this thesis, we show a constructive way using a Gramian matrix where the dual fixed points operate on the fixed points of an operator to derive the limit of the iterates for an arbitrary quasi-compact operator defined on a general Banach space.
Most major airports collect recordings of the position of aircrafts at specific times. Those data typically requires extensive smoothing and corrections before it can be used for later analysis. Conventional smoothing approaches fail to model the movement physically correct, i.e. do not take standstills of aircrafts into account.
In this thesis we develop a method to detect standstills, employ robust smoothing splines for data fitting, add adequate boundary conditions for the detected standstill periods (i.e. force the function to be constant and to entry- and exit-direction for the standstills to be identical) and give an algorithm to solve those approximation problems efficiently.
In the progress we give an explicit proof for the convergence of the IRLS algorithm proposed by Huber to solve M-type estimates for non-linear approximation problems. Furthermore we derive a blueprint for a method to solve separable, quadratic least squares problems with very few quadratic variables.
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.
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.
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