@misc{Kleuser2018, author = {Kleuser, Burkhard}, title = {The enigma of sphingolipids in health and disease}, series = {International journal of molecular sciences}, volume = {19}, journal = {International journal of molecular sciences}, number = {10}, publisher = {MDPI}, address = {Basel}, issn = {1422-0067}, doi = {10.3390/ijms19103126}, pages = {3}, year = {2018}, language = {en} } @misc{FrankKreitz2018, author = {Frank, Mario and Kreitz, Christoph}, title = {A theorem prover for scientific and educational purposes}, series = {Electronic proceedings in theoretical computer science}, journal = {Electronic proceedings in theoretical computer science}, number = {267}, publisher = {Open Publishing Association}, address = {Sydney}, issn = {2075-2180}, doi = {10.4204/EPTCS.267.4}, pages = {59 -- 69}, year = {2018}, abstract = {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.}, language = {en} } @misc{ReichetzederHocher2017, author = {Reichetzeder, Christoph and Hocher, Berthold}, title = {DPP4 inhibition prevents AKI}, series = {Oncotarget}, volume = {8}, journal = {Oncotarget}, publisher = {Impact Journals LLC}, address = {Orchard Park}, issn = {1949-2553}, doi = {10.18632/oncotarget.20212}, pages = {64655 -- 64656}, year = {2017}, language = {en} } @misc{Graef2018, author = {Gr{\"a}f, Ralph}, title = {Comparative Biology of Centrosomal Structures in Eukaryotes}, series = {Cells}, volume = {7}, journal = {Cells}, number = {11}, publisher = {MDPI}, address = {Basel}, issn = {2073-4409}, doi = {10.3390/cells7110202}, pages = {9}, year = {2018}, abstract = {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.}, language = {en} } @misc{KewenigZhouFischer2018, author = {Kewenig, Viktor and Zhou, Yuefang and Fischer, Martin H.}, title = {Commentary: Robots as intentional agents}, series = {Frontiers in psychology}, volume = {9}, journal = {Frontiers in psychology}, publisher = {Frontiers Research Foundation}, address = {Lausanne}, issn = {1664-1078}, doi = {10.3389/fpsyg.2018.01131}, pages = {2}, year = {2018}, language = {en} } @misc{LazurasBarkoukisLoukovitisetal.2018, author = {Lazuras, Lambros and Barkoukis, Vassilis and Loukovitis, Andreas and Brand, Ralf and Hudson, Andy and Mallia, Luca and Michaelides, Michalis and Muzi, Milena and Petroczi, Andrea and Zelli, Arnaldo}, title = {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.)}, series = {Frontiers in psychology}, volume = {9}, journal = {Frontiers in psychology}, publisher = {Frontiers Research Foundation}, address = {Lausanne}, issn = {1664-1078}, doi = {10.3389/fpsyg.2018.01162}, pages = {4}, year = {2018}, language = {en} } @misc{GianelliGentilucci2018, author = {Gianelli, Claudia and Gentilucci, Maurizio}, title = {Editorial: Reaching to Grasp Cognition: Analyzing Motor Behavior to Investigate Social Interactions}, series = {Frontiers in psychology}, volume = {9}, journal = {Frontiers in psychology}, publisher = {Frontiers Research Foundation}, address = {Lausanne}, issn = {1664-1078}, doi = {10.3389/fpsyg.2018.01236}, pages = {2}, year = {2018}, language = {en} } @misc{LewandowskyCowtanRisbeyetal.2019, author = {Lewandowsky, Stephan and Cowtan, Kevin and Risbey, James S. and Mann, Michael E. and Steinman, Byron A. and Oreskes, Naomi and Rahmstorf, Stefan}, title = {Erratum: The 'pause' in global warming in historical context: II. Comparing models to observations (Environmental research letters. - Vol 13, (2018) 123007)}, series = {Environmental research letters}, volume = {14}, journal = {Environmental research letters}, number = {4}, publisher = {IOP Publ. Ltd.}, address = {Bristol}, issn = {1748-9326}, doi = {10.1088/1748-9326/aafbb7}, pages = {2}, year = {2019}, abstract = {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.}, language = {en} } @misc{AyzelIzhitskiy2018, author = {Ayzel, Georgy and Izhitskiy, Alexander}, title = {Coupling physically based and data-driven models for assessing freshwater inflow into the Small Aral Sea}, series = {Innovative Water Resources Management in a Changing Environment - Understanding and Balancing Interactions between Humankind and Nature}, volume = {379}, journal = {Innovative Water Resources Management in a Changing Environment - Understanding and Balancing Interactions between Humankind and Nature}, editor = {Xu, Z Peng}, publisher = {Copernicus}, address = {G{\"o}ttingen}, issn = {2199-899X}, doi = {10.5194/piahs-379-151-2018}, pages = {151 -- 158}, year = {2018}, abstract = {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).}, language = {en} } @misc{HoganRasche2017, author = {Hogan, Barbara and Rasche, Christoph}, title = {Emergency Care in Germany being re-assessed Hybrid Medical Care Model Seen As Potential Answer}, series = {Eurasian Journal of emergency medicine}, volume = {16}, journal = {Eurasian Journal of emergency medicine}, publisher = {Aves}, address = {Sisli}, issn = {2149-5807}, doi = {10.5152/eajem.2017.00001}, pages = {47 -- 47}, year = {2017}, language = {en} }