Gold Open-Access
Refine
Has Fulltext
- yes (667) (remove)
Year of publication
Document Type
- Article (498)
- Monograph/Edited Volume (59)
- 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 (159)
- 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)
In der hier vorgestellten Unterrichtssequenz wird eine ausgewählte Textpassage aus Caesars Bellum Gallicum unter Einbeziehung möglichst vieler Textteile aus dem Original analysiert. Das Konzept der Fokalisierung bereitet die Schüler auf die Einnahme einer distanzierten und differenzierten Perspektive vor und fordert sie zu einer kritischen Auseinandersetzung mit dem Text auf. Mittels der Übernahme verschiedener »Rollen« werden sie motiviert, individuelle Aufgaben zu erfüllen, sich in die Lage anderer Akteure hineinzuversetzen, aber auch Kommunikationsabläufe und -barrieren zu berücksichtigen, die für den Umgang mit dem Text von Bedeutung sind.
Digitale Medien sind aus unserem Alltag kaum noch wegzudenken. Einer der zentralsten Bereiche für unsere Gesellschaft, die schulische Bildung, darf hier nicht hintanstehen. Wann immer der Einsatz digital unterstützter Tools pädagogisch sinnvoll ist, muss dieser in einem sicheren Rahmen ermöglicht werden können. Die HPI Schul-Cloud ist dieser Vision gefolgt, die vom Nationalen IT-Gipfel 2016 angestoßen wurde und dem Bericht vorangestellt ist – gefolgt. Sie hat sich in den vergangenen fünf Jahren vom Pilotprojekt zur unverzichtbaren IT-Infrastruktur für zahlreiche Schulen entwickelt. Während der Corona-Pandemie hat sie für viele Tausend Schulen wichtige Unterstützung bei der Umsetzung ihres Bildungsauftrags geboten. Das Ziel, eine zukunftssichere und datenschutzkonforme Infrastruktur zur digitalen Unterstützung des Unterrichts zur Verfügung zu stellen, hat sie damit mehr als erreicht. Aktuell greifen rund 1,4 Millionen Lehrkräfte und Schülerinnen und Schüler bundesweit und an den deutschen Auslandsschulen auf die HPI Schul-Cloud zu.
The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces.
We present an approach for the analysis of large scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.