Gold Open-Access
Refine
Document Type
- Other (37) (remove)
Keywords
- embodied cognition (2)
- #4genderstudies (1)
- #AusDemDigitalenSeminarraum (1)
- #AusdemSeminarraum (1)
- #MeinSchreibtisch (1)
- #nachgefragt (1)
- AfD (1)
- Aktivismus (1)
- Alternative für Deutschland (1)
- Arbeit (1)
Institute
- Department Psychologie (5)
- Fachgruppe Politik- & Verwaltungswissenschaft (5)
- Institut für Biochemie und Biologie (3)
- Institut für Ernährungswissenschaft (3)
- Öffentliches Recht (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)
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)
Editorial: Reaching to Grasp Cognition: Analyzing Motor Behavior to Investigate Social Interactions
(2018)
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.