Refine
Year of publication
- 2016 (76) (remove)
Document Type
- Monograph/Edited Volume (76) (remove)
Keywords
- Geschichte (3)
- Borders (2)
- Denkmalpflege (2)
- Gender (2)
- Grabkunst (2)
- Grenzen (2)
- Jewish cemeteries (2)
- Jews (2)
- Juden (2)
- Jüdische Friedhöfe (2)
- Lehrmaterial (2)
- Nonprofit-Organisationen (2)
- Performance (2)
- Performanz (2)
- Postcolonial (2)
- Postkolonial (2)
- Potsdam (2)
- Qualitätsmanagement (2)
- Slavic studies (2)
- Slavistik (2)
- grave design (2)
- history (2)
- monument preservation (2)
- quality management (2)
- teaching material (2)
- virtual machines (2)
- virtuelle Maschinen (2)
- Absolventenstudie (1)
- Akteursinteressen (1)
- Armut (1)
- Authentizität (1)
- Berufsschule (1)
- Bundesverwaltung (1)
- CAF (1)
- Cloud-Sicherheit (1)
- Cloud-Speicher (1)
- Constructivism (1)
- Critical Theory (1)
- Democratic Peace (1)
- Demokratischer Frieden (1)
- Deutschdidaktik (1)
- Deutschunterricht (1)
- Discrimination Networks (1)
- EFQM (1)
- Economic Peace (1)
- Economic Sanctions (1)
- Endogenität des Geldes (1)
- FRP (1)
- Fachdidaktik Latein (1)
- Fehlerinjektion (1)
- Fehlertoleranz (1)
- Forschungskolleg (1)
- Functional Lenses (1)
- Funktionale Grammatik (1)
- Geldneutralität (1)
- German Federal Administration (1)
- Gershom Scholem (1)
- Grammatiktheorie (1)
- Graph-basierte Suche (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Hebrew (1)
- Heterodoxe Ökonomik (1)
- History of Philosophy (1)
- Imaginäre Reise (1)
- In-Memory-Datenbank (1)
- Infrastruktur (1)
- Inkrementelle Graphmustersuche (1)
- Institutional Theory (1)
- Institutionelle Theorie (1)
- Kabbala (1)
- Kabbalah (1)
- Katutura (1)
- Klausurtagung (1)
- Konstruktivismus (1)
- Kosmografie <Motiv> (1)
- Kritische Theorie (1)
- Latein (1)
- Latin (1)
- Live-Programmierung (1)
- Mandarin (1)
- Medienanalyse (1)
- Methods of teaching Latin (1)
- Migration (1)
- Mikrofinanz (1)
- Mikropolitik (1)
- Morphic (1)
- Namibia (1)
- Nested Graph Conditions (1)
- Newspeak (1)
- Organisationsformen (1)
- Performance Messung (1)
- Ph.D. retreat (1)
- Philosophiegeschichte (1)
- Philosophy of Religion (1)
- Potsdamer Lateintag (1)
- Qualitätsziele (1)
- Rabelais, François (1)
- Religion (1)
- Religionsphilosophie (1)
- Ressourcenoptimierung (1)
- Roman History (1)
- Roman Philosophy (1)
- Romanische Sprachen (1)
- Römische Geschichte (1)
- Römische Philosophie (1)
- Sammlungsdatentypen (1)
- Semantik (1)
- Service-oriented Systems Engineering (1)
- Slumming (1)
- Slumtourismus (1)
- Software-Testen (1)
- Soziale Performance (1)
- Sozialen Medien (1)
- Spanisch (1)
- Speicheroptimierungen (1)
- Sportberichterstattung (1)
- Sportsprache (1)
- Studierendenbefragung (1)
- Synchronisation (1)
- Syntax (1)
- Theodor W. Adorno (1)
- Tourismus (1)
- Township (1)
- Townshiptourismus (1)
- University of Potsdam (1)
- Universität Potsdam (1)
- Unveränderlichkeit (1)
- Varietäten (1)
- Verlässlichkeit (1)
- Verteilungsalgorithmus (1)
- Vietnamese (1)
- Virtualisierung (1)
- Warlpiri (1)
- Windhoek (1)
- Wirtschaftsfrieden (1)
- Wirtschaftssanktionen (1)
- Zugriffskontrolle (1)
- access control (1)
- actor interests (1)
- authenticity (1)
- berufliche Bildung (1)
- big data services (1)
- cloud computing (1)
- collection types (1)
- confusions and misunderstandings (1)
- data center management (1)
- dependability (1)
- direct manipulation (1)
- direkte Manipulation (1)
- discrimination networks (1)
- dynamic typing (1)
- dynamic programming languages (1)
- dynamische Programmiersprachen (1)
- dynamische Sprachen (1)
- endogenous money (1)
- fault injection (1)
- fault tolerance (1)
- formal semantics (1)
- functional lenses (1)
- functional programming (1)
- funktionale Programmierung (1)
- graduate survey (1)
- graph queries (1)
- heterodox economics (1)
- immutable values (1)
- incremental graph pattern matching (1)
- infrastructure (1)
- interkulturelle Missverständnisse (1)
- legal status (1)
- live programming (1)
- ländlicher Raum (1)
- memory optimization (1)
- microfinance (1)
- micropolitics (1)
- migration (1)
- morphic (1)
- nested graph conditions (1)
- neutrality of money (1)
- non-profit organizations (1)
- nonprofit organization (1)
- ownership (1)
- performance measurement (1)
- poverty (1)
- quality targets (1)
- reactive (1)
- reaktive Programmierung (1)
- regional economic effects (1)
- regionalökonomische Effekte (1)
- religion (1)
- religiöses Leben (1)
- research school (1)
- rural areas (1)
- service-oriented systems engineering (1)
- slum tourism (1)
- slumming (1)
- social performance (1)
- socio-economic effects (1)
- software testing (1)
- sozio-ökonomische Effekte (1)
- student survey (1)
- synchronization (1)
- tourism (1)
- township (1)
- township tourism (1)
- understudied languages (1)
- vocational schools (1)
- vocational training (1)
- zuverlässigen Datenverarbeitung (1)
Institute
- Institut für Romanistik (10)
- Wirtschaftswissenschaften (10)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (8)
- Bürgerliches Recht (6)
- Department Erziehungswissenschaft (4)
- WeltTrends e.V. Potsdam (4)
- Öffentliches Recht (4)
- Institut für Künste und Medien (3)
- Sozialwissenschaften (3)
- Vereinigung für Jüdische Studien e. V. (3)
Gegenstand des Buches ist die sprachliche Gestaltung der Temporalität, Aspektualität und Modalität in den romanischen Sprachen. In die Betrachtung dieser drei Kategorien werden neben dem Tempus, Aspekt und Modus weitere Ausdrucksmittel, wie zum Beispiel Verbalperiphrasen, Adverbien und lexikalische Bedeutungen von Verben, einbezogen. Die Beschreibung erfolgt auf der Grundlage einer funktionalen Sicht der Grammatik und das Zusammenwirken verschiedener Strukturebenen der Sprache bei der Markierung temporaler, aspektueller und modaler Verhältnisse wird betrachtet. Neuere Forschungsansätze im Bereich der Typologie und der kognitiven Linguistik werden berücksichtigt. Insbesondere wird die Interaktion zwischen den drei Kategorien, die in den romanischen Sprachen nicht streng getrennt sind, dargestellt. Im Zentrum stehen das Französische, das Italienische, das Portugiesische und das Spanische, wobei auffällige Erscheinungen in anderen romanischen Sprachen gleichfalls erwähnt werden. Neben einer Überblicksdarstellung, die den aktuellen Forschungsstand reflektiert, werden Ergebnisse eigener Forschungen zur funktionalen Struktur der Kategorie der Aspektualität, zur coverten Modalität und zur Evidentialität in romanischen Sprachen vorgestellt.
Naher Osten und Europa
(2016)
Der Nahe Osten bricht zusammen: der Bürgerkrieg in Syrien, die Auseinandersetzungen mit dem IS, der ungelöste Konflikt zwischen Israel und Palästina, der Krieg Saudi Arabiens im Jemen, die vergessene Kolonie in der Westsahara und die wachsende Rolle der Türkei und des Irans. Gewalt und Zerstörungen, Flucht und Vertreibung sind die Konsequenzen. Die Lösung der Konflikte ist dringend notwendig, denn sie sind eine Gefahr für die Weltpolitik. Auch das Verhältnis zwischen Europa und dem Nahen Osten ist betroffen. Welche Rolle spielen Europa und speziell Deutschland in diesem Raum? In dem Sammelband setzen sich Autorinnen und Autoren kenntnisreich und kritisch mit historischen und aktuellen Entwicklungen auseinander und plädieren für einen konstruktiven Neuansatz in den Beziehungen zum Nahen Osten.
Transmorphic
(2016)
Defining Graphical User Interfaces (GUIs) through functional abstractions can reduce the complexity that arises from mutable abstractions. Recent examples, such as Facebook's React GUI framework have shown, how modelling the view as a functional projection from the application state to a visual representation can reduce the number of interacting objects and thus help to improve the reliabiliy of the system. This however comes at the price of a more rigid, functional framework where programmers are forced to express visual entities with functional abstractions, detached from the way one intuitively thinks about the physical world.
In contrast to that, the GUI Framework Morphic allows interactions in the graphical domain, such as grabbing, dragging or resizing of elements to evolve an application at runtime, providing liveness and directness in the development workflow. Modelling each visual entity through mutable abstractions however makes it difficult to ensure correctness when GUIs start to grow more complex. Furthermore, by evolving morphs at runtime through direct manipulation we diverge more and more from the symbolic description that corresponds to the morph. Given that both of these approaches have their merits and problems, is there a way to combine them in a meaningful way that preserves their respective benefits?
As a solution for this problem, we propose to lift Morphic's concept of direct manipulation from the mutation of state to the transformation of source code. In particular, we will explore the design, implementation and integration of a bidirectional mapping between the graphical representation and a functional and declarative symbolic description of a graphical user interface within a self hosted development environment. We will present Transmorphic, a functional take on the Morphic GUI Framework, where the visual and structural properties of morphs are defined in a purely functional, declarative fashion. In Transmorphic, the developer is able to assemble different morphs at runtime through direct manipulation which is automatically translated into changes in the code of the application. In this way, the comprehensiveness and predictability of direct manipulation can be used in the context of a purely functional GUI, while the effects of the manipulation are reflected in a medium that is always in reach for the programmer and can even be used to incorporate the source transformations into the source files of the application.
This edited volume provides insight into how digital badges may enhance formal and informal education by focusing on technical design issues including organizational requirements, instructional design, and deployment. It features current research exploring the theoretical foundation and empirical evidence of the utilization of digital badges as well as case studies that describe current practices and experiences in the use of digital badges for motivation, learning, and instruction in K-12, higher education, workplace learning, and further education settings.
www.BrAnD2. Wille.
(2016)
2014 fand der Potsdamer Lateintag zum 10. Mal statt. Das Jubiläum war ein angemessener Anlass, unser neues Projekt vorzustellen. Die Robert Bosch-Stiftung fördert wieder für drei Jahre die Zusammenarbeit der Klassischen Philologie der Universität Potsdam mit Schulen aus Brandenburg. Der Titel lautet: www.BrAnD2. Wille. Würde. Wissen. Zweites Brandenburger Antike-Denkwerk. Zur Auftaktveranstaltung zum Thema „Wille“ erschienen wieder über 500 Teilnehmerinnen und Teilnehmer. Der Band versammelt einen Projektbericht, die Vorträge von Frau Prof. Dr. Christiane Kunst und Herrn Prof. Dr. Christoph Horn sowie eine Auswahl an Materialen der betreuenden Studierenden.
Software-Fehlerinjektion
(2016)
Fehlerinjektion ist ein essentielles Werkzeug, um die Fehlertoleranz komplexer Softwaresysteme experimentell zu evaluieren.
Wir berichten über das Seminar zum Thema Software-Fehlerinjektion, das am Fachgebiet für Betriebssysteme und Middleware am Hasso-Plattner-Institut der Universität Potsdam im Sommersemester 2015 stattfand.
In dem Seminar ging es darum, verschiedene Fehlerinjektionsansätze und -werkzeuge anzuwenden und hinsichtlich ihrer Anwendbarkeit in verschiedenen Szenarien zu bewerten.
In diesem Bericht werden die studierten Ansätze vorgestellt und verglichen.
Deutsche Außenpolitik zu Beginn des 21. Jahrhunderts und die Linke im Spannungsfeld zwischen Nation und Internationalismus: Für Erhard Crome geht es um nicht weniger als die Frage, wie deutsche Außenpolitik von links gedacht und konzipiert werden sollte. In der vorliegenden Festschrift gehen Kolleginnen und Kollegen dieser Frage gemeinsam mit dem Jubilar nach. Ein Plädoyer für eine nicht-hegemoniale Verantwortung Deutschlands.
Behavioural Models
(2016)
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.