Refine
Year of publication
- 2019 (51) (remove)
Document Type
- Doctoral Thesis (30)
- Part of Periodical (16)
- Report (2)
- Article (1)
- Book (1)
- Conference Proceeding (1)
Has Fulltext
- yes (51)
Is part of the Bibliography
- no (51)
Keywords
- Computersicherheit (2)
- Kreditkartenmissbrauch (2)
- Semantic Web (2)
- Actor-Network-Theory (1)
- Akteur-Netzwerk-Theorie (1)
- Anonymisierung (1)
- Anthropologie (1)
- Asylpolitik (1)
- Automata Theory (1)
- Beurteilungsleistung (1)
Institute
In den Gesellschafts- wie in den Kulturwissenschaften hat der Begriff des ‚Raums‘ in den letzten Jahren sehr viel Aufmerksamkeit erfahren. Zahlreiche Einzelstudien, Sammelbände und Handbücher loten den Bedeutungsumfang dieses Begriffs, aber auch die Schwierigkeiten aus, die sich einerseits aus der Vielfalt vorhandener Raumkonzepte und andererseits aus der Fülle ihrer keineswegs deckungsgleichen Anwendungsmöglichkeiten ergeben. Hinzu kommt die Schwierigkeit, den Begriff des Raums von verwandten Ausdrücken wie Platz und Ort, Umgebung und Territorium oder gar Welt abzugrenzen – ganz zu schweigen von den Verschiebungen, die zwischen verschiedenen Sprachen hinsichtlich der Auffassung von ‚Raum‘, ‚espace‘, ‚space‘ usw. bestehen.
Vor diesem Hintergrund erscheint es nicht nur zweckmäßig, sondern notwendig, im Rahmen einer transversalen Betrachtung nach strukturellen Ähnlichkeiten zwischen den Raumkonzepten unterschiedlicher Disziplinen Ausschau zu halten. Einen Versuch in dieser Richtung stellen die folgenden Überlegungen zu Querbezügen und Übergängen zwischen Raumsoziologie und Raumsemiotik dar.
Raum-Poetik
(2019)
In literarischen Texten lassen sich regelrechte „fictions of space“ identifizieren, in denen sich ‚Raum‘ als eine handlungskonstitutive Dimension erweist. Diese Form literarischer Raum-Fiktionen instrumentalisiert nicht nur topologische Raumentwürfe, sondern fokussiert auf Raumpraktiken und Raumsignifikationen bzw. problematisiert diese auf einer metafiktionalen Ebene. Von Interesse scheinen solche Raumentwürfe insbesondere in Texten zu sein, die ‚Raum‘ zu einem zentralen Element in der Entwicklung ihrer Figuren und zum Motor der Narration machen.
Raum und Grenze
(2019)
Raum und Grenze, und deren Verhältnis zu Individuen wie Kollektiven, stellen dabei zentrale Denkfiguren wie Operatoren der ‚Sinn‘generierung dar. Die folgenden Ausführungen versuchen aus semiotischer Sicht einen Überblick über die verschiedenen Bedeutungen, Artikulationsformen und Anwendungsbereiche dieser Parameter zu geben. Sie orientieren sich an der Skizze, wie sie in Krah 1999 dargelegt wurde, und ergänzen, modifizieren und neujustieren diese aus der Perspektive und dem Stand von 2018.
Damit sind Grenzen ein, wenn nicht gar der prominenteste Untersuchungsgegenstand der Kultursemiotik, also derjenigen Teildisziplin der Wissenschaft von den Zeichen, die kulturelle Prozesse in ihren zeichenhaften Veräußerungen beschreibt. Dementsprechend bezeichnen Gräf/Schmöller die Grenze selbst als eine „semiotische Größe“, da sie stets in kulturellen kommunikativen Kontexten verankert ist. Die Kultursemiotik untersucht anhand medial materialisierter Texte, in welcher Weise Kulturen in ihren kommunikativen Akten und zeichenhaften Handlungen Grenzen und Ordnungen konstruieren und rekonstruiert darüber die historischen und diskursiven Kontexte des Denkens und Wissens, in denen jene verortet sind.
Schriften zur Kultur- und Mediensemiotik | Online ist ein Open Access Journal des Virtuellen Zentrums für kultursemiotische Forschung / Virtual Centre for Cultural Semiotics (www.kultursemiotik.com) und wird herausgegeben von Martin Nies.
Inhalt der vierten Ausgabe der Schriften zur Kultur- und Mediensemiotik | Online
Martin Nies
Einleitung : Raumsemiotik - Zur Kodierung von Räumen und Grenzen
Martin Nies
B/Orders - Schwellen - Horizonte : Modelle der Beschreibung von Räumen und Grenzen in ästhetischer Kommunikation - Eine raumsemiotische Positionsbestimmung
Hans Krah
Raum und Grenze : eine semiotische Bestandsaufnahme – Mit dem Beispiel des Bunkers im ästhetischen Diskurs globaler Katastrophenszenarien
Stephanie Großmann & Stefan Halft
Raum-Poetik : Dimensionen raumsemiotischer Textanalyse am Beispiel von E.T.A. Hoffmanns Die Bergwerke zu Falun (1819)
Matthias Bauer
Sozialer und semiotischer Raum : Querbezüge, Übergänge und Grenzverschiebungen nebst einigen Anmerkungen zur kulturwissenschaftlichen Relevanz des Ähnlichkeitsdenkens
Damaris Nübel
Zur Funktion von Nicht-Orten und Heterotopien in Identitätsnarrativen der Kinder- und Jugendliteratur
Lesley Penné
Gedächtnis-Semiosphären und Vergangenheitsbewältigung in der deutschsprachigen Literatur Belgiens
Claudia Gremler
Queer Space? Der nicht-binäre Raum in der deutschen Gegenwartsliteratur am Beispiel Antje Rávic Strubels
Maren Conrad & Franziska Trapp
Zirkus und Raum : eine Semiotik der Performanz
Lisa Gaupp
Symbolische Räume kultureller Diversität : Verhandlungen, Grenzen und Überschreitungen in den performativen Künsten
Lil Helle Thomas
Architektonische Grenzgänge zwischen Raum und Wahrnehmung : das Sanatorium Purkersdorf
Christian Zolles
Der Wald des Mittelalters : Konstituierung eines alteritären Kulturraums im 11. bis 13. Jahrhundert
Hedwig Wagner
Daten – Räume – Datenräume : zum Verhältnis von Orten, digitalisierten Ortsinformationen und deren Speicher- und Nutzungsorten
Theodoros Konstantakopoulos
Inklusionen, Exklusionen, Implikationen : die semantischen Grenzbereiche der Teilhabe
The power demand (kW) and energy consumption (kWh) of data centers were augmenteddrastically due to the increased communication and computation needs of IT services. Leveragingdemand and energy management within data centers is a necessity. Thanks to the automated ICTinfrastructure empowered by the IoT technology, such types of management are becoming more feasiblethan ever. In this paper, we look at management from two different perspectives: (1) minimization of theoverall energy consumption and (2) reduction of peak power demand during demand-response periods.Both perspectives have a positive impact on total cost of ownership for data centers. We exhaustivelyreviewed the potential mechanisms in data centers that provided flexibilities together with flexiblecontracts such as green service level and supply-demand agreements. We extended state-of-the-artby introducing the methodological building blocks and foundations of management systems for theabove mentioned two perspectives. We validated our results by conducting experiments on a lab-gradescale cloud computing data center at the premises of HPE in Milano. The obtained results support thetheoretical model, by highlighting the excellent potential of flexible service level agreements in Green IT:33% of overall energy savings and 50% of power demand reduction during demand-response periods inthe case of data center federation.
Bilingualer Sachfachunterricht gilt wohl als eine der bedeutsamsten Veränderungen im deutschen Schulsystem. Vor allem weiterführende Schulen wie Gymnasien und Realschulen nutzen diese didaktischen Neuerungen zur Weiterentwicklung ihres Schulprofils sowie zur sprachlichen und kognitiven Förderung ihrer Schülerschaft. Aber auch an der Mittelschule insbesondere im M-Zug, kann diese Form des Unterrichts durchaus einen Mehrwert bieten. Mit dieser Arbeit soll die didaktische Wirksamkeit des bilingualen Religionsunterrichts wissenschaftlich erforscht und weiterentwickelt werden. Mittels der praktischen Umsetzung religionspädagogischer und religionsdidaktischer sowie bilingualer Theorien, soll ein Prototyp des bilingualen Religionsunterrichts geschaffen werden, welcher die Fremdsprache Religion zu entschlüsseln vermag. In der iterativen Durchführung bilingualer Religionsunterrichtseinheiten gilt es sodann herauszufinden, inwieweit der Einsatz einer fremden Sprache die Möglichkeit einer kognitiven Durchdringung und Erschließung von Glaubenswissen bieten kann. Zielführend dabei ist jedoch nicht die Erstellung einer empirischen Studie. Vielmehr soll die vorliegende Feldstudie dazu dienen, Hypothesen und Theorien aufzustellen, die dann in einem nächsten Schritt einer empirischen Überprüfung unterzogen werden können.
Die vorliegende Arbeit erforscht den Einsatz von Ekphrasen in audiovisuellen Texten. Der ursprünglich aus der antiken Rhetoriklehre stammende Begriff bezeichnet die literarische Beschreibung von bildender Kunst und wird im Rahmen dieser Untersuchung auf den Film übertragen. Ziel der Analyse filmischer Beschreibungen von Kunst, speziell Malerei, ist es zu eruieren, wie Kunstwerke im Sinne der Bedeutungsvermittlung semantisch aufgeladen respektive funktionalisiert werden. Zentrale Forschungsgegenstände bilden demnach die Medien Bild und Film – somit ist die gesamte Arbeit in den Kontext des Intermedialitätsdiskurses eingebettet. Als Korpus dient ein Konglomerat an Texten, das neben zentralen Schlüsselwerken insbesondere jüngere – zwischen 2011 und 2016 entstandene –, wenig bis kaum erforschte Filme umfasst.
Whenever software faults can endanger human life, property, or the environment, the absence of faults must be ensured with utmost care and the best technologies available. Evidence is needed showing that all requirements are satisfied and that the risk of faults is reduced. One technique to conduct such a verification task—composed of the software to verify, the specification to check, and a model of the environment—is software model checking.
To conduct a verification task with a model checker, different models of the task are constructed. We distinguish between two types of task models: syntactic task models and semantic task models, which define the respective syntactic structure (control flow) and semantic structure (state transitions, invariants) of the verification task. When constructing such models, we can observe that similar structures and substructures reappear within and among different verification tasks. For example, the same assertions to check can appear in different functions, or the same predicate can be part of different invariants to describe sets of program states. Similarities that appear during the model construction process can be the result of solving similar reasoning problems, often solved using computationally expensive procedures (as typical for model checking), over and over again. Not reusing results of solving similar problems, not having a means for conducting repeated efforts automatically, or not trying to reduce the number of similar reasoning efforts, is a waste of precious resources.
To address these problems, we present a common conceptual and technical foundation for sharing syntactic and semantic task artifacts for reuse, within and among verification runs. Both the syntactic construction of a verification task and the construction of its semantic model—which describes all possible behaviors and states—are covered. We study how commonalities and regularities in the task models can be taken into account to facilitate the process of sharing task artifacts for reuse, and to make the overall verification process more efficient and effective. We introduce abstract transducers as the theoretical foundation of this thesis: a type of finite-state transducers with an inherent notion of abstraction for states, the input alphabet, and its output alphabet. Abstracting these transducers allows us to widen both the set of input words for that they produce output and the sets of output words. Abstract transducers are instantiated as task artifact transducers to map from program structures to task artifacts to share. We show that the notion of abstraction provides a means for increasing the scope for that task artifacts are shared for reuse. We present two instances of task artifact transducers: Yarn transducers and precision transducers. We use Yarn transducers for providing code to weave into the control-flow structure of a computer program, and present the Loom analysis as a means for orchestrating the weaving process. Precision transducers provide a means for sharing abstraction precisions for reuse, thus aid in defining the level of abstraction of a semantic task model. For both types of transducers, we provide empirical evidence on their practical applicability, for example, to verify Linux kernel modules, and show that they can help in increasing the verification performance.