DOAJ gelistet
Refine
Has Fulltext
- no (23)
Document Type
- Other (23) (remove)
Is part of the Bibliography
- yes (23)
Keywords
- embodied cognition (2)
- NAB (1)
- SPB (1)
- abstract concepts (1)
- action observation (1)
- athletic performance (1)
- attributions (1)
- basal body (1)
- behavioral reasoning (1)
- centriole (1)
Institute
- Department Psychologie (7)
- Institut für Biochemie und Biologie (3)
- Institut für Ernährungswissenschaft (2)
- Institut für Geowissenschaften (2)
- Institut für Informatik und Computational Science (2)
- Institut für Romanistik (2)
- Department Sport- und Gesundheitswissenschaften (1)
- Institut für Germanistik (1)
- Institut für Physik und Astronomie (1)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (1)
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.
Editorial
(2020)
Emergency Care in Germany being re-assessed Hybrid Medical Care Model Seen As Potential Answer
(2017)
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.