Refine
Year of publication
- 2016 (17) (remove)
Document Type
- Monograph/Edited Volume (17) (remove)
Language
- English (17) (remove)
Is part of the Bibliography
- yes (17)
Keywords
- virtual machines (2)
- virtuelle Maschinen (2)
- Armut (1)
- Authentizität (1)
- Cloud-Sicherheit (1)
- Cloud-Speicher (1)
- Discrimination Networks (1)
- FRP (1)
- Forschungskolleg (1)
- Functional Lenses (1)
- Graph-basierte Suche (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Hebrew (1)
- In-Memory-Datenbank (1)
- Inkrementelle Graphmustersuche (1)
- Katutura (1)
- Klausurtagung (1)
- Live-Programmierung (1)
- Mandarin (1)
- Morphic (1)
- Namibia (1)
- Nested Graph Conditions (1)
- Newspeak (1)
- Ph.D. retreat (1)
- Ressourcenoptimierung (1)
- Sammlungsdatentypen (1)
- Service-oriented Systems Engineering (1)
- Slumming (1)
- Slumtourismus (1)
- Sozialen Medien (1)
- Speicheroptimierungen (1)
- Synchronisation (1)
- Tourismus (1)
- Township (1)
- Townshiptourismus (1)
- Unveränderlichkeit (1)
- Verteilungsalgorithmus (1)
- Vietnamese (1)
- Virtualisierung (1)
- Warlpiri (1)
- Windhoek (1)
- Zugriffskontrolle (1)
- access control (1)
- authenticity (1)
- big data services (1)
- cloud computing (1)
- collection types (1)
- data center management (1)
- direct manipulation (1)
- direkte Manipulation (1)
- discrimination networks (1)
- dynamic typing (1)
- dynamic programming languages (1)
- dynamische Programmiersprachen (1)
- dynamische Sprachen (1)
- formal semantics (1)
- functional lenses (1)
- functional programming (1)
- funktionale Programmierung (1)
- graph queries (1)
- immutable values (1)
- incremental graph pattern matching (1)
- live programming (1)
- memory optimization (1)
- morphic (1)
- nested graph conditions (1)
- poverty (1)
- reactive (1)
- reaktive Programmierung (1)
- research school (1)
- service-oriented systems engineering (1)
- slum tourism (1)
- slumming (1)
- synchronization (1)
- tourism (1)
- township (1)
- township tourism (1)
- understudied languages (1)
- zuverlässigen Datenverarbeitung (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (7)
- Department Erziehungswissenschaft (2)
- Department Linguistik (2)
- Bürgerliches Recht (1)
- Institut für Mathematik (1)
- Institut für Romanistik (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (1)
- Wirtschaftswissenschaften (1)
TripleA is a workshop series founded by linguists from the University of Tübingen and the University of Potsdam. Its aim is to provide a forum for semanticists doing fieldwork on understudied languages, and its focus is on languages from Africa, Asia, Australia and Oceania. The second TripleA workshop was held at the University of Potsdam, June 3-5, 2015.
Intonation Units Revisited
(2016)
Intonation units have been notoriously difficult to identify in natural talk. Problems include fuzzy boundaries, lack of exhaustivity, and the potential circularity involved when studying their interface with other language-organizational dimensions. This volume advocates a way to resolve such problems: the cesura approach. Cesuras, or breaks in the flow of talk, are created by discontinuities in the prosodic-phonetic parameters of speech that cluster to various extents at certain points in time. Using conversation-analytic and interactional-linguistic methodology, the volume identifies the parameters creating cesuras in talk-in-interaction and proposes ways to notate them depending on the researcher s goal. It also offers a way to study the role of cesuras at the prosody-syntax interface non-circularly, which leads to new insights concerning language variation and change. The volume will thus be of major import to anyone working with natural spoken language, its chunks, its various dimensions, and its variation and change."
Since spring 2014 the relations between the EU and Russia are stuck in an Ice Age. From a Western point of view, especially the annexation of Crimea by Russia and the intervention in the conflict in Ukraine are responsible. The EU has frozen their relations to Russia and applied sanctions against it. Russia reacted in the same way. Can this vicious circle be broken without betraying the values of the EU? This book presents the analysis and ideas of social scientists from Germany, Poland and Russia. The reasons for this crisis are seen quite differently but all try to find a way out of the current confrontation.
Causes, Time, and Truth
(2016)
We need causation, time, and truth in order to know how things in the broadest sense of the term hang together in the broadest sense of the term. The essays try to say something clarifying about those three classical questions of traditional metaphysics. Not dogmatic answers are offered, but guiding perspectives and possible justifiable ways of dealing with such fundamental
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.
Behavioural Models
(2016)
This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role.
The book consists of three parts, the first of which addresses the foundations of behavioural modelling. After a general introduction to modelling, it introduces transition systems as a basic formalism for representing the behaviour of discrete dynamic systems. This section also discusses causality, a fundamental concept for modelling and reasoning about behaviour. In turn, Part II forms the heart of the book and is devoted to models of behaviour. It details both sequential and concurrent systems and introduces finite automata, state machines and several different types of Petri nets. One chapter is especially devoted to business process models, workflow patterns and BPMN, the industry standard for modelling business processes. Lastly, Part III investigates how the behaviour of systems can be analysed. To this end, it introduces readers to the concept of state spaces. Further chapters cover the comparison of behaviour and the formal analysis and verification of behavioural models.
The book was written for students of computer science and software engineering, as well as for programmers and system analysts interested in the behaviour of the systems they work on. It takes readers on a journey from the fundamentals of behavioural modelling to advanced techniques for modelling and analysing sequential and concurrent systems, and thus provides them a deep understanding of the concepts and techniques introduced and how they can be applied to concrete application scenarios.
This edited volume provides insight into how digital badges may enhance formal and informal education by focusing on technical design issues including organizational requirements, instructional design, and deployment. It features current research exploring the theoretical foundation and empirical evidence of the utilization of digital badges as well as case studies that describe current practices and experiences in the use of digital badges for motivation, learning, and instruction in K-12, higher education, workplace learning, and further education settings.
Writing-between-worlds
(2016)
The law of treaties; or, should this book exist? / Vaughan LoweThe law of treaties through the interplay of its different sources / Enzo Cannizzaro -- Regulating treaties: a comparative perspective / Martins Paparinskis -- Theorizing treaties: the consequences of the contractual analogy / Akbar Rasulov -- The effects of treaties in domestic law / André Nollkaemper -- The temporal dimension: non-retroactivity and its discontents / Markus Kotzur -- The spatial dimension: treaties and territory / Marko Milanovic -- The personal dimension: challenges to the pacta tertiis rule / Alexander Proelss -- Formalism versus flexibility in the law of treaties / Jean d'Aspremont -- Integrity versus flexibility in the application of treaties / Katherine del Mar -- Pacta sunt servanda versus flexibility in the suspension and termination of treaties / Sotirios-Ioannis Lekkas and Antonios Tzanakopoulos -- Uniformity versus specialisation (1): the quest for a uniform law of inter-state treaties / Malgosia Fitzmaurice and Panos Merkouris -- Uniformity versus specialisation (2): a uniform regime of treaty interpretation? / Michael Waibel -- Regime-collisions: tensions between treaties (and how to solve them) / Jasper Finke -- Responding to deliberately-created treaty conflicts / Surabhi Ranganathan -- Treaty breaches and responses / Christian J Tams -- Succession to treaties and the inherent limits of international law / Andreas Zimmermann and James G. Devaney -- Treaties and armed conflict / Yael Ronen -- Treaties and international organisations: uneasy analogies / Philippa Webb -- Treaty law and multinational enterprises: more than internationalized contracts? / Markos Karavias -- Treaties and individuals: of beneficiaries, duty-bearers, users, and participants / Ilias Plakokefalos
Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational database case the relational algebra and generalized discrimination networks have been studied to find appropriate decompositions into subqueries and ordering of these subqueries for query evaluation or incremental updates of query results. For graph database queries however there is no formal underpinning yet that allows us to find such suitable operationalizations. Consequently, we suggest a simple operational concept for the decomposition of arbitrary complex queries into simpler subqueries and the ordering of these subqueries in form of generalized discrimination networks for graph queries inspired by the relational case. The approach employs graph transformation rules for the nodes of the network and thus we can employ the underlying theory. We further show that the proposed generalized discrimination networks have the same expressive power as nested graph conditions.