TY - BOOK ED - Glauch, Sonja ED - Philipowski, Katharina T1 - Von sich selbst erzählen BT - Historische Dimensionen des Ich-Erzählens T3 - Studien zur historischen Poetik ; 26 N2 - Innerhalb der Mediävistik ist das volkssprachige Erzählen in der ersten Person bisher weder erzähltheoretisch noch in seinem Verhältnis zu Gattungstypen hinreichend aufgearbeitet. Dabei spielt diese Erzählhaltung literarhistorisch eine außerordentlich bedeutsame Rolle sowohl für die Entwicklung der Gattung des Romans in der Frühen Neuzeit als auch für die Entwicklung der Idee des fiktionalen Erzählers. Dieser Band hat das Ziel, das Spektrum der Texte zwischen Autobiographie und Historiographie, mystischen Offenbarungstexten und Traumallegorien, Minnesang und Minnerede sichtbar werden zu lassen. Die Beiträge des Sammelbandes befragen exemplarische Texte des 6. bis 15. Jahrhunderts im Hinblick auf Phänomene des Narrativen in lyrischen Texten, die Rolle, die dem Minnesang, auch als Gegenstand von Zyklusbildungen, bei der Literarisierung und Etablierung des Ich-Erzählens zukommt, Lizenzen und Restriktionen des Erzählens von sich selbst, die Profilierung von Autorrollen, die Funktion der Erzählperspektive für die Verbürgung und Geltungsbehauptung von Wissen und für die Darstellung von Erkenntnisprozessen, die wechselseitigen Abhängigkeiten von Erfahrung und Ich- Erzählen sowie die Problematik des Begriffs des Autobiographischen. Y1 - 2017 SN - 978-3-8253-6862-3 PB - Universitätsverlag Winter CY - Heidelberg ER - TY - BOOK ED - Kraß, Andreas ED - Klinger, Judith T1 - Tiere BT - Begleiter des Menschen in der Literatur des Mittelalters Y1 - 2017 SN - 978-3-412-50582-0 PB - Böhlau CY - Köln ER - TY - BOOK A1 - Gil, Thomas T1 - Things, Properties, and Relations Y1 - 2017 SN - 978-3-945878-39-2 PB - WeltTrends CY - Potsdam ER - TY - BOOK A1 - Apelojg, Benjamin A1 - Banse, Gerhard ED - Apelojg, Benjamin ED - Banse, Gerhard T1 - Technische Bildung und berufliche Orientierung im Wandel BT - Rückblicke, Einblicke, Ausblicke T3 - Sammelband N2 - Der Band versammelt 21 Beiträge, die unter dem Titel "Technische Bildung und berufliche Orientierung im Wandel" aus Anlass der Emeritierung von Prof. Dr. paed. habil Bernd Meier, Professur für Technologie und Berufliche Orientierung an der Wirtschafts- und Sozialwissenschaftlichen Fakultät der Universität Potsdam, auf einem Kolloquium 2017 gehalten wurden. KW - Technische Bildung KW - Wirtschaft, Arbeit, Technik Y1 - 2017 SN - 978-3864641565 VL - 133/134 PB - Trafo CY - Berlin ER - TY - BOOK A1 - Schneider, Sven A1 - Lambers, Leen A1 - Orejas, Fernando T1 - Symbolic model generation for graph properties N2 - Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. In particular, we want to be able to check automatically if a given graph property is satisfiable. Actually, in most application scenarios it is desirable to be able to explore graphs satisfying the graph property if they exist or even to get a complete and compact overview of the graphs satisfying the graph property. We show that the tableau-based reasoning method for graph properties as introduced by Lambers and Orejas paves the way for a symbolic model generation algorithm for graph properties. Graph properties are formulated in a dedicated logic making use of graphs and graph morphisms, which is equivalent to firstorder logic on graphs as introduced by Courcelle. Our parallelizable algorithm gradually generates a finite set of so-called symbolic models, where each symbolic model describes a set of finite graphs (i.e., finite models) satisfying the graph property. The set of symbolic models jointly describes all finite models for the graph property (complete) and does not describe any finite graph violating the graph property (sound). Moreover, no symbolic model is already covered by another one (compact). Finally, the algorithm is able to generate from each symbolic model a minimal finite model immediately and allows for an exploration of further finite models. The algorithm is implemented in the new tool AutoGraph. N2 - Graphen sind allgegenwärtig in der Informatik. Daher ist die Verfügbarkeit von Methoden zur Darstellung und Untersuchung von Grapheigenschaften in vielen Gebieten von großer Wichtigkeit. Insbesondere ist die vollautomatische Überprüfung von Grapheigenschaften auf Erfüllbarkeit von zentraler Bedeutung. Darüberhinaus ist es in vielen Anwendungsszenarien wünschenswert diejenigen Graphen geeignet aufzuzählen, die eine Grapheigenschaft erfüllen. Im Falle einer unendlich großen Anzahl von solchen Graphen ist ein kompletter und gleichzeitig kompakter Überblick über diese Graphen anzustreben. Wir zeigen, dass die Tableau-Methode für Grapheigenschaften von Lambers und Orejas den Weg für einen Algorithmus zur Generierung von symbolischen Modellen frei gemacht hat. Wir formulieren Grapheigenschaften hierbei in einer dedizierten Logik basierend auf Graphen und Graphmorphismen. Diese Logik ist äquivalent zu der First-Order Logic auf Graphen, wie sie von Courcelle eingeführt wurde. Unser parallelisierbarer Algorithmus bestimmt graduell eine endliche Menge von sogenannten symbolischen Modellen. Hierbei beschreibt jedes symbolische Modell eine Menge von endlichen Graphen, die die Grapheigenschaft erfüllen. Die symbolischen Modelle decken so gemeinsam alle endlichen Modelle ab, die die Grapheigenschaft erfüllen (Vollständigkeit) und beschreiben keine endlichen Graphen, die die Grapheigenschaft verletzen (Korrektheit). Außerdem wird kein symbolisches Modell von einem anderen abgedeckt (Kompaktheit). Letztlich ist der Algorithmus in der Lage aus jedem symbolischen Modell ein minimales endliches Modell zu extrahieren und weitere endliche Modelle abzuleiten. Der Algorithmus ist in dem neuen Werkzeug AutoGraph implementiert. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 115 KW - model generation KW - nested graph conditions KW - tableau method KW - graph transformation KW - satisfiabilitiy solving KW - Modellerzeugung KW - verschachtelte Graphbedingungen KW - Tableaumethode KW - Graphtransformation KW - Erfüllbarkeitsanalyse Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-103171 SN - 978-3-86956-396-1 SN - 1613-5652 SN - 2191-1665 IS - 115 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Esguerra, Alejandro ED - Helmerich, Nicole ED - Risse, Thomas T1 - Sustainability Politics and Limited Statehood BT - Contesting the New Modes of Governance Y1 - 2017 SN - 978-3-319-39870-9 SN - 978-3-319-39871-6 U6 - https://doi.org/10.1007/978-3-319-39871-6 PB - Springer CY - Cham ER - TY - BOOK A1 - Schubarth, Wilfried A1 - Seidel, Andreas A1 - Mauermeister, Sylvi A1 - Fuhrmann, Michaela A1 - Faaß, Marcel A1 - Niproschke, Saskia A1 - Zylla, Birgitta A1 - Ulbricht, Juliane A1 - Schulze-Reichelt, Friederike A1 - Köhler, Anke A1 - Erdmann, Melinda A1 - Ratzlaff, Olaf A1 - Kottmann, Andrea A1 - Unger, Martin A1 - Dibiasi, Anna A1 - Grzywacz, Małgorzata A1 - Miłkowska, Grażyna A1 - Piorunek, Magdalena A1 - Sałaciński, Lech A1 - Grecmanová, Helena A1 - Dopita, Miroslav A1 - Kantorová, Jana A1 - Wippermann, Melanie A1 - Skopalová, Jitka A1 - V’junova, Natalja Ivanovna A1 - Ivanova, Olga Anatol’evna A1 - Apostolow, Benjamin ED - Schubarth, Wilfried ED - Mauermeister, Sylvi ED - Seidel, Andreas T1 - Studium nach Bologna BT - Befunde und Positionen T3 - Potsdamer Beiträge zur Hochschulforschung N2 - Ziel des vorliegenden dritten Bandes der Potsdamer Beiträge zur Hochschulforschung ist es, ausgewählte Aspekte der Hochschuldebatte um Studium und Lehre zu beleuchten und mit empirischen Befunden zu vertiefen. Im ­Fokus stehen solche aktuellen Debatten wie die Gestaltung des Studieneingangs, die Erhöhung der Beschäftigungsbefähigung, die Qualität der Praktika sowie Probleme der Lehrerbildung. Dabei wird die Hochschuldebatte in Deutschland durch einschlägige Beiträge aus anderen, west- und osteuropäischen Ländern erweitert. Die Reihe versteht sich als Forum verschiedener Akteure aus der Hochschulforschung, die die Diskussion zur Qualitätsentwicklung in Lehre und Studium mit ihren Impulsen aus Analysen und empirischen Ergebnissen bereichern sollen. Der Band richtet sich an alle, die sich für die Entwicklung an Hochschulen interessieren. T3 - Potsdamer Beiträge zur Hochschulforschung - 3 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-103998 SN - 978-3-86956-399-2 SN - 2192-1075 SN - 2192-1083 IS - 3 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Mackert, Jürgen ED - Turner, Bryan S. T1 - Struggle, Resistance and Violence T3 - The transformation of citizenship N2 - This volume Struggle, Resistance and Violence examines the fact that all over the world the rights of citizens have come under enormous pressure and addresses the many ways in which people are ‘making claims’ against both autocratic and democratic authority. Without any doubt rule-breaking, riots and violent upheavals have become an aspect of political struggles for citizenship. The book takes up a conflict perspective that directs attention to these recent phenomena. It stresses the necessity of a careful analysis of resistance and violence as critical factors for coming to terms with social conflicts for citizenship from Europe to South America, as well as the Near East, the Far East and the Arab World Y1 - 2017 SN - 978-1-138-67288-8 (print) SN - 978-1-317-20385-8 (online) IS - 3 PB - Routledge Taylor CY - London ER - TY - BOOK A1 - Niephaus, Fabio A1 - Felgentreff, Tim A1 - Hirschfeld, Robert T1 - Squimera BT - a live, Smalltalk-based IDE for dynamic programming languages N2 - Programmierwerkzeuge, die verschiedene Programmiersprachen unterstützen und sich konsistent bedienen lassen, sind hilfreich für Softwareentwickler, weil diese sich nicht erst mit neuen Werkzeugen vertraut machen müssen, wenn sie in einer neuen Sprache entwickeln wollen. Außerdem ist es nützlich, verschiedene Programmiersprachen in einer Anwendung kombinieren zu können, da Entwickler dann Softwareframeworks und -bibliotheken nicht in der jeweiligen Sprache nachbauen müssen und stattdessen bestehende Software wiederverwenden können. Dennoch haben Entwickler eine sehr große Auswahl, wenn sie nach Werkzeugen suchen, die teilweise zudem speziell nur für eine Sprache ausgelegt sind. Einige integrierte Entwicklungsumgebungen unterstützen verschiedene Programmiersprachen, können aber häufig keine konsistente Bedienung ihrer Werkzeuge gewährleisten, da die jeweiligen Ausführungsumgebungen der Sprachen zu verschieden sind. Darüber hinaus gibt es bereits Mechansimen, die es erlauben, Programme aus anderen Sprachen in einem Programm wiederzuverwenden. Dazu werden häufig das Betriebssystem oder eine Netzwerkverbindung verwendet. Programmierwerkzeuge unterstützen jedoch häufig eine solche Indirektion nicht und sind deshalb nur eingeschränkt nutzbar bei beispielsweise Debugging Szenarien. In dieser Arbeit stellen wir einen neuartigen Ansatz vor, der das Programmiererlebnis in Bezug auf das Arbeiten mit mehreren dynamischen Programmiersprachen verbessern soll. Dazu verwenden wir die Werkzeuge einer Smalltalk Programmierumgebung wieder und entwickeln eine virtuelle Ausführungsumgebung, die verschiedene Sprachen gleichermaßen unterstützt. Der auf unserem Ansatz basierende Prototyp Squimera demonstriert, dass es möglich ist, Programmierwerkzeuge in der Art wiederzuverwenden, sodass sie sich für verschiedene Programmiersprachen gleich verhalten und somit die Arbeit für Entwickler vereinfachen. Außerdem ermöglicht Squimera einfaches Wiederverwenden und darüber hinaus das Verschmischen von in unterschiedlichen Sprachen geschriebenen Softwarebibliotheken und -frameworks und erlaubt dabei zusätzlich Debugging über mehrere Sprachen hinweg. N2 - Software development tools that work and behave consistently across different programming languages are helpful for developers, because they do not have to familiarize themselves with new tooling whenever they decide to use a new language. Also, being able to combine multiple programming languages in a program increases reusability, as developers do not have to recreate software frameworks and libraries in the language they develop in and can reuse existing software instead. However, developers often have a broad choice with regard to tools, some of which are designed for only one specific programming language. Various Integrated Development Environments have support for multiple languages, but are usually unable to provide a consistent programming experience due to different features of language runtimes. Furthermore, common mechanisms that allow reuse of software written in other languages usually use the operating system or a network connection as the abstract layer. Tools, however, often cannot support such indirections well and are therefore less useful in debugging scenarios for example. In this report, we present a novel approach that aims to improve the programming experience with regard to working with multiple high-level programming languages. As part of this approach, we reuse the tools of a Smalltalk programming environment for other languages and build a multi-language virtual execution environment which is able to provide the same runtime capabilities for all languages. The prototype system Squimera is an implementation of our approach and demonstrates that it is possible to reuse development tools, so that they behave in the same way across all supported programming languages. In addition, it provides convenient means to reuse and even mix software libraries and frameworks written in different languages without breaking the debugging experience. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 120 KW - Programmiererlebnis KW - integrierte Entwicklungsumgebungen KW - mehrsprachige Ausführungsumgebungen KW - Interpreter KW - Debugging KW - Smalltalk KW - Python KW - Ruby KW - programming experience KW - integrated development environments KW - polyglot execution environments KW - interpreters KW - debugging KW - small talk KW - Python KW - Ruby Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-403387 SN - 978-3-86956-422-7 IS - 120 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Bossen, Anja A1 - Biegholdt, Georg A1 - Tellisch, Christin A1 - Steinmann, Brigitte ED - Bossen, Anja ED - Jank, Birgit T1 - Sprache im Musikunterricht BT - Ausgewählte Aspekte sprachbewussten Handelns im Kontext von Inklusion T3 - Potsdamer Schriftenreihe zur Musikpädagogik N2 - Mit dem vorliegenden Band 5 der Potsdamer Schriftenreihe zur Musikpädagogik wird die bildungspolitische Diskussion um den Stellenwert bewussten Sprachhandelns im Fach aufgegriffen. Ausgehend vom aktuellen Forschungsstand zum Thema „Sprache und Sprechen im Musikunterricht“ werden Forschungsarbeiten vorgestellt, die in diesem Kontext zwischen 2013 und 2016 am Lehrstuhl für Musikpädagogik und Musikdidaktik der Universität Potsdam entstanden sind. Die Beiträge skizzieren sowohl Möglichkeiten zur Umsetzung eines sprachbildenden Fachunterrichts Musik als auch soziale Aspekte sprachlichen Lehrerhandelns und setzen damit neue Impulse im musikpädagogischen Diskurs. Die Veröffentlichung der vorliegenden Forschungsergebnisse wurde durch die Unterstützung des Ministeriums für Arbeit, Soziales, Gesundheit, Frauen und Familie des Landes Brandenburg und der Integrationsbeauftragten sowie durch die Universitätsgesellschaft Potsdam e. V. ermöglicht. T3 - Potsdamer Schriftenreihe zur Musikpädagogik - 5 KW - Musikunterricht KW - Inklusion KW - Sprache KW - Lehrer KW - Interaktion KW - music in school KW - inclusion KW - language KW - teacher KW - interaction Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-399125 SN - 978-3-86956-410-4 SN - 2196-5080 SN - 1861-8529 IS - 5 PB - Universitätsverlag Potsdam CY - Potsdam ER -