Gold Open-Access
Refine
Has Fulltext
- yes (673) (remove)
Year of publication
Document Type
- Article (503)
- Monograph/Edited Volume (60)
- Review (28)
- Part of Periodical (22)
- Master's Thesis (19)
- Doctoral Thesis (10)
- Report (8)
- Bachelor Thesis (7)
- Working Paper (6)
- Conference Proceeding (4)
Keywords
- digital education (36)
- MOOC (35)
- e-learning (35)
- online course creation (33)
- online course design (33)
- Digitale Bildung (32)
- Kursdesign (32)
- Micro Degree (32)
- Online-Lehre (32)
- Onlinekurs (32)
Institute
- Extern (208)
- Institut für Romanistik (164)
- Zentrum für Lehrerbildung und Bildungsforschung (ZeLB) (88)
- Hasso-Plattner-Institut für Digital Engineering GmbH (85)
- Vereinigung für Jüdische Studien e. V. (79)
- Historisches Institut (38)
- dbs Deutscher Bundesverband für akademische Sprachtherapie und Logopädie e.V. (31)
- Institut für Mathematik (22)
- Institut für Jüdische Studien und Religionswissenschaft (17)
- Bürgerliches Recht (15)
Digitale Musikmedien und -technologien in der Musiklehrer*innenausbildung an der Universität Potsdam
(2022)
Heimat
(2022)
Esta investigación propone un estudio transareal de las series autoficcionales del escritor austriaco Thomas Bernhard y el colombiano Fernando Vallejo, dos autores cuya obra se caracteriza por una dura crítica a sus países de origen, a sus Heimaten, pero también por un complejo arraigamiento. Los análisis interpretativos demuestran que en Die Autobiographie y El río del tiempo la Heimat se presenta como un constructo que abarca no solamente elementos dichosos, sino que presenta también elementos negativos, disolutivos, destructivos, con lo cual ambos autores de distancian de una concepción tradicional de Heimat como territorio necesariamente armónico al que el sujeto se siente positivamente vinculado. En cambio, ella se concibe como un conjunto disímil, frente al cual el sujeto se relaciona, necesariamente, de modo ambivalente y problemático. En ambos autores la narración literaria se configura como un acto en el que no simplemente se representa esa ambivalencia, sino en el que, sobre todo, se impugnan las formas de hostilidad que le confieren a la Heimat su carácter inhóspito. Para ello, ambos autores recurren a la implementación de dos recursos fundamentales: la mímesis y el movimiento. La investigación muestra de qué manera las obras estudiadas la Heimat se presenta como un espacio de continuos movimientos, intercambios e interacciones, en el que actúan mecanismos de opresión, pero también dispositivos de oposición, prácticas de apertura intersubjetiva y aspiraciones de integración comunitaria.
Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
(2022)
The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the formal technique of Graph Transformation (short GT). We build GT models to describe how a meta-ecosystem (modeled as a graph) can evolve over time (modeled by GT rules) and to analyze these GT models with respect to qualitative properties such as the existence of structural stabilities. As a case study, we build three GT models describing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems. The first GT model considers a savanna meta-ecosystem that is limited in space to two ecosystem patches, whereas the other two GT models consider two savanna meta-ecosystems that are unlimited in the number of ecosystem patches and only differ in one GT rule describing how the space structure of the meta-ecosystem grows. In the first two GT models, the space structure dynamics and ecological dynamics of the meta-ecosystem shows two main structural stabilities: the first one based on grassland-savanna-woodland transitions and the second one based on grassland-desert transitions. The transition between these two structural stabilities is driven by high-intensity fires affecting the tree components. In the third GT model, the GT rule for savanna regeneration induces desertification and therefore a collapse of the meta-ecosystem. We believe that GT models provide a complementary avenue to that of existing approaches to rigorously study ecological phenomena.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time.
In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether.
In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.
Als Folge der sicherheitstechnischen Entwicklung haben sich die Arbeitsbedingungen für Lehrkräfte in den allgemeinbildenden und beruflichen Schulen sehr gewandelt. Immer komplexere Arbeitsabläufe im Unterricht machen es erforderlich, die begleitenden Vorsorgemaßnahmen zur Sicherheitserziehung und Unfallverhütung weiterzuentwickeln.
Lehrkräfte sind in der umfassenden Verantwortung, den Gesundheitsschutz gegenüber den ihnen anvertrauten Schülerinnen und Schülern sicherzustellen. Dies betrifft insbesondere Unterricht, bei dem technische Hilfsmittel, Handwerkzeuge, Maschinen und Apparate zum Einsatz kommen, also sogenannte Werkstattkontexte auftreten, etwa in den Fächern Sachunterricht, Kunst und Wirtschaft-Arbeit-Technik. Der Klassenraum fungiert dabei einerseits als Bildungsstätte, andererseits ist er auch der Arbeitsplatz von Lehrerinnen und Lehrern und unterliegt damit Arbeitsschutzvorschriften.
Um für beide Zielgruppen die Gefahr einer Verletzung durch die zugrundeliegenden Tätigkeiten zu minimieren, hat der Gesetzgeber über das Arbeitsschutzgesetz Normen und Verantwortlichkeiten erlassen, welche den Gesundheitsschutz von Schülerinnen und Schülern und von Lehrkräften sicherstellen sollen. Als zentrales Mittel dient dazu die sogenannte Gefährdungsbeurteilung.
Dieser praxisorientierte Band richtet sich an alle Lehrkräfte, um sie bei der Durchführung der Gefährdungsbeurteilung zu unterstützen. Dazu werden die Grundlagen der Gefährdungsbeurteilung als zentrales Instrument der vorbeugenden Gefahrenabwehr und die Mitbestimmungspflichten der Lehrkräfte abgebildet. Am Beispiel der Holzwerkstatt erfolgt eine exemplarische Anwendung und Umsetzung der Methode der Gefährdungsbeurteilung. Überdies erhalten die Lesenden in der Kombination von Gefährdungsbeurteilung und Erste-Hilfe-Maßnahmen einen vollständigen Überblick über den Verantwortungsbereich des Arbeitsschutzes als umfassenden Schutz der Gesundheit im Werkstattkontext an Schulen.