Refine
Year of publication
- 2012 (118) (remove)
Document Type
- Monograph/Edited Volume (118) (remove)
Is part of the Bibliography
- yes (118) (remove)
Keywords
- AUTOSAR (2)
- Data Integration (2)
- Datenintegration (2)
- Deutschland (2)
- Geopolitics (2)
- Geopolitik (2)
- Iran (2)
- Model Synchronisation (2)
- Model Transformation (2)
- SysML (2)
Institute
- Wirtschaftswissenschaften (20)
- Institut für Romanistik (15)
- Department Erziehungswissenschaft (13)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (11)
- Sozialwissenschaften (10)
- WeltTrends e.V. Potsdam (10)
- Historisches Institut (6)
- Kommunalwissenschaftliches Institut (4)
- Strafrecht (4)
- Institut für Informatik und Computational Science (3)
Das Paper untersucht die geopolitische Konfrontation zwischen Iran und den USA sowie deren Auswirkung auf eine Veränderung der bestehenden Weltordnung. Es wird deutlich, dass die US-amerikanische Sanktionspolitik nicht nur auf das Nuklearprogramm abzielt, sondern grundsätzlich versucht, die Wirtschaftskraft der unabhängig von den Interessen der USA agierenden Regionalmacht zu brechen. Doch die Sanktionspolitik konnte weder eine Lösung des Nukleardossiers herbeiführen noch die Wirtschaftskraft Irans eindämmen. Es ist Zeit für eine fundamentale Kursänderung.
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
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.
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.
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.
Praxismodelle im Studium : Chancen und Probleme aus der Perspektive von Potsdamer Studierenden
(2012)
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.
Mehr Privat statt Staat! Diese Kampfformel galt vielen noch vor kurzem als Schlüssel zur erfolgreichen Entlastung der angespannten kommunalen Haushalte. Immer mehr Kommunen beschritten den vermeintlichen Königsweg. So vielfältig wie die Gegenstände sind auch die in der Verwaltungspraxis zu beobachtenden Erscheinungsformen der Privatisierung: Vermö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üllt und es setzt sich zunehmend die Einsicht durch, dass die Privatwirtschaft nicht zwangsläufig besser, effizienter und kostengünstiger arbeitet als die Öffentliche Hand. Inzwischen deutet sich im kommunalen Bereich eine klare Trendumkehr in Richtung Rekommunalisierung an. Die 17. Fachtagung des Kommunalwissenschaftlichen Instituts (KWI) der Universitä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ür Rekommunalisierungen namentlich in Segmenten der öffentlichen Daseinsvorsorge.
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.
Räume der Mode
(2012)
Als Antwort auf die Herausforderungen der Sinn- und Wertekrise der Moderne besinnt sich Paul Valéry auf das geistige Vermö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ür ihn Denkkunst, die die Möglichkeiten des Lebens abbildet, zum Denken anregt und den ...
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).
Lebenswissenschaft
(2012)
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äfer, Andy Schü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.
Уголовно-процессуальный кодекс ФРГ (УПК ФРГ) является основным законодательным актом, регулирующим немецкий уголовный процесс. В данное издание входят трансформация УПК ФРГ на русский язык и юридические комментарии, призванные облегчить читателю правильное языковое понимание и правовое толкование текста немецкого уголовно-процессуального закона. Трансформация текста закона основана на принципах функционального перевода, подразумевающего точную передачу смысла закона, в соответствии с научным толкованием юридических терминов и правовых институтов, объяснённым в комментариях. Помимо толкования понятий, в комментариях кратко представлены актуальные дискуссии в доктрине и судебной практике в отношении отдельных норм, а также последние изменения и дополнения, внесённые в закон, и краткая информация о содержании других законодательных актов, связанных с положениями УПК ФРГ. Вступительная статья содержит обзор уголовного процесса ФРГ и представляет собой введение в немецкое уголовно-процессуальное право. Книга адресована не только юристам-практикам и правоведам, но и всем тем, кто в силу профессиональной деятельности или в процессе обучения интересуется уголовным процессом ФРГ. Текст закона представлен в редакции от 21 июля 2012 года.
Lernbegleitung im Praktikum : Befunde und Innovationen im Kontext der Reform der Lehrerbildung
(2012)
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.
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.
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.
Traditionelle Verwaltungsverfahren stehen seit längerem und zunehmend in der Kritik. Das klassische Fürsorge-Modell wird vor allem im Umweltbereich nicht mehr akzeptiert. Betroffene Bürger und Verbände wollen verstärkt mitreden und Entscheidungen nicht der Verwaltung und externen Experten überlassen. Das Verfahren der Mediation wird in der Bundesrepublik Deutschland inzwischen in einer Vielzahl von öffentlich-rechtlichen Problembereichen eingesetzt. Besonders auf kommunaler Ebene bietet sich ihr Einsatz an. Diese Arbeit beschäftigt sich aus verwaltungswissenschaftlicher und -rechtlicher Perspektive mit der Mediation im Rahmen der kommunalen Bauleitplanung. Aufgrund der Innovationsoffenheit und Flexibilität bei gleichzeitiger Komplexität und Kooperationsabhängigkeit des Rechts der Bauleitplanung ist dieses besonders für die Anwendung von Mediation geeignet. Das Arbeitsheft führt in das Verfahren der Mediation und seine Begriffe ein, beleuchtet die Charakteristika und Mängel des herkömmlichen Verwaltungsverfahrens und widmet sich dann der Mediation im öffentlichen Bereich. Diese wird anhand der Möglichkeit ihres Einsatzes in der Bauleitplanung auf kommunaler Ebene näher dargestellt, ihre Vor- und Nachteile werden gegeneinander abgewogen. Somit gibt dieses Arbeitsheft eine kompakte, aber dennoch detailreiche Übersicht über den aktuellen Stand der Diskussion zur Mediation im öffentlichen Bereich.
Für den internationalen Vergleich von Gesellschaften wird ein System gesellschaftlicher Dauerbeobachtung vorgeschlagen, indem aufgrund einer Auseinandersetzung mit der sozialphilosophischen Diskussion acht Performanzkriterien für den internationalen Vergleich von Lebensbedingungen bzw. der „Wohlfahrt der Nationen“ entwickelt werden: Wohlstand und Wachstum; ökologische Nachhaltigkeit; Innovation; soziale Sicherung durch Unterstü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ü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ü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änder, die sich in einem Prozess der Ausdifferenzierung befinden. Ab der 3. Auflage werden nun 36 Länder verglichen (incl. aller EU-Mitglieder) statt wie zuvor 28 Länder, in der 7. Auflage auf dem Stand von Januar 2012. Zur Analyse der Sozialstrukturen werden als Modelle sozialer Lagen berücksichtigt: Marx, Weber, Roemer/Wright; soziale Schichten, berufliche Lagen, Goldthorpe-Modell; Bourdieu, Vester, Hradil. Als Anwendungsbereiche werden behandelt: Dienstleistungsgesellschaften und Erwerbstätigkeit, Bildung; Wohlfahrtsregime und soziale Sicherung; Wohlstand, Einkommen, Vermögen und Armut; soziale Mobilität; soziale Ungleichheiten zwischen Frauen und Männern; Bevölkerungsstruktur und Lebensformen; Lebensstile; Individualisierung und ihre Gegenbewegungen; zusammenfassender Vergleich von Lebensbedingungen in verschiedenen Ländern und Wohlfahrtsregimen.
Das Handbuch informiert über die Menschenrechtsinstitutionen und -verfahren der Vereinten Nationen, der UNESCO und der ILO sowie des Europarates und der Europäischen Union. Die erste Auflage erschien 1998, die jetzt vorliegende dritte Auflage wurde erweitert und aktualisiert. Das Buch bietet neben den erklärenden Texten auch Formblätter für Beschwerden, Adressen, Literaturhinweise und grafische Darstellungen. Das Werk richtet sich unter anderem an Studierende, Menschenrechtsakteure, Personen, die Rechtsschutz suchen und deren Rechtsbeistände.
Menschenrechtsverletzungen: Was kann ich dagegen tun? : Menschenrechtsverfahren in der Praxis
(2012)
Depression
(2012)
Die EU-Nachbarschaftspolitik als Instrument externer Demokratieförderung : das Beispiel der Ukraine
(2012)
Seit 2004 versucht die EU mit der Europäischen Nachbarschaftspolitik demokratische Werte in ihre Nachbarländer zu exportieren. Adressaten sind Länder der Mittelmeerunion und Länder des postsozialistischen Europa, die in der Ö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ät, grenzübergreifende Umweltzerstörungen und ethnische Konflikte abgewehrt werden. Die Studie analysiert Externalisierung, Sozialisierung und Imitation als Mechanismen des Europäisierungsprozesses und untersucht im Rahmen einer empirischen Prozessanalyse am Beispiel der Ukraine, welche der von der Europäischen Union angewandten Mechanismen den größten Erfolg für eine Normenadaption bedeuten.
In Japan wurden die sogenannten „Heisei no Daigappei“ (Große kommunale Gebietsreform) im Zeitraum von 1999 bis 2006 durchgeführt. Im Ergebnis hat sich die Anzahl der Gemeinden von 3.232 auf 1.727 – also um die Hälfte – reduziert. Auch in den neuen Bundesländern in Deutschland sind in den letzten Jahren wieder kommunale Gebietsreformen (Gemeindefusionen) durchgeführt worden. Trotzdem gibt es in Deutschland noch etwa 12.000 Gemeinden. Im Vergleich mit Japan ist die Gemeindegröße also deutlich geringer. Mit dem vorliegenden Beitrag sollen die Reformunterschiede zwischen Deutschland und Japan erklärt werden. Gefragt wird nach der „Richtung“ und der „Stärke“ der verschiedenen Vektoren (Einflussfaktoren) im Reformprozess der Gemeindefusionen. Besonders reformfördernd wirken in Japan die Vektoren Dezentralisierungsdruck und öffentliche Finanzkrise. Die Unterschiede zwischen Japan und Deutschland beim Vektor demographischer Wandel konnten nicht betrachtet werden. In Deutschland sind für den Reformfortschritt vor allem die Vektoren bürgernahe Demokratie, örtliche Verbundenheit, die Existenz des Ehrenamtsprinzips sowie die Ergänzungsfunktion der Kreise und Ämter ausschlaggebend. Insgesamt betrachtet wirken die Vektoren in Japan stärker reformfördernd als in Deutschland. Deshalb sind im Reformergebnis die Gebietsstrukturen der Gemeinden in Japan derzeit größer als in Deutschland.
Jeder nach seiner Façon
(2012)
Der 300. Geburtstag Friedrich II ist 2012 im Land Brandenburg und der Stadt Potsdam allgegenwärtig. Zahlreiche Veranstaltungen beschäftigen sich mit dem Leben und Wirken des Königs auf vielfältige Art und Weise.
Sein sympathischster Satz „Jeder soll nach seiner Façon selig werden“ – gemäß seiner Religion, war der Anstoß, sich im Jubilä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ürzten Satz „Jeder nach seiner Façon“ interpretieren wir inzwischen individualistisch. Insbesondere die Versprechen der Urbanität führen zu einer rasanten Verstädterung der Welt, welche noch nie gesehene Herausforderungen an die demokratische Regierbarkeit stellt. Je subjektiver Glü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ößer, liberaler und sozialer, je mehr Menschen in großen Städten aufeinander Rücksicht nehmen müssen – Städte sozialisieren. Zugleich mehren sich die Konflikte, die zwar eskalieren, aber auch neue Lebenschancen eröffnen kö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ört nicht mehr zur Toleranz der Demokratie, die ansonsten vieles integrieren und gleichzeitig verändern kann. Urteilsfähige Bürger halten die Demokratie einer breiten und bündnisbereiten politischen Aufklärung, die Grenzen setzen und Orientierung stiften kann, zusammen.
Das vorliegende Buch von Heinz Kleger nimmt den Satz „Jeder soll nach seiner Façon selig werden“ als Anstoß zum Nachdenken über die historische Bedeutung des Preußenkönigs, seine damalige Gedankenwelt und politische Theorie. Die Selbstinszenierung Friedrich II. als der "große Kümmerer" und volksnahe König spielen dabei ebenso eine Rolle wie seine Philosophie von Sanssouci und sein Verhältnis zur Aufklärung. Kleger stellt den Satz in den Mittelpunkt unserer heutigen Betrachtungen über Toleranz und das Verhältnis von größtmöglicher individueller Freiheit einerseits und Formen Urbaner (Des)Integration andererseits. Dabei geht es um unser Verhältnis in einer liberalen Demokratie zu Herausforderungen der Zuwanderung und Fragen des politischen Extremismus.
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.
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.
Frauen vor dem Spiegel, in der Anprobe und im Warenhaus; Näherinnen, Modistinnen und Vorführdamen in Ateliers; Damen in sportlichen Kostümen, eleganten Tageskleidern und großen Abendroben werden auf Gemälden großer Maler sichtbar und zeigen, dass es in der Mode stets um mehr ging als nur um ein schönes Kleid.