Gold Open-Access
Refine
Document Type
- Other (43) (remove)
Keywords
- embodied cognition (2)
- #4genderstudies (1)
- #AusDemDigitalenSeminarraum (1)
- #AusdemSeminarraum (1)
- #MeinSchreibtisch (1)
- #nachgefragt (1)
- Abgabe (1)
- AfD (1)
- Aktivismus (1)
- Alternative für Deutschland (1)
Institute
- Fachgruppe Politik- & Verwaltungswissenschaft (6)
- Öffentliches Recht (6)
- Department Psychologie (5)
- Institut für Biochemie und Biologie (3)
- Institut für Ernährungswissenschaft (3)
- Institut für Geowissenschaften (3)
- Department Sport- und Gesundheitswissenschaften (2)
- Hasso-Plattner-Institut für Digital Engineering GmbH (2)
- Institut für Informatik und Computational Science (2)
- Institut für Jüdische Studien und Religionswissenschaft (2)
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.
Emergency Care in Germany being re-assessed Hybrid Medical Care Model Seen As Potential Answer
(2017)
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.
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).
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.
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.
DPP4 inhibition prevents AKI
(2017)