@book{SteinbrinkBuningLegantetal.2015,
  author    = {Steinbrink, Malte and Buning, Michael and Legant, Martin and Schauwinhold, Berenike and S{\"u}ßenguth, Tore},
  title     = {Armut und Tourismus in Windhoek},
  isbn      = {978-3-86956-322-0},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-72513},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2015},
  abstract  = {Seit Mitte der 1990er Jahre werden in Windhoektouristische Besichtigungstouren durch das ehemalige Township Katutura angeboten. Damit war der St{\"a}dtetourismus in der namibischen Hauptstadt recht fr{\"u}h Teil eines Trends, der zu Beginn desselben Jahrzehnts - ausgehend vom Nachbarland S{\"u}dafrika - einsetzte: die touristische Inwertsetzung st{\"a}dtischer Armutsviertel. Dieses h{\"a}ufig als „Slum- oder Armutstourismus" bezeichnete Ph{\"a}nomen sorgt seit seiner Entstehung nicht nur f{\"u}r einiges mediales Aufsehen und eine {\"o}ffentliche Emp{\"o}rung, sondern das Global Slumming wird in den letzten Jahren auch immer mehr zum Gegenstand wissenschaftlicher Forschung. Der Slumtourismus bietet den Anlass neu {\"u}ber das Verh{\"a}ltnis von Armut und Tourismus im weltgesellschaftlichen Kontext nachzudenken. Diese Publikation ist das Ergebnis eines Studienprojekts des Instituts f{\"u}r Geographie der Universit{\"a}t Osnabr{\"u}ck. Sie ist die erste umfangreichere empirische Fallstudie zum Townshiptourismus in Namibia.},
  language  = {de}
}
@book{OPUS4-8996,
  title     = {Auswertung der Befragung zum Einsatz mobiler internetf{\"a}higer Ger{\"a}te durch Studierende an der Universit{\"a}t Potsdam},
  number    = {3},
  editor    = {Bereich Lehre und Medien, Zentrum f{\"u}r Qualit{\"a}tsentwicklung in Lehre und Studium},
  issn      = {2199-6520},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-89966},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {ii, 20},
  year      = {2015},
  abstract  = {Welche mobilen internetf{\"a}higen Ger{\"a}te Studierende der Universit{\"a}t Potsdam nutzen und in welchem Rahmen dies geschieht, soll die hiermit vorgelegte Untersuchung aufzeigen. Im Sommersemester 2014 hat die AG eLEARNiNG der Universit{\"a}t Potsdam unter 290 Studierenden unterschiedlicher Fachrichtungen eine Umfrage zum Umgang mobilen, internetf{\"a}higen Endger{\"a}ten durchgef{\"u}hrt, um das E-Learning-Angebot den Bed{\"u}rfnissen der Studierenden entsprechend anpassen und weiterentwickeln zu k{\"o}nnen. Um einen Vergleich zwischen verschiedenen Studieng{\"a}ngen und -standorten ziehen zu k{\"o}nnen, wurde die Befragung mit Studierenden in Veranstaltungen mit kontr{\"a}ren Parametern (Studienfach, Semesterzahl, Universit{\"a}tsstandort) durchgef{\"u}hrt.},
  language  = {de}
}
@book{FelgentreffHirschfeldMillsteinetal.2015,
  author    = {Felgentreff, Tim and Hirschfeld, Robert and Millstein, Todd and Borning, Alan},
  title     = {Babelsberg/RML},
  number    = {103},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-348-0},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83826},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {68},
  year      = {2015},
  abstract  = {New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.},
  language  = {en}
}
@book{BauerBirgMaedingetal.2015,
  author    = {Bauer, Hartmut and Birg, Herwig and M{\"a}ding, Heinrich and Appel, Clemens and K{\"u}hnert, Uwe and Falken, Christiane and Berg, Frank and Strauch, Friedrich and Reichard, Christoph and Petry, Klaus},
  title     = {Demografischer Wandel},
  editor    = {Bauer, Hartmut and B{\"u}chner, Christiane and Gr{\"u}ndel, Olaf},
  edition   = {3., durchges., Aufl.},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-323-7},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-72998},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {113},
  year      = {2015},
  abstract  = {Aus dem Editorial: „Negativzuwanderung" w{\"a}hlten die {\"O}sterreicher zu ihrem Unwort des Jahres 2005. Dieser Begriff verdeutlicht einen Aspekt des gesamtgesellschaftlichen Problems des demografischen Wandels, der nicht nur in {\"O}sterreich seit einiger Zeit f{\"u}r jeden zu sp{\"u}ren ist. Verstanden wird darunter die quantitative und qualitative Ver{\"a}nderung der Bev{\"o}lkerungsstruktur, die sich f{\"u}r Deutschland und die meisten westeurop{\"a}ischen L{\"a}nder mit drei Schlagworten beschreiben l{\"a}sst: weniger Kinder, mehr Alte, also insgesamt weniger Menschen. Allein f{\"u}r Deutschland wird bis 2050 ein Bev{\"o}lkerungsr{\"u}ckgang um 20\% erwartet. Davon betroffen sind alle Politikfelder, unter anderem die Bildungs- und Sozialpolitik sowie die Arbeitsmarkt- und Infrastrukturpolitik. Eine Herausforderung, die f{\"u}r Politik und Verwaltung gleichermaßen einmalig in der j{\"u}ngeren Geschichte ist. Als „unterste" Ebene sind die Kommunen und ihre Einrichtungen besonders stark betroffen, denn sie halten die Mehrzahl der infrastrukturellen und sonstigen {\"o}ffentlichen Einrichtungen f{\"u}r die Menschen vor, sie sind {\"u}ber einwohnerbezogene Finanzzuweisungssysteme abh{\"a}ngig von „ihren Menschen" und haben gleichzeitig wenig Einfluss auf die wirtschaftlich bedingten Zu- oder Wegz{\"u}ge der Einwohner. Sind diese Entwicklungen seit l{\"a}ngerer Zeit bekannt und werden intensiv diskutiert, so sind in letzter Zeit eine Reihe von Strategien und Handlungskonzepten entwickelt worden, um mit diesem Problem umgehen zu k{\"o}nnen. Das Kommunalwissenschaftliche Institut der Universit{\"a}t Potsdam (KWI) veranstaltete am 3. April 2006 eine Fachtagung „Demografie im Wandel. Herausforderungen f{\"u}r die Kommunen". Zum 12. Mal trafen sich seit der Gr{\"u}ndung des Institutes ca. 250 Vertreter der Wissenschaft, der Politik, der Verb{\"a}nde, insbesondere aber der Kommunen, um {\"u}ber aktuelle Demografieprobleme zu diskutieren. Dabei standen sowohl die wissenschaftliche Analyse als auch politische Handlungsstrategien im Fokus der Diskussion. Wichtige Ergebnisse dieser Tagung sind im nachfolgenden KWI-Arbeitsheft festgehalten und werden durch weitere Beitr{\"a}ge zum Thema erg{\"a}nzt.},
  language  = {de}
}
@book{HebigGieseBatoulisetal.2015,
  author    = {Hebig, Regina and Giese, Holger and Batoulis, Kimon and Langer, Philipp and Zamani Farahani, Armin and Yao, Gary and Wolowyk, Mychajlo},
  title     = {Development of AUTOSAR standard documents at Carmeq GmbH},
  number    = {92},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-317-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-71535},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {52},
  year      = {2015},
  abstract  = {This report documents the captured MDE history of Carmeq GmbH, in context of the project Evolution of MDE Settings in Practice. The goal of the project is the elicitation of MDE approaches and their evolution.},
  language  = {en}
}
@book{HerbstMaschlerNiephausetal.2015,
  author    = {Herbst, Eva-Maria and Maschler, Fabian and Niephaus, Fabio and Reimann, Max and Steier, Julia and Felgentreff, Tim and Lincke, Jens and Taeumel, Marcel and Hirschfeld, Robert and Witt, Carsten},
  title     = {ecoControl},
  number    = {93},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-318-3},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-72147},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {viii, 142},
  year      = {2015},
  abstract  = {Eine dezentrale Energieversorgung ist ein erster Schritt in Richtung Energiewende. Dabei werden auch in Mehrfamilienh{\"a}usern vermehrt verschiedene Strom- und W{\"a}rmeerzeuger eingesetzt. Besonders in Deutschland kommen in diesem Zusammenhang Blockheizkraftwerke immer h{\"a}ufiger zum Einsatz, weil sie Gas sehr effizient in Strom und W{\"a}rme umwandeln k{\"o}nnen. Außerdem erm{\"o}glichen sie, im Zusammenspiel mit anderen Energiesystemen wie beispielsweise Photovoltaik-Anlagen, eine kontinuierliche und dezentrale Energieversorgung. Bei dem Betrieb von unterschiedlichen Energiesystemen ist es w{\"u}nschenswert, dass die Systeme aufeinander abgestimmt arbeiten. Allerdings ist es bisher schwierig, heterogene Energiesysteme effizient miteinander zu betreiben. Dadurch bleiben Einsparungspotentiale ungenutzt. Eine zentrale Steuerung kann deshalb die Effizienz des Gesamtsystems verbessern. Mit ecoControl stellen wir einen erweiterbaren Prototypen vor, der die Kooperation von Energiesystemen optimiert und Umweltfaktoren miteinbezieht. Dazu stellt die Software eine einheitliche Bedienungsoberfl{\"a}che zur Konfiguration aller Systeme zur Verf{\"u}gung. Außerdem bietet sie die M{\"o}glichkeit, Optimierungsalgorithmen mit Hilfe einer Programmierschnittstelle zu entwickeln, zu testen und auszuf{\"u}hren. Innerhalb solcher Algorithmen k{\"o}nnen von ecoControl bereitgestellte Vorhersagen genutzt werden. Diese Vorhersagen basieren auf dem individuellen Verhalten von jedem Energiesystem, Wettervorhersagen und auf Prognosen des Energieverbrauchs. Mithilfe einer Simulation k{\"o}nnen Techniker unterschiedliche Konfigurationen und Optimierungen sofort ausprobieren, ohne diese {\"u}ber einen langen Zeitraum an realen Ger{\"a}ten testen zu m{\"u}ssen. ecoControl hilft dar{\"u}ber hinaus auch Hausverwaltungen und Vermietern bei der Verwaltung und Analyse der Energiekosten. Wir haben anhand von Fallbeispielen gezeigt, dass Optimierungsalgorithmen, welche die Nutzung von W{\"a}rmespeichern verbessern, die Effizienz des Gesamtsystems erheblich verbessern k{\"o}nnen. Schließlich kommen wir zu dem Schluss, dass ecoControl in einem n{\"a}chsten Schritt unter echten Bedingungen getestet werden muss, sobald eine geeignete Hardwarekomponente verf{\"u}gbar ist. {\"U}ber diese Schnittstelle werden die Messwerte an ecoControl gesendet und Steuersignale an die Ger{\"a}te weitergeleitet.},
  language  = {de}
}
@book{BeyhlGiese2015,
  author    = {Beyhl, Thomas and Giese, Holger},
  title     = {Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks},
  number    = {99},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-339-8},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-79535},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {148},
  year      = {2015},
  abstract  = {Graph databases provide a natural way of storing and querying graph data. In contrast to relational databases, queries over graph databases enable to refer directly to the graph structure of such graph data. For example, graph pattern matching can be employed to formulate queries over graph data. However, as for relational databases running complex queries can be very time-consuming and ruin the interactivity with the database. One possible approach to deal with this performance issue is to employ database views that consist of pre-computed answers to common and often stated queries. But to ensure that database views yield consistent query results in comparison with the data from which they are derived, these database views must be updated before queries make use of these database views. Such a maintenance of database views must be performed efficiently, otherwise the effort to create and maintain views may not pay off in comparison to processing the queries directly on the data from which the database views are derived. At the time of writing, graph databases do not support database views and are limited to graph indexes that index nodes and edges of the graph data for fast query evaluation, but do not enable to maintain pre-computed answers of complex queries over graph data. Moreover, the maintenance of database views in graph databases becomes even more challenging when negation and recursion have to be supported as in deductive relational databases. In this technical report, we present an approach for the efficient and scalable incremental graph view maintenance for deductive graph databases. The main concept of our approach is a generalized discrimination network that enables to model nested graph conditions including negative application conditions and recursion, which specify the content of graph views derived from graph data stored by graph databases. The discrimination network enables to automatically derive generic maintenance rules using graph transformations for maintaining graph views in case the graph data from which the graph views are derived change. We evaluate our approach in terms of a case study using multiple data sets derived from open source projects.},
  language  = {en}
}
@book{WilhelmHummelbrunnerCausemannetal.2015,
  author    = {Wilhelm, Jan Lorenz and Hummelbrunner, Richard and Causemann, Bernward and Mutter, Theo and Raab, Michaela and Bugenhagen, Anja and Smid, Hendrik},
  title     = {Evaluation komplexer Systeme},
  editor    = {Wilhelm, Jan Lorenz},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-336-7},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-78384},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {169},
  year      = {2015},
  abstract  = {Seit von Foerster k{\"o}nnen wir soziale Systeme als Black Boxes betrachten, zu deren Funktionsweise keine klaren Wenn-Dann-Aussagen m{\"o}glich erscheinen und deren Operationsweise sich f{\"u}r den Beobachter immer nur sequenziell und sprunghaft - und folglich nie ganzheitlich - darstellt. Jedes Bem{\"u}hen, ein soziales System tiefgr{\"u}ndig verstehen und abbilden zu wollen, kann somit schnell ein Gef{\"u}hl von Orientierungslosigkeit und {\"U}berforderung ausl{\"o}sen - {\"a}hnlich, wie w{\"a}hrend einer Achterbahnfahrt. F{\"u}r die Evaluationsdebatte resultiert aus dieser Sichtweise die Kernfrage, wie nun also im Rahmen von Evaluationen mit sozialer Komplexit{\"a}t umgegangen werden kann. An diese Frage ankn{\"u}pfend stellt der vorliegende Band das Feld der systemischen Therapie- und Beratungsans{\"a}tze als inspirierenden Fundus vor, aus welchem sich Konzepte, Methoden und Techniken zur Gestaltung von Evaluationsvorhaben ableiten lassen. Aber welche M{\"o}glichkeiten und Grenzen offenbaren sich dabei? L{\"a}sst sich sozialer Komplexit{\"a}t mit Hilfe dieser Ans{\"a}tze besser begegnen? Welche Rahmenbedingungen sollten dabei erf{\"u}llt sein und wie lassen sich systemische von nicht-systemischen Ans{\"a}tzen unterscheiden?},
  language  = {de}
}
@book{OttoPollakWerneretal.2015,
  author    = {Otto, Philipp and Pollak, Jaqueline and Werner, Daniel and Wolff, Felix and Steinert, Bastian and Thamsen, Lauritz and Taeumel, Marcel and Lincke, Jens and Krahn, Robert and Ingalls, Daniel H. H. and Hirschfeld, Robert},
  title     = {Exploratives Erstellen von interaktiven Inhalten in einer dynamischen Umgebung​},
  number    = {101},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-346-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83806},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {vii, 115},
  year      = {2015},
  abstract  = {Bei der Erstellung von Visualisierungen gibt es im Wesentlichen zwei Ans{\"a}tze. Zum einen k{\"o}nnen mit geringem Aufwand schnell Standarddiagramme erstellt werden. Zum anderen gibt es die M{\"o}glichkeit, individuelle und interaktive Visualisierungen zu programmieren. Dies ist jedoch mit einem deutlich h{\"o}heren Aufwand verbunden. Flower erm{\"o}glicht eine schnelle Erstellung individueller und interaktiver Visualisierungen, indem es den Entwicklungssprozess stark vereinfacht und die Nutzer bei den einzelnen Aktivit{\"a}ten wie dem Import und der Aufbereitung von Daten, deren Abbildung auf visuelle Elemente sowie der Integration von Interaktivit{\"a}t direkt unterst{\"u}tzt.},
  language  = {de}
}
@book{KitschkeRubel2015,
  author    = {Kitschke, Dorothea and Rubel, Katrin},
  title     = {Forschendes Lernen in der Hochschullehre},
  volume    = {2015},
  number    = {4},
  issn      = {2364-3927},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-74689},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {11},
  year      = {2015},
  abstract  = {Mit forschendem Lernen werden unterschiedliche didaktische Ans{\"a}tze assoziiert, um Forschung und Lehre miteinander in Verbindung zu bringen. Bei der Entwicklung eines Lehrhandelns, das forschendes Lernen anregen soll, kommt es nicht nur auf die Kenntnis vorhandener M{\"o}glichkeiten, sondern auch auf eine reflektierende Auseinandersetzung mit den Zielen von Hochschullehre, den fachlichen und organisatorischen Gegebenheiten und didaktischen Leitbildern an. Weiterbildungsveranstaltungen f{\"u}r interessierte Lehrende sollten einen begleitenden Rahmen f{\"u}r die systematische Entwicklung und Erprobung von eigenen Konzepten herstellen und das Bilden ({\"u}berfachlicher) kollegialer Netzwerke anregen.},
  language  = {de}
}
@book{OPUS4-7266,
  title     = {Genisa-Bl{\"a}tter},
  editor    = {Denz, Rebekka and Rudolf, Gabi},
  isbn      = {978-3-86956-316-9},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-72666},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {166},
  year      = {2015},
  abstract  = {Im Rahmen von zwei Workshops f{\"u}r Nachwuchswissenschaftler unterschiedlicher Disziplinen, die im November 2012 bzw. im Oktober 2013 in Veitsh{\"o}chheim (Unterfranken) stattfanden, wurde eine Auswahl des reichhaltigen Materials der Genisa-Forschungsstelle genau unter die Lupe genommen. Erstmals war es somit m{\"o}glich, das vielf{\"a}ltige Quellenmaterial durch eine gemeinsame f{\"a}cher{\"u}bergreifende Bearbeitung zu untersuchen und sich durch inhaltliche Verkn{\"u}pfungen und Assoziationen der fachkundigen Teilnehmer der Komplexit{\"a}t des fr{\"a}nkischen Judentums angemessen zu n{\"a}hern. Erfreulicherweise haben einige der Workshop-Teilnehmer ihre Arbeitsergebnisse f{\"u}r diese Publikation aufbereitet. Die bei den Workshops untersuchten Quellenst{\"u}cke wiesen keinen gemeinsamen inhaltlichen Schwerpunkt auf. Den Teilnehmern wurde eine Auswahl aus der großen Bandbreite zur Bearbeitung zur Verf{\"u}gung gestellt. Untersucht wurden schriftliche und materielle Quellen unterschiedlichsten Inhalts, Sprache und Erhaltungszustands, die sich an den Sprachkenntnissen der Workshop-Teilnehmer orientierten. Hier hoffen wir auch in Zukunft, von den Spezialkenntnissen der Teilnehmer profitieren zu k{\"o}nnen. Eine umfassende Bewertung nach der Bearbeitung des Materials an nur einem Wochenende kann nicht erfolgen. Das erkl{\"a}rte Ziel der Workshops und der daraus entstandenen Publikation ist es, die Genisot in ihrer Vielfalt einem interessierten Publikum bekannt zu machen. Zugleich soll Interesse f{\"u}r weitere und intensivere Forschungen mit dieser speziellen j{\"u}dischen Quellengattung geweckt werden. Es wird sich zeigen, in wie weit die Fortsetzung der Workshops in den n{\"a}chsten Jahren unser Bild vom j{\"u}dischen Leben in Franken bereichern kann.},
  language  = {de}
}
@book{StedeMamprinPeldszusetal.2015,
  author    = {Stede, Manfred and Mamprin, Sara and Peldszus, Andreas and Herzog, Andr{\´e} and Kaupat, David and Chiarcos, Christian and Warzecha, Saskia},
  title     = {Handbuch Textannotation},
  editor    = {Stede, Manfred},
  isbn      = {978-3-86956-343-5},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-82761},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {xvii, 209},
  year      = {2015},
  abstract  = {Das Potsdamer Kommentarkorpus ist eine Sammlung von Zeitungstexten, die dem Genre 'Kommentar' zuzuordnen sind. Der {\"o}ffentlich verf{\"u}gbare Teil besteht aus 175 Texten aus der M{\"a}rkischen Allgemeinen Zeitung, die hinsichtlich Syntax, Koreferenz, Konnektoren und Rhetorische Struktur manuell annotiert wurden. Weitere Ebenen werden bei zuk{\"u}nftigen Korpusversionen hinzukommen. Dieses Buch enth{\"a}lt die Annotationsrichtlinien, die der Bearbeitung des {\"o}ffentlichen Teils des Korpus zugrunde lagen, sowie auch anderer Teile, bei denen mit weiteren Annotationsebenen experimentiert wurde. Die meisten der Richtlinien werden auch f{\"u}r {\"a}hnliche Text-Genres und f{\"u}r andere Sprachen verwendbar sein.},
  language  = {de}
}
@book{DyckGiese2015,
  author    = {Dyck, Johannes and Giese, Holger},
  title     = {Inductive invariant checking with partial negative application conditions},
  number    = {98},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-333-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-77748},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {43},
  year      = {2015},
  abstract  = {Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.},
  language  = {en}
}
@book{Rudolf2015,
  author    = {Rudolf, Bettina},
  title     = {Internationale Freiwilligendienste: Zwischen Tourismus und sozialer Arbeit?!},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-328-2},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-77098},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {131},
  year      = {2015},
  abstract  = {Internationale Freiwilligendienste (IFD) sind ein hochaktuelles wie auch umstrittenes Thema. Die Zahl der deutschen Jugendlichen, die an IFD-Programmen teilnehmen, ist in den vergangenen Jahren erheblich gestiegen und die Volunteer-Branche hat sich stark diversifiziert. Was die verschiedenen Formen staatlicher und privatwirtschaftlicher IFD eint, ist die explizite Abgrenzung vom Tourismus. Bei dieser Abgrenzung handelt es sich jedoch um eine Exklusion, die das Ausgeschlossene gerade nicht als irrelevant, sondern f{\"u}r den Kommunikationszusammenhang als {\"u}beraus bedeutsam markiert. Ziel dieses Buches ist es, aufzuzeigen wie Tourismus als ANDERES konstruiert und dies zur Selbstidentifikation der Freiwilligen genutzt wird. Unter Zuhilfenahme des Laclau/Mouffe'schen Theoriegeb{\"a}udes werden die Selbst- und Fremdbilder von deutschsprachigen Teilnehmer(innen) verschiedener IFD-Programme in Ghana hinsichtlich ihrer Deutungsanspr{\"u}che und Identifikationsmechanismen betrachtet. Der Fokus richtet sich dabei auf Prozesse der Grenzziehung, die das Sprechen der Freiwilligen in Bereiche des EIGNENEN und des ANDEREN unterteilen. Im Sinne einer dem cultural turn verpflichteten Neuen Kulturgeographie wird der Verwendung r{\"a}umlicher Identit{\"a}tsanker dabei besondere Aufmerksamkeit gewidmet.},
  language  = {de}
}
@book{Kulik2015,
  author    = {Kulik, Alexei Michajlovič},
  title     = {Introduction to Ergodic rates for Markov chains and processes},
  editor    = {Roelly, Sylvie},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-338-1},
  issn      = {2199-4951},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-79360},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {ix, 122 S.},
  year      = {2015},
  abstract  = {The present lecture notes aim for an introduction to the ergodic behaviour of Markov Processes and addresses graduate students, post-graduate students and interested readers. Different tools and methods for the study of upper bounds on uniform and weak ergodic rates of Markov Processes are introduced. These techniques are then applied to study limit theorems for functionals of Markov processes. This lecture course originates in two mini courses held at University of Potsdam, Technical University of Berlin and Humboldt University in spring 2013 and Ritsumameikan University in summer 2013. Alexei Kulik, Doctor of Sciences, is a Leading researcher at the Institute of Mathematics of Ukrainian National Academy of Sciences.},
  language  = {en}
}
@book{Pohlenz2015,
  author    = {Pohlenz, Philipp},
  title     = {Kolloquien zur Qualit{\"a}t von Lehre und Studium},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-73199},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2015},
  abstract  = {Das im vorliegenden Beitrag beschriebene hochschuldidaktische Format des Kolloquiums dient dem kollegialen Austausch Lehrender {\"u}ber typische Probleme ihres Lehralltags und {\"u}ber m{\"o}gliche L{\"o}sungswege. Daf{\"u}r wird das Erfahrungswissen der Lehrenden als Praktikerinnen und Praktiker aktiviert. Das Format wurde 2012 an der Universit{\"a}t Potsdam eingef{\"u}hrt und wurde mittlerweile auf die Universit{\"a}t Magdeburg {\"u}bertragen. Der Artikel beschreibt die Kennzeichen des Formats und diskutiert seinen theoretischen Hintergrund.},
  language  = {de}
}
@book{Hilliger2015,
  author    = {Hilliger, Birgit},
  title     = {Konzeptionsaufbereitung},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-73247},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2015},
  abstract  = {Im Rahmen der Qualit{\"a}tsentwicklung von Studium und Lehre und der Ver{\"a}nderung von Lehr-Lernkulturen an Hochschulen wird eine bessere Beratung und Betreuung der Studierenden durch Mentoring gefordert1. Die wesentliche Frage dabei ist, wie sich Mentoring von der traditionellen Studienberatung unterscheidet und wie es organisiert werden kann? Inhalt des Workshops sind Funktion, Inhalte, Ziele und Gestaltung von Mentoring zur Begleitung von Studierenden. Mentoring wird als Form der Prozessberatung eingef{\"u}hrt, wobei es darum geht, die Unterschiede zur Lehre und der Beratung aus fachlicher Expertise nachzuvollziehen und Mentoring als eine Form des ressourcenorientierten Kompetenzlernens kennenzulernen. Zudem geht es im Workshop um das Erlangen von Beratungskompetenzen als Mentor_in, die im Wesentlichen in der Auseinandersetzung mit der Rolle und Haltung von Mentor_innen und Kompetenzen im aktiven Zuh{\"o}ren und gekonnten Feedback geben, bestehen. Diese Beratungskompetenzen werden entlang von {\"U}bungen und Fallbeispielen ge{\"u}bt. Sie haben im Workshop des Weiteren die M{\"o}glichkeit, erste Ideen f{\"u}r ein Mentoringkonzept im eigenen Fachbereich zu entwickeln.},
  language  = {de}
}
@book{OPUS4-7788,
  title     = {Mit Kinderschuhen im Gep{\"a}ck},
  editor    = {Dieter, Anne},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-327-5},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-77887},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {164},
  year      = {2015},
  abstract  = {Zu kleine Kinderschuhe zw{\"a}ngen ein, zu große geben keinen Halt. Liebe, F{\"u}rsorge und Mitgef{\"u}hl helfen, die jeweils passenden Kinderschuhe zu finden. In ihnen lernt das Kind am besten, seine individuellen F{\"a}higkeiten zu entfalten, sie in die Gemeinschaft einzubringen und seinen eigenen Weg zu finden. Der Band spannt einen Bogen von neurowissenschaftlichen Erkenntnissen und Grundfragen des Biografierens {\"u}ber Portr{\"a}ts von Pers{\"o}nlichkeiten bis hin zu gelebten menschenrechtlichen Werten. Die Autoren und Autorinnen, Studierende der Universit{\"a}t Potsdam, gehen auf Spurensuche und fragen, wie die von ihnen vorgestellten Menschen zu denen wurden, die sie waren oder sind, ob und wie sie sich selbst fanden, ihre pers{\"o}nlichen F{\"a}higkeiten entfalteten und anderen halfen. Sie stoßen auf kraftschenkende Kindheiten und erlebtes Gl{\"u}ck, auf Authentizit{\"a}t, Verantwortung und Gleichw{\"u}rdigkeit ebenso wie auf Schicksalsschl{\"a}ge, Ablehnung und Unrecht, auf W{\"u}nsche und Sehns{\"u}chte, innere Zerrissenheit und Schmerz, vor allem aber auf die individuellen und sozialen St{\"a}rken dieser Pers{\"o}nlichkeiten.},
  language  = {de}
}
@book{WaetzoldtGiese2015,
  author    = {W{\"a}tzoldt, Sebastian and Giese, Holger},
  title     = {Modeling collaborations in self-adaptive systems of systems},
  number    = {96},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-324-4},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-73036},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {72},
  year      = {2015},
  abstract  = {An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise. In this report, we formulate research questions with the focus of modeling interactions between system parts inside a SoS. Furthermore, we define our notion of important system types and terms by retrieving the current state of the art from literature. Having a common understanding of SoS, we discuss a set of typical SoS characteristics and derive general requirements for a collaboration modeling language. Additionally, we retrieve a broad spectrum of real scenarios and frameworks from literature and discuss how these scenarios cope with different characteristics of SoS. Finally, we discuss the state of the art for existing modeling languages that cope with collaborations for different system types such as SoS.},
  language  = {en}
}
@book{DuahFominyamKloseetal.2015,
  author    = {Duah, Reginald Akuoko and Fominyam, Henry Z. and Klose, Claudius and Pfeil, Simone and Genzel, Susanne and K{\"u}gler, Frank and Valle, Daniel},
  title     = {Mood, Exhaustivity \& Focus Marking in non-European Languages},
  editor    = {Grubic, Mira and Bildhauer, Felix},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-81200},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2015},
  abstract  = {This is the 19th — and final — issue of the working paper series Interdisciplinary Studies on Information Structure (ISIS) of the Collaborative Research Center 632. In this issue, we present cross-linguistic work on Mood, Exhaustivity, and Focus Marking, on African languages and American languages.},
  language  = {en}
}