Refine
Has Fulltext
- yes (25) (remove)
Year of publication
- 2017 (25) (remove)
Document Type
- Monograph/Edited Volume (25) (remove)
Keywords
- Graphtransformationen (2)
- Graphtransformationssysteme (2)
- Inklusion (2)
- Musikunterricht (2)
- Sprache (2)
- graph constraints (2)
- graph transformation (2)
- inclusion (2)
- Abhängigkeiten (1)
- Angriffe (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (8)
- Department Erziehungswissenschaft (4)
- Extern (4)
- Sozialwissenschaften (2)
- Vereinigung für Jüdische Studien e. V. (2)
- Department Musik und Kunst (1)
- Hasso-Plattner-Institut für Digital Engineering GmbH (1)
- Institut für Germanistik (1)
- Institut für Philosophie (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Kommunalwissenschaftliches Institut (1)
- Zentrale und wissenschaftliche Einrichtungen (1)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (1)
In der vorliegenden Arbeit wird die Funktion verschiedener Bibelbezüge im Romanwerk Theodor Fontanes untersucht. Dabei wird die These vertreten, dass Fontanes Verweise auf biblische Texte nicht etwa bloß als theologische Positionierungen zu lesen seien, sondern dass er die Bibel als Speicher an kulturellem Wissen in Form von Narrativen, Personen, Geflügelten Worten etc. begreift, den er in seiner Leserschaft voraussetzen kann und durch den er Themen wie Normativität und Diskursivität mit einer besonderen Tiefe in der Spannung von Text und Prätext verhandeln kann. Im Zentrum der Untersuchung stehen dabei Verwendungen von Bibelbezügen als hochkommunikative Diskursschablonen für poetologische Selbstreflexionen sowie für politische oder frömmigkeits-praktische Kontroversen.
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.
Studium nach Bologna
(2017)
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.
Squimera
(2017)
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.
Sprache im Musikunterricht
(2017)
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.
Region – Sprache – Literatur
(2017)
Mit dem neuen Rahmenlehrplan für die Länder Brandenburg und Berlin wird der Kompetenzentwicklung der Schülerinnen und Schüler unter den Bedingungen lebensweltlicher Erfahrungen ein besonderer Stellenwert beigemessen. Der Sammelband enthält Beiträge, in denen den Lehrerinnen und Lehrern vielfältige Unterrichtsmaterialien und didaktische Anregungen für einen praxisnahen, entdeckenden Unterricht in der Primar- und Sekundarstufe für den Deutschunterricht vorgestellt werden. Diese reichen von theoretischen Grundlagen, über einzelne Unterrichtssequenzen und Projekte bis zur Darstellung einer Lernspirale für die Jahrgangsstufen 1 bis 10. Vielfältige, auch multimediale Zugänge bis zum spielerischen Umgang mit der Sprache zeigen, dass Sprache kein „trockener“ Lerngegenstand sein muss. Die Beiträge geben darüber hinaus Einblicke in die fachlichen Hintergründe, die helfen sollen, den Zugang zu den einzelnen Gegenständen zu erleichtern. Das thematische Zentrum „Region“ bildet den Ausgangspunkt für die Einbeziehung des Niederdeutschen, Sorbischen, Berlinischen, Kiezdeutschen sowie der Dialekte. Dabei werden sowohl literarische als auch Sachtexte berücksichtigt.
Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.
On the occasion of this symposium we called for submissions of research papers and practitioner's reports. A compilation of the research papers realized during the fourth HPI cloud symposium "Operating the Cloud" 2016 are published in this proceedings. We thank the authors for exciting presentations and insights into their current work and research.
Moreover, we look forward to more interesting submissions for the upcoming symposium later in the year. Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.
Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behaviour also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far.
To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.
Konzepte, nach denen sich die demokratische Mitwirkung der Bürger vornehmlich in Wahlen erschöpft, gehören spätestens seit „Stuttgart 21“ der Vergangenheit an. Indes ist die Bürgerbeteiligung auch jenseits solcher Großprojekte längst zu einem beherrschenden Thema der Zeit herangewachsen. Das gilt zumal für die kommunale Ebene. Dort werden traditionsreiche Partizipationsformen nicht nur intensiv genutzt, sondern zunehmend um neue Beteiligungsvarianten ergänzt und in innovativen Modellprojekten fortentwickelt. Dabei treten zwei Antriebskräfte besonders hervor. Zum einen fordern die Bürger nach den Maximen „Mitmachen, Mitwirken, Mitentscheiden“ deutlich verbesserte Partizipationsmöglichkeiten ein. Zum anderen setzen die Kommunen verstärkt auf bürgerschaftliches Engagement zur Erschließung Ressourcen privater Akteure für die Bereitstellung öffentlicher Leistungen. Übergreifende Perspektive ist die Ausbildung einer Neuen Partizipationskultur in der Bürgerkommune zur Optimierung des Gemeinwohls.
Für die kommunale Praxis ist das partizipationsgestützte Miteinander von Verwaltung. Politik und Bürgerschaft in Systementwürfen, Leitbildern, Organisations- und Verfahrensmodellen sowie lokalen Beteiligungsformaten konkretisiert. Doch verbinden sich mit den alten und neuen Ansätzen der Bürgerbeteiligung noch eine ganze Reihe offener Fragen – so etwa nach den rechtlichen Möglichkeiten und Grenzen der neuen kommunalen Beteiligungskultur, nach Erfolgsbedingungen und konkreten Erfahrungen mit der Umsetzung von Partizipationsmodellen.
Auf der 21. Fachtagung des Kommunalwissenschaftlichen Instituts (KWI) der Universität Potsdam wurden Schlüsselthemen der Neuen Partizipationskultur in der Bürgerkommune, namentlich der normativen Rahmenbedingungen und politischen Direktiven, Modernisierungsimpulse und Aktivierungsstrategien, Erfolgsbedingungen und spezifische Problemlagen einschließlich der Fallstricke in der Praxis und nicht zuletzt ausgewählter Einsatzfelder mit den dazugehörigen Erfahrungen diskutiert.