Nicht ermittelbar
Refine
Year of publication
- 2022 (82) (remove)
Document Type
- Part of a Book (42)
- Monograph/Edited Volume (16)
- Article (7)
- Conference Proceeding (7)
- Working Paper (4)
- Report (2)
- Course Material (1)
- Doctoral Thesis (1)
- Master's Thesis (1)
- Other (1)
Is part of the Bibliography
- yes (82)
Keywords
- Digitalisierung (2)
- MOOC (2)
- Verwaltung (2)
- big data (2)
- digital enlightenment (2)
- digital learning platform (2)
- digitale Aufklärung (2)
- digitale Lernplattform (2)
- lebenslanges Lernen (2)
- lifelong learning (2)
Institute
- Öffentliches Recht (21)
- Fachgruppe Betriebswirtschaftslehre (17)
- Fachgruppe Politik- & Verwaltungswissenschaft (11)
- Hasso-Plattner-Institut für Digital Engineering GmbH (11)
- Strafrecht (6)
- Fachgruppe Volkswirtschaftslehre (5)
- Wirtschaftswissenschaften (5)
- Bürgerliches Recht (3)
- Fachgruppe Soziologie (3)
- Sozialwissenschaften (3)
- Department Erziehungswissenschaft (2)
- Deutsches MEGA-Konsortialbüro an der Universität Potsdam (1)
- Institut für Romanistik (1)
- Lehreinheit für Wirtschafts-Arbeit-Technik (1)
This paper consists of two parts: In the first part, some of the challenges with which the Internationaal Criminal Court is currently confronted are being presented. First of all, the article will describe the current state of the International Criminal Court and the Rome Statue. Afterwards, the article analyses the Court’s efforts to deal with cases against third-country nationals and the challenges it is facing in that regard. In addition, the Court’s case law will be analyzed in order to determine an increasing ‘emancipation’ of the case law of the International Criminal Court from international humanitarian law. The second part of the paper will briefly discuss the role of domestic international criminal law and domestic courts in the further development and enforcement of international criminal law. As an example of the role that domestic courts may have in clarifying classic issues in international law, the judgment of the German Supreme Court of January 28, 2021 (3 StR 564/19), which deals with the status of costumary international law on functional immunity of State officials before domestic courts, shall be assessed.
Article 15ter Exercise of jurisdiction over the crime of aggression (Security Council referral)
(2022)
Article 15bis. Exercise of jurisdiction over the crime of aggression (State referral, proprio motu)
(2022)
Der Gründungszuschuss wurde 2011 umfassend reformiert. Insgesamt ist das Arbeitsmarktinstrument weiterhin ein Erfolg: Die meisten Geförderten sind auch knapp dreieinhalb Jahre nach der Gründung noch selbstständig. Die Förderung erhöht ihren Arbeitsmarkterfolg und ihre Jobzufriedenheit deutlich, aber bei ihrer sozialen Absicherung besteht Verbesserungsbedarf.
In diesem Beitrag möchten wir einen Gedanken des amerikanischen Mathematikers Paul Halmos aufgreifen und konkretisieren. Wir möchten verdeutlichen, dass ökonomisches Denken nicht abstrakt gelehrt, sondern „erfahren“ werden muss, wenn es nachhaltig und in seiner ganzen Breite gefördert werden soll. Dazu dienen kognitiv aktivierende Aufgaben. Was man darunter versteht und welche Funktionen und Qualitätsmerkmale Aufgaben in der ökonomischen Bildung besitzen, verdeutlichen wir in den Abschnitten 1 und 2. Im Praxisteil (Abschnitte 3 bis 8) werden konkrete, unterrichtlich erprobte Beispielaufgaben vorgestellt, mit denen ökonomisches Denken erfolgreich gefördert werden kann. Unser Beitrag schließt mit einer kurzen Skizze wirtschaftsdidaktischer Implikationen (Abschnitt 9).
Dieses Kapitel diskutiert die Notwendigkeit einer stärkeren Praxisorientierung für die Schaffung konkreter Lehr- und Lernräume in Unternehmen und zeigt die Vorteile einer Lernfabrik vor dem Hintergrund der stattfindenden Digitalisierung als Mittel zur Kompetenzentwicklung auf. Die technologiebedingt erweiterten Weiterbildungsziele erfordern die Nutzung geeigneter Konzepte und Lösungen. Dahingehend erfolgt die zielorientierte Konkretisierung der Kreation geeigneter Lehr- und Lernsituationen. Die Darstellung der Nutzbarmachung einer Modellfabrik als Lernfabrik der betrieblichen Weiterbildungspraxis zeigt nicht nur eine Lösung für die intendierte Bereitstellung flexibler Lehr- und Lernsituationen, sondern liefert ebenso Handlungsempfehlungen und Best-Practices für die erfolgreiche Kompetenzentwicklung. Insbesondere Praktiker profitieren von der Darstellung der Lernfabrik: aus dieser können sowohl betriebliche Weiterbildner als auch Geschäftsverantwortliche Implikationen für die didaktische Transformation betrieblicher Arbeitsorte in betriebliche Lern-Orte ableiten. Die detaillierte Darstellung einer Tagesschulung zum Thema Auswirkungen von Industrie 4.0 auf die Arbeit der Mitarbeiter sowie Illustration eines Lernszenarios geben reale Einblicke, wie betriebliche Weiterbildung abseits von Lehr-Lern-Kurzschluss-orientierter Didaktik gelingt.
Writing travel, writing life
(2022)
The book compares the texts of three Swiss authors: Ella Maillart, Annemarie Schwarzenbach and Nicolas Bouvier. The focus is on their trip from Genève to Kabul that Ella Maillart and Annemarie Schwarzenbach made together in 1939/1940 and Nicolas Bouvier 1953/1954 with the artist Thierry Vernet. The comparison shows the strong connection between the journey and life and between ars vivendi and travel literature.
This book also gives an overview of and organises the numerous terms, genres, and categories that already exist to describe various travel texts and proposes the new term travelling narration. The travelling narration looks at the text from a narratological perspective that distinguishes the author, narrator, and protagonist within the narration.
In the examination, ten motifs could be found to characterise the travelling narration: Culture, Crossing Borders, Freedom, Time and Space, the Aesthetics of Landscapes, Writing and Reading, the Self and/as the Other, Home, Religion and Spirituality as well as the Journey. The importance of each individual motif does not only apply in the 1930s or 1950s but also transmits important findings for living together today and in the future.
Strategic management is the deliberate engagement of an administration with the challenges of fulfilling its mission and ensuring and improving its ability to act by clarifying measures of success, an understanding of how to influence patterns of action, and organiza-tional learning. In this respect, it is not just about planning, but about an understanding of the emerging strategies of the administration in fulfilling its tasks and the use of opportunities for performance improvement, taking into account stakeholder expectations, resource base and organizational capabilities.
Das Verhältnis von Gemeinwohl und Gleichheit ist kein spannungsfreies. Soziale Gleichheit ist ein Grundwert liberal-demokratischer Gemeinwesen. Um diese Gleichheit zu bewahren, entwickelten sich im 20. Jahrhundert Konzeptionen von Gemeinwohl, die versuchten, das Gemeinwohl eher prozedural und pluralistisch zu verstehen. Eine zu spezifische, vorher festgelegte Definition des Gemeinwohls sei letzten Endes undemokratisch und ideologisch und somit der sozialen Gleichheit abträglich. In den letzten Jahren haben sich unter dem Oberbegriff des sozialen Egalitarismus jedoch auch die Vorstellungen der sozialen Gleichheit verändert, hin zu einem substanzielleren Verständnis, was die Frage aufwirft, ob prozedurale Gemeinwohlverständnisse ihrer Rolle als Wächter der Gleichheit immer noch gerecht werden können.
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.
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.