Gold Open-Access
Refine
Year of publication
Document Type
- Article (2374)
- Review (84)
- Monograph/Edited Volume (73)
- Other (43)
- Part of Periodical (40)
- Conference Proceeding (29)
- Part of a Book (22)
- Master's Thesis (19)
- Doctoral Thesis (17)
- Report (12)
Language
- English (2088)
- German (587)
- Spanish (29)
- French (19)
- Multiple languages (4)
- Italian (3)
- Russian (3)
- Portuguese (2)
Keywords
- digital education (37)
- e-learning (37)
- MOOC (35)
- online course creation (33)
- online course design (33)
- Digitale Bildung (32)
- Kursdesign (32)
- Micro Degree (32)
- Online-Lehre (32)
- Onlinekurs (32)
Institute
- Institut für Biochemie und Biologie (413)
- Extern (368)
- Institut für Geowissenschaften (247)
- Institut für Physik und Astronomie (216)
- Institut für Romanistik (169)
- Institut für Umweltwissenschaften und Geographie (153)
- Historisches Institut (146)
- Hasso-Plattner-Institut für Digital Engineering GmbH (125)
- Department Sport- und Gesundheitswissenschaften (114)
- Institut für Ernährungswissenschaft (102)
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.
Uniformly valid confidence intervals post model selection in regression can be constructed based on Post-Selection Inference (PoSI) constants. PoSI constants are minimal for orthogonal design matrices, and can be upper bounded in function of the sparsity of the set of models under consideration, for generic design matrices. In order to improve on these generic sparse upper bounds, we consider design matrices satisfying a Restricted Isometry Property (RIP) condition. We provide a new upper bound on the PoSI constant in this setting. This upper bound is an explicit function of the RIP constant of the design matrix, thereby giving an interpolation between the orthogonal setting and the generic sparse setting. We show that this upper bound is asymptotically optimal in many settings by constructing a matching lower bound.
Phytoplankton biomass and production regulates key aspects of freshwater ecosystems yet its variability and subsequent predictability is poorly understood. We estimated within-lake variation in biomass using high-frequency chlorophyll fluorescence data from 18 globally distributed lakes. We tested how variation in fluorescence at monthly, daily, and hourly scales was related to high-frequency variability of wind, water temperature, and radiation within lakes as well as productivity and physical attributes among lakes. Within lakes, monthly variation dominated, but combined daily and hourly variation were equivalent to that expressed monthly. Among lakes, biomass variability increased with trophic status while, within-lake biomass variation increased with increasing variability in wind speed. Our results highlight the benefits of high-frequency chlorophyll monitoring and suggest that predicted changes associated with climate, as well as ongoing cultural eutrophication, are likely to substantially increase the temporal variability of algal biomass and thus the predictability of the services it provides.
Taxonomy plays a central role in biological sciences. It provides a communication system for scientists as it aims to enable correct identification of the studied organisms. As a consequence, species descriptions should seek to include as much available information as possible at species level to follow an integrative concept of 'taxonomics'. Here, we describe the cryptic species Epimeria frankei sp. nov. from the North Sea, and also redescribe its sister species, Epimeria cornigera. The morphological information obtained is substantiated by DNA barcodes and complete nuclear 18S rRNA gene sequences. In addition, we provide, for the first time, full mitochondrial genome data as part of a metazoan species description for a holotype, as well as the neotype. This study represents the first successful implementation of the recently proposed concept of taxonomics, using data from high-throughput technologies for integrative taxonomic studies, allowing the highest level of confidence for both biodiversity and ecological research.
Thomas Morus: Utopia
(2018)
In Thomas Morus’ Utopia wird intensiv über die in einem idealen Staat herrschenden Verhältnisse nachgedacht. Für den Lateinunterricht empfiehlt sich dieses neulateinische Werk, weil Schüler durch seine Lektüre zum einen erkennen, dass die lateinische Sprache nach dem Untergang des römischen Reiches fortlebte, und weil sie zum anderen zu allgemeinen Reflexionen über vorbildhafte Gesellschaftsordnungen angeregt und für die dabei zu berücksichtigenden Aspekte sensibilisiert werden. So entsteht in ihnen ein Bewusstsein für die Grundfesten eines harmonischen Zusammenlebens. Das vorliegende Lektüreheft bietet umfangreiches, didaktisch aufbereitetes Material, das Lateinschülern echtes Lesevergnügen bereitet und das Lehrkräfte ohne großen Aufwand im Unterricht einsetzen können. Diese Publikation schließt damit eine für die Utopia bislang bestehende Lücke und lässt hoffen, dass das Werk künftig einen festen Platz im Lateinunterricht erhält.
In honour of Seymour Papert
(2018)
Forth is nice and flexible but to a philosopher and teacher educator Logo is the more impressing language. Both are relatives of Lisp, but Forth has a reverse Polish notation where as Logo has an infix notation. Logo allows top down programming, Forth only bottom up. Logo enables recursive programming, Forth does not. Logo includes turtle graphics, Forth has nothing comparable. So what to do if you can't get Logo and have no information about its inner architecture? This should be a case of "empirical modelling": How can you model observable results of the behaviour of Logo in terms of Forth? The main steps to solve this problem are shown in the first part of the paper.
The second part of the paper discusses the problem of modelling and shows that the modelling of making and the modelling of recognition have the same mathematical structure. So "empirical modelling" can also serve for modelling desired behaviour of technical systems.
The last part of the paper will show that the heuristic potential of a problem which should be modeled is more important than the programming language. The Picasso construal shows, in a very simple way, how children of different ages can model emotional relations in human behaviour with a simple Logo system.
Background: In our modern world, the way of life in nutritional and activity behaviour has changed. As a consequence, parallel trends of an epidemic of overweight and a decline in external skeletal robusticity are observed in children and adolescents. Aim: We aim to develop reference centiles for external skeletal robusticity of European girls and boys aged 0 to 18 years using the Frame Index as an indicator and identify population specific age-related patterns. Methods: We analysed cross-sectional & longitudinal data on body height and elbow breadth of boys and girls from Europe (0-18 years, n = 41.679), India (7-18 years, n = 3.297) and South Africa (3-18 years, n = 4.346). As an indicator of external skeletal robusticity Frame Index after Frisancho (1990) was used. We developed centiles for boys and girls using the LMS-method and its extension. Results: Boys have greater external skeletal robusticity than girls. Whereas in girls Frame Index decreases continuously during growth, an increase of Frame Index from 12 to 16 years in European boys can be observed. Indian and South African boys are almost similar in Frame Index to European boys. In girls, the pattern is slightly different. Whereas South African girls are similar to European girls, Indian girls show a lesser external skeletal robusticity. Conclusion: Accurate references for external skeletal robusticity are needed to evaluate if skeletal development is adequate per age. They should be used to monitor effects of changes in way of life and physical activity levels in children and adolescents to avoid negative health outcomes like osteoporosis and arthrosis.
Quantifying rock weakening due to decreasing calcite mineral content by numerical simulations
(2018)
The quantification of changes in geomechanical properties due to chemical reactions is of paramount importance for geological subsurface utilisation, since mineral dissolution generally reduces rock stiffness. In the present study, the effective elastic moduli of two digital rock samples, the Fontainebleau and Bentheim sandstones, are numerically determined based on micro-CT images. Reduction in rock stiffness due to the dissolution of 10% calcite cement by volume out of the pore network is quantified for three synthetic spatial calcite distributions (coating, partial filling and random) using representative sub-cubes derived from the digital rock samples. Due to the reduced calcite content, bulk and shear moduli decrease by 34% and 38% in maximum, respectively. Total porosity is clearly the dominant parameter, while spatial calcite distribution has a minor impact, except for a randomly chosen cement distribution within the pore network. Moreover, applying an initial stiffness reduced by 47% for the calcite cement results only in a slightly weaker mechanical behaviour. Using the quantitative approach introduced here substantially improves the accuracy of predictions in elastic rock properties compared to general analytical methods, and further enables quantification of uncertainties related to spatial variations in porosity and mineral distribution.
Cell-free protein synthesis as a novel tool for directed glycoengineering of active erythropoietin
(2018)
As one of the most complex post-translational modification, glycosylation is widely involved in cell adhesion, cell proliferation and immune response. Nevertheless glycoproteins with an identical polypeptide backbone mostly differ in their glycosylation patterns. Due to this heterogeneity, the mapping of different glycosylation patterns to their associated function is nearly impossible. In the last years, glycoengineering tools including cell line engineering, chemoenzymatic remodeling and site-specific glycosylation have attracted increasing interest. The therapeutic hormone erythropoietin (EPO) has been investigated in particular by various groups to establish a production process resulting in a defined glycosylation pattern. However commercially available recombinant human EPO shows batch-to-batch variations in its glycoforms. Therefore we present an alternative method for the synthesis of active glycosylated EPO with an engineered O-glycosylation site by combining eukaryotic cell-free protein synthesis and site-directed incorporation of non-canonical amino acids with subsequent chemoselective modifications.
The demands of a career in competitive sports can lead to chronic stress perception among athletes if there is a non-conformity of requirements and available coping resources. The Trier Inventory for Chronic Stress (TICS) (Schulz et al., 2004) is said to be thoroughly validated. Nevertheless, it has not yet been subjected to a confirmatory factor analysis. The present study aims (1) to evaluate the factorial validity of the TICS within the context of competitive sports and (2) to adapt a short version (TICS-36). The total sample consisted of 564 athletes (age in years: M = 19.1, SD = 3.70). The factor structure of the original TICS did not adequately fit the present data, whereas the short version presented a satisfactory fit. The results indicate that the TICS-36 is an economical instrument for gathering interpretable information about chronic stress. For assessment in competitive sports with TICS-36, we generated overall and gender-specific norm values.
Heg1 and Ccm1/2 proteins control endocardial mechanosensitivity during zebrafish valvulogenesis
(2018)
Endothelial cells respond to different levels of fluid shear stress through adaptations of their mechanosensitivity. Currently, we lack a good understanding of how this contributes to sculpting of the cardiovascular system. Cerebral cavernous malformation (CCM) is an inherited vascular disease that occurs when a second somatic mutation causes a loss of CCM1/KRIT1, CCM2, or CCM3 proteins. Here, we demonstrate that zebrafish Krit1 regulates the formation of cardiac valves. Expression of heg1, which encodes a binding partner of Krit1, is positively regulated by blood-flow. In turn, Heg1 stabilizes levels of Krit1 protein, and both Heg1 and Krit1 dampen expression levels of klf2a, a major mechanosensitive gene. Conversely, loss of Krit1 results in increased expression of klf2a and notch1b throughout the endocardium and prevents cardiac valve leaflet formation. Hence, the correct balance of blood-flow-dependent induction and Krit1 protein mediated repression of klf2a and notch1b ultimately shapes cardiac valve leaflet morphology.
Endothelial cells (ECs) are involved in a variety of cellular responses. As multifunctional components of vascular structures, endothelial (progenitor) cells have been utilized in cellular therapies and are required as an important cellular component of engineered tissue constructs and in vitro disease models. Although primary ECs from different sources are readily isolated and expanded, cell quantity and quality in terms of functionality and karyotype stability is limited. ECs derived from human induced pluripotent stem cells (hiPSCs) represent an alternative and potentially superior cell source, but traditional culture approaches and 2D differentiation protocols hardly allow for production of large cell numbers. Aiming at the production of ECs, we have developed a robust approach for efficient endothelial differentiation of hiPSCs in scalable suspension culture. The established protocol results in relevant numbers of ECs for regenerative approaches and industrial applications that show in vitro proliferation capacity and a high degree of chromosomal stability.
High-throughput sequence data retrieved from ancient or other degraded samples has led to unprecedented insights into the evolutionary history of many species, but the analysis of such sequences also poses specific computational challenges. The most commonly used approach involves mapping sequence reads to a reference genome. However, this process becomes increasingly challenging with an elevated genetic distance between target and reference or with the presence of contaminant sequences with high sequence similarity to the target species. The evaluation and testing of mapping efficiency and stringency are thus paramount for the reliable identification and analysis of ancient sequences. In this paper, we present ‘TAPAS’, (Testing of Alignment Parameters for Ancient Samples), a computational tool that enables the systematic testing of mapping tools for ancient data by simulating sequence data reflecting the properties of an ancient dataset and performing test runs using the mapping software and parameter settings of interest. We showcase TAPAS by using it to assess and improve mapping strategy for a degraded sample from a banded linsang (Prionodon linsang), for which no closely related reference is currently available. This enables a 1.8-fold increase of the number of mapped reads without sacrificing mapping specificity. The increase of mapped reads effectively reduces the need for additional sequencing, thus making more economical use of time, resources, and sample material.
Sex-specific differences in nutritional requirements may crucially influence the performances of the sexes, which may have implications for sexual reproduction and thus is of great ecological and evolutionary interest. In the freshwater model species Daphnia magna, essential lipid requirements have been extensively studied. Dietary deficiencies in sterols and polyunsaturated fatty acids (PUFA) have been shown to constrain somatic growth and parthenogenetic reproduction of female Daphnia. In contrast, nutrient requirements of male Daphnia have not been studied yet. Supplementation experiments were conducted to investigate differences in sterol (cholesterol) and PUFA (eicosapentaenoic acid, EPA) requirements between female and male D. magna. Thresholds for sterol-limited juvenile growth were higher in females than in males, suggesting that females are more susceptible to dietary sterol deficiencies than males. Sex-specific differences in maximum somatic growth rates were evident primarily in the presence of dietary EPA; females could not exploit their generally higher growth potential in the absence of dietary PUFA. However, the thresholds for EPA-limited growth did not differ between sexes, suggesting that both sexes have similar dietary EPA requirements during juvenile growth. During a life history experiment, the gain in body dry mass was higher in females than in males, irrespective of food treatment. In both sexes, the gain in body dry mass increased significantly upon EPA supplementation, indicating that both sexes benefited from dietary EPA supply also later in life. However, the positive effects of EPA supplementation were most pronounced for female reproduction-related traits (i.e., clutch sizes, egg dry masses, and total dry mass investment in reproduction). The high maternal investment in reproduction resulted in a depletion of nutrients in female somata. In contrast, the comparatively low paternal investment in reproduction allowed for the accumulation of nutrients in male somata. We conclude that males are generally less susceptible to dietary nutrient deficiencies than females, because they can rely more on internal body stores. Our data suggest that the performances of the sexes are differentially influenced by lipid-mediated food quality, which may have consequences for sexual reproduction and thus the production of resting eggs and the maintenance of Daphnia populations.
Home range size and resource use of breeding and non-breeding white storks along a land use gradient
(2018)
Biotelemetry is increasingly used to study animal movement at high spatial and temporal resolution and guide conservation and resource management. Yet, limited sample sizes and variation in space and habitat use across regions and life stages may compromise robustness of behavioral analyses and subsequent conservation plans. Here, we assessed variation in (i) home range sizes, (ii) home range selection, and (iii) fine-scale resource selection of white storks across breeding status and regions and test model transferability. Three study areas were chosen within the Central German breeding grounds ranging from agricultural to fluvial and marshland. We monitored GPS-locations of 62 adult white storks equipped with solar-charged GPS/3D-acceleration (ACC) transmitters in 2013-2014. Home range sizes were estimated using minimum convex polygons. Generalized linear mixed models were used to assess home range selection and fine-scale resource selection by relating the home ranges and foraging sites to Corine habitat variables and normalized difference vegetation index in a presence/pseudo-absence design. We found strong variation in home range sizes across breeding stages with significantly larger home ranges in non-breeding compared to breeding white storks, but no variation between regions. Home range selection models had high explanatory power and well predicted overall density of Central German white stork breeding pairs. Also, they showed good transferability across regions and breeding status although variable importance varied considerably. Fine-scale resource selection models showed low explanatory power. Resource preferences differed both across breeding status and across regions, and model transferability was poor. Our results indicate that habitat selection of wild animals may vary considerably within and between populations, and is highly scale dependent. Thereby, home range scale analyses show higher robustness whereas fine-scale resource selection is not easily predictable and not transferable across life stages and regions. Such variation may compromise management decisions when based on data of limited sample size or limited regional coverage. We thus recommend home range scale analyses and sampling designs that cover diverse regional landscapes and ensure robust estimates of habitat suitability to conserve wild animal populations.
Retrogressive thaw slumps (RTSs) are among the most active thermokarst landforms in the Arctic and deliver a large amount of material to the Arctic Ocean. However, their contribution to the organic carbon (OC) budget is unknown. We provide the first estimate of the contribution of RTSs to the nearshore OC budget of the Yukon Coast, Canada, and describe the evolution of coastal RTSs between 1952 and 2011 in this area. We (1) describe the evolution of RTSs between 1952 and 2011; (2) calculate the volume of eroded material and stocks of OC mobilized through slumping, including soil organic carbon (SOC) and dissolved organic carbon (DOC); and (3) estimate the OC fluxes mobilized through slumping between 1972 and 2011. We identified RTSs using high- resolution satellite imagery from 2011 and geocoded aerial photographs from 1952 and 1972. To estimate the volume of eroded material, we applied spline interpolation on an airborne lidar dataset acquired in July 2013. We inferred the stocks of mobilized SOC and DOC from existing related literature. Our results show a 73% increase in the number of RTSs and 14% areal expansion between 1952 and 2011. In the study area, RTSs displaced at least 16.6 x 10(6) m(3) of material, 53% of which was ice, and mobilized 145.9 x 10(6) kg of OC. Between 1972 and 2011, 49 RTSs displaced 8.6 x 10(3) m(3) yr(-1) of material, adding 0.6% to the OC flux released by coastal retreat along the Yukon Coast. Our results show that the contribution of RTSs to the nearshore OC budget is non-negligible and should be included when estimating the quantity of OC released from the Arctic coast to the ocean.
One common approach to cope with floods is the implementation of structural flood protection measures, such as levees or flood-control reservoirs, which substantially reduce the probability of flooding at the time of implementation. Numerous scholars have problematized this approach. They have shown that increasing the levels of flood protection can attract more settlements and high-value assets in the areas protected by the new measures. Other studies have explored how structural measures can generate a sense of complacency, which can act to reduce preparedness. These paradoxical risk changes have been described as "levee effect", "safe development paradox" or "safety dilemma". In this commentary, we briefly review this phenomenon by critically analysing the intended benefits and unintended effects of structural flood protection, and then we propose an interdisciplinary research agenda to uncover these paradoxical dynamics of risk.
This publication demonstrates the abilities of a precise and straightforward microcontact printing approach for the preparation of patchy silica particles. In a broad particle size range, it is possible to finely tune the number and parameters of three-dimensional patches like diameter and thickness using only polyethyleneimine ink, poly(dimethoxysilane) as stamp material and a suitable release solvent.
We present a general analysis of the cooling produced by losses on condensates or quasi-condensates. We study how the occupations of the collective phonon modes evolve in time, assuming that the loss process is slow enough so that each mode adiabatically follows the decrease of the mean density. The theory is valid for any loss process whose rate is proportional to the jth power of the density, but otherwise spatially uniform. We cover both homogeneous gases and systems confined in a smooth potential. For a low-dimensional gas, we can take into account the modified equation of state due to the broadening of the cloud width along the tightly confined directions, which occurs for large interactions. We find that at large times, the temperature decreases proportionally to the energy scale mc(2), where m is the mass of the particles and c the sound velocity. We compute the asymptotic ratio of these two quantities for different limiting cases: a homogeneous gas in any dimension and a one-dimensional gas in a harmonic trap.
To cope with the already large, and ever increasing, amount of information stored in organizational memory, "forgetting," as an important human memory process, might be transferred to the organizational context. Especially in intentionally planned change processes (e.g., change management), forgetting is an important precondition to impede the recall of obsolete routines and adapt to new strategic objectives accompanied by new organizational routines. We first comprehensively review the literature on the need for organizational forgetting and particularly on accidental vs. intentional forgetting. We discuss the current state of the art of theory and empirical evidence on forgetting from cognitive psychology in order to infer mechanisms applicable to the organizational context. In this respect, we emphasize retrieval theories and the relevance of retrieval cues important for forgetting. Subsequently, we transfer the empirical evidence that the elimination of retrieval cues leads to faster forgetting to the forgetting of organizational routines, as routines are part of organizational memory. We then propose a classification of cues (context, sensory, business process-related cues) that are relevant in the forgetting of routines, and discuss a meta-cue called the "situational strength" cue, which is relevant if cues of an old and a new routine are present simultaneously. Based on the classification as business process-related cues (information, team, task, object cues), we propose mechanisms to accelerate forgetting by eliminating specific cues based on the empirical and theoretical state of the art. We conclude that in intentional organizational change processes, the elimination of cues to accelerate forgetting should be used in change management practices.