TY - BOOK A1 - Brzozowski, J. A. A1 - Jürgensen, Helmut T1 - Semilattices of fault semiautomata T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 02 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Buchholz, Thilo A1 - Schulze, Bert-Wolfgang T1 - Volterra operators and parabolicity : anisotropic pseudo-differential operators T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 11 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Bär, Christian A1 - Ginoux, Nicolas A1 - Pfäffle, Frank T1 - Wave equations on lorentzian manifolds and quantization Y1 - 2007 SN - 978-3-03719-037-1 PB - European Math. Society CY - Zürich ER - TY - BOOK A1 - Böckmann, Christine T1 - Retrieval of multimodal aerosol size distribution by inversion of multiwavelength data T3 - Preprint NLD Y1 - 1997 SN - 1432-2935 VL - 38 PB - Univ. Potsdam CY - Potsdam ER - TY - BOOK A1 - Böckmann, Christine T1 - A modification of the Trust-Region Gauss-Newton method to solve separable nonlinear least squares problems T3 - Preprint / Universität Potsdam, Fachbereich Mathematik Y1 - 1992 VL - 1992, 17 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Böckmann, Christine T1 - Curve fitting and identification of physical spectra T3 - Preprint / Universität Potsdam, Fachbereich Mathematik Y1 - 1992 VL - 1992, 18 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Böckmann, Christine A1 - Niebsch, Jenny T1 - Examination of the nonlinear LIDAR-operator : the influence of inhomogeneous absorbing spheres on operator T3 - Preprint NLD Y1 - 1998 SN - 1432-2935 VL - 47 PB - Univ. Potsdam CY - Potsdam ER - TY - BOOK A1 - Böckmann, Christine A1 - Niebsch, Jenny T1 - A mollifier method for aerosol size T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1996 VL - 1996, 07 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Böckmann, Christine A1 - Sarközi, Janos T1 - The ill-posed inversion of multiwavelength lidar data by a hybrid method of variable projection T3 - Preprint NLD Y1 - 1999 SN - 1432-2935 VL - 53 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Böhme, Dimo T1 - EU-Russia energy relations: What chance for solutions? : A focus on the natural gas sector N2 - Public debate about energy relations between the EU and Russia is distorted. These distortions present considerable obstacles to the development of true partnership. At the core of the conflict is a struggle for resource rents between energy producing, energy consuming and transit countries. Supposed secondary aspects, however, are also of great importance. They comprise of geopolitics, market access, economic development and state sovereignty. The European Union, having engaged in energy market liberalisation, faces a widening gap between declining domestic resources and continuously growing energy demand. Diverse interests inside the EU prevent the definition of a coherent and respected energy policy. Russia, for its part, is no longer willing to subsidise its neighbouring economies by cheap energy exports. The Russian government engages in assertive policies pursuing Russian interests. In so far, it opts for a different globalisation approach, refusing the role of mere energy exporter. In view of the intensifying struggle for global resources, Russia, with its large energy potential, appears to be a very favourable option for European energy supplies, if not the best one. However, several outcomes of the strategic game between the two partners can be imagined. Engaging in non-cooperative strategies will in the end leave all stakeholders worse-off. The European Union should therefore concentrate on securing its partnership with Russia instead of damaging it. Stable cooperation would need the acceptance that the partner may pursue his own goals, which might be different from one’s own interests. The question is, how can a sustainable compromise be found? This thesis finds that a mix of continued dialogue, a tit for tat approach bolstered by an international institutional framework and increased integration efforts appears as a preferable solution. N2 - Die öffentliche Debatte über die Energiebeziehungen Russlands und der EU ist verzerrt. Diese Verzerrungen verhindern die Entwicklung einer wirklichen Energiepartnerschaft. Kern des Konflikts ist ein Kampf um Rohstoffrenten zwischen Energie produzierenden, Energie konsumierenden und Transitstaaten. Dabei sind scheinbar nebensächliche Aspekte wie geopolitische Überlegungen, Marktzutrittsbedingungen, wirtschaftliche Entwicklung und staatliche Souveränität, die kaum Beachtung finden, von umso größerer Bedeutung. Die EU, die ihre Energiemärkte liberalisiert, sieht sich einer wachsenden Lücke zwischen abnehmenden eigenen Ressourcen und stetig steigender Energienachfrage gegenüber. Vielfältige Interessen innerhalb der Union verhindern die Definition einer kohärenten und allgemein akzeptierten Energiepolitik. Russland seinerseits ist nicht länger gewillt, die Volkswirtschaften seiner Nachbarstaaten mit billigen Energieexporten zu subventionieren. Die russische Regierung verfolgt russische Interessen, und tut dies durchaus mit Nachdruck. Insofern, als dass sie für Russland selbst mehr als die Rolle eines bloßen Energieexporteurs wünscht, verfolgt sie auch eine eigene Herangehensweise an die Globalisierung. Vor dem Hintergrund des zunehmenden globalen Wettstreits um Ressourcen erscheint Russland mit seinem großen Energiepotential als sehr vorteilhafte, wenn nicht sogar die beste Option für die europäische Energieversorgung. In einem solchen strategischen Spiel der beiden Partner sind grundsätzlich verschiedene Ergebnisse vorstellbar. Wählen beide nichtkooperative Strategien, so verlieren letztlich alle Beteiligten. Die EU sollte sich deshalb darauf konzentrieren, ihre Partnerschaft mit Russland zu intensivieren, anstatt sie zu beschädigen. Eine verlässliche Kooperation setzt dabei die Akzeptanz voraus, dass der Partner seine eigenen Ziele verfolgt, die durchaus verschieden von EU-Interessen sein können. Die Frage ist, wie ein dauerhaft tragfähiger Kompromiss gefunden werden kann. Diese Arbeit argumentiert im Sinne einer Kombination aus fortgeführtem Dialog, einer tit-for-tat Strategie, die von einem internationalen institutionellen Rahmenwerk begleitet wird sowie verstärkten Integrationsbemühungen. T3 - Potsdam Economic Studies - 3 KW - EU KW - Russland KW - Energie KW - Gas KW - Kooperation KW - Rohstoffe KW - EU KW - Russia KW - energy KW - gas KW - cooperation KW - resources Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-63022 SN - 978-3-86956-278-0 ER - TY - BOOK A1 - Calame, Jens R. T1 - Considerations on object oriented software testing T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 2003 SN - 0946-7580 VL - 2003, 4 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Calin, Ovidium A1 - Chang, Der-Chen T1 - The Geometry on a Step 3 Grushin Model T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2004 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Calmez, Conrad A1 - Hesse, Hubert A1 - Siegmund, Benjamin A1 - Stamm, Sebastian A1 - Thomschke, Astrid A1 - Hirschfeld, Robert A1 - Ingalls, Dan A1 - Lincke, Jens T1 - Explorative authoring of Active Web content in a mobile environment N2 - Developing rich Web applications can be a complex job - especially when it comes to mobile device support. Web-based environments such as Lively Webwerkstatt can help developers implement such applications by making the development process more direct and interactive. Further the process of developing software is collaborative which creates the need that the development environment offers collaboration facilities. This report describes extensions of the webbased development environment Lively Webwerkstatt such that it can be used in a mobile environment. The extensions are collaboration mechanisms, user interface adaptations but as well event processing and performance measuring on mobile devices. N2 - Vielseitige Webanwendungen zu entwickeln kann eine komplexe Aufgabe sein - besonders wenn es die Unterstützung mobiler Geräte betrifft. Webbasierte Umgebungen wie Lively Kernel können Entwicklern helfen Webanwendungen zu entwickeln, indem sie den Entwicklungsprozess direkter und interaktiver gestalten. Zudem sind Entwicklungsprozesse von Software kollaborativ, d.h. Enwicklungsumgebungen müssen so gestaltet sein, dass sie mit kollaborativen Elementen zu unterstützen. Diese Arbeit beschreibt die Erweiterungen der webbasierten Entwicklungsumgebung Lively Webwerkstatt, so dass diese in einer mobilen Umgebung genutzt werden kann. Die Reichweite dieser Erweiterungen erstreckt sich von Kollaborationsmechanismen und Benutzerschnittstellen bis hin zu Eventbehandlung und Performanzmessungen auf mobilen Geräten. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 72 KW - Web applications KW - Mobile Application Development KW - CSCW KW - Lively Kernel Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64054 SN - 978-3-86956-232-2 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Calvo, D. A1 - Martin, Calin-Iulian A1 - Schulze, Bert-Wolfgang T1 - Symbolic Structures on Corner Manifolds T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2004 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Calvo, D. A1 - Schulze, Bert-Wolfgang T1 - Operators on Corner Manifolds with Exit to Infinity T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2005 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Camalès, Renaud T1 - A Note on the Ramified Cauchy Problem T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Camalès, Renaud T1 - Explicit formulation of the solution of hamada-leray-wagschalïs theorem T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Carlà-Uhink, Filippo T1 - Representations of classical Greece in theme parks Y1 - 2020 SN - 978-1-4742-9784-4 SN - 978-1-4742-9786-8 SN - 978-1-4742-9785-1 PB - Bloomsbury Academic CY - London ER - TY - BOOK A1 - Carlà-Uhink, Filippo A1 - Freitag, Florian A1 - Anton Clavé, Salvador A1 - Böger, Astrid A1 - Clément, Thibaut A1 - Lukas, Scott A1 - Mittermeier, Sabrina A1 - Molter, Céline A1 - Paine, Crispin A1 - Schwarz, Ariane A1 - Staszak, Jean-Francois A1 - Steinkrüger, Jan-Erik A1 - Widmann, Torsten T1 - Key concepts in theme park studies BT - understanding tourism and leisure spaces N2 - This book offers a comprehensive, multidisciplinary introduction to theme parks and the field of theme park studies. It identifies and discusses relevant economic, social, and cultural as well as medial, historical, and geographical aspects of theme parks worldwide, from the big international theme park chains to smaller, regional, family-operated parks. The book also describes the theories and methods that have been used to study theme parks in various academic disciplines and reviews the major contexts in which theme parks have been studied. By providing the necessary backgrounds, theories, and methods to analyze and understand theme parks both as a business field and as a socio-cultural phenomenon, this book will be a great resource to students, academics from all disciplines interested in theme parks, and professionals and policy-makers in the leisure and entertainment as well as the urban planning sector. Y1 - 2023 SN - 978-3-031-11131-0 SN - 978-3-031-11132-7 SN - 978-3-031-11134-1 U6 - https://doi.org/10.1007/978-3-031-11132-7 PB - Springer CY - Cham ER - TY - BOOK A1 - Carlà-Uhink, Filippo A1 - Rollinger, Chrstian ED - Carlà-Uhink, Filippo ED - Rollinger, Christian T1 - The Tetrarchy as Ideology BT - Reconfigurations and Representations of an Imperial Power T3 - Heidelberger althistorische Beiträge und epigraphische Studien (HABES) ; 64 N2 - The 'Tetrarchy', the modern name assigned to the period of Roman history that started with the emperor Diocletian and ended with Constantine I, has been a much-studied and much-debated field of the Roman Empire. Debate, however, has focused primarily on whether it was a true 'system' of government, or rather a collection of ad-hoc measures undertaken to stabilise the empire after the troubled period of the 3rd century CE. The papers collected here aim to go beyond this question and to present an innovative approach to a fascinating period of Roman history by understanding the Tetrarchy not as a system of government, but primarily as a political language. Their focus thus lies on the language and ideology of the imperial college and court, on the performance of power in imperial ceremonies, the representation of the emperors and their enemies in the provinces of the Roman world, as well as on the afterlife of Tetrarchic power in the Constantinian period. Y1 - 2023 SN - 978-3-515-13400-2 SN - 978-3-515-13403-3 PB - Franz Steiner CY - Stuttgart ER - TY - BOOK A1 - Carroll, Susanne T1 - Input and evidence : the raw material of second language acquisition T3 - Language acquisition and language disorders Y1 - 2000 SN - 1-588-11011-7 VL - 25 PB - J. Benjamins CY - Amsterdam, Philadelphia ER - TY - BOOK A1 - Champagnat, Nicolas A1 - Roelly, Sylvie T1 - Multitype Dawson-Watanabe superprocesses conditioned by remote survival T3 - Preprint / Universität Potsdam, Institut für Mathematik, Mathematische Statistik un Y1 - 2007 SN - 1613-3307 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Chen, Hua A1 - Wu, Shaohua T1 - On existence of solutions for some hyperbolic-parabolic type chemotaxis systems T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2006 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Chen, Hua A1 - Yu, Chun T1 - Asymptotic behaviour of the trace for schrödinger operator on fractal drums T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2001 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Chen, Hua A1 - Zhong, Xinhua T1 - Norm behavior of a parabolic-elliptic system modelling chemotaxis in three-dimensional domains T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Chen, Huan A1 - Li, Wei-Xi A1 - Xu, Chao-Jiang T1 - Gevrey hypoellipticity for linear and non-linear fokker-planck equations T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2007 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Chen, Rui A1 - Liu, Jiaqi A1 - Niu, Wenyuan A1 - Deng, Xiangzheng A1 - Mu, Guijin A1 - Wagner, Mayke A1 - Geldmacher, Karl T1 - Critical controlling of PRED system of oasis ecology in the arid region of central Asia : a case study of Keriya River Valley oases, Xinjiang T3 - Ecosystems dynamics, ecosystem-society interactions, and remote sensing applications for semi-arid and arid land N2 - Oases is a special ecosystem formed in arid climate and hungriness environment, in which resident, water and soil are the principal factor and exchanges of materials, energy and information are the main functional characteristics. The oases regions in central Asia are not only the basilic cradle of civilization of human beings, but also the important strategic places in world growing awareness of the potential benefits. We choose Keriya River Basin oases in south of Xinjiang as a case to study critical controlling of Oases Evolution, Based on the theories and methods used for environmental geology, physical geography, land resource research, and oases ecology. This study try to indicate the essential factors driving the oases ecosystem and the interactional dynamic mechanism in different scales and levels, confirm the optimal equilibrium aggregate of harmonious development between Population, Resources, Environment and Development, and establish the critical controlling pattern of sustainable development. We advance the indicator system to research the evolution of the PRED System of oases in Keriya River valley oases, in basis of the information derived from the field investigation and local materials. According to inquisitional result based on technical support of Geographic Information System (GIS) and Remote Sense (RS), the comparisons and analyses are carried out in land use at the upper reaches, vegetation change in the middle reaches, and desertification at the lower reaches, which narrates the regulations of Keriya River Valley oases land cover dynamic change. The main land cover types represent distinct characteristics of the local place. On the basis of field survey and statistical data, we use ARCINFO software to preprocess these data and the 2 TM satellite images. Through analyzing these images resulting from post- classification compare, we sums up the concrete quantificational dynamic distributed data of 13 land types covering a span of 15 years and regulation of the local ecological environment system. It finally points out that the trend of Keriya River Valley oases desertification expansion is mainly related to two important reasons: impact of natural environment and impact of human activities. T2 - 24 - 27 October 2002, Hangzhou, China Y1 - 2003 UR - 1960 = doi:10.1117/12.466176 SN - 0-8194-4676-9 VL - 4890 PB - SPIE CY - Bellingham, Wash. ER - TY - BOOK A1 - Chhibber, Ajay A1 - Commander, Simon A1 - Evans, Alison A1 - Fuhr, Harald T1 - World Development Report 1997 : the state in a changing world Y1 - 1997 PB - Oxford Uni. Press CY - New York ER - TY - BOOK A1 - Christev, Atanas A1 - FitzRoy, Felix T1 - Employment and wages in transition : panel evidence from Poland N2 - New survey data for a panel of Polish firms is used to estimate employment and wage adjustments under various forms of ownership (insider vs. outsider) and asymmetric response to exogenous shocks. In contrast to earlier studies, dynamic panel data estimators (GMM) allow for endogeneity of observed variables and partial adjustment to shocks. Results differ from other findings in the transition literature: wages have little effect on dynamic labor demand and the firm-size wage effect is confirmed. Firms that expand employment have to pay significantly larger wage increases and rising sales add little to employment, suggesting labor hoarding. Dec1ining sales, however, significantly reduce employment and privatization (or anticipation thereof) has the expected benefits. T3 - Finanzwissenschaftliche Diskussionsbeiträge / Specials series S: Industrial and social policies in countries in transition - 19 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-48946 ER - TY - BOOK A1 - Christev, Atanas A1 - Petersen, Hans-Georg T1 - Privatisation and ownership : the impact on firms in transition survey evidence from Bulgaria N2 - Previous papers in this Special Series, have described in detail the theoretical background and development patterns, along with some empirical results, for the privatisation processes in Bulgaria and Poland. A range of issues have been raised which demand closer empirical investigation. For this purpose, the research group has developed questionnaire studies for Bulgaria and Poland. In Bulgaria, the National Statistical Institute (NSI) carried out the case studies between February and April 1998. The problems of the questionnaire set-up were identified in apre-test study, but unlike the Polish case, they led to only minor differentiation. Since financial limitations prevented a larger sample size, a sample size of 61 mid-sized and large Bulgarian enterprises was selected. Failure to respond was not a serious problem, unlike with the Polish questionnaire; this is because the NSI has maintained good links to the enterprise sector and management were prepared to give detailed answers, even on questions of their firms' financial status. However, as the Polish experience suggests, it has become obvious that the privatisation process is also associated with management's increasing reluctance to answer comparatively 'intimate' questions. Thus, future questionnaire studies must take a much higher rate of refusals into consideration. The pre-selection procedure in Bulgaria was determined by the project target, which sought to analyse the effects of the privatisation process on firm' s behaviour during the transition process, and hence only firms which had already existed before the changes were included. For small and medium-size enterprises (SME's), most of which were founded after the changes, partly due to the legal processes of spontaneous privatisation, some empirical, as weIl as analytical, studies were carried out. Thus, the research group limited the scope of investigation to enterprises with more than 250 employees. The underlying hypothesis is that employment problems are concentrated in larger firms, in particular amongst those still (partly) state owned. Because of the former ownership structures and relatively slower capacity for management change, the assumption is that state-owned enterprises (SOE's) which have only been recently privatised might still have traditional links to government even after privatisation. On the one hand, the SME's are obviously more prone to, and linked with, market processes. As a result, they don't have the financial potential and incentives to follow job-hoarding strategies. On the other hand, there are almost no SME's which are still stateowned. Hence, the prevailing opinion in the literature is that 'larger industrial firms were apt to be least efficient, most often producing inadequate and non-competitive products, with a high degree ofunder-utilisation oflabour and most inflexible to change' (lones & Nikolov 1997, p. 252). Thus, as mentioned above, though there may be some limitations with regard to firm representation, our sample characterises a number of enterprises that offer fertile ground for the analysis of firms' adjustment to the newly established market realities in a transition economy. Our study is unique in the sense that existing empirical studies on privatisation and enterprise restructuring generally cover the time period just before and after the initial stages of transition, e.g. 1988/89 to 1992. In those studies, samples of firms in the Czech Republic, Poland, Hungary and Bulgaria recognise that behavioural adaptations at the enterprise level had taken place just before the actual privatisation process materialised. Therefore, almost all of the firms under examination were still state-owned. The firms were usually divided according to their performance as 'good', 'average' and 'bad' enterprises. The main findings of those early studies have shown that the macroeconomic adaptations (i.e., macro-level changes which induced micro-level adjustment by the firms), as well as emerging market structures, have created enormous pressures which in turn have influenced firms' economic behaviour, reallocation of resources and consequent restructuring. This evidence supports the hypothesis that the SOE's started restructuring and adjusting their behaviour and performance, in response to the harsh realities of more open markets, before privatisation actually started. In this paper, we seek to present some results on these developments in Bulgaria, at the later stages of transition and privatisation (1992-1996). The aim of our questionnaire study is therefore to show the effects of the privatisation process and ownership on the behavioural adaptations of firms which had once been state-owned or continue to be owned by the state. The period under investigation is 1992 to 1996. For 1990 and 1991, the number of missing values is reactively high and, where relevant, we partly exclude these observations from our analysis. The paper contains seven sections. Section 11 outlines the macroeconomic environment in which our sample firms operate, provides some specifics of the Bulgarian privatisation process, and discusses data quality. Section 111 concentrates on the analysis of privatisation, the specific forms of ownership that resulted from it, and firm size. In Section IV, we describe the trends of the main economic variables within firms (such as employment, wages, labour productivity, etc), and a number of proxies of firm viability, while Section V presents some regression results to corroborate the discussion of the previous section. Section VI gives an overview of survey results of the impact of enterprise determined wage policy, trade union activity and membership, government control, and social benefits on enterprise restructuring. Section VII is a summary of our findings. T3 - Finanzwissenschaftliche Diskussionsbeiträge / Specials series S: Industrial and social policies in countries in transition - 17 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-48920 ER - TY - BOOK A1 - Christev, Atanas A1 - Weikard, Hans-Peter T1 - Social benefits and the enterprise : some recent evidence from Bulgaria and Poland N2 - In socialist economies firms have provided various social benefits, like child care, health care, food subsidies, housing etc. Using panel data from Bulgarian and Polish firms, this paper attempts to explain firm-specific provision of social benefits in the process of transition. We investigate empirically with the help of qualitative response models, how ownership type and structure, firm size, profitability, change in management, foreign direct investment, wage and employment policies, union involvement and employee power have impacted the state of non-wage benefits provision. T3 - Finanzwissenschaftliche Diskussionsbeiträge / Specials series S: Industrial and social policies in countries in transition - 18 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-48938 ER - TY - BOOK A1 - Cockshott, William Paul A1 - Cottrell, Allin A1 - Dapprich, Jan Philipp T1 - Economic planning in an age of climate crisis N2 - Faced with an accelerating climate crisis caused by burning fossil fuels we have to change the way the economy works. We can no longer go on with a system that just maximises private profit without consideration for its effects. Instead we have to conciously plan how to change to a fossil fuel free society. The need is urgent. The transformation will be vast. Nothing similar has been done in the West since the days of wartime mobilisation. This book explains the basic science of climate change before looking at the transformations needed to our energy and basic industries. It looks at the previous successful history of deliberate planning practiced in the UK from 1939 to the 1960s and how, using modern computing techniques it will be possible to organise resources so as to effect the change. Y1 - 2022 SN - 979-8-36012-556-3 ER - TY - BOOK A1 - Cooley, Charles Horton ED - Schubert, Hans-Joachim T1 - On self and Social organization Y1 - 1998 SN - 0-226-11509-7 PB - University of Chicago Press CY - Chicago ER - TY - BOOK A1 - Coriasco, S. A1 - Panarese, P. T1 - Fourier integral operators defined by classical symbols with exit behaviour T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2000 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Coriasco, S. A1 - Schrohe, Elmar A1 - Seiler, Jörg T1 - Bounded imaginary powers of differential operators on manifolds with conical singularities T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2001 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Coriasco, S. A1 - Schulze, Bert-Wolfgang T1 - Edge Problems on Configurations with Model Cones of Different Dimensions T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Couper-Kuhlen, Elizabeth A1 - Selting, Margret T1 - Interactional linguistics BT - studying language in socil interaction N2 - The first textbook dedicated to interactional linguistics, focusing on linguistic analyses of conversational phenomena, this introduction provides an overview of the theory and methodology of interactional linguistics. Reviewing recent findings on linguistic practices used in turn construction and turn taking, repair, action formation, ascription, and sequence and topic organization, the book examines the way that linguistic units of varying size - sentences, clauses, phrases, clause combinations, and particles - are mobilized for the implementation of specific actions in talk-in-interaction. A final chapter discusses the implications of an interactional perspective for our understanding of language as well as its variation, diversity, and universality. Supplementary online chapters explore additional topics such as the linguistic organization of preference, stance, footing, and storytelling, as well as the use of prosody and phonetics, and further practices with language. Featuring summary boxes and transcripts from recordings of everyday conversation, this is an essential resource for advanced undergraduate and postgraduate courses on language in social interaction. Y1 - 2018 SN - 978-1-107-61603-5 PB - Cambridge University Press CY - Cambridge ER - TY - BOOK A1 - Cramer, Marcus A1 - Eisert, Jens A1 - Illuminati, Fabrizio T1 - Inhomogeneous atomic Bose-Fermi mixtures in cubic lattices N2 - We determine the ground state properties of inhomogeneous mixtures of bosons and fermions in cubic lattices and parabolic confining potentials. For finite hopping we determine the domain boundaries between Mott-insulator plateaux and hopping-dominated regions for lattices of arbitrary dimension within mean-field and perturbation theory. The results are compared with a new numerical method that is based on a Gutzwiller variational approach for the bosons and an exact treatment for the fermions. The findings can be applied as a guideline for future experiments with trapped atomic Bose- Fermi mixtures in optical lattices Y1 - 2004 SN - 0031-9007 ER - TY - BOOK A1 - Dahlke, Stephan A1 - Maaß, Peter T1 - The affine uncertainty principle in one and two dimensions T3 - Preprint / Universität Potsdam, Fachbereich Mathematik Y1 - 1994 VL - 1994, 01 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dahlke, Stephan A1 - Maaß, Peter T1 - A continuous wavelet transform on tangent bundles of spheres T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1994 VL - 1994, 16 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dahlmann, Olaf T1 - Government stability in Estonia: Wishful Thinking or Reality? : An evaluation of Estonia's governments from the 1992 elections up to 2003 [including a comment of the cabinet of Juhan Parts up to February 2005] N2 - This article examines the multiple governments of independent Estonia since 1992 referring to their stability. Confronted with the immense problems of democratic transition, the multi-party governments of Estonia change comparatively often. Following the elections of March 2003 the ninth government since 1992 was formed. A detailed examination of government stability and the example of Estonia is accordingly warranted, given that the country is seen as the most successful Central Eastern European transition country in spite of its frequent changes of government. Furthermore, this article questions whether or not internal government stability can exist within a situation where the government changes frequently. What does stability of government mean and what are the varying multi-faceted depths of the term? Before analysing the term, it has to be clarified and defined. It is presumed that government stability is composed of multiple variables influencing one another. Data about the average tenure of a government is not very conclusive. Rather, the deeper political causes for governmental change need to be examined. Therefore, this article discusses the conceptual and theoretical basics of governmental stability first. Secondly, it discusses the Estonian situation in detail up to the elections of 2003, including a short review of the 9th government since independence. In the conclusion, the author explains whether or not the governments of Estonia are stable. In the appendix, the reader finds all election results and also a list of all previous ministers of Estonian governments (all data are as of July 2002). T3 - Forschungspapiere "Probleme der Öffentlichen Verwaltung in Mittel- und Osteuropa" - 03 KW - Estonia KW - government KW - parliament KW - fluctuation KW - professionalization Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-3613 ER - TY - BOOK A1 - Dambacher, Michael T1 - Bottom-up and top-down processes in reading : influences of frequency and predictability on event-related potentials and eye movements N2 - In reading, word frequency is commonly regarded as the major bottom-up determinant for the speed of lexical access. Moreover, language processing depends on top-down information, such as the predictability of a word from a previous context. Yet, however, the exact role of top-down predictions in visual word recognition is poorly understood: They may rapidly affect lexical processes, or alternatively, influence only late post-lexical stages. To add evidence about the nature of top-down processes and their relation to bottom-up information in the timeline of word recognition, we examined influences of frequency and predictability on event-related potentials (ERPs) in several sentence reading studies. The results were related to eye movements from natural reading as well as to models of word recognition. As a first and major finding, interactions of frequency and predictability on ERP amplitudes consistently revealed top-down influences on lexical levels of word processing (Chapters 2 and 4). Second, frequency and predictability mediated relations between N400 amplitudes and fixation durations, pointing to their sensitivity to a common stage of word recognition; further, larger N400 amplitudes entailed longer fixation durations on the next word, a result providing evidence for ongoing processing beyond a fixation (Chapter 3). Third, influences of presentation rate on ERP frequency and predictability effects demonstrated that the time available for word processing critically co-determines the course of bottom-up and top-down influences (Chapter 4). Fourth, at a near-normal reading speed, an early predictability effect suggested the rapid comparison of top-down hypotheses with the actual visual input (Chapter 5). The present results are compatible with interactive models of word recognition assuming that early lexical processes depend on the concerted impact of bottom-up and top-down information. We offered a framework that reconciles the findings on a timeline of word recognition taking into account influences of frequency, predictability, and presentation rate (Chapter 4). N2 - Wortfrequenz wird in der Leseforschung als wesentliche Bottom-up Determinante für die Geschwindigkeit des lexikalischen Zugriffs betrachtet. Darüber hinaus spielen Top-down Informationen, wie die kontextbasierte Wortvorhersagbarkeit, in der Sprachverarbeitung eine wichtige Rolle. Bislang ist die exakte Bedeutung von Top-down Vorhersagen in der visuellen Worterkennung jedoch unzureichend verstanden: Es herrscht Uneinigkeit darüber, ob ausschließlich späte post-lexikalische, oder auch frühe lexikalische Verarbeitungsstufen durch Vorhersagbarkeit beeinflusst werden. Um ein besseres Verständnis von Top-down Prozessen und deren Zusammenhänge mit Bottom-up Informationen in der Worterkennung zu gewährleisten, wurden in der vorliegenden Arbeit Einflüsse von Frequenz und Vorhersagbarkeit auf ereigniskorrelierte Potentiale (EKPs) untersucht. Die Ergebnisse aus mehreren Satzlesestudien wurden mit Blickbewegungen beim natürlichen Lesen sowie mit Modellen der Worterkennung in Beziehung gesetzt. Als primärer Befund zeigten sich in EKP Amplituden konsistent Interaktionen zwischen Frequenz und Vorhersagbarkeit. Die Ergebnisse deuten auf Top-down Einflüsse während lexikalischer Wortverarbeitungsstufen hin (Kapitel 2 und 4). Zweitens mediierten Frequenz und Vorhersagbarkeit Zusammenhänge zwischen N400 Amplituden und Fixationsdauern; die Modulation beider abhängigen Maße lässt auf eine gemeinsame Wortverarbeitungsstufe schließen. Desweiteren signalisierten längere Fixationsdauern nach erhöhten N400 Amplituden das Andauern der Wortverarbeitung über die Dauer einer Fixation hinaus (Kapitel 3). Drittens zeigten sich Einflüsse der Präsentationsrate auf Frequenz- und Vorhersagbarkeitseffekte in EKPs. Der Verlauf von Bottom-up und Top-down Prozessen wird demnach entscheidend durch die zur Wortverarbeitung verfügbaren Zeit mitbestimmt (Kapitel 4). Viertens deutete ein früher Vorhersagbarkeitseffekt bei einer leseähnlichen Präsentationsgeschwindigkeit auf den schnellen Abgleich von Top-down Vorhersagen mit dem tatsächlichen visuellen Input hin (Kapitel 5). Die Ergebnisse sind mit interaktiven Modellen der Worterkennung vereinbar, nach welchen Bottom-up und Top-down Informationen gemeinsam frühe lexikalische Verarbeitungsstufen beeinflussen. Unter Berücksichtigung der Effekte von Frequenz, Vorhersagbarkeit und Präsentationsgeschwindigkeit wird ein Modell vorgeschlagen, das die vorliegenden Befunde zusammenführt (Kapitel 4). T3 - Potsdam Cognitive Science Series - 1 KW - Lesen KW - visuelle Worterkennung KW - Bottom-up KW - Top-down KW - Frequenz KW - Vorhersagbarkeit KW - Stimulus-Onset Asynchrony KW - EEG KW - ereigniskorrelierte Potentiale KW - reading KW - visual word recognition KW - bottom-up KW - top-down KW - frequency KW - predictability KW - stimulus-onset asynchrony KW - EEG KW - event-related potentials Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-42024 SN - 978-3-86956-059-5 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Davies, Tim R. A1 - Korup, Oliver A1 - Clague, John J. T1 - Geomorphology and natural hazards BT - understanding landscape change for disaster mitigation T3 - Advanced textbook series N2 - "In spite of ever-increasing research into natural hazards, the reported damage from natural disasters continues to rise, increasingly disrupting human activities. We, as scientists who study the way in which the part of Earth most relevant to society- the surface-behaves, are disturbed and frustrated by this trend. It appears that the large amounts of funding devoted each year to research into reducing the impacts of natural disasters could be much more effective in producing useful results. At the same time we are aware that society, as represented by its decision makers, while increasingly concerned at the impacts of natural disasters on lives and economies, is reluctant to acknowledge the intrinsic activity of Earth's surface and to take steps to adapt societal behaviour to minimise the impacts of natural disasters. Understanding and managing natural hazards and disasters are beyond matters of applied earth science, and also involve considering human societal, economic and political decisions" Y1 - 2021 SN - 978-1-119-99031-4 SN - 978-1-118-64861-2 PB - Wiley CY - Hoboken, NJ ER - TY - BOOK A1 - Davis, Simon T1 - The quantum cosmological wavefunction at very early times for a quadratic gravity theory T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Davis, Simon T1 - Connections and generalized gauge transformation T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Davis, Simon T1 - On the absence of large-order divergences in superstring theory T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Davis, Simon T1 - On the existence of a non-zero lower bound for the number of goldbach partitions of an even integer T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - de Carvalho, Jackson Marques A1 - Jürgensen, Helmut T1 - Document authoring environments and authoring mathematics T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 2008 SN - 0946-7580 VL - 2008, 1 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - De Donno, G. A1 - Schulze, Bert-Wolfgang T1 - Meromorphic symbolic structures for boundary value problems on manifolds with edges T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Demopoulos, George D. A1 - Fratzeskos, Emmanuel K. T1 - Macroeconomic developments and problems in the transition process of the Bulgarian economy N2 - This paper analyses the macroeconomic developments which have taken place in the Bulgarian economy in the period 1993-1997. The paper also looks at the institutional arrangements and the process of economic policy-making in the country. In this context the problems the Bulgarian economy has experienced in the transition process towards a market-oriented economy are also studied. The paper proceeds as follows: Section 2 looks at the institutional arrangements and the process of economic policy-making through 1995. Section 3 studies the deep economic crisis in 1996 and points out what went wrong in that period. Section 4 continues studying the economic crisis of the Bulgarian economy as well as the problems in the transition process during the first half of 1997. Section 5 looks at the economic developments during the second half of 1997 and points to the prospects for growth in 1998. Section 6 deals with the Bulgarian financial institutions and the existing institutional arrangements. Finally, Section 7 concludes the paper. T3 - Finanzwissenschaftliche Diskussionsbeiträge / Specials series S: Industrial and social policies in countries in transition - 7 Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-48825 ER - TY - BOOK A1 - Denecke, Klaus-Dieter T1 - Clones and hyperidentities T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1996 VL - 1996, 14 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Denecke, Klaus-Dieter T1 - Hyperequational theory T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 29 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Denecke, Klaus-Dieter A1 - Koppitz, Jörg A1 - Shtraklov, Slavcho T1 - The Depth of a Hypersubstitution Y1 - 2001 ER - TY - BOOK A1 - Denecke, Klaus-Dieter A1 - Wismath, Shelly T1 - Hyperidentities and clones T3 - Algebra, logic and aplications N2 - The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences. This book presents the theory of hyperidentities and its relation to clone identities. The basic concept of hypersubstitution is used to introduce the monoid of hypersubstitutions, hyperidentities, M-hyperidentities, solid and M-solid varieties. This work integrates into a coherent framework many results scattered throughout the literature over the last eighteen years. In addition, the book contains some applications of hyperidentities to the functional completenes problem in multiple-valued logic. The general theory is also extended to partial algberas. The last chapter contains a list of exercises and open problems with suggestions of future work in this area of research. Y1 - 2000 SN - 90-5699-235-X VL - 14 PB - Gordon & Breach CY - Amsterdam ER - TY - BOOK A1 - Denecke, Klaus-Dieter A1 - Wismath, Shelly T1 - Universal algebra and applications in theoretical computer science Y1 - 2002 SN - 1-584-88254-9 PB - Chapman & Hall/CRC CY - Boca Raton ER - TY - BOOK A1 - Denecke, Klaus-Dieter A1 - Wismath, Shelly L. T1 - Universal Algebra and Coalgebra Y1 - 2009 SN - 978-981-283745-5 PB - World Scientific Publ. Co CY - Singapore ER - TY - BOOK A1 - Denk, Robert A1 - Krainer, Thomas T1 - R-Boundedness, pseudodifferential operators and maximal regularity for some classes of partial differential operators T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2006 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dereudre, David A1 - Roelly, Sylvie T1 - On Gibbsianness of infinite-dimensional diffussions T3 - Preprint / Universität Potsdam, Institut für Mathematik, Mathematische Statistik un Y1 - 2004 SN - 1613-3307 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dereudre, David A1 - Roelly, Sylvie T1 - On Gibbsianness of infinite-dimensional diffusions N2 - We analyse different Gibbsian properties of interactive Brownian diffusions X indexed by the lattice $Z^{d} : X = (X_{i}(t), i ∈ Z^{d}, t ∈ [0, T], 0 < T < +∞)$. In a first part, these processes are characterized as Gibbs states on path spaces of the form $C([0, T],R)Z^{d}$. In a second part, we study the Gibbsian character on $R^{Z}^{d}$ of $v^{t}$, the law at time t of the infinite-dimensional diffusion X(t), when the initial law $v = v^{0}$ is Gibbsian. T3 - Mathematische Statistik und Wahrscheinlichkeitstheorie : Preprint - 2004, 01 KW - infinite-dimensional Brownian diffusion KW - Gibbs field KW - cluster expansion Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-52630 ER - TY - BOOK A1 - Dicken, Volker T1 - Simultaneous activity and attenuation reconstruction in emission tomography T3 - Preprint NLD Y1 - 1998 SN - 1432-2935 VL - 50 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Diemling, Patrick T1 - Is reincarnation compatible with the Christian faith? : a survey through Christian theology N2 - Many Christians react in alarm when being confronted with reincarnation. They tend to regard it as an alien or exotic idea or sometimes even as an occult or dangerous teaching that leads away from the Christian path. Thus, belief in rebirth is often regarded as clearly not compatible with orthodox Christianity. However, no less than 30% of people in the Western world believe in a form of reincarnation, which indicates the urgency for an academic examination of this subject. Patrick Diemling examines under what conditions or restrictions a person who is attracted by the notion of reincarnation could at the same time remain fundamentally loyal to Christ. In a survey through the pivotal sections of Christian theology (such as soteriology, cosmology and eschatology), he investigates the critical points regarding the question of a possible compatibility of reincarnation with the Christian faith. What does the Bible say about reincarnation? What are the points of disagreement between orthodox Christians and defenders of the idea of rebirth? How would Christian theology need to be modified so as to integrate belief in reincarnation? The present volume tries to answer these questions. Y1 - 2008 SN - 978-3-639-01836-3 PB - VDM Verl. Dr. Müller CY - Saarbrücken ER - TY - BOOK A1 - Dines, Nicoleta A1 - Harutjunjan, Gohar A1 - Schulze, Bert-Wolfgang T1 - The Zaremba problem in edge sobolev spaces T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dines, Nicoleta A1 - Schulze, Bert-Wolfgang T1 - Melin-edges representations of elliptic operators T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dittrich, Eckhard A1 - Dobak, Miklos A1 - Hollinshead, Graham A1 - Novy, Ivan A1 - Sackmann, Sonja ED - Wagner, Dieter ED - Lang, Reinhart T1 - Journal for East European Management Y1 - 1996 PB - Hampp CY - Mering ER - TY - BOOK A1 - Donner, Reik Volker A1 - Cser, Adrienn A1 - Schwarz, Udo A1 - Otto, Andreas H. A1 - Feudel, Ulrike T1 - An approach to a process model of laser beam melt ablation using methods of linear and non-linear data analysis N2 - As a non-contact process laser beam melt ablation offers several advantages compared to conventional processing mechanisms. During ablation the surface of the workpiece is molten by the energy of a CO2-laser beam, this melt is then driven out by the impulse of an additional process gas. Although the idea behind laser beam melt ablation is rather simple, the process itself has a major limitation in practical applications: with increasing ablation rate surface quality of the workpiece processed declines rapidly. With different ablation rates different surface structures can be distinguished, which can be characterised by suitable surface parameters. The corresponding regimes of pattern formation are found in linear and non-linear statistical properties of the recorded process emissions as well. While the ablation rate can be represented in terms of the line-energy, this parameter does not provide sufficient information about the full behaviour of the system. The dynamics of the system is dominated by oscillations due to the laser cycle but includes some periodically driven non-linear processes as well. Upon the basis of the measured time series, a corresponding model is developed. The deeper understanding of the process can be used to develop strategies for a process control. Y1 - 2004 SN - 3-527-40430-9 ER - TY - BOOK A1 - Donner, Reik Volker A1 - Cser, Adrienn A1 - Schwarz, Udo A1 - Otto, Andreas H. A1 - Feudel, Ulrike T1 - An approach to a process model of laser beam melt ablation using methods of linear and non-linear data analysis N2 - As a non-contact process laser beam melt ablation offers several advantages compared to conventional processing mechanisms. During ablation the surface of the workpiece is molten by the energy of a CO2-laser beam, this melt is then driven out by the impulse of an additional process gas. Although the idea behind laser beam melt ablation is rather simple, the process itself has a major limitation in practical applications: with increasing ablation rate surface quality of the workpiece processed declines rapidly. With different ablation rates different surface structures can be distinguished, which can be characterised by suitable surface parameters. The corresponding regimes of pattern formation are found in linear and non-linear statistical properties of the recorded process emissions as well. While the ablation rate can be represented in terms of the line-energy, this parameter does not provide sufficient information about the full behaviour of the system. The dynamics of the system is dominated by oscillations due to the laser cycle but includes some periodically driven non-linear processes as well. Upon the basis of the measured time series, a corresponding model is developed. The deeper understanding of the process can be used to develop strategies for a process control. Y1 - 2003 SN - 3-928921-88-6 ER - TY - BOOK A1 - Doupnik, Timothy S. A1 - Richter, Martin T1 - Interpretation of uncertainty expressions : a cross-national study T3 - Studies in Auditing : Beiträge zur betriebswirtschaftlichen Prüfungslehre Y1 - 2000 SN - 1433-9394 VL - 2 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Draisbach, Uwe A1 - Naumann, Felix A1 - Szott, Sascha A1 - Wonneberg, Oliver T1 - Adaptive windows for duplicate detection N2 - 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). N2 - Duplikaterkennung beschreibt das Auffinden von mehreren Datensätzen, die das gleiche Realwelt-Objekt repräsentieren. Diese Aufgabe ist nicht trivial, da sich (i) die Datensätze geringfügig unterscheiden können, so dass Ähnlichkeitsmaße für einen paarweisen Vergleich benötigt werden, und (ii) aufgrund der Datenmenge ein vollständiger, paarweiser Vergleich nicht möglich ist. Zur Lösung des zweiten Problems existieren verschiedene Algorithmen, die die Datenmenge partitionieren und nur noch innerhalb der Partitionen Vergleiche durchführen. Einer dieser Algorithmen ist die Sorted-Neighborhood-Methode (SNM), welche Daten anhand eines Schlüssels sortiert und dann ein Fenster über die sortierten Daten schiebt. Vergleiche werden nur innerhalb dieses Fensters durchgeführt. Wir beschreiben verschiedene Variationen der Sorted-Neighborhood-Methode, die auf variierenden Fenstergrößen basieren. Diese Ansätze basieren auf der Intuition, dass Bereiche mit größerer und geringerer Ähnlichkeiten innerhalb der sortierten Datensätze existieren, für die entsprechend größere bzw. kleinere Fenstergrößen sinnvoll sind. Wir beschreiben und evaluieren verschiedene Adaptierungs-Strategien, von denen nachweislich einige bezüglich Effizienz besser sind als die originale Sorted-Neighborhood-Methode (gleiches Ergebnis bei weniger Vergleichen). T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 49 KW - Informationssysteme KW - Datenqualität KW - Datenintegration KW - Duplikaterkennung KW - Duplicate Detection KW - Data Quality KW - Data Integration KW - Information Systems Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-53007 SN - 978-3-86956-143-1 SN - 1613-5652 SN - 2191-1665 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Du, Yihong A1 - Ma, Li T1 - Some remarks related to de Giorgiïs Conjecture T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2001 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Duah, Reginald Akuoko A1 - Fominyam, Henry Z. A1 - Klose, Claudius A1 - Pfeil, Simone A1 - Genzel, Susanne A1 - Kügler, Frank A1 - Valle, Daniel ED - Grubic, Mira ED - Bildhauer, Felix T1 - Mood, Exhaustivity & Focus Marking in non-European Languages N2 - This is the 19th — and final — issue of the working paper series Interdisciplinary Studies on Information Structure (ISIS) of the Collaborative Research Center 632. In this issue, we present cross-linguistic work on Mood, Exhaustivity, and Focus Marking, on African languages and American languages. T3 - Interdisciplinary studies on information structure : ISIS ; working papers of the SFB 632 - 19 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81200 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dunn, Malcolm H. T1 - Inside the capitalist firm : an evolutionary theory of the principal agent-relation N2 - This book deals with the inner life of the capitalist firm. There we find numerous conflicts, the most important of which concerns the individual employment relationship which is understood as a principal-agent problem between the manager, the principal, who issues orders that are to be followed by the employee, the agent. Whereas economic theory traditionally analyses this relationship from a (normative) perspective of the firm in order to support the manager in finding ways to influence the behavior of the employees, such that the latter – ideally – act on behalf of their superior, this book takes a neutral stance. It focusses on explaining individual behavioral patterns and the resulting interactions between the actors in the firm by taking sociological, institutional, and above all, psychological research into consideration. In doing so, insights are gained which challenge many assertions economists take for granted. T3 - Potsdam Economic Studies - 1 KW - Principal agent relation KW - firm behaviour KW - evolutionary economics KW - transaction costs KW - conflict management Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65151 SN - 978-3-86956-247-6 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dyck, Johannes A1 - Giese, Holger T1 - k-Inductive invariant checking for graph transformation systems N2 - While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context. To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties. To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm. N2 - Während Graphtransformationssysteme einerseits einen ausdrucksstarken Formalismus bereitstellen, existieren andererseits nur eingeschränkte Möglichkeiten für die automatische Analyse. Dies gilt insbesondere für die Analyse von Systemen mit einer Vielzahl an initialen Graphen oder mit großen oder unendlichen Zustandsräumen. Ein möglicher Ansatz, um diese Einschränkungen zu umgehen, sind induktive Invarianten. Allerdings erfordert die Verifkation induktiver Invarianten oft erweitertes Wissen über das zu verifizierende System; weiterhin muss diese Verifikationstechnik mit den spezifischen Problemen der Lokalität und des Mangels an Kontextwissen umgehen. Dieser Bericht betrachtet k-induktive Invarianten - eine Verallgemeinerung induktiver Invarienten - für Graphtransformationssysteme als einen möglichen Ansatz, um diese Probleme anzugehen. Zusätzliches Kontextwissen, das durch die Analyse mehrerer (k) Schritte gewonnen werden kann, macht den entscheidenden Unterschied zu induktiven Invarianten aus und genügt oft, um die gewünschten Invarianten ohne die iterative Entwicklung zusätzlicher Eigenschaften zu verifizieren. Um unendliche Systeme in endlicher Zeit zu analysieren, führen wir eine symbolische Kodierung von Transformationssequenzen ein, die auf verschachtelten Anwendungsbedingungen basiert. Unser zentraler Beitrag ist dann ein formaler Ansatz und Algorithmus zur Verifikation von Graphbedingungen als k-induktive Invarianten. Wir führen einen formalen Beweis, um die Korrektheit unseres Verfahrens nachzuweisen, und demonstrieren die Anwendbarkeit des Verfahrens an mehreren Beispielen, die mit einer prototypischen Implementierung verifiziert wurden. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 119 KW - formal verification KW - static analysis KW - graph transformation KW - typed graph transformation systems KW - graph constraints KW - nested application conditions KW - k-inductive invariants KW - k-induction KW - k-inductive invariant checking KW - transformation sequences KW - s/t-pattern sequences KW - formale Verifikation KW - statische Analyse KW - Graphtransformationen KW - Graphtransformationssysteme KW - Graphbedingungen KW - verschachtelte Anwednungsbedingungen KW - k-induktive Invarianten KW - k-Induktion KW - k-induktives Invariant-Checking KW - Transformationssequenzen KW - Sequenzen von s/t-Pattern Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-397044 SN - 978-3-86956-406-7 SN - 1613-5652 SN - 2191-1665 IS - 119 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dyck, Johannes A1 - Giese, Holger T1 - Inductive invariant checking with partial negative application conditions N2 - Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies. N2 - Graphtransformationssysteme stellen ein ausdrucksstarkes formales Modell zur Verfügung, um Modelltransformationen und Systeme mit unendlichem Zustandsraum zu beschreiben. Allerdings sorgt diese Ausdrucksstärke für signifikante Einschränkungen bei der automatischen Analyse. Ansätze, die die Analyse allgemeiner Systeme mit unendlichem Zustandsraum oder beliebig vielen initialen Graphen unterstützen, sind in ihrer Skalierbarkeit oder Ausdrucksstärke stark eingeschränkt. In diesem Bericht beschreiben wir Verbesserungen eines existierenden Ansatzes für die automatische Verifikation induktiver Invarianten in Graphtransformationssystemen. Durch die Verwendung partieller negativer Anwendungsbedingungen für die Repräsentation und Überprüfung einer Vielzahl an Bedingungen in kompakterer Form können Regeln und Bedingungen von deutlich höhrerer Komplexität verifiziert werden. Weiterhin wird die Ausdrucksstärke des Ansatzes beträchtlich erhöht, indem die Verwendung komplexerer negativer Anwendungsbedingungen und erweiterter Implikationstests ermöglicht wird. Alle diese Verbesserungen werden evaluiert und mit einem anderen anwendbaren Werkzeug anhand von drei Fallstudien verglichen. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 98 KW - verification KW - inductive invariant checking KW - graph transformation KW - partial application conditions KW - Verifikation KW - induktives Invariant Checking KW - Graphtransformationen KW - partielle Anwendungsbedingungen Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-77748 SN - 978-3-86956-333-6 SN - 1613-5652 SN - 2191-1665 IS - 98 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dyck, Johannes A1 - Giese, Holger A1 - Lambers, Leen T1 - Automatic verification of behavior preservation at the transformation level for relational model transformation N2 - The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation. In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction. N2 - Die Korrektheit von Modelltransformationen ist von zentraler Wichtigkeit bei der Anwendung modellgetriebener Softwareentwicklung für die Entwicklung hochqualitativer Software. Insbesondere verhindert Verhaltensbewahrung als wichtigste Korrektheitseigenschaft die Entstehung semantischer Fehler während des modellgetriebenen Entwicklungsprozesses. Techniken zur Verifikation von Verhaltensbewahrung zeigen, dass bestimmte spezifische Eigenschaften bewahrt bleiben oder, im allgemeineren und komplexeren Fall, dass eine Form von Verhaltensäquivalenz oder Verhaltensverfeinerung zwischen Quell- und Zielmodell der Transformation besteht. Für beide Ansätze existieren automatisierte Werkzeuge für die Verifikation auf der Instanzebene, also zur Überprüfung konkreter Paare aus Quell- und Zielmodellen der Transformation. Allerdings existiert kein automatischer Verifikationsansatz, der auf der Transformationsebene arbeitet, also Aussagen zu allen Quell- und Zielmodellen einer Modelltransformation treffen kann. Dieser Bericht erweitert unsere Vorarbeit und Ergebnisse aus [27] und stellt einen neuen Ansatz zur automatischen Verifikation von Verhaltensbewahrung vor, der auf Bisimulation bzw. Simulation basiert. Dabei werden Modelltransformationen durch Triple-Graph-Grammatiken und Verhaltensdefinitionen mittels Graphtransformationsregeln beschrieben. Insbesondere weisen wir nach, dass das Problem der Verhaltensbewahrung durch Bisimulation auf Invariant-Checking für Graphtransformationssysteme reduziert werden kann und dass das entstehende Invariant-Checking-Problem für ein komplexes Beispiel durch unser Werkzeug zur Verifikation induktiver Invarianten gelöst werden kann. Das Beispiel beschreibt die Transformation von Sequenzdiagrammen in Systeme kommunizierender Automaten. Darüber hinaus diskutieren wir bestehende Einschränkungen von Invariant-Checking für Graphtransformationssysteme und Ansätze für zukünftige Arbeiten in diesem Bereich. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 112 KW - model transformation KW - behavior preservation KW - semantics preservation KW - relational model transformation KW - bisimulation KW - simulation KW - invariant checking KW - transformation level KW - behavioral equivalenc KW - behavioral refinement KW - behavioral abstraction KW - graph transformation systems KW - graph constraints KW - triple graph grammars KW - Modelltransformationen KW - Verhaltensbewahrung KW - relationale Modelltransformationen KW - Bisimulation KW - Simulation KW - Invariant-Checking KW - Transformationsebene KW - Verhaltensäquivalenz KW - Verhaltensverfeinerung KW - Verhaltensabstraktion KW - Graphtransformationssysteme KW - Graph-Constraints KW - Triple-Graph-Grammatiken Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-100279 SN - 978-3-86956-391-6 SN - 1613-5652 SN - 2191-1665 IS - 112 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dölling, Irene A1 - Dietzsch, Ina T1 - The german self and the german other : everyday life before and after the "reunification" Y1 - 1996 ER - TY - BOOK A1 - Döllner, Jürgen Roland Friedrich A1 - Kirsch, Florian A1 - Nienhaus, Marc T1 - Visualizing Design and Spatial Assembly of Interactive CSG N2 - For interactive construction of CSG models understanding the layout of a model is essential for its efficient manipulation. To understand position and orientation of aggregated components of a CSG model, we need to realize its visible and occluded parts as a whole. Hence, transparency and enhanced outlines are key techniques to assist comprehension. We present a novel real-time rendering technique for visualizing design and spatial assembly of CSG models. As enabling technology we combine an image-space CSG rendering algorithm with blueprint rendering. Blueprint rendering applies depth peeling for extracting layers of ordered depth from polygonal models and then composes them in sorted order facilitating a clear insight of the models. We develop a solution for implementing depth peeling for CSG models considering their depth complexity. Capturing surface colors of each layer and later combining the results allows for generating order-independent transparency as one major rendering technique for CSG models. We further define visually important edges for CSG models and integrate an image-space edgeenhancement technique for detecting them in each layer. In this way, we extract visually important edges that are directly and not directly visible to outline a model’s layout. Combining edges with transparency rendering, finally, generates edge-enhanced depictions of image-based CSG models and allows us to realize their complex, spatial assembly. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 07 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-33771 SN - 978-3-937786-56-2 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Dörfler, Thomas T1 - Security council sanctions governance BT - the power and limits of rules T3 - Routledge research on the United Nations ; 6 N2 - Little is known about how far-reaching decisions in UN Security Council sanctions committees are made. Developing a novel committee governance concept and using examples drawn from sanctions imposed on Iraq, Al-Qaida, Congo, Sudan and Iran, this book shows that Council members tend to follow the will of the powerful, whereas sanctions committee members often decide according to the rules. This is surprising since both Council and committees are staffed by the same member states. Offering a fascinating account of Security Council micro-politics and decision-making processes on sanctions, this rigorous comparative and theory-driven analysis treats the Council and its sanctions committees as distinguishable entities that may differ in decision practice despite having the same members. Drawing extensively on primary documents, diplomatic cables, well-informed press coverage, reports by close observers and extensive interviews with committee members, Council diplomats and sanctions experts, it contrasts with the conventional wisdom on decision-making within these bodies, which suggests that the powerful permanent members would not accept rule-based decisions against their interests. This book will be of interest to policy practitioners and scholars working in the broad field of international organizations and international relations theory as well as those specializing in sanctions, international law, the Security Council and counter-terrorism. Y1 - 2019 SN - 978-0-42944-232-2 SN - 978-1-138-33749-7 SN - 978-0-4298-0874-6 SN - 978-0-4298-0873-9 U6 - https://doi.org/10.4324/9780429442322 PB - Routledge CY - London ER - TY - BOOK A1 - Dürsch, Falco A1 - Rein, Patrick A1 - Mattis, Toni A1 - Hirschfeld, Robert T1 - Learning from failure BT - a history-based, lightweight test prioritization technique connecting software changes to test failures N2 - Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool. N2 - Regressionstests sind in der heutigen Softwareindustrie weit verbreitete Praxis um die Qualität eines Softwareprodukts abzusichern. Dabei leiten Entwickler von den gestellten Anforderungen Testfälle ab und führen diese wiederholt aus, um sicherzustellen, dass ihre Änderungen die bereits existierende Funktionalität nicht negativ beeinträchtigen. Steigt die Größe und Komplexität der Software und ihrer Testsuite, so wird die Feedbackschleife der Testausführungen länger, und mindert die Produktivität der Entwickler: Sie warten länger auf das Testergebnis, und die Fehlerbehebung gestaltet sich umso schwieriger, je länger die Ursache zurückliegt. Um die Feedbackschleife zu verkürzen, ändern Testpriorisierungs-Algorithmen die Reihenfolge der Testfälle, sodass Testfälle, die mit hoher Wahrscheinlichkeit fehlschlagen, zuerst ausgeführt werden. Der vorliegende Bericht beschäftigt sich mit der Frage nach der Effizienz von Testplänen, welche aus öffentlich einsehbaren Daten rekonstruierbar sind, und welche anwendbaren Priorisierungs-Techniken die effizienteste Testreihenfolge in Bezug auf APFD hervorbringen. Zu diesem Zweck werden 6200 Testsitzungen aus den Logdateien von Travis CI, einem oft verwendeten Dienst für Continuous Integration, und über 62000 Änderungslisten rekonstruiert. Auf dieser Grundlage wird die Effizienz der derzeitigen Testpläne bewertet, als auch solcher, die aus der Neupriorisierung durch leichtgewichtige, verlaufsbasierte Algorithmen hervorgehen. Zudem schlägt der vorliegende Bericht eine neue Gruppe von Ansätzen vor, die Testfehlschläge und Softwareänderungen mit Hilfe einer Matrix in Bezug setzt. Da die beobachteten Testreihenfolgen nur 30% APFD erzielen, liegt wesentliches Potential für Optimierung vor. Dabei besticht die Vorhersagekraft der unmittelbar vorangegangen Testfehlschläge: einfache Heuristiken, wie das Wiederholen von Tests, welche kürzlich fehlgeschlagen sind, führen zu Testplänen mit einer Effizienz von 95% APFD. Matrix-basierte Ansätze erreichen eine Fehlererkennungsrate von bis zu 92.5% APFD. Im Gegensatz zu den bisher bekannten Ansätzen sind die matrix-basierten Techniken auch über den Zweck der Testpriorisierung hinaus nützlich, und sind in der Softwarewartung anwendbar. Zusätzlich werden die Ergebnisse der vorliegenden Studie für Continuous Integration Systeme im Kontext integrierter Entwicklungsumgebungen validiert, indem ein Tool für Continuous Testing um Testpriorisierung erweitert wird. Dies führt zu neuen Forschungsfragen. Die Untersuchungsergebnisse sind geeignet die Einführung von Continuous Testing zu befördern, und untermauern, dass Werkzeuge der Testpriorisierung für produktive Softwareentwicklung essenziell sind. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 145 KW - test case prioritization KW - continuous integration KW - regression testing KW - version control KW - live programming KW - heuristics KW - data set KW - test results KW - GitHub KW - Java KW - Testpriorisierungs KW - kontinuierliche Integration KW - Regressionstests KW - Versionsverwaltung KW - Live-Programmierung KW - Heuristiken KW - Datensatz KW - Testergebnisse KW - GitHub KW - Java Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-537554 SN - 978-3-86956-528-6 SN - 1613-5652 SN - 2191-1665 IS - 145 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Eckhoff, Michael A1 - Klein, Markus T1 - Long time behavior of one-dimensional stochastic dynamics T3 - Preprint / SFB 288, Differentialgeometrie und Quantenphysik Y1 - 2000 VL - 455 PB - TU Berlin, Mathematik Sonderforschungsbereich 288 CY - Berlin ER - TY - BOOK A1 - Eckstein, Lars T1 - Re-Membering the Black Atlantic : on the poetics and politics of literary memory T3 - Cross cultures Y1 - 2006 SN - 94-420-1958-1 VL - 84 PB - Rodopi CY - Amsterdam ER - TY - BOOK A1 - Eckstein, Lars T1 - English literatures across the globe : a companion T3 - UTB : Literaturwissenschaft Y1 - 2007 SN - 978-3-4252-9 VL - 8345 PB - Fink CY - Paderborn ER - TY - BOOK A1 - Eckstein, Lars A1 - Bartels, Anke A1 - Waller, Nicole A1 - Wiemann, Dirk T1 - Postcolonial Literatures in English: An Introduction N2 - Postcoloniale Literatur bezeichnet die nationalen anglophonen Literaturen in den Amerikas, Asien, Afrika und Ozeanien (zeitweise auch New English Literatures genannt). Eine Darstellung nach Regionen ist wegen der migrantischen Bewegungen der Autor/innen allerdings nicht zu leisten. Daher behandelt der Band die zentralen Themen der postkolonialen Debatte, die jeweils Autor/innen aus verschiedenen Regionen betreffen. Y1 - 2019 SN - 978-3-476-02674-3 PB - Metzler CY - Berlin ER - TY - BOOK A1 - Eckstein, Lars A1 - Dengel-Janic, Ellen T1 - Bridehood revisited : disarming concepts of gender and culture in recent asian british film Y1 - 2008 SN - 978-90-420-2497-7 ER - TY - BOOK A1 - Eckstein, Lars A1 - Korte, Barbara A1 - Pinker, Ulrike A1 - Reinfandt, Christoph T1 - Multi-ethnic Britain 2000+ : new perspectives in literature, film and the arts T3 - Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft Y1 - 2008 SN - 978-90-420-2497-7 VL - 121 PB - Rodopi CY - Amsterdam, New York ER - TY - BOOK A1 - Egorov, Jurij V. A1 - Schulze, Bert-Wolfgang T1 - Pseudo-differential operators, singularities, applicatons T3 - Operator theory Y1 - 1997 SN - 3-7643-5484-4 VL - 93 PB - Birkhäuser CY - Basel ER - TY - BOOK A1 - Egorov, Yu A1 - Kondratiev, V. A. A1 - Schulze, Bert-Wolfgang T1 - On completeness of eigenfunctions of an elliptic operator on a manifold with concial points T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgrupe Partielle Differentialgleichun Y1 - 2001 SN - 1437-339X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Egorov, Yu. A1 - Kondratiev, V. A. A1 - Schulze, Bert-Wolfgang T1 - On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2004 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Ehebrecht, Daniel T1 - The challenge of informal settlement upgrading : Breaking new ground in Hangberg, Cape Town? N2 - 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. N2 - Trotz vieler Herausforderungen und Beschränkungen gilt das Konzept des in situ upgrading informeller Siedlungen als eine der wichtigsten Herangehensweisen an die Wohnraumkrise im „globalen Süden“. Aufgrund seiner immanenten Prinzipien einer schrittweisen Entwicklung an Ort und Stelle, der Vermeidung von Umsiedlungen, dem Erhalt lokaler Existenzgrundlagen sowie demokratischer Beteiligung und Kooperation, wird oftmals angenommen, dass diese Herangehensweise nachhaltiger ist, als eine quantitativ ausgerichtete Wohnraumversorgung und Top-Down-Planungsansätze. Während diese Studie die Vorteile des in situ upgrading nicht in Frage stellt, zielt sie darauf ab, Probleme der praktischen Umsetzung dieses Ansatzes in einem spezifischen nationalen und lokalen Kontext zu identifizieren. Die Studie diskutiert die Herkunft und die Bedeutung des in situ upgrading auf der Grundlage einer Rückschau auf die Entwicklung internationaler Wohnraumpolitik und analysiert den politischen und sozialen Kontext der Einbettung dieses Ansatzes in die südafrikanische Wohnraumpolitik. Darüber hinaus macht sie sich Einblicke einer kürzlich durchgeführten Fallstudie in Kapstadt zunutze, um Probleme und Konflikte zu erfassen, die bei der Umsetzung des in situ upgrading in einem komplexen lokalen Kontext entstehen können. Auf dieser Grundlage werden die Vorteile wie auch die Beschränkungen des in situ upgrading näher spezifiziert und zentrale Voraussetzungen für eine erfolgreiche Umsetzung des Konzeptes formuliert. T3 - Potsdamer Geographische Praxis - 7 KW - informelle Siedlungen KW - in situ upgrading KW - sozialer Wohnungsbau KW - Kapstadt KW - Südafrika KW - informal settlements KW - in situ upgrading KW - social housing KW - Cape Town KW - South Africa Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-71232 SN - 978-3-86956-300-8 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Eichenroth, Friedrich A1 - Rein, Patrick A1 - Hirschfeld, Robert T1 - Fast packrat parsing in a live programming environment BT - improving left-recursion in parsing expression grammars T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam N2 - Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code. Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars. We focused our efforts on two approaches. One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes. Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers. In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool. The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 135 KW - packrat parsing KW - parsing expression grammars KW - left recursion Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-491242 SN - 978-3-86956-503-3 SN - 1613-5652 SN - 2191-1665 IS - 135 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Eid-Sabbagh, Rami-Habib A1 - Hewelt, Marcin A1 - Weske, Mathias T1 - Business process architectures with multiplicities : transformation and correctness N2 - Business processes are instrumental to manage work in organisations. To study the interdependencies between business processes, Business Process Architectures have been introduced. These express trigger and message ow relations between business processes. When we investigate real world Business Process Architectures, we find complex interdependencies, involving multiple process instances. These aspects have not been studied in detail so far, especially concerning correctness properties. In this paper, we propose a modular transformation of BPAs to open nets for the analysis of behavior involving multiple business processes with multiplicities. For this purpose we introduce intermediary nets to portray semantics of multiplicity specifications. We evaluate our approach on a use case from the public sector. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 77 Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-66780 SN - 978-3-86956-257-5 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Engbert, Ralf T1 - Tempo-induced transitions in polyrhythmic hand movements T3 - Preprint NLD Y1 - 1997 SN - 1432-2935 VL - 41 PB - Univ. Potsdam CY - Potsdam ER - TY - BOOK A1 - Ette, Ottmar T1 - Literature on the move T3 - Internationale Forschungen zur allgemeinen und vergleichenden Literaturwissenschaft Y1 - 2003 SN - 90-420-1155-6 VL - 68 PB - Rodopi CY - Amsterdam ER - TY - BOOK A1 - Ette, Ottmar T1 - Writing-between-worlds BT - transarea studies and the literatures-without-a-fixed-abode T3 - Mimesis ; 64 Y1 - 2016 SN - 978-3-11-046109-1 PB - de Gruyter CY - Berlin ER - TY - BOOK A1 - Faber, Cathleen T1 - The measurement and development of georgian consumer prices N2 - This paper presents in the first section a methodological introduction concerning statistics of consumer prices in Georgia. The second section gives a general idea of the development of consumer prices from January 1994 till September 1999. A detailed regional analysis is added in section 3. The fourth section analyses the development of consumer prices for the eight main groups included in the total CPI. Section 5 compares the changes in Georgian CPI with the movements of foreign exchange rates in Georgian Lari. This paper ends with a summary including a short outlook to the next years. T3 - Statistische Diskussionsbeiträge - 14 Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-12139 ER - TY - BOOK A1 - Fang, Daoyuan A1 - Xu, Jiang T1 - Asymptotic behavior of solutions to multidimensional nonisentropic hydrodynamic model for semiconductors T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2005 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Fanselow, Gisbert A1 - Féry, Caroline T1 - A short treatise of optimality theory T3 - Linguistics in Potsdam - 18 Y1 - 2002 SN - 978-3-935024-54-9 SN - 1616-7392 PB - Univ.-Bibliothek Publ.-Stelle CY - Potsdam ER - TY - BOOK A1 - Fanselow, Gisbert A1 - Féry, Caroline A1 - Schlesewsky, Matthias A1 - Vogel, Ralf T1 - Gradience in grammar : generative perspectives Y1 - 2006 SN - 0-19-927479-7 PB - Oxford University Press CY - Oxford, New York ER - TY - BOOK A1 - Farias, Fidel T1 - Volatility transmission between the oil market and the financial market T3 - Forschungsbericht Y1 - 2011 SN - 978-3-9812422-8-7 VL - 0111 PB - Inst. für Makroökonomik CY - Potsdam ER - TY - BOOK A1 - Fedosov, Boris T1 - On a spectral theorem for deformation quantization T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2006 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Fedosov, Boris V. T1 - Non-abelian reduction in deformation quantization T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 26 PB - Univ. CY - Potsdam ER -