@book{AbdolvandJalilvandEskafi2012, author = {Abdolvand, Behrooz and Jalilvand, David Ramin and Eskafi, Fardin}, title = {Iran versus USA : Geburtswehen einer neuen Weltordnung ; eine geopolitische Analyse}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-202-5}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60323}, publisher = {Universit{\"a}t Potsdam}, pages = {44}, year = {2012}, abstract = {Das Paper untersucht die geopolitische Konfrontation zwischen Iran und den USA sowie deren Auswirkung auf eine Ver{\"a}nderung der bestehenden Weltordnung. Es wird deutlich, dass die US-amerikanische Sanktionspolitik nicht nur auf das Nuklearprogramm abzielt, sondern grunds{\"a}tzlich versucht, die Wirtschaftskraft der unabh{\"a}ngig von den Interessen der USA agierenden Regionalmacht zu brechen. Doch die Sanktionspolitik konnte weder eine L{\"o}sung des Nukleardossiers herbeif{\"u}hren noch die Wirtschaftskraft Irans eind{\"a}mmen. Es ist Zeit f{\"u}r eine fundamentale Kurs{\"a}nderung.}, language = {de} } @book{Adelmann2012, author = {Adelmann, Dieter}, title = {Einheit des Bewusstseins als Grundproblem der Philosophie Hermann Cohens}, series = {Schriften aus dem Nachlass von Dieter Adelmann}, journal = {Schriften aus dem Nachlass von Dieter Adelmann}, number = {1}, editor = {Hasselhoff, G{\"o}rge K. and La Sala, Beate Ulrike}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-174-5}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-58497}, publisher = {Universit{\"a}t Potsdam}, pages = {323}, year = {2012}, abstract = {Aus dem Inhalt: Vorwort der Herausgeber Vorbemerkung Einleitung I. Abschnitt: Der Zweck des „Systems der Philosophie" II. Abschnitt: {\"U}bergang zu den Grundlagen der Kultur III. Abschnitt: Das Motiv der Menschheit als systematisches Grundproblem IV. Abschnitt: Der Zusammenhang von Sittlichkeit und wissenschaftlicher Erfahrung als Leitproblem f{\"u}r die philosophische Entwicklung Cohens V. Abschnitt: Die Aufgabe der Vernunft als Grundlegung f{\"u}r die Entwicklung der Kultur Schluss: Cohens Bekenntnis der Vernunft Nachwort}, language = {de} } @book{AlbrechtNaumann2012, author = {Albrecht, Alexander and Naumann, Felix}, title = {Understanding cryptic schemata in large extract-transform-load systems}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-201-8}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-61257}, publisher = {Universit{\"a}t Potsdam}, pages = {19}, year = {2012}, abstract = {Extract-Transform-Load (ETL) tools are used for the creation, maintenance, and evolution of data warehouses, data marts, and operational data stores. ETL workflows populate those systems with data from various data sources by specifying and executing a DAG of transformations. Over time, hundreds of individual workflows evolve as new sources and new requirements are integrated into the system. The maintenance and evolution of large-scale ETL systems requires much time and manual effort. A key problem is to understand the meaning of unfamiliar attribute labels in source and target databases and ETL transformations. Hard-to-understand attribute labels lead to frustration and time spent to develop and understand ETL workflows. We present a schema decryption technique to support ETL developers in understanding cryptic schemata of sources, targets, and ETL transformations. For a given ETL system, our recommender-like approach leverages the large number of mapped attribute labels in existing ETL workflows to produce good and meaningful decryptions. In this way we are able to decrypt attribute labels consisting of a number of unfamiliar few-letter abbreviations, such as UNP_PEN_INT, which we can decrypt to UNPAID_PENALTY_INTEREST. We evaluate our schema decryption approach on three real-world repositories of ETL workflows and show that our approach is able to suggest high-quality decryptions for cryptic attribute labels in a given schema.}, language = {en} } @book{AppeltauerHirschfeld2012, author = {Appeltauer, Malte and Hirschfeld, Robert}, title = {The JCop language specification : Version 1.0, April 2012}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-193-6}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60208}, publisher = {Universit{\"a}t Potsdam}, pages = {iv, 48}, year = {2012}, abstract = {Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its representation is not sufficiently supported by programming languages. With context-oriented programming (COP), such context-dependent behavioral variations can be explicitly modularized and dynamically activated. In general, COP could be used to manage any context-specific behavior. However, its contemporary realizations limit the control of dynamic adaptation. This, in turn, limits the interaction of COP's adaptation mechanisms with widely used architectures, such as event-based, mobile, and distributed programming. The JCop programming language extends Java with language constructs for context-oriented programming and additionally provides a domain-specific aspect language for declarative control over runtime adaptations. As a result, these redesigned implementations are more concise and better modularized than their counterparts using plain COP. JCop's main features have been described in our previous publications. However, a complete language specification has not been presented so far. This report presents the entire JCop language including the syntax and semantics of its new language constructs.}, language = {en} } @book{BaayenKresseKirschneretal.2012, author = {Baayen, Rolf Harald and Kresse, Lara and Kirschner, Stefan and Dipper, Stefanie and Belke, Eva and Keuleers, Emmanuel and Brysbaert, Marc and New, Boris and Heister, Julian and Kliegl, Reinhold and Zinsmeister, Heike and Smolka, Eva and Briesemeister, Benny B. and Hofmann, Markus J. and Kuchinke, Lars and Jacobs, Arthur M.}, title = {Lexical resources in psycholinguistic research}, editor = {W{\"u}rzner, Kay-Michael and Pohl, Edmund}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-178-3}, issn = {2190-4545}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-59100}, publisher = {Universit{\"a}t Potsdam}, pages = {i, 66}, year = {2012}, abstract = {Experimental and quantitative research in the field of human language processing and production strongly depends on the quality of the underlying language material: beside its size, representativeness, variety and balance have been discussed as important factors which influence design, analysis and interpretation of experiments and their results. This volume brings together creators and users of both general purpose and specialized lexical resources which are used in psychology, psycholinguistics, neurolinguistics and cognitive research. It aims to be a forum to report experiences and results, review problems and discuss perspectives of any linguistic data used in the field.}, language = {en} } @book{BastianBochowGeschonkeetal.2012, author = {Bastian, Laura and Bochow, Eric and Geschonke, Sebastian and G{\"u}nther, Stephanie and List, Ingke and Mosebach, Benjamin and Niproschke, Saskia and P{\"o}ller, Jenny and Schefler, Patrick}, title = {Praxismodelle im Studium : Chancen und Probleme aus der Perspektive von Potsdamer Studierenden}, isbn = {978-3-531-18578-1}, year = {2012}, language = {de} } @book{BauckmannAbedjanLeseretal.2012, author = {Bauckmann, Jana and Abedjan, Ziawasch and Leser, Ulf and M{\"u}ller, Heiko and Naumann, Felix}, title = {Covering or complete? : Discovering conditional inclusion dependencies}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-212-4}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-62089}, publisher = {Universit{\"a}t Potsdam}, pages = {34}, year = {2012}, abstract = {Data dependencies, or integrity constraints, are used to improve the quality of a database schema, to optimize queries, and to ensure consistency in a database. In the last years conditional dependencies have been introduced to analyze and improve data quality. In short, a conditional dependency is a dependency with a limited scope defined by conditions over one or more attributes. Only the matching part of the instance must adhere to the dependency. In this paper we focus on conditional inclusion dependencies (CINDs). We generalize the definition of CINDs, distinguishing covering and completeness conditions. We present a new use case for such CINDs showing their value for solving complex data quality tasks. Further, we define quality measures for conditions inspired by precision and recall. We propose efficient algorithms that identify covering and completeness conditions conforming to given quality thresholds. Our algorithms choose not only the condition values but also the condition attributes automatically. Finally, we show that our approach efficiently provides meaningful and helpful results for our use case.}, language = {en} } @book{BauerMuehlJaeckelBeckeretal.2012, author = {Bauer, Hartmut and M{\"u}hl-J{\"a}ckel, Margarete and Becker, Ulrich and Br{\"u}ning, Christoph and Sch{\"a}fer, Roland and R{\"o}ber, Manfred and Kunze, Sebastian}, title = {Rekommunalisierung {\"o}ffentlicher Daseinsvorsorge}, editor = {Bauer, Hartmut and B{\"u}chner, Christiane and Hajasch, Lydia}, publisher = {Universit{\"a}tsvlerag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-170-7}, issn = {1867-9528}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-58064}, publisher = {Universit{\"a}t Potsdam}, pages = {109}, year = {2012}, abstract = {Mehr Privat statt Staat! Diese Kampfformel galt vielen noch vor kurzem als Schl{\"u}ssel zur erfolgreichen Entlastung der angespannten kommunalen Haushalte. Immer mehr Kommunen beschritten den vermeintlichen K{\"o}nigsweg. So vielf{\"a}ltig wie die Gegenst{\"a}nde sind auch die in der Verwaltungspraxis zu beobachtenden Erscheinungsformen der Privatisierung: Verm{\"o}gensprivatisierung, Organisationsprivatisierung, Aufgabenprivatisierung mit facettenreichen Mischformen namentlich der Public Private Partnerships. Zwar brachte der „Verkauf des Tafelsilbers" den Kommunen kurzzeitig einen Geldsegen. Doch haben bei weitem nicht alle Privatisierungsmaßnahmen die in sie gesetzten Erwartungen erf{\"u}llt und es setzt sich zunehmend die Einsicht durch, dass die Privatwirtschaft nicht zwangsl{\"a}ufig besser, effizienter und kosteng{\"u}nstiger arbeitet als die {\"O}ffentliche Hand. Inzwischen deutet sich im kommunalen Bereich eine klare Trendumkehr in Richtung Rekommunalisierung an. Die 17. Fachtagung des Kommunalwissenschaftlichen Instituts (KWI) der Universit{\"a}t Potsdam greift in diese anlaufende Grundsatzdebatte ein und nimmt aktuelle Bestrebungen der Rekommunalisierung lokaler Aufgaben auf. Im Vordergrund stehen erste praktische Erfahrungen, Implementationsprobleme und nicht zuletzt die rechtlichen Rahmenbedingungen und normativen Direktiven f{\"u}r Rekommunalisierungen namentlich in Segmenten der {\"o}ffentlichen Daseinsvorsorge.}, language = {de} } @book{BeckerGiese2012, author = {Becker, Basil and Giese, Holger}, title = {Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-217-9}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-62437}, publisher = {Universit{\"a}t Potsdam}, pages = {iv, 27}, year = {2012}, abstract = {Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.}, language = {en} } @book{BeckmannvanderBliekBrandstetteretal.2012, author = {Beckmann, Susanne and van der Bliek, Arjan and Brandstetter, Gabriele and Haase, Birgit and de la Haye, Amy and Honnef, Klaus and K{\"u}hl, Alicia and Leutner, Petra and Lindemann, Uwe and Martens, Olaf and Mentges, Gabriele and Rasche, Adelheid and Silbermann, Charlotte and S{\"o}ll, {\"A}nne and Tietze, Katharina and Waidenschlager, Christine and Weise, Katja}, title = {R{\"a}ume der Mode}, editor = {Lehnert, Gertrud}, publisher = {Fink}, address = {Paderborn}, isbn = {978-3-7705-5200-9}, pages = {293 S.}, year = {2012}, language = {de} } @book{Burghart2012, author = {Burghart, Claudia Johanna}, title = {Paul Val{\´e}rys Blick auf den modernen Menschen : Experiment einer neuen Philosophie}, series = {Sanssouci - Forschungen zur Romanistik}, volume = {3}, journal = {Sanssouci - Forschungen zur Romanistik}, editor = {Klettke, Cornelia}, publisher = {Frank \& Timme}, address = {Berlin}, isbn = {978-3-86596-475-5}, pages = {441 S.}, year = {2012}, abstract = {Als Antwort auf die Herausforderungen der Sinn- und Wertekrise der Moderne besinnt sich Paul Val{\´e}ry auf das geistige Verm{\"o}gen des Menschen und entwirft eine radikal subjektive und lebensnahe Philosophie. Der Philosoph wird bei ihm zum Dichter, der mittels Metaphern sein Denken in Bilder fasst. Philosophie ist f{\"u}r ihn Denkkunst, die die M{\"o}glichkeiten des Lebens abbildet, zum Denken anregt und den ...}, language = {de} } @book{Daibler2012, author = {Daibler, Birgit}, title = {Europas Krise im Kontext der Weltkrisen}, series = {Europa Spezial}, volume = {4}, journal = {Europa Spezial}, publisher = {WeltTrends e.V}, address = {Potsdam}, isbn = {978-3-941880-45-0}, issn = {2193-6145}, pages = {12 S.}, year = {2012}, language = {de} } @book{DraisbachNaumannSzottetal.2012, author = {Draisbach, Uwe and Naumann, Felix and Szott, Sascha and Wonneberg, Oliver}, title = {Adaptive windows for duplicate detection}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-143-1}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-53007}, publisher = {Universit{\"a}t Potsdam}, pages = {41}, year = {2012}, abstract = {Duplicate detection is the task of identifying all groups of records within a data set that represent the same real-world entity, respectively. This task is difficult, because (i) representations might differ slightly, so some similarity measure must be defined to compare pairs of records and (ii) data sets might have a high volume making a pair-wise comparison of all records infeasible. To tackle the second problem, many algorithms have been suggested that partition the data set and compare all record pairs only within each partition. One well-known such approach is the Sorted Neighborhood Method (SNM), which sorts the data according to some key and then advances a window over the data comparing only records that appear within the same window. We propose several variations of SNM that have in common a varying window size and advancement. The general intuition of such adaptive windows is that there might be regions of high similarity suggesting a larger window size and regions of lower similarity suggesting a smaller window size. We propose and thoroughly evaluate several adaption strategies, some of which are provably better than the original SNM in terms of efficiency (same results with fewer comparisons).}, language = {en} } @book{EsserWyschkon2012, author = {Esser, G{\"u}nter and Wyschkon, Anne}, title = {Basisdiagnostik umschriebener Entwicklungsst{\"o}rungen im Vorschulalter : (BUEVA) Version II}, publisher = {Beltz}, address = {G{\"o}ttingen}, pages = {100 S.}, year = {2012}, language = {de} } @book{Ette2012, author = {Ette, Ottmar}, title = {Lebenswissenschaft}, year = {2012}, language = {de} } @book{Ette2012, author = {Ette, Ottmar}, title = {TransArea : eine literarische Globalisierungsgeschichte}, series = {Mimesis : Romanische Literaturen der Welt}, volume = {54}, journal = {Mimesis : Romanische Literaturen der Welt}, publisher = {de Gruyter}, address = {Berlin}, isbn = {978-3-11-028709-7}, pages = {344 S.}, year = {2012}, language = {de} } @book{Ette2012, author = {Ette, Ottmar}, title = {Konvivenz : Literatur und Leben nach dem Paradies}, series = {Ableger}, volume = {13}, journal = {Ableger}, publisher = {Kulturverl. Kadmos}, address = {Berlin}, isbn = {978-3-86599-160-7}, pages = {240 S.}, year = {2012}, language = {de} } @book{Flitner2012, author = {Flitner, Elisabeth}, title = {Studium, Erwerbst{\"a}tigkeit, Praktika : zeitgeschichtliche und systematische Bemerkungen zum Interessse der Studierenden an "Praxiserfahrung"}, isbn = {978-3-531-18578-1}, year = {2012}, language = {de} } @book{GieseHildebrandtNeumannetal.2012, author = {Giese, Holger and Hildebrandt, Stephan and Neumann, Stefan and W{\"a}tzoldt, Sebastian}, title = {Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-191-2}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60184}, publisher = {Universit{\"a}t Potsdam}, pages = {vi, 51}, year = {2012}, abstract = {During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"a}fer, Andy Sch{\"u}rr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.}, language = {en} } @book{GildemeisterHericks2012, author = {Gildemeister, Regine and Hericks, Katja Kristina}, title = {Geschlechtersoziologie : theoretische Zug{\"a}nge zu einer vertrackten Kategorie des Sozialen}, publisher = {Oldenbourg}, address = {M{\"u}nchen}, isbn = {978-3-486-58639-8}, pages = {358 S.}, year = {2012}, language = {de} } @book{Golovnenkov2012, author = {Golovnenkov, Pavel}, title = {Kommentarij k Ugolovnomu kodeksu Rossijskoj Fedeacii : postatjnyj}, publisher = {Kontrakt}, address = {Moskva}, isbn = {978-5-9820909-6-6}, pages = {XVII, 604 S.}, year = {2012}, language = {ru} } @book{GolovnenkovSpitcaHellmann2012, author = {Golovnenkov, Pavel and Spitca, Natalia and Hellmann, Uwe}, title = {Уголовно-процессуальный кодекс Федеративной Республики Германия - Strafprozessordnung (StPO) - : Научно-практический комментарий и перевод текста закона ; со вступительной статьей профессора Уве Хелльманна «Введение в уголовно-процессуальное право ФРГ»}, series = {Schriften zum deutschen und russischen Strafrecht}, journal = {Schriften zum deutschen und russischen Strafrecht}, number = {2}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-208-7}, issn = {2191-088X}, doi = {10.25932/publishup-6039}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-61776}, publisher = {Universit{\"a}t Potsdam}, pages = {404}, year = {2012}, abstract = {Уголовно-процессуальный кодекс ФРГ (УПК ФРГ) является основным законодательным актом, регулирующим немецкий уголовный процесс. В данное издание входят трансформация УПК ФРГ на русский язык и юридические комментарии, призванные облегчить читателю правильное языковое понимание и правовое толкование текста немецкого уголовно-процессуального закона. Трансформация текста закона основана на принципах функционального перевода, подразумевающего точную передачу смысла закона, в соответствии с научным толкованием юридических терминов и правовых институтов, объяснённым в комментариях. Помимо толкования понятий, в комментариях кратко представлены актуальные дискуссии в доктрине и судебной практике в отношении отдельных норм, а также последние изменения и дополнения, внесённые в закон, и краткая информация о содержании других законодательных актов, связанных с положениями УПК ФРГ. Вступительная статья содержит обзор уголовного процесса ФРГ и представляет собой введение в немецкое уголовно-процессуальное право. Книга адресована не только юристам-практикам и правоведам, но и всем тем, кто в силу профессиональной деятельности или в процессе обучения интересуется уголовным процессом ФРГ. Текст закона представлен в редакции от 21 июля 2012 года.}, language = {ru} } @book{GronauGaebler2012, author = {Gronau, Norbert and G{\"a}bler, Andreas}, title = {Einf{\"u}hrung in die Wirtschaftsinformatik : Bd. 2}, series = {Skripte zur Wirtschaftsinformatik}, journal = {Skripte zur Wirtschaftsinformatik}, publisher = {Gito}, address = {Berlin}, isbn = {978-3-942183-90-1}, pages = {290 S.}, year = {2012}, language = {de} } @book{GronauGaebler2012, author = {Gronau, Norbert and G{\"a}bler, Andreas}, title = {Einf{\"u}hrung in die Wirtschaftsinformatik : Bd. 1}, series = {Skripte zur Wirtschaftsinformatik}, journal = {Skripte zur Wirtschaftsinformatik}, publisher = {Gito}, address = {Berlin}, isbn = {978-3-942183-89-5}, pages = {311 S.}, year = {2012}, language = {de} } @book{GroeschnerSeidel2012, author = {Gr{\"o}schner, Alexander and Seidel, Tina}, title = {Lernbegleitung im Praktikum : Befunde und Innovationen im Kontext der Reform der Lehrerbildung}, isbn = {978-3-531-18578-1}, year = {2012}, language = {de} } @book{Goese2012, author = {G{\"o}se, Frank}, title = {Friedrich I. (1657 - 1713) : ein K{\"o}nig in Preußen}, publisher = {Pustet}, address = {Regensburg}, isbn = {978-3-7917-2455-3}, pages = {392 S.}, year = {2012}, language = {de} } @book{Goese2012, author = {G{\"o}se, Frank}, title = {Friedrich I. ein K{\"o}nig in Preussen}, publisher = {Pustet}, address = {Regensburg}, isbn = {978-37917-2455-3}, pages = {392 S.}, year = {2012}, language = {de} } @book{Haller2012, author = {Haller, Silja Christina}, title = {Wort-Ton-Gestaltung in der Sinfonik Gustav Mahlers}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-159-2}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-55568}, publisher = {Universit{\"a}t Potsdam}, pages = {382}, year = {2012}, abstract = {Die eingehende Analyse ausgew{\"a}hlter Aspekte der Wort-Ton-Gestaltung in Gustav Mahlers Vokalsinfonik ist Schwerpunkt der vorliegenden Untersuchung. Pr{\"a}misse ist Mahlers Ausarbeitung ideenprogrammatischer Intentionen, wobei er sich die besondere St{\"a}rke der Musik, geistige Sachverhalte in gewisser Weise pr{\"a}ziser als Sprache (die hier ins Symbolhafte ausweichen muss) verdeutlichen zu k{\"o}nnen, offensichtlich bewusst zunutze gemacht hatte. Die Differenziertheit der musikalischen Textinterpretation, zugleich Fokus der Analysen, weist deutliche graduelle Unterschiede auf. Sie reicht vom ,Vertonungscharakter' bis hin zur innigsten Anverwandlung von Musik und Textaussage bzw. -semantik. Wesentlich ist das oft proportionale Verh{\"a}ltnis von Grad der Freiheit, die sich Mahler hinsichtlich der Beziehung der Musik zur formalen Topographie des Textes nimmt, zu Intensit{\"a}t und Vielschichtigkeit der musikalischen Textexegese. Je st{\"a}rker sich ihre musikalische Umsetzung in Richtung ‚Semantik-Ausarbeitung' bewegt, verliert die {\"a}ußerliche Sprache an Materialit{\"a}t, wobei das im Lied von der Erde zutage tretende Amalgam von sprachlicher Semantik und Musik gesondert zu nennen ist. Letztendlich wird die {\"u}berwiegend eher unbestimmte Textsemantik durch Mahlers Musik denotiert und in zuvor im Bereich der Vokalsinfonik nicht erreichter Intensit{\"a}t zum Klingen gebracht.}, language = {de} } @book{HebigGiese2012, author = {Hebig, Regina and Giese, Holger}, title = {MDE settings in SAP : a descriptive field study}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-192-9}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60193}, publisher = {Universit{\"a}t Potsdam}, pages = {64}, year = {2012}, abstract = {MDE techniques are more and more used in praxis. However, there is currently a lack of detailed reports about how different MDE techniques are integrated into the development and combined with each other. To learn more about such MDE settings, we performed a descriptive and exploratory field study with SAP, which is a worldwide operating company with around 50.000 employees and builds enterprise software applications. This technical report describes insights we got during this study. For example, we identified that MDE settings are subject to evolution. Finally, this report outlines directions for future research to provide practical advises for the application of MDE settings.}, language = {en} } @book{HeimannHilsebeinSchmiesetal.2012, author = {Heimann, Heinz-Dieter and Hilsebein, Angelica and Schmies, Bernd and Stiegemann, Christoph}, title = {Gelobte Armut : Armutskonzepte der franziskanischen Ordensfamilie vom Mittelalter bis in die Gegenwart}, publisher = {Sch{\"o}ningh}, address = {Paderborn}, isbn = {978-3-506-77259-6}, pages = {632 S.}, year = {2012}, language = {de} } @book{Hickmann2012, author = {Hickmann, Thomas}, title = {Das Verh{\"a}ltnis von Wissenschaft und Politik in internationalen Umweltregimen}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-163-9}, issn = {1868-6222}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57003}, publisher = {Universit{\"a}tsverlag Potsdam}, pages = {110}, year = {2012}, abstract = {Wissenschaft hat einen großen Anteil daran, internationale Umweltprobleme auf die politische Tagesordnung zu bringen und Maßnahmen zu ihrer technischen L{\"o}sung zu entwerfen. Dies gilt sowohl f{\"u}r den Abbau der Ozonschicht als auch f{\"u}r den Klimawandel. So relevant die Generierung von wissenschaftlichen Erkenntnissen in diesen Feldern ist, so komplex ist die Interaktion zwischen Wissenschaft und Politik und so schwierig ist es, Verl{\"a}ssliches dar{\"u}ber zu sagen. Thomas Hickmann analysiert das Verh{\"a}ltnis von Wissenschaft und Politik in internationalen Umweltregimen aus einer neuen Perspektive. Er untersucht nicht den Einfluss wissenschaftlicher Erkenntnisse auf die Politik, sondern r{\"u}ckt die Frage in den Fokus, inwieweit Regierungen Einfluss auf die Wissenschaft nehmen, um nationale Interessen durchzusetzen. Diese Perspektive wurde in der Forschung bislang weitgehend vernachl{\"a}ssigt, weshalb eine systematische Analyse dieser Frage in der Literatur fehlt.}, language = {de} } @book{Hoeppner2012, author = {Hoeppner, Till}, title = {Die Reflexivit{\"a}t der Transzendentalphilosophie und die Herleitung der Kategorien : Erg{\"a}nzungen zu Manfred Baum}, isbn = {978-3-8260- 4687-2}, year = {2012}, language = {de} } @book{Holland2012, author = {Holland, Matthias S{\"o}ren}, title = {Mediation in Planungsverfahren auf kommunaler Ebene unter besonderer Ber{\"u}cksichtigung der Bauleitplanung}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-189-9}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60162}, publisher = {Universit{\"a}t Potsdam}, pages = {89}, year = {2012}, abstract = {Traditionelle Verwaltungsverfahren stehen seit l{\"a}ngerem und zunehmend in der Kritik. Das klassische F{\"u}rsorge-Modell wird vor allem im Umweltbereich nicht mehr akzeptiert. Betroffene B{\"u}rger und Verb{\"a}nde wollen verst{\"a}rkt mitreden und Entscheidungen nicht der Verwaltung und externen Experten {\"u}berlassen. Das Verfahren der Mediation wird in der Bundesrepublik Deutschland inzwischen in einer Vielzahl von {\"o}ffentlich-rechtlichen Problembereichen eingesetzt. Besonders auf kommunaler Ebene bietet sich ihr Einsatz an. Diese Arbeit besch{\"a}ftigt sich aus verwaltungswissenschaftlicher und -rechtlicher Perspektive mit der Mediation im Rahmen der kommunalen Bauleitplanung. Aufgrund der Innovationsoffenheit und Flexibilit{\"a}t bei gleichzeitiger Komplexit{\"a}t und Kooperationsabh{\"a}ngigkeit des Rechts der Bauleitplanung ist dieses besonders f{\"u}r die Anwendung von Mediation geeignet. Das Arbeitsheft f{\"u}hrt in das Verfahren der Mediation und seine Begriffe ein, beleuchtet die Charakteristika und M{\"a}ngel des herk{\"o}mmlichen Verwaltungsverfahrens und widmet sich dann der Mediation im {\"o}ffentlichen Bereich. Diese wird anhand der M{\"o}glichkeit ihres Einsatzes in der Bauleitplanung auf kommunaler Ebene n{\"a}her dargestellt, ihre Vor- und Nachteile werden gegeneinander abgewogen. Somit gibt dieses Arbeitsheft eine kompakte, aber dennoch detailreiche {\"U}bersicht {\"u}ber den aktuellen Stand der Diskussion zur Mediation im {\"o}ffentlichen Bereich.}, language = {de} } @book{Holtmann2012, author = {Holtmann, Dieter}, title = {Die Sozialstruktur der Bundesrepublik Deutschland im internationalen Vergleich}, edition = {7., ver{\"a}nd. Aufl.}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-165-3}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57858}, publisher = {Universit{\"a}t Potsdam}, year = {2012}, abstract = {F{\"u}r den internationalen Vergleich von Gesellschaften wird ein System gesellschaftlicher Dauerbeobachtung vorgeschlagen, indem aufgrund einer Auseinandersetzung mit der sozialphilosophischen Diskussion acht Performanzkriterien f{\"u}r den internationalen Vergleich von Lebensbedingungen bzw. der „Wohlfahrt der Nationen" entwickelt werden: Wohlstand und Wachstum; {\"o}kologische Nachhaltigkeit; Innovation; soziale Sicherung durch Unterst{\"u}tzungsleistungen im Risikofall sowie vorsorgend durch Bildungsinvestitionen; Anerkennung der Besonderheiten (Frauenfreundlichkeit und Migrantenfreundlichkeit); Gleichheit der Teilhabe; soziale Integration; Autonomie („freedom of choice and capabilities"). All dies betrachten wir als gesellschaftlich w{\"u}nschenswerte Ziele. In unserem Ansatz gehen wir nicht von einem einheitlichen Pfad der Modernisierung in Richtung Wachstum, Partizipation und Inklusion aus, sondern unterscheiden in Erweiterung der „drei Welten des Wohlfahrtskapitalismus" von Esping-Andersen (mindestens) f{\"u}nf verschiedene institutionelle Entwicklungspfade der Modernisierung: Der sozialdemokratisch-universalistische Pfad, der wirtschaftsliberale Pfad, der Status-konservierende Pfad, der „familistische" Pfad und die Entwicklung der Gruppe der ex-sozialistischen L{\"a}nder, die sich in einem Prozess der Ausdifferenzierung befinden. Ab der 3. Auflage werden nun 36 L{\"a}nder verglichen (incl. aller EU-Mitglieder) statt wie zuvor 28 L{\"a}nder, in der 7. Auflage auf dem Stand von Januar 2012. Zur Analyse der Sozialstrukturen werden als Modelle sozialer Lagen ber{\"u}cksichtigt: Marx, Weber, Roemer/Wright; soziale Schichten, berufliche Lagen, Goldthorpe-Modell; Bourdieu, Vester, Hradil. Als Anwendungsbereiche werden behandelt: Dienstleistungsgesellschaften und Erwerbst{\"a}tigkeit, Bildung; Wohlfahrtsregime und soziale Sicherung; Wohlstand, Einkommen, Verm{\"o}gen und Armut; soziale Mobilit{\"a}t; soziale Ungleichheiten zwischen Frauen und M{\"a}nnern; Bev{\"o}lkerungsstruktur und Lebensformen; Lebensstile; Individualisierung und ihre Gegenbewegungen; zusammenfassender Vergleich von Lebensbedingungen in verschiedenen L{\"a}ndern und Wohlfahrtsregimen.}, language = {de} } @book{HuefnerSiebernsWeiss2012, author = {H{\"u}fner, Klaus and Sieberns, Anne and Weiß, Norman}, title = {Menschenrechtsverletzungen: Was kann ich dagegen tun? : Menschenrechtsverfahren in der Praxis}, series = {DGVN-Texte}, volume = {55}, journal = {DGVN-Texte}, publisher = {UNO-Verl.}, address = {Bonn}, isbn = {978-3-923904-69-3}, pages = {440 S.}, year = {2012}, language = {de} } @book{HuefnerSiebernsWeiss2012, author = {H{\"u}fner, Klaus and Sieberns, Anne and Weiß, Norman}, title = {Menschenrechtsverletzungen: Was kann ich dagegen tun?}, edition = {3., aktualisierte u. erw.}, publisher = {UNO-Verlag}, address = {Bonn}, isbn = {978-3-923904-69-3}, publisher = {Universit{\"a}t Potsdam}, pages = {440}, year = {2012}, abstract = {Das Handbuch informiert {\"u}ber die Menschenrechtsinstitutionen und -verfahren der Vereinten Nationen, der UNESCO und der ILO sowie des Europarates und der Europ{\"a}ischen Union. Die erste Auflage erschien 1998, die jetzt vorliegende dritte Auflage wurde erweitert und aktualisiert. Das Buch bietet neben den erkl{\"a}renden Texten auch Formbl{\"a}tter f{\"u}r Beschwerden, Adressen, Literaturhinweise und grafische Darstellungen. Das Werk richtet sich unter anderem an Studierende, Menschenrechtsakteure, Personen, die Rechtsschutz suchen und deren Rechtsbeist{\"a}nde.}, language = {de} } @book{IhleGroenWalteretal.2012, author = {Ihle, Wolfgang and Groen, Gunter and Walter, Daniel and Esser, G{\"u}nter and Petermann, Franz}, title = {Depression}, series = {Leitfaden Kinder- und Jugendpsychotherapie}, volume = {16}, journal = {Leitfaden Kinder- und Jugendpsychotherapie}, publisher = {Hogrefe}, address = {G{\"o}ttingen}, isbn = {978-3-8017-2381-1}, pages = {IX, 162 S.}, year = {2012}, language = {de} } @book{Iorio2012, author = {Iorio, Marco}, title = {Einf{\"u}hrung in die Theorien von Karl Marx}, publisher = {de Gruyter}, address = {Berlin}, isbn = {978-3-11-0269969-7}, pages = {338 S.}, year = {2012}, language = {de} } @book{Jouchler2012, author = {Jouchler, Ingo}, title = {Der narrative Ansatz in der politischen Bildung}, series = {Lectiones Inaugurales}, volume = {3}, journal = {Lectiones Inaugurales}, publisher = {Duncker \& Humblot}, address = {Berlin}, isbn = {978-3-428-13988-0}, issn = {2194-3257}, pages = {72 S.}, year = {2012}, language = {de} } @book{Kasper2012, author = {Kasper, Nicole}, title = {Die EU-Nachbarschaftspolitik als Instrument externer Demokratief{\"o}rderung : das Beispiel der Ukraine}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-207-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-61807}, publisher = {Universit{\"a}t Potsdam}, pages = {69}, year = {2012}, abstract = {Seit 2004 versucht die EU mit der Europ{\"a}ischen Nachbarschaftspolitik demokratische Werte in ihre Nachbarl{\"a}nder zu exportieren. Adressaten sind L{\"a}nder der Mittelmeerunion und L{\"a}nder des postsozialistischen Europa, die in der {\"O}stlichen Partnerschaft zusammengefasst sind. Als außenpolitisches Instrument bietet die Nachbarschaftspolitik eine Alternative zur Erweiterungspolitik. In erster Linie sollen negative Entwicklungen wie illegale Migration, organisierte Kriminalit{\"a}t, grenz{\"u}bergreifende Umweltzerst{\"o}rungen und ethnische Konflikte abgewehrt werden. Die Studie analysiert Externalisierung, Sozialisierung und Imitation als Mechanismen des Europ{\"a}isierungsprozesses und untersucht im Rahmen einer empirischen Prozessanalyse am Beispiel der Ukraine, welche der von der Europ{\"a}ischen Union angewandten Mechanismen den gr{\"o}ßten Erfolg f{\"u}r eine Normenadaption bedeuten.}, language = {de} } @book{Katagi2012, author = {Katagi, Jun}, title = {Kommunale Gebietsreform und Dezentralisierung : Vergleich zwischen Japan und Deutschland ; Welches Land liegt weiter vorn?}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-166-0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57864}, publisher = {Universit{\"a}t Potsdam}, pages = {103}, year = {2012}, abstract = {In Japan wurden die sogenannten „Heisei no Daigappei" (Große kommunale Gebietsreform) im Zeitraum von 1999 bis 2006 durchgef{\"u}hrt. Im Ergebnis hat sich die Anzahl der Gemeinden von 3.232 auf 1.727 - also um die H{\"a}lfte - reduziert. Auch in den neuen Bundesl{\"a}ndern in Deutschland sind in den letzten Jahren wieder kommunale Gebietsreformen (Gemeindefusionen) durchgef{\"u}hrt worden. Trotzdem gibt es in Deutschland noch etwa 12.000 Gemeinden. Im Vergleich mit Japan ist die Gemeindegr{\"o}ße also deutlich geringer. Mit dem vorliegenden Beitrag sollen die Reformunterschiede zwischen Deutschland und Japan erkl{\"a}rt werden. Gefragt wird nach der „Richtung" und der „St{\"a}rke" der verschiedenen Vektoren (Einflussfaktoren) im Reformprozess der Gemeindefusionen. Besonders reformf{\"o}rdernd wirken in Japan die Vektoren Dezentralisierungsdruck und {\"o}ffentliche Finanzkrise. Die Unterschiede zwischen Japan und Deutschland beim Vektor demographischer Wandel konnten nicht betrachtet werden. In Deutschland sind f{\"u}r den Reformfortschritt vor allem die Vektoren b{\"u}rgernahe Demokratie, {\"o}rtliche Verbundenheit, die Existenz des Ehrenamtsprinzips sowie die Erg{\"a}nzungsfunktion der Kreise und {\"A}mter ausschlaggebend. Insgesamt betrachtet wirken die Vektoren in Japan st{\"a}rker reformf{\"o}rdernd als in Deutschland. Deshalb sind im Reformergebnis die Gebietsstrukturen der Gemeinden in Japan derzeit gr{\"o}ßer als in Deutschland.}, language = {de} } @book{Kessler2012, author = {Kessler, Mario}, title = {Die Geschichte der DDR aus der Sicht amerikanischer Forscher}, isbn = {978-3-941880-60-3}, year = {2012}, language = {de} } @book{Kleger2012, author = {Kleger, Heinz}, title = {Jeder nach seiner Fa{\c{c}}on}, publisher = {Books on Demand}, address = {Norderstedt}, isbn = {978-3-8448-1577-1}, pages = {98}, year = {2012}, abstract = {Der 300. Geburtstag Friedrich II ist 2012 im Land Brandenburg und der Stadt Potsdam allgegenw{\"a}rtig. Zahlreiche Veranstaltungen besch{\"a}ftigen sich mit dem Leben und Wirken des K{\"o}nigs auf vielf{\"a}ltige Art und Weise. Sein sympathischster Satz „Jeder soll nach seiner Fa{\c{c}}on selig werden" - gem{\"a}ß seiner Religion, war der Anstoß, sich im Jubil{\"a}ums-Jahr mit Friedrich II abseits touristischer Erlebnisangebote auseinanderzusetzen. Dabei geht es nicht um Friedrich-Exegese, wohl aber um seine Philosophie von Sanssouci und seine politische Theorie. Den abgek{\"u}rzten Satz „Jeder nach seiner Fa{\c{c}}on" interpretieren wir inzwischen individualistisch. Insbesondere die Versprechen der Urbanit{\"a}t f{\"u}hren zu einer rasanten Verst{\"a}dterung der Welt, welche noch nie gesehene Herausforderungen an die demokratische Regierbarkeit stellt. Je subjektiver Gl{\"u}ck als Abenteuer mit Chancen und Risiken verstanden wird, desto mehr wird urbane Toleranz zu einer eminenten Leistung menschlicher Zivilisation. Die Verhaltenstugend der Toleranz wird zugleich gr{\"o}ßer, liberaler und sozialer, je mehr Menschen in großen St{\"a}dten aufeinander R{\"u}cksicht nehmen m{\"u}ssen - St{\"a}dte sozialisieren. Zugleich mehren sich die Konflikte, die zwar eskalieren, aber auch neue Lebenschancen er{\"o}ffnen k{\"o}nnen. In Deutschland werden die politischen Grenzen der Toleranz vor allem im Umgang mit Fremdenfeindlichkeit und Rechtsextremismus diskutiert. Eine Politik des Hasses und der Gewalt geh{\"o}rt nicht mehr zur Toleranz der Demokratie, die ansonsten vieles integrieren und gleichzeitig ver{\"a}ndern kann. Urteilsf{\"a}hige B{\"u}rger halten die Demokratie einer breiten und b{\"u}ndnisbereiten politischen Aufkl{\"a}rung, die Grenzen setzen und Orientierung stiften kann, zusammen. Das vorliegende Buch von Heinz Kleger nimmt den Satz „Jeder soll nach seiner Fa{\c{c}}on selig werden" als Anstoß zum Nachdenken {\"u}ber die historische Bedeutung des Preußenk{\"o}nigs, seine damalige Gedankenwelt und politische Theorie. Die Selbstinszenierung Friedrich II. als der "große K{\"u}mmerer" und volksnahe K{\"o}nig spielen dabei ebenso eine Rolle wie seine Philosophie von Sanssouci und sein Verh{\"a}ltnis zur Aufkl{\"a}rung. Kleger stellt den Satz in den Mittelpunkt unserer heutigen Betrachtungen {\"u}ber Toleranz und das Verh{\"a}ltnis von gr{\"o}ßtm{\"o}glicher individueller Freiheit einerseits und Formen Urbaner (Des)Integration andererseits. Dabei geht es um unser Verh{\"a}ltnis in einer liberalen Demokratie zu Herausforderungen der Zuwanderung und Fragen des politischen Extremismus.}, language = {de} } @book{Klein2012, author = {Klein, Tanja}, title = {Rechtspopulistische Parteien in Regierungsbildungsprozessen}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-164-6}, issn = {1866-0738}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57703}, publisher = {Universit{\"a}t Potsdam}, pages = {133}, year = {2012}, abstract = {Diese Publikation einer Masterarbeit leistet einen Beitrag, die bestehende Forschungsl{\"u}cke hinsichtlich der Rolle rechtspopulistischer Parteien in Regierungsbildungsprozessen zu f{\"u}llen. Warum haben sich etablierte Parteien und Rechtspopulisten f{\"u}r eine bestimmte Konstellation entschieden? Welche Probleme traten durch den spezifisch rechtspopulistischen Charakter bei der Regierungsbildung auf? Welche Alternativen gibt es? Mittels eines vergleichenden Ansatzes werden dabei als Fallbeispiele die Regierungsbildungsprozesse nach drei Wahlen zu nationalen Parlamenten im Jahr 2010 in Belgien, den Niederlanden und Schweden analysiert.}, language = {de} } @book{Kleinwaechter2012, author = {Kleinw{\"a}chter, Lutz}, title = {In concreto : zum 60. Geburtstag von Raimund Kr{\"a}mer}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-167-7}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57873}, publisher = {Universit{\"a}t Potsdam}, pages = {125}, year = {2012}, abstract = {Mit einem Grußwort von Juan Jos{\´e} Linz und Beitr{\"a}gen von Erhard Crome, Jochen Franzke, Heike Imhof-Rudolph, Lutz Kleinw{\"a}chter, Ralf Juan Leiteritz, Claus Montag, Christoph Sebastian Widdau, Azadeh Zamirirad und dem Jubilar.}, language = {de} } @book{KrauseGiese2012, author = {Krause, Christian and Giese, Holger}, title = {Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata}, publisher = {Universit{\"a}tsverlah Potsdam}, address = {Potsdam}, isbn = {978-3-86956-171-4}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57845}, publisher = {Universit{\"a}t Potsdam}, pages = {45}, year = {2012}, abstract = {One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the availability of composite interorganizational services. Such systems are often characterized by a variety of inherent uncertainties, which must be addressed in the modeling and the analysis approach. The different relevant types of uncertainties can be categorized into (1) epistemic uncertainties due to incomplete knowledge and (2) randomization as explicitly used in protocols or as a result of physical processes. In this report, we study a probabilistic timed model which allows us to quantitatively reason about nonfunctional properties for a restricted class of service-oriented real-time systems using formal methods. To properly motivate the choice for the used approach, we devise a requirements catalogue for the modeling and the analysis of probabilistic real-time systems with uncertainties and provide evidence that the uncertainties of type (1) and (2) in the targeted systems have a major impact on the used models and require distinguished analysis approaches. The formal model we use in this report are Interval Probabilistic Timed Automata (IPTA). Based on the outlined requirements, we give evidence that this model provides both enough expressiveness for a realistic and modular specifiation of the targeted class of systems, and suitable formal methods for analyzing properties, such as safety and reliability properties in a quantitative manner. As technical means for the quantitative analysis, we build on probabilistic model checking, specifically on probabilistic time-bounded reachability analysis and computation of expected reachability rewards and costs. To carry out the quantitative analysis using probabilistic model checking, we developed an extension of the Prism tool for modeling and analyzing IPTA. Our extension of Prism introduces a means for modeling probabilistic uncertainty in the form of probability intervals, as required for IPTA. For analyzing IPTA, our Prism extension moreover adds support for probabilistic reachability checking and computation of expected rewards and costs. We discuss the performance of our extended version of Prism and compare the interval-based IPTA approach to models with fixed probabilities.}, language = {en} } @book{Krivochen2012, author = {Krivochen, Diego Gabriel}, title = {The Syntax and Semantics of the Nominal Construction}, series = {Potsdam Linguistic Investigations}, volume = {8}, journal = {Potsdam Linguistic Investigations}, publisher = {Peter Lang}, address = {Frankfurt am Main}, isbn = {978-3-631-62448-7}, pages = {137}, year = {2012}, language = {en} } @book{Kraemer2012, author = {Kr{\"a}mer, Raimund}, title = {Die Karibik-Krise vom Oktober 1962 : eine Collage}, series = {WeltTrends-Lehrtexte}, volume = {10}, journal = {WeltTrends-Lehrtexte}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-941880-42-9}, issn = {1861-5139}, pages = {55 S.}, year = {2012}, language = {de} } @book{Lehnert2012, author = {Lehnert, Gertrud}, title = {Frauen mit Stil : Modetr{\"a}ume aus drei Jahrhunderten}, publisher = {Sandmann}, address = {M{\"u}nchen}, isbn = {978-3-938045-65-7}, pages = {160 S.}, year = {2012}, abstract = {Frauen vor dem Spiegel, in der Anprobe und im Warenhaus; N{\"a}herinnen, Modistinnen und Vorf{\"u}hrdamen in Ateliers; Damen in sportlichen Kost{\"u}men, eleganten Tageskleidern und großen Abendroben werden auf Gem{\"a}lden großer Maler sichtbar und zeigen, dass es in der Mode stets um mehr ging als nur um ein sch{\"o}nes Kleid.}, language = {de} } @book{Lerch2012, author = {Lerch, Alexander}, title = {An introduction to audio content analysis : applications in signal processing and music informatics}, publisher = {Wiley}, address = {Hoboken, N.J}, isbn = {978-1-118-26682-3}, doi = {10.1002/9781118393550}, pages = {248 S.}, year = {2012}, language = {en} }