TY - GEN A1 - Böhne, Sebastian A1 - Kreitz, Christoph T1 - Learning how to prove BT - from the coq proof assistant to textbook style T2 - Electronic proceedings in theoretical computer science N2 - 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. Y1 - 2018 U6 - https://doi.org/10.4204/EPTCS.267.1 SN - 2075-2180 IS - 267 SP - 1 EP - 18 PB - Open Publishing Association CY - Sydney ER - TY - JOUR A1 - Bachoc, Francois A1 - Blanchard, Gilles A1 - Neuvial, Pierre T1 - On the post selection inference constant under restricted isometry properties JF - Electronic journal of statistics N2 - 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. KW - Inference post model-selection KW - confidence intervals KW - PoSI constants KW - linear regression KW - high-dimensional inference KW - sparsity KW - restricted isometry property Y1 - 2018 U6 - https://doi.org/10.1214/18-EJS1490 SN - 1935-7524 VL - 12 IS - 2 SP - 3736 EP - 3757 PB - Institute of Mathematical Statistics CY - Cleveland ER - TY - JOUR A1 - Rusak, James A. A1 - Tanentzap, Andrew J. A1 - Klug, Jennifer L. A1 - Rose, Kevin C. A1 - Hendricks, Susan P. A1 - Jennings, Eleanor A1 - Laas, Alo A1 - Pierson, Donald C. A1 - Ryder, Elizabeth A1 - Smyth, Robyn L. A1 - White, D. S. A1 - Winslow, Luke A. A1 - Adrian, Rita A1 - Arvola, Lauri A1 - de Eyto, Elvira A1 - Feuchtmayr, Heidrun A1 - Honti, Mark A1 - Istvanovics, Vera A1 - Jones, Ian D. A1 - McBride, Chris G. A1 - Schmidt, Silke Regina A1 - Seekell, David A1 - Staehr, Peter A. A1 - Guangwei, Zhu T1 - Wind and trophic status explain within and among-lake variability of algal biomass JF - Limnology and oceanography letters / ASLO, Association for the Sciences of Limnology and Oceanography N2 - 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. Y1 - 2018 U6 - https://doi.org/10.1002/lol2.10093 SN - 2378-2242 VL - 3 IS - 6 SP - 409 EP - 418 PB - Wiley CY - Hoboken ER - TY - JOUR A1 - Beermann, Jan A1 - Westbury, Michael V. A1 - Hofreiter, Michael A1 - Hilgers, Leon A1 - Deister, Fabian A1 - Neumann, Hermann A1 - Raupach, Michael J. T1 - Cryptic species in a well-known habitat BT - applying taxonomics to the amphipod genus Epimeria (Crustacea, Peracarida) JF - Scientific reports N2 - 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. Y1 - 2018 U6 - https://doi.org/10.1038/s41598-018-25225-x SN - 2045-2322 VL - 8 PB - Nature Publ. Group CY - London ER - TY - THES A1 - Roschinsky, Diane ED - Forst, Alexandra T1 - Thomas Morus: Utopia BT - Konzeption eines Lektürehefts für den Lateinunterricht T2 - Copia – Potsdamer Anregungen für den Lateinunterricht N2 - 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. T3 - Copia – Potsdamer Anregungen für den Lateinunterricht - 1 KW - Morus KW - Neulatein KW - Lateindidaktik KW - Lateinunterricht KW - Utopia KW - Unterrichtsmaterial Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-504686 SN - 2748-6621 VL - 2021 IS - 1 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Petsche, Hans-Joachim T1 - In honour of Seymour Papert BT - "Empirical Modelling" of Logo in Forth N2 - 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. KW - Papert KW - LOGO KW - FORTH KW - Empirical Modelling KW - Construal Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-497302 ER - TY - JOUR A1 - Mumm, Rebekka A1 - Godina, Elena A1 - Koziel, Slawomir A1 - Musalek, Martin A1 - Sedlak, Petr A1 - Wittwer-Backofen, Ursula A1 - Hess, Volker A1 - Dasgupta, Parasmani A1 - Henneberg, Maciej A1 - Scheffler, Christiane T1 - External skeletal robusticity of children and adolescents BT - European references from birth to adulthood and international comparisons JF - Journal of biological and clinical anthropology JF - Anthropologischer Anzeiger ; Mitteilungsorgan der Gesellschaft für Anthropologie N2 - 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. Y1 - 2018 U6 - https://doi.org/10.1127/anthranz/2018/0826 SN - 0003-5548 VL - 74 IS - 5 SP - 383 EP - 391 PB - Schweizerbart CY - Stuttgart ER - TY - JOUR A1 - Wetzel, Maria A1 - Kempka, Thomas A1 - Kühn, Michael T1 - Quantifying rock weakening due to decreasing calcite mineral content by numerical simulations JF - Materials N2 - 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. KW - digital rock physics KW - micro-CT KW - elastic properties KW - numerical simulation KW - chemical-mechanical interaction KW - Code_Aster KW - composite properties Y1 - 2018 U6 - https://doi.org/10.3390/ma11040542 SN - 1996-1944 VL - 11 IS - 4 PB - MDPI CY - Basel ER - TY - JOUR A1 - Zemella, Anne A1 - Thoring, Lena A1 - Hoffmeister, Christian A1 - Samalikova, Maria A1 - Ehren, Patricia A1 - Wüstenhagen, Doreen Anja A1 - Kubick, Stefan T1 - Cell-free protein synthesis as a novel tool for directed glycoengineering of active erythropoietin JF - Scientific reports N2 - 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. Y1 - 2018 U6 - https://doi.org/10.1038/s41598-018-26936-x SN - 2045-2322 VL - 8 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Sallen, Jeffrey A1 - Hirschmann, Florian A1 - Herrmann, Christian T1 - Evaluation and Adaption of the Trier Inventory for Chronic Stress (TICS) for Assessment in Competitive Sports JF - Frontiers in psychology N2 - 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. KW - chronic stressors KW - mental health KW - athletes KW - stress measurement KW - Olympic sports KW - factor analysis KW - measurement invariance Y1 - 2018 U6 - https://doi.org/10.3389/fpsyg.2018.00308 SN - 1664-1078 VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER - TY - JOUR A1 - Donat, Stefan A1 - Lourenco, Marta Sofia Rocha A1 - Paolini, Alessio A1 - Otten, Cecile A1 - Renz, Marc A1 - Abdelilah-Seyfried, Salim T1 - Heg1 and Ccm1/2 proteins control endocardial mechanosensitivity during zebrafish valvulogenesis JF - eLife N2 - 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. Y1 - 2018 U6 - https://doi.org/10.7554/eLife.28939 SN - 2050-084X VL - 7 PB - eLife Sciences Publications CY - Cambridge ER - TY - JOUR A1 - Olmer, Ruth A1 - Engels, Lena A1 - Usman, Abdulai A1 - Menke, Sandra A1 - Malik, Muhammad Nasir Hayat A1 - Pessler, Frank A1 - Goehring, Gudrun A1 - Bornhorst, Dorothee A1 - Bolten, Svenja A1 - Abdelilah-Seyfried, Salim A1 - Scheper, Thomas A1 - Kempf, Henning A1 - Zweigerdt, Robert A1 - Martin, Ulrich T1 - Differentiation of Human Pluripotent Stem Cells into Functional Endothelial Cells in Scalable Suspension Culture JF - Stem Cell Reports N2 - 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. KW - virus infection KW - progenitor cells KW - in vitro KW - telomere dysfunction KW - cord blood KW - cardiomyogenic differentiation KW - angiogenesis KW - efficient KW - aberrations KW - expression Y1 - 2017 U6 - https://doi.org/10.1016/j.stemcr.2018.03.017 SN - 2213-6711 VL - 10 IS - 5 PB - Springer CY - New York ER - TY - JOUR A1 - Taron, Ulrike H. A1 - Lell, Moritz A1 - Barlow, Axel A1 - Paijmans, Johanna L. A. T1 - Testing of Alignment Parameters for Ancient Samples BT - Evaluating and Optimizing Mapping Parameters for Ancient Samples Using the TAPAS Tool JF - Genese N2 - 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. KW - ancient DNA KW - short-read mapping KW - palaeogenomics KW - paleogenomics KW - alignment sensitivity/specificity Y1 - 2018 U6 - https://doi.org/10.3390/genes9030157 SN - 2073-4425 VL - 9 IS - 3 PB - MDPI CY - Basel ER - TY - JOUR A1 - Martin-Creuzburg, Dominik A1 - Massier, Tamara A1 - Wacker, Alexander T1 - Sex-Specific differences in essential lipid requirements of Daphnia magna JF - Frontiers in Ecology and Evolution N2 - 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. KW - allocation KW - cholesterol KW - eicosapentaenoic acid KW - food quality KW - male Daphnia KW - polyunsaturated fatty acids KW - sterols KW - lipid limitation thresholds Y1 - 2018 U6 - https://doi.org/10.3389/fevo.2018.00089 SN - 2296-701X VL - 6 PB - Frontiers Research Foundation CY - Lausanne ER - TY - JOUR A1 - Zurell, Damaris A1 - von Wehrden, Henrik A1 - Rotics, Shay A1 - Kaatz, Michael A1 - Gross, Helge A1 - Schlag, Lena A1 - Schäfer, Merlin A1 - Sapir, Nir A1 - Turjeman, Sondra A1 - Wikelski, Martin A1 - Nathan, Ran A1 - Jeltsch, Florian T1 - Home range size and resource use of breeding and non-breeding white storks along a land use gradient JF - Frontiers in Ecology and Evolution N2 - 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. KW - 3D-acceleration sensor KW - biotelemetry KW - Ciconia ciconia KW - home range selection KW - resource selection Y1 - 2018 U6 - https://doi.org/10.3389/fevo.2018.00079 SN - 2296-701X VL - 6 PB - Frontiers Research Foundation CY - Lausanne ER - TY - JOUR A1 - Ramage, Justine Lucille A1 - Irrgang, Anna Maria A1 - Morgenstern, Anne A1 - Lantuit, Hugues T1 - Increasing coastal slump activity impacts the release of sediment and organic carbon into the Arctic Ocean JF - Biogeosciences N2 - 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. Y1 - 2018 U6 - https://doi.org/10.5194/bg-15-1483-2018 SN - 1726-4170 SN - 1726-4189 VL - 15 IS - 5 SP - 1483 EP - 1495 PB - Copernicus CY - Göttingen ER - TY - JOUR A1 - Di Baldassarre, Giuliano A1 - Kreibich, Heidi A1 - Vorogushyn, Sergiy A1 - Aerts, Jeroen A1 - Arnbjerg-Nielsen, Karsten A1 - Barendrecht, Marlies A1 - Bates, Paul A1 - Borga, Marco A1 - Botzen, Wouter A1 - Bubeck, Philip A1 - De Marchi, Bruna A1 - Llasat, Carmen Maria A1 - Mazzoleni, Maurizio A1 - Molinari, Daniela A1 - Mondino, Elena A1 - Mard, Johanna A1 - Petrucci, Olga A1 - Scolobig, Anna A1 - Viglione, Alberto A1 - Ward, Philip J. T1 - Hess Opinions: An interdisciplinary research agenda to explore the unintended consequences of structural flood protection JF - Hydrology and earth system sciences : HESS N2 - 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. Y1 - 2018 U6 - https://doi.org/10.5194/hess-22-5629-2018 SN - 1027-5606 SN - 1607-7938 VL - 22 IS - 11 SP - 5629 EP - 5637 PB - Copernicus CY - Göttingen ER - TY - JOUR A1 - Zimmermann, Marc A1 - Grigoriev, Dmitry A1 - Puretskiy, Nikolay A1 - Böker, Alexander T1 - Characteristics of microcontact printing with polyelectrolyte ink for the precise preparation of patches on silica particles JF - RSC Advances N2 - 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. Y1 - 2018 U6 - https://doi.org/10.1039/c8ra07955b SN - 2046-2069 VL - 8 IS - 69 SP - 39241 EP - 39247 PB - Royal Society of Chemistry CY - Cambridge ER - TY - JOUR A1 - Bouchoule, Isabelle A1 - Schemmer, Max A1 - Henkel, Carsten T1 - Cooling phonon modes of a Bose condensate with uniform few body losses JF - Scipost Physics N2 - 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. Y1 - 2018 U6 - https://doi.org/10.21468/SciPostPhys.5.5.043 SN - 2542-4653 VL - 5 IS - 5 PB - Scipost foundation CY - Amsterdam ER - TY - JOUR A1 - Kluge, Annette A1 - Gronau, Norbert T1 - Intentional forgetting in organizations BT - the Importance of Eliminating Retrieval Cues for Implementing New Routines JF - Frontiers in psychology N2 - 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. KW - change management KW - multi-actor routines KW - business processes KW - knowledge management KW - organizational memory KW - situational strength Y1 - 2018 U6 - https://doi.org/10.3389/fpsyg.2018.00051 SN - 1664-1078 VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER -