Refine
Year of publication
- 2013 (30) (remove)
Document Type
- Monograph/Edited Volume (30) (remove)
Language
- English (30) (remove)
Keywords
- Forschungsprojekte (2)
- Future SOC Lab (2)
- In-Memory Technologie (2)
- Modeling (2)
- Modellierung (2)
- Multicore Architekturen (2)
- Albania (1)
- Arnos Padiri (1)
- Attribut-Merge-Prozess (1)
- Attribute Merge Process (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (12)
- Institut für Anglistik und Amerikanistik (3)
- Institut für Umweltwissenschaften und Geographie (3)
- Wirtschaftswissenschaften (3)
- Extern (2)
- Institut für Romanistik (2)
- Institut für Slavistik (2)
- Department Psychologie (1)
- Institut für Informatik und Computational Science (1)
- Institut für Physik und Astronomie (1)
Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment
(2013)
Public debate about energy relations between the EU and Russia is distorted. These distortions present considerable obstacles to the development of true partnership. At the core of the conflict is a struggle for resource rents between energy producing, energy consuming and transit countries. Supposed secondary aspects, however, are also of great importance. They comprise of geopolitics, market access, economic development and state sovereignty. The European Union, having engaged in energy market liberalisation, faces a widening gap between declining domestic resources and continuously growing energy demand. Diverse interests inside the EU prevent the definition of a coherent and respected energy policy. Russia, for its part, is no longer willing to subsidise its neighbouring economies by cheap energy exports. The Russian government engages in assertive policies pursuing Russian interests. In so far, it opts for a different globalisation approach, refusing the role of mere energy exporter. In view of the intensifying struggle for global resources, Russia, with its large energy potential, appears to be a very favourable option for European energy supplies, if not the best one. However, several outcomes of the strategic game between the two partners can be imagined. Engaging in non-cooperative strategies will in the end leave all stakeholders worse-off. The European Union should therefore concentrate on securing its partnership with Russia instead of damaging it. Stable cooperation would need the acceptance that the partner may pursue his own goals, which might be different from one’s own interests. The question is, how can a sustainable compromise be found? This thesis finds that a mix of continued dialogue, a tit for tat approach bolstered by an international institutional framework and increased integration efforts appears as a preferable solution.
Developing rich Web applications can be a complex job - especially when it comes to mobile device support. Web-based environments such as Lively Webwerkstatt can help developers implement such applications by making the development process more direct and interactive. Further the process of developing software is collaborative which creates the need that the development environment offers collaboration facilities. This report describes extensions of the webbased development environment Lively Webwerkstatt such that it can be used in a mobile environment. The extensions are collaboration mechanisms, user interface adaptations but as well event processing and performance measuring on mobile devices.
This book deals with the inner life of the capitalist firm. There we find numerous conflicts, the most important of which concerns the individual employment relationship which is understood as a principal-agent problem between the manager, the principal, who issues orders that are to be followed by the employee, the agent. Whereas economic theory traditionally analyses this relationship from a (normative) perspective of the firm in order to support the manager in finding ways to influence the behavior of the employees, such that the latter – ideally – act on behalf of their superior, this book takes a neutral stance. It focusses on explaining individual behavioral patterns and the resulting interactions between the actors in the firm by taking sociological, institutional, and above all, psychological research into consideration. In doing so, insights are gained which challenge many assertions economists take for granted.
Business processes are instrumental to manage work in organisations. To study the interdependencies between business processes, Business Process Architectures have been introduced. These express trigger and message ow relations between business processes. When we investigate real world Business Process Architectures, we find complex interdependencies, involving multiple process instances. These aspects have not been studied in detail so far, especially concerning correctness properties. In this paper, we propose a modular transformation of BPAs to open nets for the analysis of behavior involving multiple business processes with multiplicities. For this purpose we introduce intermediary nets to portray semantics of multiplicity specifications. We evaluate our approach on a use case from the public sector.
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
The service-oriented architecture supports the dynamic assembly and runtime reconfiguration of complex open IT landscapes by means of runtime binding of service contracts, launching of new components and termination of outdated ones. Furthermore, the evolution of these IT landscapes is not restricted to exchanging components with other ones using the same service contracts, as new services contracts can be added as well. However, current approaches for modeling and verification of service-oriented architectures do not support these important capabilities to their full extend.In this report we present an extension of the current OMG proposal for service modeling with UML - SoaML - which overcomes these limitations. It permits modeling services and their service contracts at different levels of abstraction, provides a formal semantics for all modeling concepts, and enables verifying critical properties. Our compositional and incremental verification approach allows for complex properties including communication parameters and time and covers besides the dynamic binding of service contracts and the replacement of components also the evolution of the systems by means of new service contracts. The modeling as well as verification capabilities of the presented approach are demonstrated by means of a supply chain example and the verification results of a first prototype are shown.
Reasons without reason
(2013)
Eliminating empty categories : a radically minimalist view on their ontology and justification
(2013)
This collaborative book has a twofold purpose. On the one hand, the authors present a new framework - Radical Minimalism. The development of such a framework, with a strong basis on mathematics and physics, was born out of the conviction that, if language is really a natural object, there is no a priori reason to study it in isolation from other natural systems. On the other hand, this work represents a significant simplification of the theory of displacement and so-called «empty categories» within the latest development of Chomsky's Strong Minimalist Hypothesis, applying Occam's razor and fulfilling Lakatos' requirements for scientific evolution. Radical Minimalism thus accounts not only for the phenomena orthodox minimalism has explanations for, but also for empirical problems that have not yet been taken into consideration.
The new interactive online educational platform openHPI, (https://openHPI.de) from Hasso Plattner Institute (HPI), offers freely accessible courses at no charge for all who are interested in subjects in the field of information technology and computer science. Since 2011, “Massive Open Online Courses,” called MOOCs for short, have been offered, first at Stanford University and then later at other U.S. elite universities. Following suit, openHPI provides instructional videos on the Internet and further reading material, combined with learning-supportive self-tests, homework and a social discussion forum. Education is further stimulated by the support of a virtual learning community. In contrast to “traditional” lecture platforms, such as the tele-TASK portal (http://www.tele-task.de) where multimedia recorded lectures are available on demand, openHPI offers didactic online courses. The courses have a fixed start date and offer a balanced schedule of six consecutive weeks presented in multimedia and, whenever possible, interactive learning material. Each week, one chapter of the course subject is treated. In addition, a series of learning videos, texts, self-tests and homework exercises are provided to course participants at the beginning of the week. The course offering is combined with a social discussion platform where participants have the opportunity to enter into an exchange with course instructors and fellow participants. Here, for example, they can get answers to questions and discuss the topics in depth. The participants naturally decide themselves about the type and range of their learning activities. They can make personal contributions to the course, for example, in blog posts or tweets, which they can refer to in the forum. In turn, other participants have the chance to comment on, discuss or expand on what has been said. In this way, the learners become the teachers and the subject matter offered to a virtual community is linked to a social learning network.
Enacting business processes in process engines requires the coverage of control flow, resource assignments, and process data. While the first two aspects are well supported in current process engines, data dependencies need to be added and maintained manually by a process engineer. Thus, this task is error-prone and time-consuming. In this report, we address the problem of modeling processes with complex data dependencies, e.g., m:n relationships, and their automatic enactment from process models. First, we extend BPMN data objects with few annotations to allow data dependency handling as well as data instance differentiation. Second, we introduce a pattern-based approach to derive SQL queries from process models utilizing the above mentioned extensions. Therewith, we allow automatic enactment of data-aware BPMN process models. We implemented our approach for the Activiti process engine to show applicability.
There are two common approaches to implement a virtual machine (VM) for a dynamic object-oriented language. On the one hand, it can be implemented in a C-like language for best performance and maximum control over the resulting executable. On the other hand, it can be implemented in a language such as Java that allows for higher-level abstractions. These abstractions, such as proper object-oriented modularization, automatic memory management, or interfaces, are missing in C-like languages but they can simplify the implementation of prevalent but complex concepts in VMs, such as garbage collectors (GCs) or just-in-time compilers (JITs). Yet, the implementation of a dynamic object-oriented language in Java eventually results in two VMs on top of each other (double stack), which impedes performance. For statically typed languages, the Maxine VM solves this problem; it is written in Java but can be executed without a Java virtual machine (JVM). However, it is currently not possible to execute dynamic object-oriented languages in Maxine. This work presents an approach to bringing object models and execution models of dynamic object-oriented languages to the Maxine VM and the application of this approach to Squeak/Smalltalk. The representation of objects in and the execution of dynamic object-oriented languages pose certain challenges to the Maxine VM that lacks certain variation points necessary to enable an effortless and straightforward implementation of dynamic object-oriented languages' execution models. The implementation of Squeak/Smalltalk in Maxine as a feasibility study is to unveil such missing variation points.
Companies strive to improve their business processes in order to remain competitive. Process mining aims to infer meaningful insights from process-related data and attracted the attention of practitioners, tool-vendors, and researchers in recent years. Traditionally, event logs are assumed to describe the as-is situation. But this is not necessarily the case in environments where logging may be compromised due to manual logging. For example, hospital staff may need to manually enter information regarding the patient’s treatment. As a result, events or timestamps may be missing or incorrect. In this paper, we make use of process knowledge captured in process models, and provide a method to repair missing events in the logs. This way, we facilitate analysis of incomplete logs. We realize the repair by combining stochastic Petri nets, alignments, and Bayesian networks. We evaluate the results using both synthetic data and real event data from a Dutch hospital.
The European Values Education (EVE) project is a large-scale, cross-national, and longitudinal survey research programme on basic human values. The main topic of its second stage was family values in Europe. Student teachers of several universities in Europe worked together in multicultural exchange groups. Their results are presented in this issue.
Cost models are an essential part of database systems, as they are the basis of query performance optimization. Based on predictions made by cost models, the fastest query execution plan can be chosen and executed or algorithms can be tuned and optimised. In-memory databases shifts the focus from disk to main memory accesses and CPU costs, compared to disk based systems where input and output costs dominate the overall costs and other processing costs are often neglected. However, modelling memory accesses is fundamentally different and common models do not apply anymore. This work presents a detailed parameter evaluation for the plan operators scan with equality selection, scan with range selection, positional lookup and insert in in-memory column stores. Based on this evaluation, a cost model based on cache misses for estimating the runtime of the considered plan operators using different data structures is developed. Considered are uncompressed columns, bit compressed and dictionary encoded columns with sorted and unsorted dictionaries. Furthermore, tree indices on the columns and dictionaries are discussed. Finally, partitioned columns consisting of one partition with a sorted and one with an unsorted dictionary are investigated. New values are inserted in the unsorted dictionary partition and moved periodically by a merge process to the sorted partition. An efficient attribute merge algorithm is described, supporting the update performance required to run enterprise applications on read-optimised databases. Further, a memory traffic based cost model for the merge process is provided.
The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a megamodel captures the interplay between multiple models and between models and activities as well as the activation of the activities. In this article, we go one step further and present a modeling language for ExecUtable RuntimE MegAmodels (EUREMA) that considerably eases the development of adaptation engines by following a model-driven engineering approach. We provide a domain-specific modeling language and a runtime interpreter for adaptation engines, in particular for feedback loops. Megamodels are kept explicit and alive at runtime and by interpreting them, they are directly executed to run feedback loops. Additionally, they can be dynamically adjusted to adapt feedback loops. Thus, EUREMA supports development by making feedback loops, their runtime models, and adaptation activities explicit at a higher level of abstraction. Moreover, it enables complex solutions where multiple feedback loops interact or even operate on top of each other. Finally, it leverages the co-existence of self-adaptation and off-line adaptation for evolution.
As Albania is accelerating its preparations towards the European Union candidate status, numerous areas of public policy and practices undergo intensive development processes. Regional development policy is a very new area of public policy in Albania, and needs research and development. This study focuses on the process of sustainable development in Albania, by analyzing and comparing the regional development of regions of Tirana, Shkodra and Kukes. The methodology used consists of a literature/desk review; analytical and comparative approach; qualitative interviews; quantitative data collection; analysis. The research is organized in five chapters. First chapter provides an overview of the study framework. The second outlines the theory and scientific framework for sustainable and regional development in relation with geography. The third chapter presents the picture of the regional development in Albania, analyzing the disparities and regional development in the light of EU requirements and NUTS division. Chapter 4 continues by analyzing and comparing the regional development of the regions: Tirana – driver for change, Shkodra – the North in Development and Kukes – the “shrinking” region. Chapter 5 presents the conclusions and recommendations. This research comes to the conclusions that if growth in Albania is to be increased and sustained, a regional development policy needs to be established.
Anglistentag 2012 Potsdam
(2013)
Katrin Röder and Ilse Wischer (Potsdam) Preface Section I: Recent Ireland: Visions and Revisions of Irishness from the 1990s to Today Sarah Heinz (Mannheim), Anton Kirchhofer (Oldenburg), Katharina Rennhak (Wuppertal) and Michaela Schrage-Früh (Mainz/Limerick) Recent Ireland: Visions and Revisions of Irishness from the 1990s to Today: Introduction Christopher Morash (Maynooth) Spectral Ireland: After the Celtic Tiger Jochen Achilles (Würzburg) Transnational Ireland and Elizabeth Kuti's Drama Silke Stroh (Münster) Revisioning Irish Postcolonialism: The Scottish Connection Joanna Rostek (Passau) Migration, Capital, Space: Econotopic Constellations in Recent Literature about Polish Migrants in Ireland Joachim Fischer (Limerick) Images of Germany in Irish Writing of the Last Ten Years (2002-2012) Werner Huber (Wien) The Brothers McDonagh, Filmmakers Christian Lassen (Oldenburg) The Passion of Saint Kitten, or: Desperately Seeking Mitzi, the Phantom Lady. Camp Responses to Interpellation and Subjection in Neil Jordan's Breakfast on Pluto Section II: Recent Trends in Romantic Studies Stefanie Fricke (LMU München), Rosa Karl (Erlangen-Nürnberg) and Gerold Sedlmayr (Dortmund) Recent Trends in Romantic Studies: Introduction Christoph Reinfandt (Tübingen) The Textures of Romanticism: Exploring Charlotte Smith's "Beachy Head" (1807) Ralf Haekel (Göttingen) Romantic Textualities Anthony John Harding (Saskatchewan) British Romanticism and the Transvaluation of Reading Christa Knellwolf King (Vienna) Imperial Myth-making in the Wake of Captain Cook's Death Monika Class (King's College London) Medical Case Narratives across Disciplinary and National Boundaries around 1800 Ute Berns (Hamburg) Romantic Poetry, Scientific Discourse and the Aesthetics of Nature Section III: Apocalypse and Literature Sibylle Baumbach (Mainz) and Anja Müller-Wood (Mainz) Apocalypse and Literature: Introduction Susanne Schmid (Berlin) Philip Pullman's His Dark Materials and Resistance to the Apocalypse Björn Quiring (Berlin) Judging the New Bloomusalem: Persistent Apocalyptic Remnants in Joyce's Ulysses Heike Hartung (Potsdam) Apocalypse and Old Age: Imminent Ends and Lacking Futures Apocalypse and Literature: Summaries Section IV: Comics and Graphic Novels Dirk Vanderbeke (Jena), Sebastian Domsch (Greifswald) and Astrid Böger (Hamburg) Comics and Graphic Novels: Introduction Martin Rowson (London) Towards a Theory of Literary Adaptation in Comic Book Format: A Graphic Response Nicola Glaubitz (Darmstadt) Vernacular Modernism: Martin Rowson's The Waste Land Ellen Grünkemeier (Hannover) Locating The League of Extraordinary Gentlemen in Victorian Literature and (Popular) Culture Sandra Heinen (Wuppertal) 'Indigenizing the Comic Book Medium': Techniques of Storytelling in Indian Graphic Novels Felicitas Meifert-Menhard (München) Evading the Sequence: Choose Your Own Comic Therese-Marie Meyer (Halle-Wittenberg) "My Country, My England": Warren Ellis's Graphic Novels and England at War Sandra Martina Schwab (Mainz) Richard Doyle's Sequential Art in Punch Section V: Electronic Discourse Markus Bieswanger (Bayreuth) and Andrea Sand (Trier) Electronic Discourse: Introduction Klaus P. Schneider (Bonn) Emerging E-mail Etiquette: Lay Perceptions of Appropriateness in Electronic Discourse Christian R. Hoffmann (Augsburg) E(-lectronic) Schmoozing? A Cross-Generic Study of Compliments in Blog Comments Jenny Arendholz (Augsburg) "How to stop strange people speaking to me" – A Syntactic and Interpersonal Perspective on Offering A dvice Online Tanja Angelovska and Angela Hahn (München) Features of Spoken L3 English in an Online Discourse Dagmar Deuber (Münster) and Andrea Sand (Trier) Computer-Mediated Communication in Singapore: Spoken Language Features in Weblogs and a Discussion Forum Christian Mair (Freiburg) Corpus Approaches to the Vernacular Web: Post-Colonial Diasporic Forums in West Africa and the Caribbean
Grammatica Grandonica
(2013)
In May 2010, Johann Ernst Hanxleden’s Grammatica Grandonica was rediscovered in Montecompatri (Lazio, Rome). Although historiographers attached much weight to the nearly oldest western grammar of Sanskrit, the precious manuscript was lost for several decades. The first aim of the present digital publication is to offer a photographical reproduction of the manuscript. This facsimile is accompanied by a double edition: a facing diplomatic edition with the Sanskrit in Malayāḷam script, followed by a transliterated established text.
This volume provides an overview of current research priorities in the analysis of face-to-face-interaction in Slavic speaking language communities. The core of this volume ranges from discourse analysis in the tradition of interactional linguistics and conversation analysis to newer methods of politeness research. A further field includes empirical and interpretive methods of modern sociolinguistics and statistical analysis of spoken language in casual and institutional talks. Several papers focus on a semantic or syntactic analysis of talk-in-interaction by trying to show how interlocutors use certain lexical, grammatical, syntactic and multimodal or prosodic means for the management of interaction in performing specific actions, genres and displaying negotiations of epistemic, evidential or evaluative stances. The volume is rounded out by contributions to the theory of politeness where strategies of face-work in casual as well as institutional discourse are analyzed, or in which social tasks entertained by code-switching and language alternation within the interaction of bilinguals are discussed.
This volume offers a coherent and detailed picture of the diachronic development of verbal categories of Old English, Old High German, and other Germanic languages. Starting from the observation that German and English show diverging paths in the development of verbal categories, even though they descended from a common ancestor language, the contributions present in-depth, empirically founded studies on the stages and directions of these changes combining historical comparative methods with grammaticalisation theory. This collection of papers provides the reader with an indispensable source of information on the early traces of distinct developments, thus laying the foundation for a broad-scale scenario of the grammaticalisation of verbal categories. The volume will be of particular interest to scholars of language change, grammaticalisation, and diachronic sociolinguistics; it offers important new insights for typologists and for everybody interested in the make-up of verbal categories.
HPI Future SOC Lab
(2013)
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard- and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2012. Selected projects have presented their results on June 18th and November 26th 2012 at the Future SOC Lab Day events.
HPI Future SOC Lab
(2013)
Together with industrial partners Hasso-Plattner-Institut (HPI) is currently establishing a “HPI Future SOC Lab,” which will provide a complete infrastructure for research on on-demand systems. The lab utilizes the latest, multi/many-core hardware and its practical implementation and testing as well as further development. The necessary components for such a highly ambitious project are provided by renowned companies: Fujitsu and Hewlett Packard provide their latest 4 and 8-way servers with 1-2 TB RAM, SAP will make available its latest Business byDesign (ByD) system in its most complete version. EMC² provides high performance storage systems and VMware offers virtualization solutions. The lab will operate on the basis of real data from large enterprises. The HPI Future SOC Lab, which will be open for use by interested researchers also from other universities, will provide an opportunity to study real-life complex systems and follow new ideas all the way to their practical implementation and testing. This technical report presents results of research projects executed in 2011. Selected projects have presented their results on June 15th and October 26th 2011 at the Future SOC Lab Day events.