@book{OPUS4-34413, title = {Transnationale Partnerships : effectively providing for sustainable development?}, editor = {Beisheim, Marianne and Leise, Andrea}, publisher = {Palgrave Macmillan}, address = {Basingstoke}, isbn = {978-1-137-35952-0}, pages = {264 S.}, year = {2014}, language = {en} } @book{Roon2014, author = {Roon, Kevin}, title = {Vorlesung 2013-01-14 : A dynamical computational model of phonological planning}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2014}, language = {en} } @book{Schmidt2014, author = {Schmidt, Renate}, title = {Failed state S{\"u}dsudan?}, series = {WeltTrends Spezial}, volume = {12}, journal = {WeltTrends Spezial}, publisher = {Welt Trends e.V}, address = {Potsdam}, isbn = {978-3-941880-81-8}, issn = {2193-0627}, pages = {19 S.}, year = {2014}, language = {en} } @book{OPUS4-8627, title = {HPI Future SOC Lab}, editor = {Meinel, Christoph and Polze, Andreas and Oswald, Gerhard and Strotmann, Rolf and Seibold, Ulrich and Schulzki, Bernhard}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-86271}, publisher = {Universit{\"a}t Potsdam}, pages = {vi, 250}, year = {2014}, abstract = {Das Future SOC Lab am HPI ist eine Kooperation des Hasso-Plattner-Instituts mit verschiedenen Industriepartnern. Seine Aufgabe ist die Erm{\"o}glichung und F{\"o}rderung des Austausches zwischen Forschungsgemeinschaft und Industrie. Am Lab wird interessierten Wissenschaftlern eine Infrastruktur von neuester Hard- und Software kostenfrei f{\"u}r Forschungszwecke zur Verf{\"u}gung gestellt. Dazu z{\"a}hlen teilweise noch nicht am Markt verf{\"u}gbare Technologien, die im normalen Hochschulbereich in der Regel nicht zu finanzieren w{\"a}ren, bspw. Server mit bis zu 64 Cores und 2 TB Hauptspeicher. Diese Angebote richten sich insbesondere an Wissenschaftler in den Gebieten Informatik und Wirtschaftsinformatik. Einige der Schwerpunkte sind Cloud Computing, Parallelisierung und In-Memory Technologien. In diesem Technischen Bericht werden die Ergebnisse der Forschungsprojekte des Jahres 2014 vorgestellt. Ausgew{\"a}hlte Projekte stellten ihre Ergebnisse am 9. April 2014 und 29. Oktober 2014 im Rahmen der Future SOC Lab Tag Veranstaltungen vor.}, language = {en} } @book{WiemannMahlbergDzelzainisetal.2014, author = {Wiemann, Dirk and Mahlberg, Gaby and Dzelzainis, Martin and Cuttica, Cesare and Lottes, G{\"u}nther and Davis, J. C. and Pankratz, Anette and Sedlmayr, Gerold and Vallance, Edward and Vanderbeke, Dirk and Borot, Luc and Champion, Justin and Burgess, Glenn}, title = {Perspectives on English revolutionary republicanism}, editor = {Wiemann, Dirk and Mahlberg, Gaby}, publisher = {Ashgate}, address = {Farnham}, isbn = {978-1-4094-5567-7}, publisher = {Universit{\"a}t Potsdam}, pages = {IX, 228}, year = {2014}, abstract = {Perspectives on English Revolutionary Republicanism takes stock of developments in the scholarship of seventeenth-century English republicanism by looking at the movements and schools of thought that have shaped the field over the decades: the linguistic turn, the cultural turn and the religious turn. While scholars of seventeenth-century republicanism share their enthusiasm for their field, they have approached their subject in diverse ways. The contributors to the present volume have taken the opportunity to bring these approaches together in a number of case studies covering republican language, republican literary and political culture, and republican religion, to paint a lively picture of the state of the art in republican scholarship. The volume begins with three chapters influenced by the theory and methodology of the linguistic turn, before moving on to address cultural history approaches to English republicanism, including both literary culture and (practical) political culture. The final section of the volume looks at how religion intersected with ideas of republican thought. Taken together the essays demonstrate the vitality and diversity of what was once regarded as a narrow topic of political research.}, language = {en} } @book{OPUS4-7534, title = {Process design for natural scientists}, series = {Communications in computer and information science ; 500}, journal = {Communications in computer and information science ; 500}, editor = {Lambrecht, Anna-Lena and Margaria, Tizian}, publisher = {Springer}, address = {Wiesbaden}, isbn = {978-3-662-45005-5}, pages = {X, 251}, year = {2014}, abstract = {This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.}, language = {en} } @book{MeyerWeske2014, author = {Meyer, Andreas and Weske, Mathias}, title = {Weak conformance between process models and synchronized object life cycles}, number = {91}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-303-9}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71722}, publisher = {Universit{\"a}t Potsdam}, pages = {31}, year = {2014}, abstract = {Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.}, language = {en} } @book{OPUS4-6982, title = {HPI Future SOC Lab}, number = {88}, editor = {Meinel, Christoph and Polze, Andreas and Oswald, Gerhard and Strotmann, Rolf and Seibold, Ulrich and Schulzki, Bernard}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-282-7}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-68195}, publisher = {Universit{\"a}t Potsdam}, pages = {iii, 174}, year = {2014}, abstract = {The "HPI Future SOC Lab" is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard- and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2013. Selected projects have presented their results on April 10th and September 24th 2013 at the Future SOC Lab Day events.}, language = {en} } @book{Ehebrecht2014, author = {Ehebrecht, Daniel}, title = {The challenge of informal settlement upgrading : Breaking new ground in Hangberg, Cape Town?}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-300-8}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-71232}, publisher = {Universit{\"a}t Potsdam}, pages = {184}, year = {2014}, abstract = {Despite its many challenges and limitations the concept of in situ upgrading of informal settlements has become one of the most favoured approaches to the housing crisis in the 'Global South'. Due to its inherent principles of incremental in situ development, prevention of relocations, protection of local livelihoods and democratic participation and cooperation, this approach is often perceived to be more sustainable than other housing approaches that often rely on quantitative housing delivery and top down planning methodologies. While this study does not question the benefits of the in situ upgrading approach, it seeks to identify problems of its practical implementation within a specific national and local context. The study discusses the origin and importance of this approach on the basis of a review of international housing policy development and analyses the broader political and social context of the incorporation of this approach into South African housing policy. It further uses insights from a recent case study in Cape Town to determine complications and conflicts that can arise when applying in situ upgrading of informal settlements in a complex local context. On that basis benefits and limitations of the in situ upgrading approach are specified and prerequisites for its successful implementation formulated.}, language = {en} } @book{Pilipenko2014, author = {Pilipenko, Andrey}, title = {An introduction to stochastic differential equations with reflection}, series = {Lectures in pure and applied mathematics}, journal = {Lectures in pure and applied mathematics}, number = {1}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-297-1}, issn = {2199-4951}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70782}, publisher = {Universit{\"a}t Potsdam}, pages = {ix, 75}, year = {2014}, abstract = {These lecture notes are intended as a short introduction to diffusion processes on a domain with a reflecting boundary for graduate students, researchers in stochastic analysis and interested readers. Specific results on stochastic differential equations with reflecting boundaries such as existence and uniqueness, continuity and Markov properties, relation to partial differential equations and submartingale problems are given. An extensive list of references to current literature is included. This book has its origins in a mini-course the author gave at the University of Potsdam and at the Technical University of Berlin in Winter 2013.}, language = {en} }