Gold Open-Access
Refine
Document Type
- Other (33) (remove)
Keywords
- embodied cognition (2)
- AfD (1)
- Alternative für Deutschland (1)
- Audit (1)
- DPP-4 inhibitors (1)
- Digitization (1)
- Dipeptidyl peptidase IV (1)
- Learning Factory (1)
- NAB (1)
- Roadmap (1)
Institute
- Department Psychologie (5)
- Fachgruppe Politik- & Verwaltungswissenschaft (4)
- Institut für Biochemie und Biologie (3)
- Institut für Ernährungswissenschaft (3)
- Hasso-Plattner-Institut für Digital Engineering GmbH (2)
- Institut für Geowissenschaften (2)
- Institut für Informatik und Computational Science (2)
- Institut für Jüdische Studien und Religionswissenschaft (2)
- Institut für Physik und Astronomie (2)
- Department Erziehungswissenschaft (1)
We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem prover and especially the functionality of the educational fragment. This currently supports working with terms of the untyped lambda calculus and addresses both undergraduate students and researchers. We show how the tool can be used to support the students' understanding of functional programming and discuss general problems related to the process of building theorem proving software that aims at supporting both research and education.
Das Projekt beschäftigt sich mit der visuellen Wirkungsdimension von Lyrik und der Möglichkeit ihrer analytischen Beschreibung. Dafür werden die Anordnung von Versen und Wörtern, Auszeichnungen und andere typographische Strukturen von nicht experimentellen Gedichten seit Ende des 18. Jahrhunderts im Rahmen von Modellanalysen untersucht.
Audit - and then what?
(2019)
Current trends such as digital transformation, Internet of Things, or Industry 4.0 are challenging the majority of learning factories. Regardless of whether a conventional learning factory, a model factory, or a digital learning factory, traditional approaches such as the monotonous execution of specific instructions don‘t suffice the learner’s needs, market requirements as well as especially current technological developments. Contemporary teaching environments need a clear strategy, a road to follow for being able to successfully cope with the changes and develop towards digitized learning factories. This demand driven necessity of transformation leads to another obstacle: Assessing the status quo and developing and implementing adequate action plans. Within this paper, details of a maturity-based audit of the hybrid learning factory in the Research and Application Centre Industry 4.0 and a thereof derived roadmap for the digitization of a learning factory are presented.
The centrosome is not only the largest and most sophisticated protein complex within a eukaryotic cell, in the light of evolution, it is also one of its most ancient organelles. This special issue of "Cells" features representatives of three main, structurally divergent centrosome types, i.e., centriole-containing centrosomes, yeast spindle pole bodies (SPBs), and amoebozoan nucleus-associated bodies (NABs). Here, I discuss their evolution and their key-functions in microtubule organization, mitosis, and cytokinesis. Furthermore, I provide a brief history of centrosome research and highlight recently emerged topics, such as the role of centrioles in ciliogenesis, the relationship of centrosomes and centriolar satellites, the integration of centrosomal structures into the nuclear envelope and the involvement of centrosomal components in non-centrosomal microtubule organization.
The Aral Sea desiccation and related changes in hydroclimatic conditions on a regional level is a hot topic for past decades. The key problem of scientific research projects devoted to an investigation of modern Aral Sea basin hydrological regime is its discontinuous nature - the only limited amount of papers takes into account the complex runoff formation system entirely. Addressing this challenge we have developed a continuous prediction system for assessing freshwater inflow into the Small Aral Sea based on coupling stack of hydrological and data-driven models. Results show a good prediction skill and approve the possibility to develop a valuable water assessment tool which utilizes the power of classical physically based and modern machine learning models both for territories with complex water management system and strong water-related data scarcity. The source code and data of the proposed system is available on a Github page (https://github.com/SMASHIproject/IWRM2018).
Die Entscheidung des Menschenrechtsausschusses der Vereinten Nationen im Fall Billy et al. gegen Australien zum Schutz der Beschwerdeführenden vor den Folgen des Klimawandels wurde als bedeutsamer Erfolg gefeiert. Der Ausschuss bewertet allerdings nur die Adaptationsmaßnahmen Australiens als unzureichend. Der Artikel untersucht, ob die Entscheidung einen Beitrag zur Weiterentwicklung des Klimaschutz- und Klimaanpassungsrechts auf Menschenrechtsebene leistet. Eine nähere Analyse der Entscheidungsgründe zeigt, dass sie weniger progressiv sind als teilweise angenommen. Dennoch stellt die Entscheidung einen Präzedenzfall dar, der angesichts der zunehmenden Bedeutung der Klimaanpassung, auch für nationale Gerichte und regionale Menschenrechtsgerichtshöfe wegweisend ist.
Die Macht der Sonntagsfrage
(2023)
Für das Jahr 2024 sind entscheidende Wahlen geplant – unter ihnen die
US-Präsidentschaftswahl und die Wahlen zum Europäischen Parlament. In
Deutschland werden in Brandenburg, Sachsen und Thüringen die Landtage
gewählt. Wahlumfragen, insbesondere die Sonntagsfrage, sind zu einem
integralen Bestandteil von Wahlkämpfen geworden; gleichzeitig steht auch
deren Zuverlässigkeit im Zentrum medialer Aufmerksamkeit. Eine Debatte über
die Kommunikation und Darstellung von Meinungsumfragen ist in Deutschland
dringend notwendig. Eine bindende Selbstverpflichtung der Umfrageinstitute und
Medienhäuser wäre eine vielversprechende Lösung.
DPP4 inhibition prevents AKI
(2017)
Editorial
(2020)
Editorial: Reaching to Grasp Cognition: Analyzing Motor Behavior to Investigate Social Interactions
(2018)
Emergency Care in Germany being re-assessed Hybrid Medical Care Model Seen As Potential Answer
(2017)
We review the evidence for a putative early 21st-century divergence between global mean surface temperature (GMST) and Coupled Model Intercomparison Project Phase 5 (CMIP5) projections. We provide a systematic comparison between temperatures and projections using historical versions of GMST products and historical versions of model projections that existed at the times when claims about a divergence were made. The comparisons are conducted with a variety of statistical techniques that correct for problems in previous work, including using continuous trends and a Monte Carlo approach to simulate internal variability. The results show that there is no robust statistical evidence for a divergence between models and observations. The impression of a divergence early in the 21st century was caused by various biases in model interpretation and in the observations, and was unsupported by robust statistics.
Werner Krause and Christina Gahn argue that we need to pay more attention to how the media communicates the results of opinion polls to the public. Reporting methodological details, such as margins of error, can alter citizens’ vote choices on election day. This has important implications for elections around the world
Kochbücher à la religion
(2024)
Learning how to prove
(2018)
We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a second, more difficult, step students will transfer their acquired skills to the area of textbook proofs. In this article we present a realisation of the second step. Proofs in Coq have a high degree of formality while textbook proofs have only a medium one. Therefore our key idea is to reduce the degree of formality from the level of Coq to textbook proofs in several small steps. For that purpose we introduce three proof styles between Coq and textbook proofs, called line by line comments, weakened line by line comments, and structure faithful proofs. While this article is mostly conceptional we also report on experiences with putting our approach into practise.
For a singularly perturbed parabolic - ODE system we construct the asymptotic expansion in the small parameter in the case, when the degenerate equation has a double root. Such systems, which are called partly dissipative reaction-diffusion systems, are used to model various natural processes, including the signal transmission along axons, solid combustion and the kinetics of some chemical reactions. It turns out that the algorithm of the construction of the boundary layer functions and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root. The multizonal initial and boundary layers behaviour was stated.
Rechts nur noch die Wand?
(2023)
The present work is part of a collaborative H2020 European funded research project called SENSKIN, that aims to improve Structural Health Monitoring (SHM) for transport infrastructure through the development of an innovative monitoring and management system for bridges based on a novel, inexpensive, skin-like sensor. The integrated SENSKIN technology will be implemented in the case of steel and concrete bridges, and tested, field-evaluated and benchmarked on actual bridge environment against a conventional health monitoring solution developed by Mistras Group Hellas. The main objective of the present work is to implement the autonomous, fully functional strain monitoring system based on commercially available off-the-shelf components, that will be used to accomplish direct comparison between the performance of the innovative SENSKIN sensors and the conventional strain sensors commonly used for structural monitoring of bridges. For this purpose, the mini Structural Monitoring System (mini SMS) of Physical Acoustics Corporation, a comprehensive data acquisition unit designed specifically for long-term unattended operation in outdoor environments, was selected. For the completion of the conventional system, appropriate foil-type strain sensors were selected, driven by special conditioners manufactured by Mistras Group. A comprehensive description of the strain monitoring system and its peripheral components is provided in this paper. For the evaluation of the integrated system’s performance and the effect of various parameters on the long-term behavior of sensors, several test steel pieces instrumented with different strain sensors configurations were prepared and tested in both laboratory and field ambient conditions. Furthermore, loading tests were performed aiming to validate the response of the system in monitoring the strains developed in steel beam elements subject to bending regimes. Representative results obtained from the above experimental tests have been included in this paper as well.
Subject-oriented learning
(2019)
The transformation to a digitized company changes not only the work but also social context for the employees and requires inter alia new knowledge and skills from them. Additionally, individual action problems arise. This contribution proposes the subject-oriented learning theory, in which the employees´ action problems are the starting point of training activities in learning factories. In this contribution, the subject-oriented learning theory is exemplified and respective advantages for vocational training in learning factories are pointed out both theoretically and practically. Thereby, especially the individual action problems of learners and the infrastructure are emphasized as starting point for learning processes and competence development.
Von Koscher bis Frutarismus
(2024)