TY - BOOK A1 - Kuhlmann, Sabine A1 - Bouckaert, Geert ED - Kuhlmann, Sabine ED - Bouckaert, Geert T1 - Introduction : Comparing Local Public Sector Reforms BT - Institutional Polices in Context T3 - Local Public Sector Reforms in Times of Crisis : national trajectories and international comparisons Y1 - 2016 SN - 978-1-137-52547-5 SP - 1 EP - 20 PB - Palgrave Macmillan CY - London ET - 1 ER - TY - BOOK ED - Klettke, Cornelia T1 - Archipele und Inselreisen : Kosmographie und imaginäre Geographie im Werk von Rabelais T3 - Sanssouci – Forschungen zur Romanistik KW - Rabelais, François KW - Imaginäre Reise KW - Kosmografie Y1 - 2016 SN - 978-3-7329-0176-0 SN - 2193-9985 VL - 12 PB - Frank & Timme CY - Berlin ER - TY - BOOK A1 - Haßler, Gerda T1 - Temporalität, Aspektualität und Modalität in romanischen Sprachen N2 - Gegenstand des Buches ist die sprachliche Gestaltung der Temporalität, Aspektualität und Modalität in den romanischen Sprachen. In die Betrachtung dieser drei Kategorien werden neben dem Tempus, Aspekt und Modus weitere Ausdrucksmittel, wie zum Beispiel Verbalperiphrasen, Adverbien und lexikalische Bedeutungen von Verben, einbezogen. Die Beschreibung erfolgt auf der Grundlage einer funktionalen Sicht der Grammatik und das Zusammenwirken verschiedener Strukturebenen der Sprache bei der Markierung temporaler, aspektueller und modaler Verhältnisse wird betrachtet. Neuere Forschungsansätze im Bereich der Typologie und der kognitiven Linguistik werden berücksichtigt. Insbesondere wird die Interaktion zwischen den drei Kategorien, die in den romanischen Sprachen nicht streng getrennt sind, dargestellt. Im Zentrum stehen das Französische, das Italienische, das Portugiesische und das Spanische, wobei auffällige Erscheinungen in anderen romanischen Sprachen gleichfalls erwähnt werden. Neben einer Überblicksdarstellung, die den aktuellen Forschungsstand reflektiert, werden Ergebnisse eigener Forschungen zur funktionalen Struktur der Kategorie der Aspektualität, zur coverten Modalität und zur Evidentialität in romanischen Sprachen vorgestellt. KW - Romanische Sprachen KW - Funktionale Grammatik KW - Semantik KW - Syntax Y1 - 2016 SN - 978-3-11-031029-0 PB - De Gruyter CY - Berlin, Boston ET - 1 ER - TY - BOOK ED - Krämer, Raimund ED - Nakath, Detlef T1 - Naher Osten und Europa BT - Herausforderung einer Nachbarschaft N2 - Der Nahe Osten bricht zusammen: der Bürgerkrieg in Syrien, die Auseinandersetzungen mit dem IS, der ungelöste Konflikt zwischen Israel und Palästina, der Krieg Saudi Arabiens im Jemen, die vergessene Kolonie in der Westsahara und die wachsende Rolle der Türkei und des Irans. Gewalt und Zerstörungen, Flucht und Vertreibung sind die Konsequenzen. Die Lösung der Konflikte ist dringend notwendig, denn sie sind eine Gefahr für die Weltpolitik. Auch das Verhältnis zwischen Europa und dem Nahen Osten ist betroffen. Welche Rolle spielen Europa und speziell Deutschland in diesem Raum? In dem Sammelband setzen sich Autorinnen und Autoren kenntnisreich und kritisch mit historischen und aktuellen Entwicklungen auseinander und plädieren für einen konstruktiven Neuansatz in den Beziehungen zum Nahen Osten. Y1 - 2016 SN - 978-3-945878-43-9 PB - WeltTrends CY - Potsdam ER - TY - BOOK A1 - Schreiber, Robin A1 - Krahn, Robert A1 - Ingalls, Daniel H. H. A1 - Hirschfeld, Robert T1 - Transmorphic T1 - Transmorphic BT - mapping direct manipulation to source code transformations BT - Abbilden von direkter Manipulation zu Transformationen im Programmtext N2 - 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. N2 - Das Definieren von graphischen Benutzeroberflächen mittels funktionaler Abstraktionen, kann die Komplexität der Verwaltung des Zustandes der Anwendung erheblich reduzieren. Aktuelle Beispiele, wie Facebook's Framework *React*, zeigen auf, wie das modellieren der visuellen Schnittstelle als eine funktionale Projektion vom Zustand der Anwendung zur graphischen Repräsentation, die Anzahl der agierenden Objekte erheblich reduzieren und so die Verlässlichkeit des Systems erhöhen kann. Der Preis für die so erreichte Stabilität, ist eine relativ statische graphische Repräsentation, die sich zur Laufzeit nicht dynamisch anpassen lässt und in der jede visuelle Entität nur mittles funktionaler Abstraktionen beschrieben werden kann, was nicht unserem intuitiven Verständnis der Welt entspricht. Im Gegensatz dazu, erlaubt das Rahmenwerk Morphic mittles Interaktionen wie Ziehen, Greifen oder Skalieren von visuellen Elementen, die grahische Darstellung der Anwendung zur Laufzeit in einer unmittelbaren ("live") und direkten Art und Weise weiter zu entwickeln. Um diese Flexibilität zu erreichen, modelliert Morphic allerdings jedes graphische Objekt mittels veränderlichem Zustand, was das Garantieren der Fehlerfreiheit von graphischen Oberfläche, insbesondere bei sehr komplexen Schnittstellen, deutlich erschwehrt. Hinzu kommt, dass die dynamischen Anpassungen zur Laufzeit dazu führen, dass sich die Oberfläche mehr und mehr von ihrer ursprünglichen symbolischen Definition entfernt, da Morphic von selbst die Änderungen in der Laufzeit nicht im Quellcode reflektieren kann. Die Frage ist also ob es eine Kombination beider Ansätze gibt, welche es vermag die Vorteile zu erhalten und Nachteile wenn möglich auszugleichen. Als Lösung für dieses Problem schlagen wir vor das Konzept der direkten Manipulation aus Morphic auf Transformationen im Quellcode zu übertragen. Hierfür werden wir das Design, die Implementierung und Integration einer bidirektionalen Abbildung zwischen graphischer Darstellung und einer funktionalen, deklarativen symbolischen Beschreibung in einer selbsterhaltenden Entwicklungsumgebung erörtern. Wir werden Transmorphic vorstellen, eine funktionale Variante des Morphic Frameworks, in der visuelle und strukturelle Eigenschaften in einer strikt funktionalen und daher deklarativen Art und Weise definiert werden. Innerhalb von Transmorphic hat der Entwickler die Möglichkeit verschieden Morphs zur Laufzeit mittels direkter Manipulation zusammenzusetzen, was direkt zu Änderungen im Quellcode der Anwendung übersetzt wird. Auf diese Weise kann die verständliche und nachvollziehbare direkte Interaktion aus Morphic, im Kontext einer vollständig funktional beschriebenen graphischen Benutzeroberfläche verwendet werden. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 110 KW - functional programming KW - morphic KW - functional lenses KW - direct manipulation KW - synchronization KW - FRP KW - reactive KW - immutable values KW - live programming KW - funktionale Programmierung KW - Morphic KW - Functional Lenses KW - direkte Manipulation KW - Synchronisation KW - FRP KW - reaktive Programmierung KW - Unveränderlichkeit KW - Live-Programmierung Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-98300 SN - 978-3-86956-387-9 SN - 1613-5652 SN - 2191-1665 IS - 110 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Ifenthaler, Dirk ED - Bellin-Mularski, Nicole ED - Mah, Dana-Kristin T1 - Foundation of Digital Badges and Micro-Credentials BT - Demonstrating and Recognizing Knowledge and Competencies N2 - 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. Y1 - 2016 SN - 978-3-319-15424-4 PB - Springer CY - Cham ER - TY - BOOK ED - Gärtner, Ursula T1 - www.BrAnD2. Wille. BT - Zweites Brandenburger Antike-Denkwerk T3 - Potsdamer Lateintage N2 - 2014 fand der Potsdamer Lateintag zum 10. Mal statt. Das Jubiläum war ein angemessener Anlass, unser neues Projekt vorzustellen. Die Robert Bosch-Stiftung fördert wieder für drei Jahre die Zusammenarbeit der Klassischen Philologie der Universität Potsdam mit Schulen aus Brandenburg. Der Titel lautet: www.BrAnD2. Wille. Würde. Wissen. Zweites Brandenburger Antike-Denkwerk. Zur Auftaktveranstaltung zum Thema „Wille“ erschienen wieder über 500 Teilnehmerinnen und Teilnehmer. Der Band versammelt einen Projektbericht, die Vorträge von Frau Prof. Dr. Christiane Kunst und Herrn Prof. Dr. Christoph Horn sowie eine Auswahl an Materialen der betreuenden Studierenden. N2 - The Potsdamer Lateintag was held in 2014 for the 10th time. The anniversary provided an opportunity to present our new project. The Robert Bosch-Stiftung is funding the cooperation between the Department for Classics at the University of Potsdam and schools from Brandenburg for the coming three years. The project is entitled: www.BrAnD2. Wille. Würde. Wissen. Zweites Brandenburger Antike-Denkwerk. More than 500 participants came to the opening event on the topic of “Wille” (will). This volume includes a report on the project, the lectures given by Prof. Dr. Christiane Kunst and Prof. Dr. Christoph Horn as well as a selection of the material provided by the mentoring students. T3 - Potsdamer Lateintage - 8 KW - Latein KW - Römische Geschichte KW - Römische Philosophie KW - Fachdidaktik Latein KW - Potsdamer Lateintag KW - Latin KW - Roman History KW - Roman Philosophy KW - Methods of teaching Latin Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-83976 SN - 978-3-86956-354-1 IS - 8 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Feinbube, Lena A1 - Richter, Daniel A1 - Gerstenberg, Sebastian A1 - Siegler, Patrick A1 - Haller, Angelo A1 - Polze, Andreas T1 - Software-Fehlerinjektion T1 - Software Fault Injection N2 - Fehlerinjektion ist ein essentielles Werkzeug, um die Fehlertoleranz komplexer Softwaresysteme experimentell zu evaluieren. Wir berichten über das Seminar zum Thema Software-Fehlerinjektion, das am Fachgebiet für Betriebssysteme und Middleware am Hasso-Plattner-Institut der Universität Potsdam im Sommersemester 2015 stattfand. In dem Seminar ging es darum, verschiedene Fehlerinjektionsansätze und -werkzeuge anzuwenden und hinsichtlich ihrer Anwendbarkeit in verschiedenen Szenarien zu bewerten. In diesem Bericht werden die studierten Ansätze vorgestellt und verglichen. N2 - Fault injection is an essential tool for experimentally evaluating the fault tolerance of complex software systems. We report on the seminar on Software Fault Injection, which took place at the Operating Systems and Middleware Group at Hasso Plattner Institute at University Potsdam in the summer term 2015. The seminar focussed on applying different fault injection approaches and tools, and on evaluating them regarding their applicability to different use cases. In this technical report, we present and compare the examined approaches. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 109 KW - Fehlerinjektion KW - Verlässlichkeit KW - Fehlertoleranz KW - Software-Testen KW - fault injection KW - dependability KW - fault tolerance KW - software testing Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-97435 SN - 978-3-86956-386-2 SN - 1613-5652 SN - 2191-1665 IS - 109 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Krämer, Raimund T1 - Zwischen Hegemonie und Verantwortung BT - Die Linke und die deutsche Außenpolitik im 21. Jahrhundert ; Festschrift für Erhard Crome zum 65. Geburtstag N2 - Deutsche Außenpolitik zu Beginn des 21. Jahrhunderts und die Linke im Spannungsfeld zwischen Nation und Internationalismus: Für Erhard Crome geht es um nicht weniger als die Frage, wie deutsche Außenpolitik von links gedacht und konzipiert werden sollte. In der vorliegenden Festschrift gehen Kolleginnen und Kollegen dieser Frage gemeinsam mit dem Jubilar nach. Ein Plädoyer für eine nicht-hegemoniale Verantwortung Deutschlands. Y1 - 2016 SN - 978-3-945878-31-6 PB - WeltTrends CY - Potsdam ER - TY - BOOK A1 - Kunze, Matthias A1 - Weske, Mathias T1 - Behavioural Models BT - From Modelling Finite Automata to Analysing Business Processes N2 - 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. Y1 - 2016 SN - 978-3-319-44958-6 PB - Springer CY - Cham ER -