TY - GEN A1 - Kleuser, Burkhard T1 - The enigma of sphingolipids in health and disease T2 - International journal of molecular sciences Y1 - 2018 U6 - https://doi.org/10.3390/ijms19103126 SN - 1422-0067 VL - 19 IS - 10 PB - MDPI CY - Basel ER - TY - GEN A1 - Prieto, Julio T1 - El concepto de intermedialidad T1 - The concept of intermediality BT - una reflexión histórico-crítica BT - a historical-critical reflection T2 - Pasavento : revista de estudios hispánicos Y1 - 2017 SN - 2255-4505 VL - 5 SP - 7 EP - 18 PB - Universidad de Alcalá, Servicio Publicaciones CY - Madrid ER - TY - GEN A1 - Frank, Mario A1 - Kreitz, Christoph T1 - A theorem prover for scientific and educational purposes T2 - Electronic proceedings in theoretical computer science N2 - 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. Y1 - 2018 U6 - https://doi.org/10.4204/EPTCS.267.4 SN - 2075-2180 IS - 267 SP - 59 EP - 69 PB - Open Publishing Association CY - Sydney ER - TY - GEN A1 - Marnette, Victor T1 - German counterintelligence and political policing in the occupied territories, 1914-19 BT - Workshop des Lehrstuhls für Militärgeschichte und Kulturgeschichte der Gewalt an der Universität Potsdam, des Laboratoire de Recherches Historiques (LaRHis) an der Université catholique de Louvain sowie des Arbeitskreises Militärgeschichte e.V. (AKM), Potsdam, 20. Juni 2019 BT - Workshop of the chair of military history and cultural history of violence at the University of Potsdam, of laboratory of research histories (LaRHis) in the Catholic University of Louvain as well as the Military History Working Group e.V. (AKM), Potsdam, June 20, 2019 T2 - Militärgeschichtliche Zeitschrift : MGZ Y1 - 2020 U6 - https://doi.org/10.1515/mgzs-2020-0006 SN - 2193-2336 SN - 2196-6850 VL - 79 IS - 1 SP - 131 EP - 135 PB - De Gruyter CY - Berlin ER - TY - GEN A1 - Gräf, Ralph T1 - Comparative Biology of Centrosomal Structures in Eukaryotes T2 - Cells N2 - 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. KW - centrosome KW - centriole KW - cilium KW - basal body KW - spindle pole body KW - SPB KW - nucleus-associated body KW - NAB KW - microtubules Y1 - 2018 U6 - https://doi.org/10.3390/cells7110202 SN - 2073-4409 VL - 7 IS - 11 PB - MDPI CY - Basel ER - TY - GEN A1 - Kewenig, Viktor A1 - Zhou, Yuefang A1 - Fischer, Martin H. T1 - Commentary: Robots as intentional agents BT - Using neuroscientific methods to make robots appear more social T2 - Frontiers in psychology KW - intentionality KW - social robots KW - verbal reports KW - humanoid KW - turing test Y1 - 2018 U6 - https://doi.org/10.3389/fpsyg.2018.01131 SN - 1664-1078 VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER - TY - GEN A1 - Lazuras, Lambros A1 - Barkoukis, Vassilis A1 - Loukovitis, Andreas A1 - Brand, Ralf A1 - Hudson, Andy A1 - Mallia, Luca A1 - Michaelides, Michalis A1 - Muzi, Milena A1 - Petroczi, Andrea A1 - Zelli, Arnaldo T1 - Corrigendum: "I Want It All, and I Want It Now": Lifetime Prevalence and Reasons for Using and Abstaining from Controlled Performance and Appearance Enhancing Substances (PAES) among Young Exercisers and Amateur Athletes in Five European Countries (Frontiers in psychology. - 8 (2017), 717.) T2 - Frontiers in psychology KW - doping KW - behavioral reasoning KW - exercise KW - fitness KW - recreational sport KW - young adults Y1 - 2018 U6 - https://doi.org/10.3389/fpsyg.2018.01162 SN - 1664-1078 VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER - TY - GEN A1 - Gianelli, Claudia A1 - Gentilucci, Maurizio T1 - Editorial: Reaching to Grasp Cognition: Analyzing Motor Behavior to Investigate Social Interactions T2 - Frontiers in psychology KW - kinematics KW - social cognition KW - action observation KW - imitation KW - joint action KW - complementary actions KW - cooperation and competition KW - embodied cognition Y1 - 2018 U6 - https://doi.org/10.3389/fpsyg.2018.01236 SN - 1664-1078 VL - 9 PB - Frontiers Research Foundation CY - Lausanne ER - TY - GEN A1 - Lewandowsky, Stephan A1 - Cowtan, Kevin A1 - Risbey, James S. A1 - Mann, Michael E. A1 - Steinman, Byron A. A1 - Oreskes, Naomi A1 - Rahmstorf, Stefan T1 - Erratum: The 'pause' in global warming in historical context: II. Comparing models to observations (Environmental research letters. - Vol 13, (2018) 123007) T2 - Environmental research letters N2 - We review the evidence for a putative early 21st-century divergence between global mean surface temperature (GMST) and Coupled Model Intercomparison Project Phase 5 (CMIP5) projections. We provide a systematic comparison between temperatures and projections using historical versions of GMST products and historical versions of model projections that existed at the times when claims about a divergence were made. The comparisons are conducted with a variety of statistical techniques that correct for problems in previous work, including using continuous trends and a Monte Carlo approach to simulate internal variability. The results show that there is no robust statistical evidence for a divergence between models and observations. The impression of a divergence early in the 21st century was caused by various biases in model interpretation and in the observations, and was unsupported by robust statistics. Y1 - 2019 U6 - https://doi.org/10.1088/1748-9326/aafbb7 SN - 1748-9326 VL - 14 IS - 4 PB - IOP Publ. Ltd. CY - Bristol ER - TY - GEN A1 - Ayzel, Georgy A1 - Izhitskiy, Alexander ED - Xu, Z Peng T1 - Coupling physically based and data-driven models for assessing freshwater inflow into the Small Aral Sea T2 - Innovative Water Resources Management in a Changing Environment – Understanding and Balancing Interactions between Humankind and Nature N2 - 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). Y1 - 2018 U6 - https://doi.org/10.5194/piahs-379-151-2018 SN - 2199-899X VL - 379 SP - 151 EP - 158 PB - Copernicus CY - Göttingen ER -