TY - BOOK A1 - Kunze, Matthias A1 - Weske, Mathias T1 - Behavioural Models BT - From Modelling Finite Automata to Analysing Business Processes N2 - This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts are related to concrete application scenarios, among which business processes play a prominent role. The book consists of three parts, the first of which addresses the foundations of behavioural modelling. After a general introduction to modelling, it introduces transition systems as a basic formalism for representing the behaviour of discrete dynamic systems. This section also discusses causality, a fundamental concept for modelling and reasoning about behaviour. In turn, Part II forms the heart of the book and is devoted to models of behaviour. It details both sequential and concurrent systems and introduces finite automata, state machines and several different types of Petri nets. One chapter is especially devoted to business process models, workflow patterns and BPMN, the industry standard for modelling business processes. Lastly, Part III investigates how the behaviour of systems can be analysed. To this end, it introduces readers to the concept of state spaces. Further chapters cover the comparison of behaviour and the formal analysis and verification of behavioural models. The book was written for students of computer science and software engineering, as well as for programmers and system analysts interested in the behaviour of the systems they work on. It takes readers on a journey from the fundamentals of behavioural modelling to advanced techniques for modelling and analysing sequential and concurrent systems, and thus provides them a deep understanding of the concepts and techniques introduced and how they can be applied to concrete application scenarios. Y1 - 2016 SN - 978-3-319-44958-6 PB - Springer CY - Cham ER - TY - BOOK A1 - Hua, Chen A1 - Jun-Feng, Li A1 - Wei-An, Liu T1 - Behavior of the Solution to a Chemotaxis Model with Reproduction term T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2008 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Blumenstein, Oswald A1 - Van Rensburg, L. A1 - Krüger, Wolfgang A1 - Schachtzabel, Hartmut T1 - Basics for modelling of heavy metal dynamics in tailing dam systems T3 - Stoffdynamik in Geosystemen Y1 - 2006 SN - 0949-4731 VL - 11 PB - Selbstverl. der Arbeitsgruppe Stoffdynamik in Geosystemen CY - Potsdam ER - TY - BOOK ED - Tietze, Christian ED - Lange, Eva T1 - Baset - Bubastis - Tell Basta BT - eine Quellensammlung ; Teil 3: (1979) T3 - Arcus: Berichte aus Archäologie, Baugeschichte und Nachbargebieten T3 - Arcus: Berichte aus Archäologie, Baugeschichte und Nachbargebieten - 9 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-43783 SN - 3-937786-55-4 SN - 978-3-937786-55-1 SN - 0947-1081 IS - 9 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Tietze, Christian ED - Lange, Eva T1 - Baset - Bubastis - Tell Basta BT - eine Quellensammlung ; Teil 2 (1957-1964) T3 - Arcus: Berichte aus Archäologie, Baugeschichte und Nachbargebieten N2 - Inhalt: Habachi, Labib: Tell Basta Chapter 1: Introductory: Bubatis and its monuments Chapter II: The temple of Pepi I [I]: Description Chapter III: The temple of Pepi [III]: Finds and importance Chapter IV: General notes on the great temple [I]: Mihos temple and entrance hall Chapter V: General notes on the great temple [II]: Festival hall and hypostyle hall Chapter VI: General notes on the great temple [III]: The temple of Nektanebos (Nekht-har-hebi) Chapter VII: Work outside the temples Chapter VIII: Blocks transferred to Bubastis Chapter IX: Blocks removed from Bubastis Farid, Shafik: Preliminary report on the excavations of the antiquities department at Tell Basta T3 - Arcus: Berichte aus Archäologie, Baugeschichte und Nachbargebieten - 8 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-42682 SN - 978-3-937786-31-5 SN - 0947-1081 IS - 8 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Welfens, Paul J. J. T1 - Banking, international capital flows and growth in Europe : financial markets, savings an monetary integration in a world with uncertain convergence ; with 63 tables Y1 - 1997 SN - 3-540-63192-5 PB - Springer CY - Berlin ER - TY - BOOK A1 - Wiegert, Ralf T1 - Banking sector and financial intermediation in the russian transformation process Y1 - 2000 ER - TY - BOOK A1 - Felgentreff, Tim A1 - Hirschfeld, Robert A1 - Millstein, Todd A1 - Borning, Alan T1 - Babelsberg/RML BT - executable semantics and language testing with RML N2 - New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript. N2 - Neue Programmiersprachdesigns werden typischerweise anhand konkreter Implementierungen bewertet. Um jedoch Schlüsse aus den Erfahrungen mit einer konkreten Programmiersprache auf ein Sprachdesign ziehen zu können, muss die konkrete Sprache verifizierbar dem Design entsprechen. Zudem muss sichergestellt sein, dass das formale Design seine gesetzten Ziele auch erfüllt. Dabei haben sich ausführbare Semantiken als ein nützliches Werkzeug erwiesen, um letzteres sicherzustellen. Allerdings half dieses Werkzeug bisher nicht, auch die konkrete Implementierung gegen das Design zu verifizieren. Babelsberg ist ein neues Design für eine Familie von Objekt-Constraint Programmiersprachen, zu der wir eine formale Semantik entwickelt haben, die einige Details des Designs klarstellt. Ergänzend dazu berichten wir hier, wie dieser Formalismus in eine ausführbare Semantik mithilfe des RML Systems umgewandelt werden kann. Weiterhin zeigen wir, wie wir diese ausführbare Semantik um ein Rahmenwerk erweitert haben, mit dem sich programmatische Tests für die konkreten Babelsberg Implementierungen erzeugen lassen, welche Rückverfolgbarkeit von der Sprachimplementierung zum Sprachdesign sicherstellen. Schlussendlich diskutieren wir, wie diese Tests uns erlaubten, Fehler in der Babelsberg Implementierung für JavaScript zu finden und zu beheben. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 103 KW - object-constraint programming KW - executable semantics KW - language specification KW - Objekt-Constraint Programmierung KW - ausführbare Semantiken KW - Sprachspezifikation Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-83826 SN - 978-3-86956-348-0 SN - 1613-5652 SN - 2191-1665 IS - 103 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Felgentreff, Tim A1 - Borning, Alan A1 - Hirschfeld, Robert T1 - Babelsberg : specifying and solving constraints on object behavior N2 - Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management. N2 - Constraints – Beschränkungen und Abhängigkeiten zwischen Systemteilen – erlauben es Entwicklern, erwünschte Eigenschaften von Systemen zu spezifizieren, sodass diese automatisch sichergestellt werden. Das führt zu kompaktem, deklarativem Quelltext, und vermeidet verstreute Anweisungen, die wiederholt Invarianten prüfen und wiederherstellen müssen. Trotz dieser Vorteile ist Programmieren mit Constraints nicht verbreitet, sondern imperatives Programmieren die Norm. Es gibt eine lange Forschungsgeschichte zur Integration von Constraints mit imperativem Programmieren. Jedoch vereinheitlicht diese Integration nicht die Programmierkonstrukte zur Abstraktion und Kapselung beider Paradigmen. Das verhindert die Wiederverwendung von Modulen, da Quelltext, der in einem Paradigma geschrieben wurde, nur Module verwenden kann, die so geschrieben sind, dass sie dieses Paradigma unterstützen. Module benötigen daher redundante Definitionen, wenn sie in beiden Paradigmen zur Verfügung stehen sollen. Wir präsentieren hier eine Sprache – Babelsberg – welche die Konstrukte zur Abstraktion und Kapselung vereinheitlicht, indem sie bekannte objektorientierte Methodendefinitionen sowohl für deklarativen, als auch für imperativen Code verwendet. Unser Prototyp –Babelsberg/R – ist eine Erweiterung von Ruby, und unterstützt Rubys objektorientierte Semantik. Dieser erlaubt es Programmieren, Constraints schrittweise zu existierenden Ruby Programmen hinzuzufügen, indem diese auf den Ergebnissen von Methodenaufrufen deklariert werden. Der Prototyp ist auf Basis einer virtuellen Maschine für Ruby implementiert, wobei die Ausführungsgeschwindigkeit von objektorienterten Programmteilen ohne Constraints nur minimal – typischerweise weniger als 10% – beeinträchtigt wird. Weiterhin erlaubt es unsere Architektur, je nach Anwendungsfall, mehrere Lösungsalgorithmen für Constraints zu verwenden. Wir argumentieren, dass unser Ansatz einen nützlichen Schritt darstellt, um Programmieren mit Constraints zu einem allgemeinen Werkzeug für objektorientierte Programmierer zu machen. Wir zeigen Beispielanwendungen, die unserer Ruby-basierten Implementierung geschrieben sind, welche Constraints in einer Reihe von Anwendungen verwenden: Für interaktive Grafik, Schaltkreissimulation, Datenströme mit sowohl harten, als auch weichen Constraints bezüglich ihrer Geschwindigkeit, und Konfigurationsverwaltung. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 81 KW - Constraints KW - Beschränkungen und Abhängigkeiten KW - Objekt-orientiertes Programmieren mit Constraints KW - Constraints KW - Object Constraint Programming Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-67296 SN - 978-3-86956-265-0 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 ED - Bader, Rudolf ED - Stilz, Gerhard ED - Schwarz, Anja T1 - Australian, New Zealand and Pacific Literatures T3 - Postcolonial Literatures in English: Sources and Resources Y1 - 2012 SN - 978-3-86821-367-6 VL - 2 PB - WVT Wiss. Verl. Trier CY - Trier ER - TY - BOOK A1 - Schulze, Bert-Wolfgang A1 - Tarchanov, Nikolaj N. T1 - Asymtotics of solutions to elliptic equations on manifolds with corners T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2000 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Rebahi, Y. T1 - Asymptotics of solutions of differential equations on manifolds with cusps T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 25 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Kapanadze, David A1 - Schulze, Bert-Wolfgang T1 - Asymptotics of potentials in the edge calculus T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Harutjunjan, Gohar A1 - Schulze, Bert-Wolfgang T1 - Asymptotics and relative index on a cylinder with conical cross section T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Flad, H.-J. A1 - Schneider, R. A1 - Schulze, Bert-Wolfgang T1 - Asymptotic Regularity of Solutions of Hartree-Fock Equations with Coulomb Potential T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2007 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Liu, Xiaochun A1 - Witt, Ingo T1 - Asymptotic expansions for bounded solutions to semilinear fuchsian equations 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 - 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 - 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 - Witt, Ingo T1 - Asymptotic algebras T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2001 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Taneja, Preti T1 - Assimilation, exodus, eradication BT - Iraq’s minority communities since 2003 KW - Irak KW - Minderheit KW - Geschichte 2003-2006 Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-bbdig-87 SN - 1-904584-60-8 PB - Minority Rights Group International CY - London ER - TY - BOOK A1 - Schultheiss, Oliver A1 - Brunstein, Joachim Clemens T1 - Assessing implicit motives with a research version of the TAT : picture profiles, gender differences, and relations to other personality measures Y1 - 2001 ER - TY - BOOK A1 - Schröder, Christoph A1 - Hentschel, Gerd A1 - Böder, Winfried T1 - Aspects of secondary predication Y1 - 2008 PB - BIS CY - Oldenburg ER - TY - BOOK ED - Gil, Juan ED - Krainer, Thomas ED - Witt, Ingo T1 - Aspects of Boundary Problems in Analysis and Geometry : advances in partial differential equations T3 - Operator Theory : Advances and Applications Y1 - 2004 SN - 3-7643-7069-6 VL - 151 PB - Birkhäuser CY - Basel ER - TY - BOOK ED - Rothe, Manfred ED - Kruse, Hans-Peter T1 - Aroma perception, formation, evaluation : proceedings of the 4th Wartburg Aroma Symposium Y1 - 1995 PB - Eigenverl. CY - Bergholz-Rehbrücke ER - TY - BOOK ED - Mihr, Anja ED - Mkrtichyan, Artur ED - Mahler, Claudia ED - Toivanen, Reetta T1 - Armenia : a human rights perspective for peace and democracy; human rights, human rights education and minorities N2 - I. Human Rights and Democratic Movements in Armenia - Human Rights as an “Attractor” of Europeanization Processes of Transcaucasian “Neither War nor Peace Societies” (Artur Mkrtichyan) - Human Rights Defender’s Office Armenia (Larisa Alaverdyan) - The Factor of Human Rights Protection as Criteria for the Development in the Social System (Hovhannes Hovhannisyan) - Two Priorities and Two Suggestions in Leading the Way to Human Rights Protection (Gevork Manoukian) - Intrastate Mechanisms of the Protection of Human Political Rights and Freedoms in Armenia (Ashot A. Alexanyan) - The Future of Democracy in Armenia: Institutional and Mass Beliefs Perspectives (Alexander Markarov) II. Human Rights and Education in Armenia - Human Rights in the System of Civic Education Values (Valery Poghosyan) - The Role of Academic Knowledge in Maintaining Tolerance (Ani Muradyan) - Rights of a Child or Duties of Adults...? (Mira Antonyan) - The Right to Education for Children with Special Needs: Inclusive Education in Armenia (Marina Hovhannissyan) - Human Rights Awareness and UNDP Evaluation in Armenia (Kristina Henschen) - Human Rights Education in Armenia – A Base Line Study (Litit Umroyan; Lucig Danielian) III. Human Rights and Minorities in Armenia - Human Rights, Minorities and Human Rights Education in Armenia: An External Perspective (Claudia Mahler; Anja Mihr; Reetta Toivanen) - Minorities and Identity in Armenia (Tatevik Margaryan) - Legal and Real Opportunities for the National Minorities Residing on the Territory of the Republic of Armenia (Hranush Kharatyan) KW - Armenia ; Human Rights ; Minorities ; Education Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29740 SN - 978-3-937786-66-7 ER - TY - BOOK ED - Ette, Ottmar ED - Pannewick, Friederike T1 - ArabAmericas : literary Entanglements of the American hemisphere and the Arab world T3 - Bibliotheca ibero-americana Y1 - 2006 SN - 3-86527-289-4 VL - 110 PB - Iberoamericana; Vervuert CY - Madrid; Frankfurt am Main ER - TY - BOOK A1 - Kosman, Admiʾel T1 - Approaching you in English : selected poems Y1 - 2011 SN - 978-0-9815521-4-9 PB - Zephyr Press CY - Brookline, Mass. ER - TY - BOOK ED - Thielemann, Nadine ED - Kosta, Peter T1 - Approaches to Slavic interaction T3 - Dialogue Studies N2 - This volume provides an overview of current research priorities in the analysis of face-to-face-interaction in Slavic speaking language communities. The core of this volume ranges from discourse analysis in the tradition of interactional linguistics and conversation analysis to newer methods of politeness research. A further field includes empirical and interpretive methods of modern sociolinguistics and statistical analysis of spoken language in casual and institutional talks. Several papers focus on a semantic or syntactic analysis of talk-in-interaction by trying to show how interlocutors use certain lexical, grammatical, syntactic and multimodal or prosodic means for the management of interaction in performing specific actions, genres and displaying negotiations of epistemic, evidential or evaluative stances. The volume is rounded out by contributions to the theory of politeness where strategies of face-work in casual as well as institutional discourse are analyzed, or in which social tasks entertained by code-switching and language alternation within the interaction of bilinguals are discussed. Y1 - 2013 SN - 978-90-272-1037-1 VL - 20 PB - John Benjamins Publishing Company CY - Amsterdam ER - TY - BOOK ED - Gil, Juan ED - Grieser, Daniel ED - Lesch, Matthias T1 - Approaches to singular analysis : a volume of advances in partial differential equations T3 - Operator theory : advances and applications Y1 - 2001 SN - 3-7643-6518-8 U6 - https://doi.org/10.1007/978-3-0348-8253-8 VL - 125 PB - Birkhäuser Basel CY - Basel ER - TY - BOOK ED - Weissenborn, Jürgen ED - Höhle, Barbara T1 - Approaches to bootstrapping : phonological, lexical, syntactic and neurophysiological aspects of earlylanguage acquisition Y1 - 2000 PB - John Benjamins Pub. Co. CY - Amsterdam ER - TY - BOOK ED - Dipper, Stefanie ED - Götze, Michael ED - Stede, Manfred T1 - Approaches and findings in oral, written and gestural language N2 - Der vorliegende dritte Band der Serie "Interdisciplinary Studies on Information Structure" enthält sieben Beiträge aus verschiedenen Projekten des Sonderforschungsbereiches "Informationsstruktur: Die sprachlichen Mittel der Gliederung von Äußerung, Satz und Text" (SFB 632). Der Titel "Approaches and Findings in Oral, Written and Gestural Language" reflektiert die Bandbreite der Untersuchungen zum Thema Informationsstruktur. In ihrem Artikel hinterfragt Elke Kasimir die Zuverlässigkeit des sog. Frage-Antwort-Tests zur Bestimmung des fokussierten Elementes in Sätzen. Ihr alternativer Lösungsvorschlag wird in dem Kommentar von Thomas Weskott kritisch diskutiert. Der Artikel von Paul Elbourne befasst sich mit Phänomenen der Ellipse und bietet eine neue semantische Analyse an. Spezielle morphologisch stark markierte Fokuskonstruktionen aus fünf verschiedenen afrikanischen Sprachen der Gur- und Kwa-Sprachgruppe werden von Ines Fiedler und Anne Schwarz analysiert und diachronisch interpretiert. Ebenfalls sprachhistorisch ausgerichtet ist der Artikel von Roland Hinterhölzl, Svetlana Petrova und Michael Solf, die Belege für die Interaktion von Wortstellung und Informationsstruktur bereits in der althochdeutschen Tatian-Übersetzung fanden. Anke Sennema, Ruben van de Vijver, Susanne E. Carroll und Anne Zimmer-Stahl diskutieren anhand einer Serie von Experimenten die Nutzung von Prosodie, Wortlänge und –Stellung für die semantischen Interpretation in der Erst- und Zweitsprache. Die besondere Rolle von Gestik in Verbindung mit Intonation für die Strukturierung des sprachlichen Diskurses wird von Stefanie Jannedy und Norma Mendoza-Denton hervorgehoben. T3 - Interdisciplinary studies on information structure : ISIS ; working papers of the SFB 632 - 3 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-8255 SN - 1866-4725 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Gronau, Norbert T1 - Approach for requirement oriented team building : eChallenges 2007 Y1 - 2007 PB - Univ. Potsdam CY - Potsdam ER - TY - BOOK A1 - Strehmel, Bernd A1 - Schrader, Sigurd A1 - Seifert, H. ED - Rettig, W. T1 - Applied fluorescence in chemistry, biology and medicine Y1 - 1999 SN - 3-540-64451-2 PB - Springer CY - Berlin ER - TY - BOOK A1 - Nazajkinskij, Vladimir E. A1 - Schulze, Bert-Wolfgang A1 - Sternin, Boris Ju. T1 - Applications of noncommutative analysis to operator algebras on singular manifolds T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2000 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Gronau, Norbert A1 - Fröming, Jane A1 - Schmid, Simone T1 - Application of knowledge management methods for the improvement of education and training needs Y1 - 2006 UR - http://wi.uni-potsdam.de/homepage/potsdam.nsf/ DocFrame?ReadForm&ID=91843FB5CE651E60C1257145004E1E26&Key=PUB_2006&Lang=de CY - Harbin ER - TY - BOOK A1 - Kunze, Karl-Kuno A1 - Strohe, Hans Gerhard T1 - Antipersistence in German stock returns N2 - Persistence of stock returns is an extensively studied and discussed theme in the analysis of financial markets. Antipersistence is usually attributed to volatilities. However, not only volatilities but also stock returns can exhibit antipersistence. Antipersistent noise has a somewhat rougher appearance than Gaussian noise. Heuristically spoken, price movements are more likely followed by movements in the opposite direction than in the same direction. The pertaining integrated process exhibits a smaller range – prices seem to stay in the vicinity of the initial value. We apply a widely used test based upon the modified R/S-Method by Lo [1991] to daily returns of 21 German stocks from 1960 to 2008. Combining this test with the concept of moving windows by Carbone et al. [2004], we are able to determine periods of antipersistence for some of the series under examination. Our results suggest that antipersistence can be found for stocks and periods where extraordinary corporate actions such as mergers & acquisitions or financial distress are present. These effects should be properly accounted for when choosing and designing models for inference. T3 - Statistische Diskussionsbeiträge - 39 KW - Antipersistence KW - capital and ownership structure KW - efficient market hypothesis KW - long memory KW - mergers and acquisitions KW - stock returns Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-45582 ER - TY - BOOK A1 - Kunze, Karl-Kuno A1 - Strohe, Hans Gerhard T1 - Antipersistence in German Stock Returns T3 - Statistische Diskussionsbeiträge Y1 - 2010 SN - 0949-068x VL - 39 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Paneah, Boris T1 - Another approach to the stability of linear functional 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 - Tarkhanov, Nikolai Nikolaevich T1 - Anisotropic edge problems T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK ED - Röder, Katrin ED - Wischer, Ilse T1 - Anglistentag 2012 Potsdam BT - Proceedings N2 - Katrin Röder and Ilse Wischer (Potsdam) Preface Section I: Recent Ireland: Visions and Revisions of Irishness from the 1990s to Today Sarah Heinz (Mannheim), Anton Kirchhofer (Oldenburg), Katharina Rennhak (Wuppertal) and Michaela Schrage-Früh (Mainz/Limerick) Recent Ireland: Visions and Revisions of Irishness from the 1990s to Today: Introduction Christopher Morash (Maynooth) Spectral Ireland: After the Celtic Tiger Jochen Achilles (Würzburg) Transnational Ireland and Elizabeth Kuti's Drama Silke Stroh (Münster) Revisioning Irish Postcolonialism: The Scottish Connection Joanna Rostek (Passau) Migration, Capital, Space: Econotopic Constellations in Recent Literature about Polish Migrants in Ireland Joachim Fischer (Limerick) Images of Germany in Irish Writing of the Last Ten Years (2002-2012) Werner Huber (Wien) The Brothers McDonagh, Filmmakers Christian Lassen (Oldenburg) The Passion of Saint Kitten, or: Desperately Seeking Mitzi, the Phantom Lady. Camp Responses to Interpellation and Subjection in Neil Jordan's Breakfast on Pluto Section II: Recent Trends in Romantic Studies Stefanie Fricke (LMU München), Rosa Karl (Erlangen-Nürnberg) and Gerold Sedlmayr (Dortmund) Recent Trends in Romantic Studies: Introduction Christoph Reinfandt (Tübingen) The Textures of Romanticism: Exploring Charlotte Smith's "Beachy Head" (1807) Ralf Haekel (Göttingen) Romantic Textualities Anthony John Harding (Saskatchewan) British Romanticism and the Transvaluation of Reading Christa Knellwolf King (Vienna) Imperial Myth-making in the Wake of Captain Cook's Death Monika Class (King's College London) Medical Case Narratives across Disciplinary and National Boundaries around 1800 Ute Berns (Hamburg) Romantic Poetry, Scientific Discourse and the Aesthetics of Nature Section III: Apocalypse and Literature Sibylle Baumbach (Mainz) and Anja Müller-Wood (Mainz) Apocalypse and Literature: Introduction Susanne Schmid (Berlin) Philip Pullman's His Dark Materials and Resistance to the Apocalypse Björn Quiring (Berlin) Judging the New Bloomusalem: Persistent Apocalyptic Remnants in Joyce's Ulysses Heike Hartung (Potsdam) Apocalypse and Old Age: Imminent Ends and Lacking Futures Apocalypse and Literature: Summaries Section IV: Comics and Graphic Novels Dirk Vanderbeke (Jena), Sebastian Domsch (Greifswald) and Astrid Böger (Hamburg) Comics and Graphic Novels: Introduction Martin Rowson (London) Towards a Theory of Literary Adaptation in Comic Book Format: A Graphic Response Nicola Glaubitz (Darmstadt) Vernacular Modernism: Martin Rowson's The Waste Land Ellen Grünkemeier (Hannover) Locating The League of Extraordinary Gentlemen in Victorian Literature and (Popular) Culture Sandra Heinen (Wuppertal) 'Indigenizing the Comic Book Medium': Techniques of Storytelling in Indian Graphic Novels Felicitas Meifert-Menhard (München) Evading the Sequence: Choose Your Own Comic Therese-Marie Meyer (Halle-Wittenberg) "My Country, My England": Warren Ellis's Graphic Novels and England at War Sandra Martina Schwab (Mainz) Richard Doyle's Sequential Art in Punch Section V: Electronic Discourse Markus Bieswanger (Bayreuth) and Andrea Sand (Trier) Electronic Discourse: Introduction Klaus P. Schneider (Bonn) Emerging E-mail Etiquette: Lay Perceptions of Appropriateness in Electronic Discourse Christian R. Hoffmann (Augsburg) E(-lectronic) Schmoozing? A Cross-Generic Study of Compliments in Blog Comments Jenny Arendholz (Augsburg) "How to stop strange people speaking to me" – A Syntactic and Interpersonal Perspective on Offering A dvice Online Tanja Angelovska and Angela Hahn (München) Features of Spoken L3 English in an Online Discourse Dagmar Deuber (Münster) and Andrea Sand (Trier) Computer-Mediated Communication in Singapore: Spoken Language Features in Weblogs and a Discussion Forum Christian Mair (Freiburg) Corpus Approaches to the Vernacular Web: Post-Colonial Diasporic Forums in West Africa and the Caribbean Y1 - 2013 SN - 978-3-86821-488-8 PB - Wissenschaftlicher Verlag CY - Trier ER - TY - BOOK A1 - Luh, Jürgen T1 - Ancien régime warfare and the military revolution : a study T3 - Baltic Studies Y1 - 2000 SN - 90-73432-06-5 VL - 6 PB - Instituut voor Noord- en Oost-Europese Studies (INOS) CY - Groningen ER - TY - BOOK A1 - Van Hal, Toon A1 - Van Loon, Zanna A1 - Mercelis, Wouter A1 - Steckley, John A1 - Peetermans, Andy A1 - Van Rooy, Raf A1 - Dionne, Fannie ED - Van Loon, Zanna ED - Steckley, John ED - Van Hal, Toon ED - Peetermans, Andy T1 - Anchored in ink BT - Pierre-Philippe Potier’s Elementa Grammaticae Huronicae (1745), a Jesuit grammar of Wendat BT - Die Elementa grammaticae Huronicae (1745) des Jesuiten Pierre-Philippe Potier, eine Grammatik der Wendat-Sprache N2 - This book serves as a gateway to the Elementa grammaticae Huronicae, an eighteenth-century grammar of the Wendat (‘Huron’) language by Jesuit Pierre-Philippe Potier (1708–1781). The volume falls into three main parts. The first part introduces the grammar and some of its contexts, offering information about the Huron-Wendat and Wyandot, the early modern Jesuit mission in New France and the Jesuits’ linguistic output. The heart of the volume is made up by its second part, a text edition of the Elementa. The third part presents some avenues of research by way of specific case studies. N2 - Dieses Buch hat das Ziel, die Elementa grammaticae Huronicae, eine im 18. Jahrhundert vom Jesuiten Pierre-Philippe Potier (1708–1781) erstellte Grammatik der Wendat-Sprache (d.h. des ‘Huronischen’), einem größeren Leserkreis zu eröffnen. Der Band gliedert sich in drei Hauptteile: Der erste Teil bietet eine Einführung zu der Grammatik und einigen relevanten Kontexten, mit Informationen über die Huron-Wendat und Wyandot, die frühneuzeitliche Jesuitenmission in Neufrankreich und die Schriften der Jesuiten auf dem Gebiet des Sprachstudiums. Das Kernstück des Bandes bildet der zweite Teil, eine Textausgabe der Elementa. Im dritten Teil werden anhand von spezifischen Fallstudien einige Forschungswege vorgestellt. KW - missionary grammar KW - history of linguistics KW - circulation of knowledge KW - early modern manuscript culture KW - Iroquoian languages KW - Missionarsgrammatik KW - Geschichte der Sprachwissenschaft KW - Wissenszirkulation KW - frühneuzeitliche Manuskriptkultur KW - irokesische Sprachen Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-513062 SN - 978-3-86956-516-3 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Fedosov, Boris V. A1 - Schulze, Bert-Wolfgang A1 - Tarchanov, Nikolaj N. T1 - Analytic index formulas for elliptic corner operators T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2000 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK ED - Engel, Uwe ED - Reinecke, Jost T1 - Analysis of change : advanced techniques in panel data analysis Y1 - 1996 PB - de Gruyter CY - Berlin [u.a.] ER - TY - BOOK A1 - Pilipenko, Andrey T1 - An introduction to stochastic differential equations with reflection T3 - Lectures in pure and applied mathematics N2 - These lecture notes are intended as a short introduction to diffusion processes on a domain with a reflecting boundary for graduate students, researchers in stochastic analysis and interested readers. Specific results on stochastic differential equations with reflecting boundaries such as existence and uniqueness, continuity and Markov properties, relation to partial differential equations and submartingale problems are given. An extensive list of references to current literature is included. This book has its origins in a mini-course the author gave at the University of Potsdam and at the Technical University of Berlin in Winter 2013. T3 - Lectures in pure and applied mathematics - 1 KW - Diffusionsprozess KW - Reflektierende Randbedingungen KW - stochastische Differentialgleichungen KW - diffusion process KW - reflecting boundary KW - stochastic differential equations Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-70782 SN - 978-3-86956-297-1 SN - 2199-4951 SN - 2199-496X IS - 1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Lerch, Alexander T1 - An introduction to audio content analysis : applications in signal processing and music informatics Y1 - 2012 SN - 978-1-118-26682-3 U6 - https://doi.org/10.1002/9781118393550 PB - Wiley CY - Hoboken, N.J ER - TY - BOOK A1 - Baltzer, Wanda A1 - Hradilak, Theresa A1 - Pfennigschmidt, Lara A1 - Prestin, Luc Maurice A1 - Spranger, Moritz A1 - Stadlinger, Simon A1 - Wendt, Leo A1 - Lincke, Jens A1 - Rein, Patrick A1 - Church, Luke A1 - Hirschfeld, Robert T1 - An individual-centered approach to visualize people’s opinions and demographic information N2 - The noble way to substantiate decisions that affect many people is to ask these people for their opinions. For governments that run whole countries, this means asking all citizens for their views to consider their situations and needs. Organizations such as Africa's Voices Foundation, who want to facilitate communication between decision-makers and citizens of a country, have difficulty mediating between these groups. To enable understanding, statements need to be summarized and visualized. Accomplishing these goals in a way that does justice to the citizens' voices and situations proves challenging. Standard charts do not help this cause as they fail to create empathy for the people behind their graphical abstractions. Furthermore, these charts do not create trust in the data they are representing as there is no way to see or navigate back to the underlying code and the original data. To fulfill these functions, visualizations would highly benefit from interactions to explore the displayed data, which standard charts often only limitedly provide. To help improve the understanding of people's voices, we developed and categorized 80 ideas for new visualizations, new interactions, and better connections between different charts, which we present in this report. From those ideas, we implemented 10 prototypes and two systems that integrate different visualizations. We show that this integration allows consistent appearance and behavior of visualizations. The visualizations all share the same main concept: representing each individual with a single dot. To realize this idea, we discuss technologies that efficiently allow the rendering of a large number of these dots. With these visualizations, direct interactions with representations of individuals are achievable by clicking on them or by dragging a selection around them. This direct interaction is only possible with a bidirectional connection from the visualization to the data it displays. We discuss different strategies for bidirectional mappings and the trade-offs involved. Having unified behavior across visualizations enhances exploration. For our prototypes, that includes grouping, filtering, highlighting, and coloring of dots. Our prototyping work was enabled by the development environment Lively4. We explain which parts of Lively4 facilitated our prototyping process. Finally, we evaluate our approach to domain problems and our developed visualization concepts. Our work provides inspiration and a starting point for visualization development in this domain. Our visualizations can improve communication between citizens and their government and motivate empathetic decisions. Our approach, combining low-level entities to create visualizations, provides value to an explorative and empathetic workflow. We show that the design space for visualizing this kind of data has a lot of potential and that it is possible to combine qualitative and quantitative approaches to data analysis. N2 - Der noble Weg, Entscheidungen, die viele Menschen betreffen, zu begründen, besteht darin, diese Menschen nach ihrer Meinung zu fragen. Für Regierungen, die ganze Länder führen, bedeutet dies, alle Bürger nach ihrer Meinung zu fragen, um ihre Situationen und Bedürfnisse zu berücksichtigen. Organisationen wie die Africa's Voices Foundation, die die Kommunikation zwischen Entscheidungsträgern und Bürgern eines Landes erleichtern wollen, haben Schwierigkeiten, zwischen diesen Gruppen zu vermitteln. Um Verständnis zu ermöglichen, müssen die Aussagen zusammengefasst und visualisiert werden. Diese Ziele auf eine Weise zu erreichen, die den Stimmen und Situationen der Bürgerinnen und Bürger gerecht wird, erweist sich als Herausforderung. Standardgrafiken helfen dabei nicht weiter, da es ihnen nicht gelingt, Empathie für die Menschen hinter ihren grafischen Abstraktionen zu schaffen. Darüber hinaus schaffen diese Diagramme kein Vertrauen in die Daten, die sie darstellen, da es keine Möglichkeit gibt, den verwendeten Code und die Originaldaten zu sehen oder zu ihnen zurück zu navigieren. Um diese Funktionen zu erfüllen, würden Visualisierungen sehr von Interaktionen zur Erkundung der angezeigten Daten profitieren, die Standardgrafiken oft nur begrenzt bieten. Um das Verständnis der Stimmen der Menschen zu verbessern, haben wir 80 Ideen für neue Visualisierungen, neue Interaktionen und bessere Verbindungen zwischen verschiedenen Diagrammen entwickelt und kategorisiert, die wir in diesem Bericht vorstellen. Aus diesen Ideen haben wir 10 Prototypen und zwei Systeme implementiert, die verschiedene Visualisierungen integrieren. Wir zeigen, dass diese Integration ein einheitliches Erscheinungsbild und Verhalten der Visualisierungen ermöglicht. Die Visualisierungen haben alle das gleiche Grundkonzept: Jedes Individuum wird durch einen einzigen Punkt dargestellt. Um diese Idee zu verwirklichen, diskutieren wir Technologien, die die effiziente Darstellung einer großen Anzahl dieser Punkte ermöglichen. Mit diesen Visualisierungen sind direkte Interaktionen mit Darstellungen von Individuen möglich, indem man auf sie klickt oder eine Auswahl um sie herumzieht. Diese direkte Interaktion ist nur mit einer bidirektionalen Verbindung von der Visualisierung zu den angezeigten Daten möglich. Wir diskutieren verschiedene Strategien für bidirektionale Mappings und die damit verbundenen Kompromisse. Ein einheitliches Verhalten über Visualisierungen hinweg verbessert die Exploration. Für unsere Prototypen umfasst dies Gruppierung, Filterung, Hervorhebung und Einfärbung von Punkten. Unsere Arbeit an den Prototypen wurde durch die Entwicklungsumgebung Lively4 ermöglicht. Wir erklären, welche Teile von Lively4 unseren Prototyping-Prozess erleichtert haben. Schließlich bewerten wir unsere Herangehensweise an Domänenprobleme und die von uns entwickelten Visualisierungskonzepte. Unsere Arbeit liefert Inspiration und einen Ausgangspunkt für die Entwicklung von Visualisierungen in diesem Bereich. Unsere Visualisierungen können die Kommunikation zwischen Bürgern und ihrer Regierung verbessern und einfühlsame Entscheidungen motivieren. Unser Ansatz, bei dem wir niedrigstufige Entitäten zur Erstellung von Visualisierungen kombinieren, bietet einen wertvollen Ansatz für einen explorativen und einfühlsamen Arbeitsablauf. Wir zeigen, dass der Designraum für die Visualisierung dieser Art von Daten ein großes Potenzial hat und dass es möglich ist, qualitative und quantitative Ansätze zur Datenanalyse zu kombinieren. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 136 KW - data visualization KW - demographic information KW - visualization concept exploration KW - web-based development environment KW - Datenvisualisierung KW - demografische Informationen KW - Visualisierungskonzept-Exploration KW - web-basierte Entwicklungsumgebung Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-491457 SN - 978-3-86956-504-0 SN - 1613-5652 SN - 2191-1665 IS - 136 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Linckels, Serge A1 - Meinel, Christoph T1 - An e-librarian service : natural language interface for an efficient semantic search within multimedia resources N2 - 1 Introduction 1.1 Project formulation 1.2 Our contribution 2 Pedagogical Aspect 4 2.1 Modern teaching 2.2 Our Contribution 2.2.1 Autonomous and exploratory learning 2.2.2 Human machine interaction 2.2.3 Short multimedia clips 3 Ontology Aspect 3.1 Ontology driven expert systems 3.2 Our contribution 3.2.1 Ontology language 3.2.2 Concept Taxonomy 3.2.3 Knowledge base annotation 3.2.4 Description Logics 4 Natural language approach 4.1 Natural language processing in computer science 4.2 Our contribution 4.2.1 Explored strategies 4.2.2 Word equivalence 4.2.3 Semantic interpretation 4.2.4 Various problems 5 Information Retrieval Aspect 5.1 Modern information retrieval 5.2 Our contribution 5.2.1 Semantic query generation 5.2.2 Semantic relatedness 6 Implementation 6.1 Prototypes 6.2 Semantic layer architecture 6.3 Development 7 Experiments 7.1 Description of the experiments 7.2 General characteristics of the three sessions, instructions and procedure 7.3 First Session 7.4 Second Session 7.5 Third Session 7.6 Discussion and conclusion 8 Conclusion and future work 8.1 Conclusion 8.2 Open questions A Description Logics B Probabilistic context-free grammars T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 12 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-33088 SN - 978-3-937786-89-6 SN - 3-937786-89-9 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Kytmanov, Alexander M. A1 - Myslivets, Simona A1 - Tarkhanov, Nikolai Nikolaevich T1 - An Asymptotic expansion of the Bochner-Martinelli integral 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 - 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 - Schmidt, Hans-Jürgen T1 - An alternate Hamiltonian formulation of fourth-order theories Y1 - 1995 CY - Potsdam ER - TY - BOOK A1 - Schmidt, Hans-Jürgen T1 - An alternate Hamiltonian formulation of fourth-order theories T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1994 VL - 1994, 12 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Maniccia, L. A1 - Schulze, Bert-Wolfgang T1 - An algebra of meromorphic corner symbols T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Schulze, Bert-Wolfgang T1 - An algebra of boundary value problems not requiring Shapiro-Lopatinskij conditions T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 1999 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Kleine, Matthias A1 - Hirschfeld, Robert A1 - Bracha, Gilad T1 - An abstraction for version control systems T3 - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam N2 - Versionsverwaltungssysteme (VCS) ermöglichen es Entwicklern, Änderungen an Softwareartifakten zu verwalten. VCS werden mit Hilfe einer Vielzahl verschiedener Werkzeuge bedient, wie z.\,B. graphische Front-ends oder Kommandozeilenwerkzeuge. Es ist wünschenswert mit einzelnen solcher Werkzeuge unterschiedliche VCS bedienen zu können. Bislang hat sich jedoch keine Abstraktion für Versionsverwaltungssysteme durchgesetzt, mit deren Hilfe solche Werkzeuge erstellt werden können. Stattdessen implementieren Werkzeuge zur Interaktion mit mehreren VCS ad-hoc Lösungen. Diese Masterarbeit stellt Pur vor, eine Abstraktion über Versionsverwaltungskonzepte. Mit Hilfe von Pur können Anwendungsprogramme entwickelt werden, die mit mehreren Versionsverwaltungssystemen interagieren können. Im Rahmen dieser Arbeit wird eine Implementierung dieser Abstraktion bereitgestellt und mit Hilfe eines Anwendungsprogramms validiert. N2 - Version Control Systems (VCS) allow developers to manage changes to software artifacts. Developers interact with VCSs through a variety of client programs, such as graphical front-ends or command line tools. It is desirable to use the same version control client program against different VCSs. Unfortunately, no established abstraction over VCS concepts exists. Instead, VCS client programs implement ad-hoc solutions to support interaction with multiple VCSs. This thesis presents Pur, an abstraction over version control concepts that allows building rich client programs that can interact with multiple VCSs. We provide an implementation of this abstraction and validate it by implementing a client application. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 54 Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-55629 SN - 978-3-86956-158-5 SN - 1613-5652 SN - 2191-1665 IS - 54 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Kunow, Rüdiger ED - Hartung, Heike T1 - Amerikastudien / American Studies Y1 - 2011 PB - Winter CY - Heidelberg ER - TY - BOOK A1 - Juchler, Ingo T1 - Americans in Berlin BT - the historical guidebook Y1 - 2017 SN - 978-3-86153-952-0 PB - Links Verlag CY - Berlin ER - TY - BOOK ED - Palmer, Barton R. ED - Philipowski, Katharina ED - Rüthemann, Julia T1 - Allegory and the poetic self BT - first-person narration in late medieval literature N2 - This book is the first collective examination of Late Medieval intimate first-person narratives that blurred the lines between author, narrator, and protagonist and usually feature personification allegory and courtly love tropes, creating an experimental new family of poetry. In this volume, contributors analyze why the allegorical first-person romance embedded itself in the vernacular literature of Western Europe and remained popular for more than two centuries. The editors identify and discuss three predominant forms within this family: debate poetry, dream allegories, and autobiographies. Contributors offer textual analyses of key works from late medieval German, French, Italian, and Iberian literature, with discussion of developments in England, as well. Allegory and the Poetic Self offers a sophisticated, theoretically current discussion of relevant literature. This exploration of medieval “I” narratives offers insights not just into the premodern period but also into Western literature’s subsequent traditions of self-analysis and identity crafting through storytelling. KW - first-person KW - narratives KW - allegory KW - late medieval KW - Western literature Y1 - 2022 SN - 978-0-81306-751-3 SN - 978-0-81306-951-7 U6 - https://doi.org/10.5744/florida/9780813069517.001.0001 PB - University Press of Florida CY - Gainesville, Florida ER - TY - BOOK ED - Ette, Ottmar ED - Kutzinski, Vera ED - Dassow Walls, Laura T1 - Alexander von Humboldt and the Americas T3 - Potsdamer inter- und transkulturelle Texte : POINTE Y1 - 2012 SN - 978-3-938944-63-9 VL - 3 PB - Ed. Tranvia Frey CY - Berlin ER - TY - BOOK ED - Falk, Gregor C. ED - Strecker, Manfred ED - Schneider, Simon T1 - Alexander von Humboldt BT - multiperspective approaches N2 - This book aims to view and to understand Alexander von Humboldt from different perspectives and in varying disciplinary contexts. His contributions addressed numerous topics in the earth but also life sciences—spanning from geo-botany, climatology, paleontology, oceanography, mineralogy, resources, and hydrogeology to links between the environmental impact of humans, erosion, and climate change. From the very beginning, he paved the way for a modern, integrated earth system science approach to decipher, characterize, and model the different forcing factors and their feedback mechanisms. It becomes obvious that Humboldt’s holistic approach is far beyond simple description and empiric data collection. As documented and analyzed in the different texts of this volume, he combines observation and analysis with emotions and subjective perceptions in a very affectionate way. However, this publication does not intend to add another encyclopedic text compilation but to observe and critically analyze this unique personality´s relevance in a modern context, particularly in discussing environmental and social key issues in the twenty-first century. KW - Alexander von Humboldt KW - multiperspective reception of AvH KW - biogeography KW - environmentalism KW - interdisciplinarity KW - earth system sciences KW - mining sciences KW - andean geology KW - intercultural understanding KW - expedition KW - Orinoco River system KW - historical geography Y1 - 2022 SN - 978-3-030-94007-2 SN - 978-3-030-94008-9 SN - 978-3-030-94010-2 U6 - https://doi.org/10.1007/978-3-030-94008-9 PB - Springer CY - Cham ER - TY - BOOK A1 - Xhindi, Nevila T1 - Albania towards a sustainable regional development BT - the cases of Tirana, Shkodra and Kukes region T3 - Praxis Kultur- und Sozialgeographie | PKS N2 - As Albania is accelerating its preparations towards the European Union candidate status, numerous areas of public policy and practices undergo intensive development processes. Regional development policy is a very new area of public policy in Albania, and needs research and development. This study focuses on the process of sustainable development in Albania, by analyzing and comparing the regional development of regions of Tirana, Shkodra and Kukes. The methodology used consists of a literature/desk review; analytical and comparative approach; qualitative interviews; quantitative data collection; analysis. The research is organized in five chapters. First chapter provides an overview of the study framework. The second outlines the theory and scientific framework for sustainable and regional development in relation with geography. The third chapter presents the picture of the regional development in Albania, analyzing the disparities and regional development in the light of EU requirements and NUTS division. Chapter 4 continues by analyzing and comparing the regional development of the regions: Tirana – driver for change, Shkodra – the North in Development and Kukes – the “shrinking” region. Chapter 5 presents the conclusions and recommendations. This research comes to the conclusions that if growth in Albania is to be increased and sustained, a regional development policy needs to be established. T3 - Praxis Kultur- und Sozialgeographie | PKS - 56 KW - Albania KW - sustainable development KW - regional development KW - policy KW - planning Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-62691 SN - 978-3-86956-223-0 SN - 0934-716X SN - 1868-2499 IS - 56 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Kliegl, Reinhold T1 - Aging and Cognition : a journal on normal and dysfunctional development Y1 - 1994 PB - Swets & Zeitlinger CY - Lisse ER - TY - BOOK A1 - Zimmermann, Andreas A1 - Freiburg-Braun, Elisa T1 - Aggression under the Rome Statute BT - an introduction N2 - Das Werk analysiert umfassend das Verbrechen der Aggression im Sinne des Römischen Statuts. Ausgehend von der Rechtsgeschichte, werde die einschlägigen Artikel 8bis, 15bis und 15ter des Römischen Statuts, also die Definition des Verbrechens der Aggression, analysiert. Ebenso behandelt das Buch weiterführende Entwicklungen des Verbrechens der Aggression über das Jahr 2017 hinaus – das Jahr, in dem es, wahrscheinlich, zu einer Entscheidung über die Aktivierung der Gerichtsbarkeit kommt Y1 - 2019 SN - 978-3-8487-4678-1 PB - Nomos CY - Baden-Baden ER - TY - BOOK A1 - Welfens, Paul J. J. T1 - Aggregation in a two-sector growth model: a modified solow approach with cobb-douglas production functions T3 - Diskussionsbeitrag / Europäisches Institut für internationale Wirtschaftsbeziehungen, Potsdam Y1 - 2000 SN - 1430-5445 VL - 89 PB - Univ. CY - Potsdam ER - TY - BOOK ED - Mayr, Ulrich ED - Spieler, D. ED - Kliegl, Reinhold T1 - Ageing and executive control T3 - European Journal of Cognitive Psychology : Special Issues Y1 - 2001 SN - 1-84169-908-x VL - 13 PB - Psychology Press CY - Hove ER - TY - BOOK A1 - Mayr, Ulrich T1 - Age-based performance limitations in figural transformations : the effect of task complexity and practice Y1 - 1994 PB - Ed. Sigma CY - Berlin ER - TY - BOOK ED - Alexiadou, Artemis ED - Svenonius, Peter T1 - Adverbs and Adjunction T3 - Linguistics in Potsdam N2 - The papers collected in this volume were all presented at the workshop on Adverbs and Adjunction, held at the University of Tromsoe, in April 17-18, 1999. The presentations by Kristin M. Eide &Inghild Flaate, Henriette de Swart, Artemis Alexiadou and Adam Wyner could not be included here. The articles deal with the syntax, semantics and morpbology of adverbs and their interaction with other syntactic phenomena. A number of tbe contributions is concerned with an evaluation of the hypothesis that adverbs are specifiers of functional heads, which are universally ordered. Specifically, Adger &Tsoulas argue that locative adverbials are licensed by an aspectual head that encodes telicity, while manner adverbials are licensed by a light verb that encodes agentivity, both being situated low in the VP structure. According to the authors, the prime function of these heads is to license aspects of the featural composition of the object, and the licensing of these low adverbials is a by-product of the way that the EPP features of these heads functions. Costa presents data from European Portuguese in support of the traditional analysis of adverbs as adjuncts. Ernst shows that manner, measure, and domain adverbs, and more generally, adverbs and other adjuncts such as participant PPs and adjunct secondary predicates (depictives), are not rigidly ordered. Hence the paper supports theories where linear order is largely a function of the interaction of compositional rules for the various adjuncts, plus their lexico-semantic requirements. For Haider, adverbials are adjoined or embedded, depending on the relation to the head of the containing phrase: they are adjoined if they precede the head of the containing phrase. They are embedded if they follow the head of tbe containing phrase. But the relative order of adverbials is a reflex of an interface condition. Moreover, the order pattern of adverbials in the extraposition domain is a function of linear incrementality in a non-compositional subdomain. Laenzlinger, on the other hand, claims that adverbs occupy the A'-specifier of their semantically related functional projection. They are formally licensed via the mechanism of feature checking, which links their distribution to their interpretation. He also considers adverb placement and its interaction with Verb/Argument Movement, fronting and extraposition. The interaction between A-scrambling and adverb placement crosslinguistically is also investigated by Hoffman in a minimalist framework. He claims that adverbs can be pronounced in any set of syntactic positions, but the choice among the various positions is made on non syntactic grounds. Two papers are concerned with adverbial case. Pereltsvaig examines nominal adverbials marked with Accusative Case, with particular focus on Russian and Finnish. She shows that Accusative adverbials exhibit object-like behavior. She argues that Accusative Case is related to aspectual properties of the VP, and it is thus argued that Structural Accusative Case is checked in [Spec, AspP]. But not all occurrences of morphological accusative case derive from Structural Accusative Case. Thus, the contrasts between Russian and Finnish are explained by the claim that Russian uses accusative case marking for NPs in default objective Case position, whereas Finnish uses partitive in the same position. Manninen shows that in Finnish- adverbs can be analyzed as a sub-category of adjectives and nouns, as they are really case-inflected adjectives and nouns. Manninen proposes that these bear lexical 'adverb' case, i. e. that is they have the form of K(asus;Kase)Ps. Finally, Vegnaduzzo investigates the polysemy of the ltalian adverb ancora showing that this is only apperent. She argues that all the different readings depend upon the context where it is inserted: each reading is derived by compositionality of ancora basic meaning and the semantic properties of the argument structure of the verb. T3 - Linguistics in Potsdam - 6 Y1 - 2000 SN - 978-3-935024-13-6 SN - 1616-7392 PB - Univ.-Bibliothek CY - Potsdam ER - TY - BOOK A1 - Abedjan, Ziawasch A1 - Naumann, Felix T1 - Advancing the discovery of unique column combinations N2 - Unique column combinations of a relational database table are sets of columns that contain only unique values. Discovering such combinations is a fundamental research problem and has many different data management and knowledge discovery applications. Existing discovery algorithms are either brute force or have a high memory load and can thus be applied only to small datasets or samples. In this paper, the wellknown GORDIAN algorithm and "Apriori-based" algorithms are compared and analyzed for further optimization. We greatly improve the Apriori algorithms through efficient candidate generation and statistics-based pruning methods. A hybrid solution HCAGORDIAN combines the advantages of GORDIAN and our new algorithm HCA, and it significantly outperforms all previous work in many situations. N2 - Unique-Spaltenkombinationen sind Spaltenkombinationen einer Datenbanktabelle, die nur einzigartige Werte beinhalten. Das Finden von Unique-Spaltenkombinationen spielt sowohl eine wichtige Rolle im Bereich der Grundlagenforschung von Informationssystemen als auch in Anwendungsgebieten wie dem Datenmanagement und der Erkenntnisgewinnung aus Datenbeständen. Vorhandene Algorithmen, die dieses Problem angehen, sind entweder Brute-Force oder benötigen zu viel Hauptspeicher. Deshalb können diese Algorithmen nur auf kleine Datenmengen angewendet werden. In dieser Arbeit werden der bekannte GORDIAN-Algorithmus und Apriori-basierte Algorithmen zum Zwecke weiterer Optimierung analysiert. Wir verbessern die Apriori Algorithmen durch eine effiziente Kandidatengenerierung und Heuristikbasierten Kandidatenfilter. Eine Hybride Lösung, HCA-GORDIAN, kombiniert die Vorteile von GORDIAN und unserem neuen Algorithmus HCA, welche die bisherigen Algorithmen hinsichtlich der Effizienz in vielen Situationen übertrifft. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 51 KW - Apriori KW - eindeutig KW - funktionale Abhängigkeit KW - Schlüsselentdeckung KW - Data Profiling KW - apriori KW - unique KW - functional dependency KW - key discovery KW - data profiling Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-53564 SN - 978-3-86956-148-6 SN - 1613-5652 SN - 2191-1665 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Schulze, Bert-Wolfgang A1 - Demuth, Michael A1 - Albeverio, Sergio A1 - Schrohe, Elmar T1 - Advances in Partial differential equations Y1 - 2001 PB - Birkhäuser CY - Basel ER - TY - BOOK ED - Solla, Sara A. ED - Müller, Klaus-Robert T1 - Advances in neural information processing systems 12 : proceedings of the 1999 conference Y1 - 2000 SN - 0-262-19450-3 PB - MIT Press CY - Cambridge, Mass. ER - TY - BOOK ED - Struszczyk, Henryk ED - Peter, Martin G. ED - Domard, Alain ED - Pospieszny, Henryk T1 - Advances in chitin science Y1 - 1996 ER - TY - BOOK ED - Kun-Buczoko, Magdalena T1 - Adult education on quality management and other cross-selectional aspects of public administration Y1 - 2003 SN - 83-88463-25-X PB - Wy?sza Szko?a Administracji Publ CY - Bia?ystok ER - TY - BOOK A1 - Junker, W. A1 - Schrohe, Elmar T1 - Adiabatic vacuum states on general spacetime manifolds : definition, construction and physical properties T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2001 SN - 1437-739X 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 - Baumgärtel, Hellmut T1 - Actions of finite abelian groups on abelian C*-algebras Z: Second cohomology and description by C*-extensions F ) Z T3 - Preprint / SFB 288, Differentialgeometrie und Quantenphysik Y1 - 1999 VL - 383 CY - Berlin ER - TY - BOOK A1 - Smirnov, Sergey A1 - Weidlich, Matthias A1 - Mendling, Jan A1 - Weske, Mathias T1 - Action patterns in business process models N2 - Business process management experiences a large uptake by the industry, and process models play an important role in the analysis and improvement of processes. While an increasing number of staff becomes involved in actual modeling practice, it is crucial to assure model quality and homogeneity along with providing suitable aids for creating models. In this paper we consider the problem of offering recommendations to the user during the act of modeling. Our key contribution is a concept for defining and identifying so-called action patterns - chunks of actions often appearing together in business processes. In particular, we specify action patterns and demonstrate how they can be identified from existing process model repositories using association rule mining techniques. Action patterns can then be used to suggest additional actions for a process model. Our approach is challenged by applying it to the collection of process models from the SAP Reference Model. N2 - Die zunehmende Bedeutung des Geschäftsprozessmanagements führt dazu, dass eine steigende Anzahl von Mitarbeitern eines Unternehmens mit der Erstellung von Prozessmodellen betraut ist. Um trotz dieser Tendenz die Qualität der Prozessmodelle, sowie ihre Homogenität sicherzustellen, sind entsprechende Modellierungshilfen unabdingbar. In diesem Bericht stellen wir einen Ansatz vor, welcher die Prozessmodellierung durch Empfehlungen unterstützt. Jene basieren auf sogenannten Aktionsmustern, welche typische Arbeitsblöcke darstellen. Neben der Definition dieser Aktionsmuster zeigen wir eine Methode zur Identifikation dieser Muster auf. Mittels Techniken der Assoziationsanalyse können die Muster automatisch aus einer Sammlung von Prozessmodellen extrahiert werden. Die Anwendbarkeit unseres Ansatzes wird durch eine Fallstudie auf Basis des SAP Referenzmodells illustriert. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 30 Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-33586 SN - 978-3-86956-009-0 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK ED - Sternagel, Jörg ED - Levitt, Deborah ED - Mersch, Dieter T1 - Acting and performance in moving image culture : bodies, screens, renderings T3 - Metabasis Y1 - 2012 SN - 978-3-8376-1648-4 U6 - https://doi.org/10.14361/transcript.9783839416488 VL - 7 PB - transcript; de Gruyter CY - Bielefeld; Berlin ER - TY - BOOK A1 - Welfens, Paul J. J. T1 - Achieving competition in Europe's telecommunications sector T3 - Diskussionsbeitrag / Europäisches Institut für Internationale Wirtschaftsbeziehungen, Potsdam Y1 - 1995 VL - 3 PB - Univ. CY - Potsdam ER - TY - BOOK ED - Jürgensen, Helmut T1 - Accessible Media : Pre-Proceedings of a Workshop Potsdam 8-9 May, 2006 T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 2006 SN - 0946-7580 VL - 2006, 7 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Seehafer, Norbert A1 - Zienicke, Egbert A1 - Feudel, Fred T1 - Absence of magnetohydrodynamic activity in the voltage-driven sheet T3 - Preprint NLD Y1 - 1996 VL - 32 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Hu, Ji A1 - Cordel, Dirk A1 - Meinel, Christoph T1 - A virtual machine architecture for creating IT-security laboratories N2 - E-learning is a flexible and personalized alternative to traditional education. Nonetheless, existing e-learning systems for IT security education have difficulties in delivering hands-on experience because of the lack of proximity. Laboratory environments and practical exercises are indispensable instruction tools to IT security education, but security education in con-ventional computer laboratories poses the problem of immobility as well as high creation and maintenance costs. Hence, there is a need to effectively transform security laboratories and practical exercises into e-learning forms. This report introduces the Tele-Lab IT-Security architecture that allows students not only to learn IT security principles, but also to gain hands-on security experience by exercises in an online laboratory environment. In this architecture, virtual machines are used to provide safe user work environments instead of real computers. Thus, traditional laboratory environments can be cloned onto the Internet by software, which increases accessibilities to laboratory resources and greatly reduces investment and maintenance costs. Under the Tele-Lab IT-Security framework, a set of technical solutions is also proposed to provide effective functionalities, reliability, security, and performance. The virtual machines with appropriate resource allocation, software installation, and system configurations are used to build lightweight security laboratories on a hosting computer. Reliability and availability of laboratory platforms are covered by the virtual machine management framework. This management framework provides necessary monitoring and administration services to detect and recover critical failures of virtual machines at run time. Considering the risk that virtual machines can be misused for compromising production networks, we present security management solutions to prevent misuse of laboratory resources by security isolation at the system and network levels. This work is an attempt to bridge the gap between e-learning/tele-teaching and practical IT security education. It is not to substitute conventional teaching in laboratories but to add practical features to e-learning. This report demonstrates the possibility to implement hands-on security laboratories on the Internet reliably, securely, and economically. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 13 Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-33077 SN - 978-3-939469-13-1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Nastansky, Andreas A1 - Mehnert, Alexander A1 - Strohe, Hans Gerhard T1 - A vector error correction model for the relationship between public debt and inflation in Germany N2 - In the paper, the interaction between public debt and inflation including mutual impulse response will be analysed. The European sovereign debt crisis brought once again the focus on the consequences of public debt in combination with an expansive monetary policy for the development of consumer prices. Public deficits can lead to inflation if the money supply is expansive. The high level of national debt, not only in the Euro-crisis countries, and the strong increase in total assets of the European Central Bank, as a result of the unconventional monetary policy, caused fears on inflating national debt. The transmission from public debt to inflation through money supply and long-term interest rate will be shown in the paper. Based on these theoretical thoughts, the variables public debt, consumer price index, money supply m3 and long-term interest rate will be analysed within a vector error correction model estimated by Johansen approach. In the empirical part of the article, quarterly data for Germany from 1991 by 2010 are to be examined. T3 - Statistische Diskussionsbeiträge - 51 KW - Beveridge-Nelson Decomposition KW - Public Debt KW - Inflation KW - Money Supply KW - Vector Error Correction Model Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-50246 ER - TY - BOOK A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural approach for space compaction for sequential circuits T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 05 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Seuring, Markus A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - A structural approach for space compaction for concurrent checking and BIST T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 01 PB - Univ. Potsdam CY - Potsdam [u.a.] 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 - Schrohe, Elmar T1 - A short introduction to Boutet de Monvel`s calculus T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2000 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Nazajkinskij, Vladimir E. A1 - Schulze, Bert-Wolfgang A1 - Sternin, Boris Ju. T1 - A semiclassical quantization on manifolds with singularities and the Lefschetz formula for elliptic operators T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 19 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Fedosov, Boris V. A1 - Schulze, Bert-Wolfgang A1 - Tarchanov, Nikolaj N. T1 - A remark on the index of symmetric operators T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 04 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Baumgärtel, Hellmut A1 - Jurke, Matthias A1 - Lledó, Fernando T1 - A remark on covariant and causal nets of CAR-resp.CCR-type local algebras assigned to the irreducible unitary representation of the poincare group labeled by (m>0, s, +) T3 - Preprint / SFB 288, Differentialgeometrie und Quantenphysik Y1 - 1994 VL - 120 CY - Berlin ER - TY - BOOK A1 - Polyvyanyy, Artem A1 - Kuropka, Dominik T1 - A Quantitative Evalution of the Enhanced Topic-based Vector Space Model T3 - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda Y1 - 2007 SN - 978-3-939469-95-7 SN - 1613-5652 VL - 19 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Polyvyanyy, Artem A1 - Kuropka, Dominik T1 - A quantitative evaluation of the enhanced topic-based vector space model N2 - This contribution presents a quantitative evaluation procedure for Information Retrieval models and the results of this procedure applied on the enhanced Topic-based Vector Space Model (eTVSM). Since the eTVSM is an ontology-based model, its effectiveness heavily depends on the quality of the underlaying ontology. Therefore the model has been tested with different ontologies to evaluate the impact of those ontologies on the effectiveness of the eTVSM. On the highest level of abstraction, the following results have been observed during our evaluation: First, the theoretically deduced statement that the eTVSM has a similar effecitivity like the classic Vector Space Model if a trivial ontology (every term is a concept and it is independet of any other concepts) is used has been approved. Second, we were able to show that the effectiveness of the eTVSM raises if an ontology is used which is only able to resolve synonyms. We were able to derive such kind of ontology automatically from the WordNet ontology. Third, we observed that more powerful ontologies automatically derived from the WordNet, dramatically dropped the effectiveness of the eTVSM model even clearly below the effectiveness level of the Vector Space Model. Fourth, we were able to show that a manually created and optimized ontology is able to raise the effectiveness of the eTVSM to a level which is clearly above the best effectiveness levels we have found in the literature for the Latent Semantic Index model with compareable document sets. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 19 Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-33816 SN - 978-3-939469-95-7 ER - TY - BOOK A1 - Addison, John T. A1 - Blackburn, McKinley L. T1 - A puzzling aspect of the effect of advance notice on unemployment T3 - Diskussionsbeitrag / Europäisches Institut für Internationale Wirtschaftsbeziehungen, Potsdam Y1 - 1995 VL - 5 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 - Jansen, Wolfgang T1 - A note on the determination of the type of communication areas T3 - Preprint NLD Y1 - 1996 VL - 33 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Pincus, Richard T1 - A note on symmetric unimodal distributions ordered by peakedness T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 27 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Braunß, Hans-Andreas T1 - A note about ranks of m-homogeneous polynomials on Banach spaces T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1998 VL - 1998, 18a PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Sogomonyan, Egor S. A1 - Marienfeld, Daniel A1 - Ocheretnij, V. A1 - Gössel, Michael T1 - A new self-checking sum-bit duplicated carry-select adder T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 2003 SN - 0946-7580 VL - 2003, 5 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Kamani, D. A1 - Mansouri, R. T1 - A new class of inhomogeneous cosmological solutions T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1995 VL - 1995, 07 PB - Univ. CY - Potsdam ER -