Refine
Year of publication
Document Type
- Monograph/Edited Volume (1221) (remove)
Language
- English (1221) (remove)
Keywords
Institute
- Institut für Mathematik (353)
- Wirtschaftswissenschaften (191)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (89)
- Institut für Informatik und Computational Science (82)
- Department Linguistik (47)
- Institut für Anglistik und Amerikanistik (46)
- Sozialwissenschaften (39)
- Institut für Physik und Astronomie (35)
- Hasso-Plattner-Institut für Digital Engineering GmbH (34)
- Department Psychologie (25)
Extract-Transform-Load (ETL) tools are used for the creation, maintenance, and evolution of data warehouses, data marts, and operational data stores. ETL workflows populate those systems with data from various data sources by specifying and executing a DAG of transformations. Over time, hundreds of individual workflows evolve as new sources and new requirements are integrated into the system. The maintenance and evolution of large-scale ETL systems requires much time and manual effort. A key problem is to understand the meaning of unfamiliar attribute labels in source and target databases and ETL transformations. Hard-to-understand attribute labels lead to frustration and time spent to develop and understand ETL workflows. We present a schema decryption technique to support ETL developers in understanding cryptic schemata of sources, targets, and ETL transformations. For a given ETL system, our recommender-like approach leverages the large number of mapped attribute labels in existing ETL workflows to produce good and meaningful decryptions. In this way we are able to decrypt attribute labels consisting of a number of unfamiliar few-letter abbreviations, such as UNP_PEN_INT, which we can decrypt to UNPAID_PENALTY_INTEREST. We evaluate our schema decryption approach on three real-world repositories of ETL workflows and show that our approach is able to suggest high-quality decryptions for cryptic attribute labels in a given schema.
Unavailable
(2023)
Two Papers on Clitics
(2000)
Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations.
In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.
Transmorphic
(2016)
Defining Graphical User Interfaces (GUIs) through functional abstractions can reduce the complexity that arises from mutable abstractions. Recent examples, such as Facebook's React GUI framework have shown, how modelling the view as a functional projection from the application state to a visual representation can reduce the number of interacting objects and thus help to improve the reliabiliy of the system. This however comes at the price of a more rigid, functional framework where programmers are forced to express visual entities with functional abstractions, detached from the way one intuitively thinks about the physical world.
In contrast to that, the GUI Framework Morphic allows interactions in the graphical domain, such as grabbing, dragging or resizing of elements to evolve an application at runtime, providing liveness and directness in the development workflow. Modelling each visual entity through mutable abstractions however makes it difficult to ensure correctness when GUIs start to grow more complex. Furthermore, by evolving morphs at runtime through direct manipulation we diverge more and more from the symbolic description that corresponds to the morph. Given that both of these approaches have their merits and problems, is there a way to combine them in a meaningful way that preserves their respective benefits?
As a solution for this problem, we propose to lift Morphic's concept of direct manipulation from the mutation of state to the transformation of source code. In particular, we will explore the design, implementation and integration of a bidirectional mapping between the graphical representation and a functional and declarative symbolic description of a graphical user interface within a self hosted development environment. We will present Transmorphic, a functional take on the Morphic GUI Framework, where the visual and structural properties of morphs are defined in a purely functional, declarative fashion. In Transmorphic, the developer is able to assemble different morphs at runtime through direct manipulation which is automatically translated into changes in the code of the application. In this way, the comprehensiveness and predictability of direct manipulation can be used in the context of a purely functional GUI, while the effects of the manipulation are reflected in a medium that is always in reach for the programmer and can even be used to incorporate the source transformations into the source files of the application.
Transitional Justice
(2022)
This publication deals with the topic of transitional justice. In six case studies, the authors link theoretical and practical implications in order to develop some innovative approaches. Their proposals might help to deal more effectively with the transition of societies, legal orders and political systems.
Young academics from various backgrounds provide fresh insights and demonstrate the relevance of the topic. The chapters analyse transitions and conflicts in Sierra Leone, Argentina, Nicaragua, Nepal, and South Sudan as well as Germany’s colonial genocide in Namibia. Thus, the book provides the reader with new insights and contributes to the ongoing debate about transitional justice.
International law is constantly navigating the tension between preserving the status quo and adapting to new exigencies. But when and how do such adaptation processes give way to a more profound transformation, if not a crisis of international law? To address the question of how attacks on the international legal order are changing the value orientation of international law, this book brings together scholars of international law and international relations. By combining theoretical and methodological analyses with individual case studies, this book offers readers conceptualizations and tools to systematically examine value change and explore the drivers and mechanisms of these processes. These case studies scrutinize value change in the foundational norms of the post-1945 order and in norms representing the rise of the international legal order post-1990. They cover diverse issues: the prohibition of torture, the protection of women’s rights, the prohibition of the use of force, the non-proliferation of nuclear weapons, sustainability norms, and accountability for core international crimes. The challenges to each norm, the reactions by norm defenders, and the fate of each norm are also studied. Combined, the analyses show that while a few norms have remained surprisingly robust, several are changing, either in substance or in legal or social validity. The book concludes by integrating the conceptual and empirical insights from this interdisciplinary exchange to assess and explain the ambiguous nature of value change in international law beyond the extremes of mere progress or decline.
When realizing a programming language as VM, implementing behavior as part of the VM, as primitive, usually results in reduced execution times. But supporting and developing primitive functions requires more effort than maintaining and using code in the hosted language since debugging is harder, and the turn-around times for VM parts are higher. Furthermore, source artifacts of primitive functions are seldom reused in new implementations of the same language. And if they are reused, the existing API usually is emulated, reducing the performance gains. Because of recent results in tracing dynamic compilation, the trade-off between performance and ease of implementation, reuse, and changeability might now be decided adversely.
In this work, we investigate the trade-offs when creating primitives, and in particular how large a difference remains between primitive and hosted function run times in VMs with tracing just-in-time compiler. To that end, we implemented the algorithmic primitive BitBlt three times for RSqueak/VM. RSqueak/VM is a Smalltalk VM utilizing the PyPy RPython toolchain. We compare primitive implementations in C, RPython, and Smalltalk, showing that due to the tracing just-in-time compiler, the performance gap has lessened by one magnitude to one magnitude.
Since the end of the Apartheid international tourism in South Africa has increasingly gained importance for the national economy. The centre of this PKS issue’s attention is a particular form of tourism: Township tourism, i.e. guided tours to the residential areas of the black population. About 300,000 tourists per year visit the townships of Cape Town. The tours are also called Cultural, Social, or Reality Tours. The different aspects of township tourism in Cape Town were subject of a geographic field study, which was undertaken during a student research project of Potsdam University in 2007. The text at hand presents the empirical results of the field study, and demonstrates how townships are constructed as spaces of tourism.
Version control is a widely used practice among software developers. It reduces the risk of changing their software and allows them to manage different configurations and to collaborate with others more efficiently. This is amplified by code sharing platforms such as GitHub or Bitbucket. Most version control systems track files (e.g., Git, Mercurial, and Subversion do), but some programming environments do not operate on files, but on objects instead (many Smalltalk implementations do). Users of such environments want to use version control for their objects anyway. Specialized version control systems, such as the ones available for Smalltalk systems (e.g., ENVY/Developer and Monticello), focus on a small subset of objects that can be versioned. Most of these systems concentrate on the tracking of methods, classes, and configurations of these. Other user-defined and user-built objects are either not eligible for version control at all, tracking them involves complicated workarounds, or a fixed, domain-unspecific serialization format is used that does not equally suit all kinds of objects. Moreover, these version control systems that are specific to a programming environment require their own code sharing platforms; popular, well-established platforms for file-based version control systems cannot be used or adapter solutions need to be implemented and maintained.
To improve the situation for version control of arbitrary objects, a framework for tracking, converting, and storing of objects is presented in this report. It allows editions of objects to be stored in an exchangeable, existing backend version control system. The platforms of the backend version control system can thus be reused. Users and objects have control over how objects are captured for the purpose of version control. Domain-specific requirements can be implemented. The storage format (i.e. the file format, when file-based backend version control systems are used) can also vary from one object to another. Different editions of objects can be compared and sets of changes can be applied to graphs of objects. A generic way for capturing and restoring that supports most kinds of objects is described. It models each object as a collection of slots. Thus, users can begin to track their objects without first having to implement version control supplements for their own kinds of objects. The proposed architecture is evaluated using a prototype implementation that can be used to track objects in Squeak/Smalltalk with Git. The prototype improves the suboptimal standing of user objects with respect to version control described above and also simplifies some version control tasks for classes and methods as well. It also raises new problems, which are discussed in this report as well.
Towards computer science
(1998)
The correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal semantics exists and that the employed implementation of the model transformation language adheres to this semantics. However, for existing relational model transformation approaches it is usually not really clear under which constraints particular implementations are really conform to the formal semantics. In this paper, we will bridge this gap for the formal semantics of triple graph grammars (TGG) and an existing efficient implementation. Whereas the formal semantics assumes backtracking and ignores non-determinism, practical implementations do not support backtracking, require rule sets that ensure determinism, and include further optimizations. Therefore, we capture how the considered TGG implementation realizes the transformation by means of operational rules, define required criteria and show conformance to the formal semantics if these criteria are fulfilled. We further outline how static analysis can be employed to guarantee these criteria.
Touring Katutura!
(2016)
Guided sightseeing tours of the former township of Katutura have been offered in Windhoek since the mid-1990s. City tourism in the Namibian capital had thus become, at quite an early point in time, part of the trend towards utilising poor urban areas for purposes of tourism – a trend that set in at the beginning of the same decade. Frequently referred to as “slum tourism” or “poverty tourism”, the phenomenon of guided tours around places of poverty has not only been causing some media sensation and much public outrage since its emergence; in the past few years, it has developed into a vital field of scientific research, too. “Global Slumming” provides the grounds for a rethinking of the relationship between poverty and tourism in world society.
This book is the outcome of a study project of the Institute of Geography at the School of Cultural Studies and Social Science of the University of Osnabrueck, Germany. It represents the first empirical case study on township tourism in Namibia. It focuses on four aspects:
1. Emergence, development and (market) structure of township tourism in Windhoek
2. Expectations/imaginations, representations as well as perceptions of the township and its inhabitants from the tourist’s perspective
3. Perception and assessment of township tourism from the residents’ perspective
4. Local economic effects and the poverty-alleviating impact of township tourism
The aim is to make an empirical contribution to the discussion around the tourism-poverty nexus and to an understanding of the global phenomenon of urban poverty tourism.
Touching at a Distance
(2023)
Studies the capacity of Shakespeare’s plays to touch and think about touchBased on plays from all major genres: Hamlet, The Tempest, Richard III, Much Ado About Nothing and Troilus and CressidaCentres on creative, close readings of Shakespeare’s plays, which aim to generate critical impulses for the 21st century readerBrings Shakespeare Studies into touch with philosophers and theoreticians from a range of disciplinary areas – continental philosophy, literary criticism, psychoanalysis, sociology, phenomenology, law, linguistics: Friedrich Nietzsche, Maurice Blanchot, Jacques Lacan, Luce Irigaray, Jacques Derrida, Roland Barthes, Niklas Luhmann, Hans Blumenberg, Carl Schmitt, J. L. AustinTheatre has a remarkable capacity: it touches from a distance. The audience is affected, despite their physical separation from the stage. The spectators are moved, even though the fictional world presented to them will never come into direct touch with their real lives. Shakespeare is clearly one of the master practitioners of theatrical touch. As the study shows, his exceptional dramaturgic talent is intrinsically connected with being one of the great thinkers of touch. His plays fathom the complexity and power of a fascinating notion – touch as a productive proximity that is characterised by unbridgeable distance – which philosophers like Friedrich Nietzsche, Maurice Blanchot, Jacques Derrida, Luce Irigaray and Jean-Luc Nancy have written about, centuries later. By playing with touch and its metatheatrical implications, Shakespeare raises questions that make his theatrical art point towards modernity: how are communities to form when traditional institutions begin to crumble? What happens to selfhood when time speeds up, when oneness and timeless truth can no longer serve as reliable foundations? What is the role and the capacity of language in a world that has lost its seemingly unshakeable belief and trust in meaning? How are we to conceive of the unthinkable extremes of human existence – birth and death – when the religious orthodoxy slowly ceases to give satisfactory explanations? Shakespeare’s theatre not only prompts these questions, but provides us with answers. They are all related to touch, and they are all theatrical at their core: they are argued and performed by the striking experience of theatre’s capacities to touch – at a distance
Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.
In this study we examine the tonal organization of a series of recordings of liturgical chants, sung in 1966 by the Georgian master singer Artem Erkomaishvili. This dataset is the oldest corpus of Georgian chants from which the time synchronous F0-trajectories for all three voices have been reliably determined (Müller et al. 2017). It is therefore of outstanding importance for the understanding of the tuning principles of traditional Georgian vocal music.
The aim of the present study is to use various computational methods to analyze what these recordings can contribute to the ongoing scientific dispute about traditional Georgian tuning systems. Starting point for the present analysis is the re-release of the original audio data together with estimated fundamental frequency (F0) trajectories for each of the three voices, beat annotations, and digital scores (Rosenzweig et al. 2020). We present synoptic models for the pitch and the harmonic interval distributions, which are the first of such models for which the complete Erkomaishvili dataset was used. We show that these distributions can be very compactly be expressed as Gaussian mixture models, anchored on discrete sets of pitch or interval values for the pitch and interval distributions, respectively. As part of our study we demonstrate that these pitch values, which we refer to as scale pitches, and which are determined as the mean values of the Gaussian mixture elements, define the scale degrees of the melodic sound scales which build the skeleton of Artem Erkomaishvili’s intonation. The observation of consistent pitch bending of notes in melodic phrases, which appear in identical form in a group of chants, as well as the observation of harmonically driven intonation adjustments, which are clearly documented for all pure harmonic intervals, demonstrate that Artem Erkomaishvili intentionally deviates from the scale pitch skeleton quite freely. As a central result of our study, we proof that this melodic freedom is always constrained by the attracting influence of the scale pitches. Deviations of the F0-values of individual note events from the scale pitches at one instance of time are compensated for in the subsequent melodic steps. This suggests a deviation-compensation mechanism at the core of Artem Erkomaishvili’s melody generation, which clearly honors the scales but still allows for a large degree of melodic flexibility. This model, which summarizes all partial aspects of our analysis, is consistent with the melodic scale models derived from the observed pitch distributions, as well as with the melodic and harmonic interval distributions. In addition to the tangible results of our work, we believe that our work has general implications for the determination of tuning models from audio data, in particular for non-tempered music.
Toeplitz operators, and ellipticity of boundary value problems with global projection conditions
(2003)
This paper studies the persistence of daily returns of 21 German stocks from 1960 to 2008. We apply a widely used test based upon the modified R/S-Method by Lo [1991]. As an extension to Lux [1996] and Carbone et al. [2004] and in analogy to moving average or moving volatility, the statistics is calculated for moving windows of length 4, 8, and 16 years for every time series. Periods of persistence or long memory in returns can be found in some but not all time series. Robustness of results is verified by investigating stationarity and short memory effects.
Time series analysis
(2004)
This volume offers new arguments and perspectives in the ongoing debate about the optimal analysis of verb movement, mainly, but not exclusively, in German. Fanselow and Meinunger deal with verb second (V2) movement in German main clauses. Fanselow argues that head movement of the substitution type follows the standard minimalist conceptions of Merge and Move and is therefore not subject to the same objections as head movement as head adjunction which violates Chomsky's minimalist extension condition, operates countercyclically, and fails to let the moved head c-command its trace. Fanselow argues for V2 movement as head movement of the substitution type. Meinunger discusses a restriction on V2 movement imposed by phrases like "mehr als" ('more than'), as in "Der Wert hat sich weit mehr als verdreifacht" ('the value has far more than tripled') where V2 movement is ruled out (cf. *"Der Wert verdreifachte sich mehr als"). Meinunger claims that this restriction is best analysed in phonological terms: the preposition/complementiser "als" acts as a prefixal clitic to its host, the finite verb, which therefore may not move without it. With respect to the V2 debate, Meinunger argues for an interface perspective. He shows that V2 is restricted from both the conceptual and the phonological interface. Vogel, finally, discusses the syntax of clause-final verbal complexes and their dialectal variation in German. He compares three different syntactic analyses, a minimalist head movement analysis, a minimalist XP movement analysis, and an Optimality theoretic PF movement analysis. The three accounts are evaluated relative to the additional assumptions they have to make, the complications they face and how they fit the observations. Vogel argues in favour of the phonologically oriented OT analysis because of its ability to create a direct link between the coming about of a particular word order pattern and its basically phonological trigger. Each of the three papers recognises the relevance of surface forms in the analysis of German verb movement. They differ, however in the extent to which phonological aspects take part in the explanations they offer.
Theories and concepts
(2020)
Urban Change and Citizenship in Times of Crisis addresses the fact that in the beginning of the twenty-first century the majority of the world’s population is urbanised, a social fact that has turned cities more than ever into focal sites of social change. Multiple economic and political strategies, employed by a variety of individual and collective actors, on a number of scales, constitute cities as contested spaces that hold opportunities as well as restrictions for their inhabitants. While cities and urban spaces have long been of central concern for the social sciences, today, classical sociological questions about the city acquire new meaning: Can cities be spaces of emancipation, or does life in the modern city entail a corrosion of citizenship rights? Is the city the focus of societal transformation processes, or do urban environments lose importance in shaping social reality and economic relationships? Furthermore, new questions urgently need to be asked: What is the impact of different historical phenomena such as neo-liberal restructuring, financial and economic crises, or migration flows, as well as their respective counter-movements, on the structure of contemporary cities and on the citizenship rights of city inhabitants? The three volumes address such crucial questions thereby opening up new spaces of debate on both the city and new developments of urbanism.
The contributions to Theories and Concepts offer new theoretical reflections on the city in a philosophical and historical perspective as well as fresh empirical analyses of social life in urban contexts. Chapters not only critically revisit classical and modern philosophical considerations about the nature of cities but no less discuss normative philosophical reflections of urban life and the role of religion in historical processes of the emergence of cities. Composed around the question whether there can be such a thing as a ‘successful city’, this volume addresses issues of urban political subjectivities by considering the city’s role in historical processes of emancipation, the fight for citizenship rights, and today’s challenges and opportunities with regard to promoting social justice, integration, and diversity. Consequentially, theory-driven empirical analyses offer new insight into ways of solving problems in urban contexts and a genuine approach to analyse the Social Quality in cities.
Theoretical Fluid Dynamics
(2019)
“The UN Peacebuilding Commission – Lessons from Sierra Leone” by political scientist Andrea Iro is an assessment of the United Nations Peacebuilding Commission (PBC) and the United Nations Peacebuilding Fund (PBF) by analysing their performance over the last two years in Sierra Leone, one of the first PBC focus countries. The paper explores the key question of how the PBC/PBF’s mandate has been translated into operational practice in the field. It concludes that though the overall impact has been mainly positive and welcomed by the country, translating the general mandate into concrete activities remains a real challenge at the country level.
Contents: Artem Polyvanny, Sergey Smirnow, and Mathias Weske The Triconnected Abstraction of Process Models 1 Introduction 2 Business Process Model Abstraction 3 Preliminaries 4 Triconnected Decomposition 4.1 Basic Approach for Process Component Discovery 4.2 SPQR-Tree Decomposition 4.3 SPQR-Tree Fragments in the Context of Process Models 5 Triconnected Abstraction 5.1 Abstraction Rules 5.2 Abstraction Algorithm 6 Related Work and Conclusions