TY - BOOK A1 - Baayen, Rolf Harald A1 - Kresse, Lara A1 - Kirschner, Stefan A1 - Dipper, Stefanie A1 - Belke, Eva A1 - Keuleers, Emmanuel A1 - Brysbaert, Marc A1 - New, Boris A1 - Heister, Julian A1 - Kliegl, Reinhold A1 - Zinsmeister, Heike A1 - Smolka, Eva A1 - Briesemeister, Benny B. A1 - Hofmann, Markus J. A1 - Kuchinke, Lars A1 - Jacobs, Arthur M. ED - Würzner, Kay-Michael ED - Pohl, Edmund T1 - Lexical resources in psycholinguistic research N2 - 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. N2 - Experimentelle und quantitative Forschung im Bereich der menschlichen Sprachverarbeitung und -produktion hängt wesentlich von der Qualität des zugrundeliegenden Sprachmaterials ab: Neben dessen Umfang wurden auch Repräsentativität, Vielfalt und Ausgewogenheit als wichtige Einflüsse auf Design, Analyse und Interpretation entsprechender Experimente und deren Ergebnisse diskutiert. Der vorliegende Band enthält Arbeiten von Entwicklern und Anwendern sowohl allgemeiner als auch spezialisierter lexikalischer Ressourcen aus den Bereichen Psychologie, Psycho-, Neurolinguistik und Kongitionswissenschaften. Ziel ist es anhand der dargestellten Ergebnisse Probleme und Perspektiven bei der Arbeit mit linguistischen Daten aufzuzeigen. T3 - Potsdam Cognitive Science Series - 3 KW - Psychologie KW - Psycholinguistik KW - Kognitionswissenschaften KW - lexikalische Datenbanken KW - menschliche Sprachverarbeitung KW - Worterkennung KW - Psychology KW - psycholinguistics KW - cognitive sciences KW - lexical databases KW - human language processing KW - word recognition Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59100 SN - 978-3-86956-178-3 SN - 2190-4545 SN - 2190-4553 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Adelmann, Dieter ED - Hasselhoff, Görge K. ED - La Sala, Beate Ulrike T1 - Einheit des Bewusstseins als Grundproblem der Philosophie Hermann Cohens BT - vorbereitende Untersuchung für eine historisch-verifizierende Konfrontation der Fundamentalontologie Martin Heideggers mit Hermann Cohens "System der Philosophie" ; aus dem Nachlass herausgegeben, ergänzt und mit einem einleitenden Vorwort versehen von Görge K. Hasselhoff und Beate Ulrike La Sala T3 - Schriften aus dem Nachlass von Dieter Adelmann N2 - Aus dem Inhalt: Vorwort der Herausgeber Vorbemerkung Einleitung I. Abschnitt: Der Zweck des „Systems der Philosophie“ II. Abschnitt: Ü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ür die philosophische Entwicklung Cohens V. Abschnitt: Die Aufgabe der Vernunft als Grundlegung für die Entwicklung der Kultur Schluss: Cohens Bekenntnis der Vernunft Nachwort T3 - Schriften aus dem Nachlass von Dieter Adelmann - 1 Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-58497 SN - 978-3-86956-174-5 IS - 1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Jenssen, Christian T1 - Ausgewählte Werke : in zwei Bänden / Friedrich Ernst Peters N2 - Eine Auswahl aus dem Werk des Schriftstellers. Band I enthält die Lyrik, Band II die Autobiographie "Preis der guten Mächte" mit gegenüber der Ausgabe von 1940 einem zusätzlichen Kapitel: "Raum und Zeit". KW - Peters KW - Friedrich Ernst / Autobiographie Luhnstedt Y1 - 1958 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60535 ER - TY - BOOK ED - Meinel, Christoph ED - Sack, Harald T1 - Vierter Deutscher IPv6 Gipfel 2011 N2 - Am 1. und 2. Dezember 2011 fand am Hasso-Plattner-Institut für Softwaresystemtechnik GmbH in Potsdam der 4. Deutsche IPv6 Gipfel 2011 statt, dessen Dokumentation der vorliegende technische Report dient. Wie mit den vorhergegangenen nationalen IPv6-Gipfeln verfolgte der Deutsche IPv6-Rat auch mit dem 4. Gipfel, der unter dem Motto „Online on the Road - Der neue Standard IPv6 als Treiber der mobilen Kommunikation” stand, das Ziel, Einblicke in aktuelle Entwicklungen rund um den Einsatz von IPv6 diesmal mit einem Fokus auf die automobile Vernetzung zu geben. Gleichzeitig wurde betont, den effizienten und flächendeckenden Umstieg auf IPv6 voranzutreiben, Erfahrungen mit dem Umstieg auf und dem Einsatz von IPv6 auszutauschen, Wirtschaft und öffentliche Verwaltung zu ermutigen und motivieren, IPv6-basierte Lösungen einzusetzen und das öffentliche Problembewusstsein für die Notwendigkeit des Umstiegs auf IPv6 zu erhöhen. Ehrengast war in diesem Jahr die EU-Kommissarin für die Digitale Agenda, Neelie Kroes deren Vortrag von weiteren Beiträgen hochrangiger Vertretern aus Politik, Wissenschaft und Wirtschaft ergänzt wurde. N2 - This technical report is summarizing the talks and presentations of the 4th German IPv6 Summit 2011 at the Hasso Plattner Institute for Software System Engineering in Potsdam on December 1./2. 2011. The goal of this summit was to present current developments concerning the implementation of the new IPv6 technology from political and economic perspectives, as well as from a technological point of view. According to the motto 'Online on the Road - The New Technology Standard IPv6 as Driving Force for Mobile Communications" this year's focus was on automobile networking and communication. This year's guest of honor was EU commissioner for Digital Agenda Neelie Kroes. Besides her, the conference was complemented by talks and presentations of high-ranking representatives from industry, government, and research. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 61 KW - IPv6 KW - IPv4 KW - Internet Protocol KW - Internet Service Provider KW - Infrastruktur KW - Computernetzwerke KW - Netzpolitik KW - Datenschutz KW - Netzneutralität KW - IPv6 KW - IPv4 KW - Internet Protocol KW - Internet Service Provider KW - Infrastructure KW - Computer Networks KW - Network Politics KW - conference KW - data security Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60214 SN - 978-3-86956-194-3 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Mehnert, Alexander A1 - Nastansky, Andreas T1 - Staatsverschuldung und Inflation : eine empirische Analyse für Deutschland N2 - In der vorliegenden Arbeit soll der Zusammenhang zwischen Staatsverschuldung und Inflation untersucht werden. Es werden theoretische Übertragungswege von der Staatsverschuldung über die Geldmenge und die langfristigen Zinsen hin zur Inflation gezeigt. Aufbauend auf diesen theoretischen Überlegungen werden die Variablen Staatsverschuldung, Verbraucherpreisindex, Geldmenge M3 und langfristige Zinsen im Rahmen eines Vektor-Fehlerkorrekturmodells untersucht. In der empirischen Analyse werden die Variablen für Deutschland in dem Zeitraum vom 1. Quartal 1991 bis zum 4. Quartal 2010 betrachtet. In ein Vektor-Fehlerkorrekturmodell fließen alle Variablen als potentiell endogen in das Modell ein. Die Ermittlung der Kointegrationsbeziehungen und die Schätzung des Vektor-Fehlerkorrekturmodells erfolgen mithilfe des Johansen-Verfahrens. N2 - In the following study the relation between the public debt and the inflation will be analysed. The transmission from the public debt to the inflation through the money supply and long term interest rate will be shown. Based on these theoretical thoughts the variables public debt, consumer price index, money supply m3 and the long term interest rate will be analysed within a vector error correction model. In the empirical part of this paper we will evaluate the timeperiod from the first quarter in 1991 until the fourth quarter in 2010 for Germany. In a vector error correction model every variable can be taken as endogenous. The variables in the model will be tested for cointegrated relationships and estimated with the Johansen-Approach. T3 - Potsdamer Schriften zu Statistik und Wirtschaft - 2 KW - Staatsverschuldung KW - Zentralbankpolitik KW - Inflation KW - Kointegration KW - Vektor-Fehlerkorrekturmodell KW - Johansen-Verfahren KW - Public Debt KW - Central Bank Policy KW - Inflation KW - Cointegration KW - Vector Error Correction Model KW - Johansen Approach Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59181 SN - 978-3-86956-181-3 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Tessmann, Jens T1 - Die Zukunft der Kreise in Deutschland zwischen Aufgabenkooperation und Territorialreform T1 - The future of the counties (Landkreise) in Germany between public-public partnership and territorial reform BT - Rahmenbedingungen, Herausforderungen, Reformstrategien und Personalintegration als Schwerpunkt der Reformumsetzung BT - context, challenges, reform strategies and personnel integration as a focus of reform implementation T3 - KWI-Gutachten N2 - Als Schnittstelle zwischen der Lokal- und der Staatsebene konnten die Landkreise ihre Stellung im politischen System Deutschlands bewahren und ausbauen. Optimierungsbedarf hat sich aufgrund des sozioökonomischen, technischen und demographischen Wandel sowie der öffentlichen Finanzkrise ergeben. Kreisgebietsreformmodelle und die Ausweitung der Aufgabenkooperation dominieren die Reformdebatte. Neben den verfassungsrechtlichen Anforderungen und der Akzeptanz der Reform bei den Betroffenen ist der Reformerfolg wesentlich von der Qualität der Umsetzungsstrategie abhängig. Der aktivierenden Einbeziehung der Mitarbeiter in den Reformprozess kommt dabei eine besondere Bedeutung zu. N2 - As an interface between the local and state level, the counties maintain and expand their position in the political system of Germany. Reasons for the improvement are the socio-economic, technological and demographic changes and the expansion of the public finance crisis. Models of territorial reforms and public-public partnerships dominate the debate. The success of these reforms is largely dependent on the constitutional conformity, acceptance of citizens and the quality of the implementation process. Employees should be involved in the design of the reform process. T3 - KWI-Gutachten - 5 KW - Landkreise KW - Kreisgebietsreform KW - Verwaltungskooperation KW - Fusionsmanagement KW - Personalintegration KW - Mecklenburg-Vorpommern KW - counties KW - district local government reform KW - administrative cooperation KW - merger management KW - human integration Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-58145 SN - 978-3-86956-172-1 PB - Universitätsverlag Potsdam CY - Potsdam ET - 2. durchges. Aufl. ER - TY - BOOK ED - Burchert, Linn T1 - Perspektiven für morgen : Gedanken zur Zukunft von Politik, Wirtschaft und Gesellschaft N2 - Der Band „Perspektiven für morgen. Gedanken zur Zukunft von Politik, Wirtschaft und Gesellschaft“ eröffnet konkrete Perspektiven für eine nachhaltige und zukunftsfähige Entwicklung aus Sicht von Studierenden. In Form von Essays werden Lösungsansätze zu konkreten Fragen der Zukunftsfähigkeit und Nachhaltigkeit von Gesellschaft, Politik und Wirtschaft erarbeitet. Im ersten Teil - Zukunftsfähigkeit und Nachhaltigkeit - wird ein thematischer Einstieg in Grenzen und Chancen von Prognosen sowie eine Auseinandersetzung mit den Begriffen Nachhaltigkeit und Zukunftsfähigkeit gegeben. Das Kapitel Gesellschaft hat individuelle und gesellschaftliche Handlungspotentiale zum Gegenstand. Im Kapitel Politik werden Ansatzpunkte und Perspektiven nachhaltiger politischer Systeme, Entscheidungen und Strategien erarbeitet. Der Komplex Wirtschaft behandelt die globale Verteilung von Ressourcen sowie Fragestellungen der Arbeitsmarkt- und Finanzpolitik. Der Band ist im Rahmen eines Projektkurses an der Universität Potsdam im Wintersemester 2011/12 entstanden. N2 - The volume “Perspektiven für morgen. Gedanken zur Zukunft von Politik, Wirtschaft und Gesellschaft” offers student perspectives on sustainable development. Practical questions of sustainability in society, politics and economy are approached in essay form. The first chapter – Zukunftsfähigkeit und Nachhaltigkeit – introduces the limitations and opportunities of forecasting as well as a discussion of the term “sustainability”. The chapter Gesellschaft deals with scopes of action towards sustainability on the individual and social level. The chapter Politik provides thoughts and recommendations for sustainable political systems, decisions and policies. The section Wirtschaft copes with the global distribution of resources as well as issues of labor market and fiscal policy. This volume is the product of a student project course at University of Potsdam in the winter term of 2011/12. KW - Nachhaltigkeit KW - Zukunft KW - Politik KW - Wirtschaft KW - Gesellschaft KW - sustainability KW - future KW - politics KW - economy KW - society Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59403 SN - 978-3-86956-185-1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Uhlenwinkel, Anke A1 - Krause, Uwe A1 - Halman, Loek A1 - Rokven, Josja A1 - Sieben, Inge A1 - Pažický, Michal A1 - Blahušiaková, Andrea A1 - Röper-Kühnemann, Christian A1 - Staufenbiel, Christoph A1 - Vozárová, Hana A1 - Hintze, Katarina A1 - Ivaška, Michal A1 - Kallenbach, René A1 - Majer, Zdenko A1 - Röll, Juliane A1 - Pisarčík, Stanislav A1 - Weiser, Ines A1 - Seeger, Anett A1 - Strehmann, Anja A1 - Chovanová, Katarina A1 - Gembický, Kamil A1 - Nern, Luise A1 - Cornelissen, Sebastiaan A1 - Turgut, Pelin A1 - Knoops, Femke A1 - Erbil, Fethiye A1 - Ertürk, Mustafa A1 - Akpinar, Seda A1 - Maas, Desiree A1 - Rooth, Anneke A1 - Azar, Elif Zeynep A1 - Erdönmez, Çağlayan A1 - Verscheijden, Desirée A1 - Altuntas, Kezban A1 - Akçay, Pinar A1 - Kools, Suzanne A1 - Schnabel, Richard A1 - van den Beemt, Martijn A1 - Çinkaya, Muhammed A1 - Erdem, Didem Tuğçe A1 - Janssen, Robert ED - Uhlenwinkel, Anke T1 - Teaching about the religious values of Europeans : critical reflections from the second student exchange of the EVE-project N2 - The European Values Education (EVE) project is a large-scale, cross-national, and longitudinal survey research programme on basic human values. The main topic of its second stage was religion in Europe. Student teachers of several universities in Europe worked together in multicultural exchange groups. Their results are presented in this issue. T3 - Potsdamer Geographische Praxis - 1 KW - Europäische Werteerziehung KW - Religion KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - religion KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59010 SN - 978-3-86956-175-2 ER - TY - BOOK A1 - Grohmann, Marie T1 - Zur Vereinbarkeit von flexiblen Arbeitsmärkten und sozialer Sicherheit am Beispiel der Bundesrepublik Deutschland N2 - Aus dem Inhalt: 1 Einleitung 2 Entwicklungen auf dem deutschen Arbeitsmarkt 2.1 Das Normalarbeitsverhältnis und seine Bedeutung für den deutschen Arbeitsmarkt 2.2 Flexibilität von Beschäftigungsverhältnissen 2.3 Die Entwicklung der Beschäftigungsverhältnisse in der Bundesrepublik Deutschland 3 Das deutsche System sozialer Sicherung 3.1 Die Bundesrepublik Deutschland als konservativer Wohlfahrtsstaat 3.2 Zur Prekarität atypischer Beschäftigung im deutschen System sozialer Sicherung 4 Die Flexicurity-Strategie anderer Länder 4.1 Dänemark 4.2 Niederlande 5 Die Bewährung der dargestellten arbeitsmarkt- und sozialpolitischen Modelle und Schlussfolgerungen für die Bundesrepublik 5.1 Zur Performanz der Modelle in Dänemark, Deutschland und den Niederlanden 5.2 Ansatzpunkte für die Bundesrepublik Deutschland 6 Fazit und Ausblick T3 - Potsdamer Beiträge zur Sozialforschung - 32 Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60108 ER - TY - BOOK A1 - Grau, Silke T1 - Geschlechtsspezifische Arbeitszeitmuster im internationalen Vergleich N2 - Aus dem Inhalt: 1 Einleitung 2 Forschungsstand 2.1 Erklärungsansätze auf der Makroebene 2.1.1 Der Regimeansatz von Esping-Andersen 2.1.2 Feministische Ansätze 2.1.3 Der sozio-kulturelle Geschlechter-Arrangement-Ansatz 2.1.4 Forschungsbefunde auf Makroebene 2.2 Erklärungsansätze auf der Mikroebene 2.2.1 Humankapitaltheorie 2.2.2 Theorie der Neuen Haushaltsökonomik 2.2.3 Ressourcentheorie 2.2.4 Präferenztheorie 2.2.5 Forschungsbefunde auf Mikroebene 2.3 Hypothesenableitung 3 Empirische Analyse 3.1 Grundlagen der empirischen Untersuchung 3.1.1 Forschungsdesign 3.1.2 Datenbasis 3.1.3 Variablen und Operationalisierung 3.1.4 Analyseschritte und methodisches Vorgehen 3.2 Empirische Befunde 3.2.1 Modellierung der Entscheidung für eine Voll- bzw. Teilzeit-Erwerbstätigkeit 3.2.2 Modellierung der tatsächlich geleisteten Arbeitsstunden pro Woche 4 Zusammenfassung und Schlussfolgerungen T3 - Potsdamer Beiträge zur Sozialforschung - 29 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59849 ER - TY - BOOK A1 - Schäfer, Barbara T1 - Grundrechtsschutz durch das Verfassungsgericht des Landes Brandenburg N2 - Gegenstand dieser Studie ist ein Bereich der Verfassungsgerichtsbarkeit, der laufend an Bedeutung gewinnt. Die Existenz selbständiger Verfassungsräume auf Bundes- und Länderebene ermöglicht ein Nebeneinander von Verfassungsgerichtsbarkeit in Bund und Ländern. § 90 Abs. 3 BVerfGG bestätigt ausdrücklich das Recht der Länder, ein Landesverfassungsbeschwerdeverfahren einzuführen, um die landesstaatlichen Grundrechtsgewährleistungen abzusichern. In den alten Bundesländern ist diese Möglichkeit eher zurückhaltend genutzt worden, dagegen haben die fünf beigetretenen Länder sämtlich von ihr Gebrauch gemacht. Am Beispiel des Verfassungsgerichts des Landes Brandenburg werden die Möglichkeiten und Grenzen des Grundrechtsschutzes durch ein Landesverfassungsgericht dargestellt. T3 - Studien zu Grund- und Menschenrechten - 6 Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60093 ER - TY - BOOK A1 - Brinkmeier, Friederike T1 - Menschenrechtsverletzer vor nationalen Strafgerichten? : Der Fall Pinochet im Lichte aktueller Entwicklungen des Völkerstrafrechts N2 - In ihrer jetzigen Gestalt greift die Studie die aktuellen rechtlichen und tatsächlichen Entwicklungen auf, die die Strafverfolgung von Menschenrechtsverletzern aufwirft. Das Individuum ist im zwanzigsten Jahrhundert nicht nur zum Inhaber völkerrechtlich begründeter Rechtspositionen - der Menschenrechte - geworden. Der einzelne muss mittlerweile auch damit rechnen, für schwere Menschenrechtsverletzungen auf der Grundlage des Völkerrechts strafrechtlich zur Verantwortung gezogen zu werden. Für die Durchsetzung der Menschenrechte ist dies ein weiterer bedeutender Schritt. T3 - Studien zu Grund- und Menschenrechten - 8 Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-60014 ER - TY - BOOK ED - Kleinwächter, Kai T1 - Klimapolitik International T1 - International climate policy N2 - Der Klimawandel birgt globale Risiken. Dies ist weithin anerkannt. Umstritten ist die Frage, wie diesen Gefahren zu begegnen ist. 14 Jahre nach Kyoto ist klar: Klimapolitik ist Interessenpolitik. Das zeigte zuletzt die UN-Klimakonferenz 2011 in Durban mit ihren unverbindlichen Ergebnissen. In diesem Sammelband analysieren Experten Ursachen für das Scheitern der vergangenen Klima-Konferenzen und Konsequenzen für die künftige Klimapolitik. Insbesondere geht es um die Politik der Akteure China und Indien, um die Rolle der NGOs und die Klimafrage in der Entwicklungspolitik. Zugleich wird die deutsche Klimapolitik diskutiert und die Politik Brandenburgs von der verantwortlichen Ministerin vorgestellt. T3 - Horizonte 21 : Umwelt · Energie · Sicherheit - 6 KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Durban 2011 KW - Climate Change Conference KW - NGO KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-58354 SN - 978-3-86956-173-8 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Krause, Christian A1 - Giese, Holger T1 - Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata N2 - 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. N2 - Eine der wichtigsten Herausforderungen in der Entwicklung von Service-orientierten Systemen ist die Vorhersage und die Zusicherung von nicht-funktionalen Eigenschaften, wie Ausfallsicherheit und Verfügbarkeit von zusammengesetzten, interorganisationellen Diensten. Diese Systeme sind oft charakterisiert durch eine Vielzahl von inhärenten Unsicherheiten, welche sowohl in der Modellierung als auch in der Analyse eine Rolle spielen. Die verschiedenen relevanten Arten von Unsicherheiten können eingeteilt werden in (1) epistemische Unsicherheiten aufgrund von unvollständigem Wissen und (2) Zufall als Mittel in Protokollen oder als Resultat von physikalischen Prozessen. In diesem Bericht wird ein probabilistisches, Zeit-behaftetes Modell untersucht, welches es ermöglicht quantitative Aussagen über nicht-funktionale Eigenschaften von einer eingeschränkten Klasse von Service-orientierten Echtzeitsystemen mittels formaler Methoden zu treffen. Zur Motivation und Einordnung wird ein Anforderungskatalog für probabilistische Echtzeitsysteme mit Unsicherheiten erstellt und gezeigt, dass die Unsicherheiten vom Typ (1) und (2) in den untersuchten Systemen einen Ein uss auf die Wahl der Modellierungs- und der Analysemethode haben. Als formales Modell werden Interval Probabilistic Timed Automata (IPTA) benutzt. Basierend auf den erarbeiteten Anforderungen wird gezeigt, dass dieses Modell sowohl ausreichende Ausdrucksstärke für eine realistische und modulare Spezifikation als auch geeignete formale Methoden zur Bestimmung von quantitativen Sicherheits- und Zuverlässlichkeitseigenschaften bietet. Als technisches Mittel für die quantitative Analyse wird probabilistisches Model Checking, speziell probabilistische Zeit-beschränkte Erreichbarkeitsanalyse und Bestimmung von Erwartungswerten für Kosten und Vergütungen eingesetzt. Um die quantitative Analyse mittels probabilistischem Model Checking durchzuführen, wird eine Erweiterung des Prism-Werkzeugs zur Modellierung und Analyse von IPTA eingeführt. Die präsentierte Erweiterung von Prism ermöglicht die Modellierung von probabilistischen Unsicherheiten mittelsWahrscheinlichkeitsintervallen, wie sie für IPTA benötigt werden. Zur Verifikation wird probabilistische Erreichbarkeitsanalyse und die Berechnung von Erwartungswerten durch das Werkzeug unterstützt. Es wird die Performanz der Prism-Erweiterung untersucht und der Intervall-basierte IPTA-Ansatz mit Modellen mit festen Wahrscheinlichkeitswerten verglichen. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 56 KW - Service-orientierte Systme KW - Echtzeitsysteme KW - Quantitative Analysen KW - Formale Verifikation KW - service-oriented systems KW - real-time systems KW - quantitative analysis KW - formal verification methods Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57845 SN - 978-3-86956-171-4 PB - Universitätsverlah Potsdam CY - Potsdam ER - TY - BOOK A1 - Haller, Silja Christina T1 - Wort-Ton-Gestaltung in der Sinfonik Gustav Mahlers N2 - Die eingehende Analyse ausgewählter Aspekte der Wort-Ton-Gestaltung in Gustav Mahlers Vokalsinfonik ist Schwerpunkt der vorliegenden Untersuchung. Prämisse ist Mahlers Ausarbeitung ideenprogrammatischer Intentionen, wobei er sich die besondere Stärke der Musik, geistige Sachverhalte in gewisser Weise präziser als Sprache (die hier ins Symbolhafte ausweichen muss) verdeutlichen zu kö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ältnis von Grad der Freiheit, die sich Mahler hinsichtlich der Beziehung der Musik zur formalen Topographie des Textes nimmt, zu Intensität und Vielschichtigkeit der musikalischen Textexegese. Je stärker sich ihre musikalische Umsetzung in Richtung ‚Semantik-Ausarbeitung‘ bewegt, verliert die äußerliche Sprache an Materialität, wobei das im Lied von der Erde zutage tretende Amalgam von sprachlicher Semantik und Musik gesondert zu nennen ist. Letztendlich wird die überwiegend eher unbestimmte Textsemantik durch Mahlers Musik denotiert und in zuvor im Bereich der Vokalsinfonik nicht erreichter Intensität zum Klingen gebracht. N2 - Focal point of this thesis is the detailed analysis of selected aspects of the relationship between music and text in Gustav Mahler’s vocal-instru-mental symphonies. Mahler’s elaboration of programmatic intentions functions as background. The composer obviously used the specific quality of music which is able to make spiritual or immaterial facts clearer than language (which here often has to switch over to symbolism). The variety of the text interpretation by Mahler’s music (on which the analyses are focused) shows distinct differences: from a relatively simple setting to music-character to an intense amalgam of music and semantics of the words. An important result of the analyses is the approximate proportionality between independency of Mahler’s music from the text’s formal parameters and intensity of the musical exegesis of the words. The more the music tends to elaborate the semantics, the more decreases the materiality of language. In this context the semantics-music-amalgam in the final movement of Das Lied von der Erde represents an unique example. Ultimately Mahler’s music supplies the denotation of the text semantics. This intermixture shows previously – in the history of development of vocal symphonic tradition – not heard intensity. KW - Gustav Mahler KW - Vokalsinfonik KW - Semantik KW - Wort-Ton-Gestaltung KW - Notentextanalyse KW - Ideenprogramm KW - Gustav Mahler KW - vocal symphony KW - semantics KW - music-language-relationship KW - score analysis KW - programmatic idea Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-55568 SN - 978-3-86956-159-2 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Kaina, Viktoria T1 - Machtpotentiale im vereinten Deutschland BT - Prinzip der Volkssouveränität in Gefahr? ; Eine Erwiderung auf Kai-Uwe Schnapp und Christian Welzel im 19. Leviathan-Sonderheft (2000) T3 - Potsdamer Analysen : Politik in Theorie und Empirie N2 - I. Einleitung II. Kritik an Operationalisierung und Methode III. Droht die Entmachtung der Politik? IV. Was will die Bevölkerung? V. Fazit T3 - Potsdamer Analysen - Politik in Theorie und Empirie - 1 Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59680 SN - 978-3-935024-33-4 SN - 1618-7520 IS - 1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Tröger, Peter ED - Polze, Andreas T1 - Proceedings of the 4th Many-core Applications Research Community (MARC) Symposium N2 - In continuation of a successful series of events, the 4th Many-core Applications Research Community (MARC) symposium took place at the HPI in Potsdam on December 8th and 9th 2011. Over 60 researchers from different fields presented their work on many-core hardware architectures, their programming models, and the resulting research questions for the upcoming generation of heterogeneous parallel systems. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 55 KW - Mehrkernsysteme KW - Verbindungsnetzwerke KW - Prozessoren KW - paralleles Rechnen KW - Virtualisierung KW - many-core KW - multi-core KW - interconnect KW - processor hardware KW - parallel computing KW - virtualization Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57898 SN - 978-3-86956-169-1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Hickmann, Thomas T1 - Das Verhältnis von Wissenschaft und Politik in internationalen Umweltregimen BT - ein Vergleich der Regime zum Schutz der Ozonschicht und des Klimas N2 - Wissenschaft hat einen großen Anteil daran, internationale Umweltprobleme auf die politische Tagesordnung zu bringen und Maßnahmen zu ihrer technischen Lösung zu entwerfen. Dies gilt sowohl für den Abbau der Ozonschicht als auch fü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ässliches darüber zu sagen. Thomas Hickmann analysiert das Verhältnis von Wissenschaft und Politik in internationalen Umweltregimen aus einer neuen Perspektive. Er untersucht nicht den Einfluss wissenschaftlicher Erkenntnisse auf die Politik, sondern rü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ässigt, weshalb eine systematische Analyse dieser Frage in der Literatur fehlt. T3 - Horizonte 21 : Umwelt · Energie · Sicherheit - 5 KW - Umweltpolitik KW - Internationale Politik KW - Environmental Policy KW - International Politics Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57003 SN - 978-3-86956-163-9 SN - 1868-6222 SN - 1868-6230 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Klein, Tanja T1 - Rechtspopulistische Parteien in Regierungsbildungsprozessen BT - die Niederlande, Belgien und Schweden im Vergleich N2 - Diese Publikation einer Masterarbeit leistet einen Beitrag, die bestehende Forschungslücke hinsichtlich der Rolle rechtspopulistischer Parteien in Regierungsbildungsprozessen zu füllen. Warum haben sich etablierte Parteien und Rechtspopulisten fü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. T3 - WeltTrends Thesis - 12 KW - Rechtspopulismus KW - Parteien KW - die Niederlande KW - Schweden KW - Belgien KW - right-wing populism KW - parties KW - Netherlands KW - Sweden KW - Belgium Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57703 SN - 978-3-86956-164-6 SN - 1866-0738 SN - 2191-1673 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Kleinwächter, Lutz T1 - In concreto : zum 60. Geburtstag von Raimund Krämer T1 - In concreto : for Raimund Krämer´s 60th Birthday N2 - Mit einem Grußwort von Juan José Linz und Beiträgen von Erhard Crome, Jochen Franzke, Heike Imhof-Rudolph, Lutz Kleinwächter, Ralf Juan Leiteritz, Claus Montag, Christoph Sebastian Widdau, Azadeh Zamirirad und dem Jubilar. N2 - With greetings from Juan José Linz and contributions by Erhard Crome, Jochen Franzke, Heike Imhof-Rudolph, Lutz Kleinwächter, Ralf Juan Leiteritz, Claus Montag, Christoph Sebastian Widdau, Azadeh Zamirirad and the jubilarian. KW - Festschrift KW - Raimund Krämer KW - Grenzen KW - Autoritarismus KW - Caudillismo KW - Festschrift KW - Raimund Krämer KW - borders KW - authoritarianism KW - caudillismo Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-57873 SN - 978-3-86956-167-7 PB - Universitätsverlag Potsdam CY - Potsdam ER -