TY - GEN A1 - Cesca, Simone A1 - Stich, Daniel A1 - Grigoli, Francesco A1 - Vuan, Alessandro A1 - López-Comino, José Ángel A1 - Niemz, Peter A1 - Blanch, Estefanía A1 - Dahm, Torsten A1 - Ellsworth, William L. T1 - Reply to: Multiple induced seismicity mechanisms at Castor underground gas storage illustrate the need for thorough monitoring T2 - Nature communications Y1 - 2022 U6 - https://doi.org/10.1038/s41467-022-30904-5 SN - 2041-1723 VL - 13 IS - 1 PB - Nature Research CY - Berlin ER - TY - GEN A1 - Caupin, Frederic A1 - Holten, Vincent A1 - Qiu, Chen A1 - Guillerm, Emmanuel A1 - Wilke, Max A1 - Frenz, Martin A1 - Teixeira, Jose A1 - Soper, Alan K. T1 - Comment on "Maxima in the thermodynamic response and correlation functions of deeply supercooled water" T2 - Science N2 - Kim et al. recently measured the structure factor of deeply supercooled water droplets (Reports, 22 December 2017, p. 1589). We raise several concerns about their data analysis and interpretation. In our opinion, the reported data do not lead to clear conclusions about the origins of water’s anomalies. Y1 - 2018 U6 - https://doi.org/10.1126/science.aat1634 SN - 0036-8075 SN - 1095-9203 VL - 360 IS - 6390 PB - American Assoc. for the Advancement of Science CY - Washington ER - TY - GEN A1 - Cajar, Anke A1 - Engbert, Ralf A1 - Laubrock, Jochen T1 - Eye movements during gaze-contingent spatial-frequency filtering of real-world scenes: Effects of filter location, cutoff, and size T2 - Perception Y1 - 2016 SN - 0301-0066 SN - 1468-4233 VL - 45 SP - 126 EP - 126 PB - Sage Publ. CY - London ER - TY - GEN A1 - Caesar, Levke A1 - Rahmstorf, Stefan A1 - Feulner, Georg T1 - Reply to comment on 'On the relationship between Atlantic meridional overturning circulation slowdown and global surface warming' T2 - Environmental research letters N2 - In their comment on our paper (Caesar et al 2020 Environ. Res. Lett. 15 024003), Chen and Tung (hereafter C&T) argue that our analysis, showing that over the last decades Atlantic meridional overturning circulation (AMOC) strength and global mean surface temperature (GMST) were positively correlated, is incorrect. Their claim is mainly based on two arguments, neither of which is justified: first, C&T claim that our analysis is based on 'established evidence' that was only true for preindustrial conditions-this is not the case. Using data from the modern period (1947-2012), we show that the established understanding (i.e. deep-water formation in the North Atlantic cools the deep ocean and warms the surface) is correct, but our analysis is not based on this fact. Secondly, C&T claim that our results are based on a statistical analysis of only one cycle of data which was furthermore incorrectly detrended. This, too, is not true. Our conclusion that a weaker AMOC delays the current surface warming rather than enhances it, is based on several independent lines of evidence. The data we show to support this covers more than one cycle and the detrending (which was performed to avoid spurious correlations due to a common trend) does not affect our conclusion: the correlation between AMOC strength and GMST is positive. We do not claim that this is strong evidence that the two time series are in phase, but rather that this means that the two time series are not anti-correlated. KW - Atlantic meridional overturning circulation KW - global surface warming KW - ocean heat uptake Y1 - 2021 U6 - https://doi.org/10.1088/1748-9326/abc776 SN - 1748-9326 VL - 16 IS - 3 PB - IOP Publ. Ltd. CY - Bristol ER - TY - GEN A1 - Caesar, Levke A1 - McCarthy, Gerard D. A1 - Thornalley, David J. R. A1 - Cahill, Niamh A1 - Rahmstorf, Stefan T1 - Reply to: Atlantic circulation change still uncertain T2 - Nature geoscience Y1 - 2022 U6 - https://doi.org/10.1038/s41561-022-00897-3 SN - 1752-0894 SN - 1752-0908 VL - 15 IS - 3 SP - 168 EP - 170 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Cabalar, Pedro A1 - Fandiño, Jorge A1 - Schaub, Torsten A1 - Schellhorn, Sebastian T1 - Lower Bound Founded Logic of Here-and-There T2 - Logics in Artificial Intelligence N2 - A distinguishing feature of Answer Set Programming is that all atoms belonging to a stable model must be founded. That is, an atom must not only be true but provably true. This can be made precise by means of the constructive logic of Here-and-There, whose equilibrium models correspond to stable models. One way of looking at foundedness is to regard Boolean truth values as ordered by letting true be greater than false. Then, each Boolean variable takes the smallest truth value that can be proven for it. This idea was generalized by Aziz to ordered domains and applied to constraint satisfaction problems. As before, the idea is that a, say integer, variable gets only assigned to the smallest integer that can be justified. In this paper, we present a logical reconstruction of Aziz’ idea in the setting of the logic of Here-and-There. More precisely, we start by defining the logic of Here-and-There with lower bound founded variables along with its equilibrium models and elaborate upon its formal properties. Finally, we compare our approach with related ones and sketch future work. Y1 - 2019 SN - 978-3-030-19570-0 SN - 978-3-030-19569-4 U6 - https://doi.org/10.1007/978-3-030-19570-0_34 SN - 0302-9743 SN - 1611-3349 VL - 11468 SP - 509 EP - 525 PB - Springer CY - Cham ER - TY - GEN A1 - Bürkner, Hans-Joachim T1 - Europeanisation versus Euroscepticism BT - do borders matter? T2 - Geopolitics N2 - Several overlapping crises which affected the EU during the past ten years have recently aggravated. Especially the progressing refugee crisis, the persisting financial crisis and geopolitical turmoil in the EU's neighbourhood contributed to the rise of anti-EU movements and diverse articulations of Euroscepticism. Although public opinion and mainstream political analysis have easily identified right-wing populism as one of the most important drivers, it is still doubtful if it can be equated with Euroscepticism without further ado. To date it is by no means clear how and where Euroscepticism exactly originates. Y1 - 2020 U6 - https://doi.org/10.1080/14650045.2020.1723964 SN - 1465-0045 SN - 1557-3028 VL - 25 IS - 3 SP - 545 EP - 566 PB - Routledge, Taylor & Francis Group CY - Philadelphia, Pa. [u.a] ER - TY - GEN A1 - Bürger, Andreas A1 - Magdans, Uta A1 - Gies, Hermann T1 - Adsorption of amino acids on the magnetite-(111)-surface: a force field study (vol 19, 851, 2013) T2 - Journal of molecular modeling Y1 - 2016 U6 - https://doi.org/10.1007/s00894-016-3124-8 SN - 1610-2940 SN - 0948-5023 VL - 22 PB - Springer CY - New York ER - TY - GEN A1 - Börnke, Frederik T1 - The complex becomes more complex: protein-protein interactions of SnRK1 with DUF581 family proteins provide a framework for cell- and stimulus type-specific SnRK1 signaling in plants (vol 5, 54, 2014) T2 - Frontiers in plant science Y1 - 2014 U6 - https://doi.org/10.3389/fpls.2014.00693 SN - 1664-462X VL - 5 PB - Frontiers Research Foundation CY - Lausanne ER - 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 - GEN A1 - Böckmann, Christine A1 - Ritter, Christoph A1 - Cappelletti, David T1 - Mathematical tool for a closure study of aerosol microphysical property retrieval using lidar and photometer data T2 - IGARSS 2018 - 2018 IEEE International Geoscience and Remote Sensing Symposium N2 - We present a project combining lidar, photometer and particle counter data with a regularization software tool for a closure study of aerosol microphysical property retrieval. In a first step only lidar data are used to retrieve the particle size distribution (PSD). Secondly, photometer data are added, which results in a good consistency of the retrieved PSDs. Finally, those retrieved PSDs may be compared with the measured PSD from a particle counter. The data here were taken in Ny Alesund, Svalbard, as an example. KW - Aerosol KW - Raman lidar KW - photometer KW - inversion KW - regularization KW - particle microphysics Y1 - 2018 SN - 978-1-5386-7150-4 U6 - https://doi.org/10.1109/IGARSS.2018.8518674 SN - 2153-6996 SP - 5575 EP - 5578 PB - IEEE CY - New York ER - TY - GEN A1 - Bäumer, Wolfgang A1 - Rossbach, Kristine A1 - Mischke, Reinhard A1 - Reines, Ilka A1 - Langbein-Detsch, Ines A1 - Lüth, Anja A1 - Kleuser, Burkhard T1 - Decreased concentration and enhanced metabolism of sphingosine-1-Phosphate in lesional skin of dogs with atopic dermatitis disturbed Sphingosine-1-Phosphate homeostasis in atopic Dermatitis T2 - The journal of investigative dermatology Y1 - 2011 U6 - https://doi.org/10.1038/jid.2010.252 SN - 0022-202X VL - 131 IS - 1 SP - 266 EP - 268 PB - Nature Publ. Group CY - New York ER - TY - GEN A1 - Butuzov, Valentin F. A1 - Nefedov, N. N. A1 - Recke, Lutz A1 - Omel'chenko, Oleh T1 - Partly dissipative system with multizonal initial and boundary layers T2 - Journal of Physics: Conference Series N2 - For a singularly perturbed parabolic - ODE system we construct the asymptotic expansion in the small parameter in the case, when the degenerate equation has a double root. Such systems, which are called partly dissipative reaction-diffusion systems, are used to model various natural processes, including the signal transmission along axons, solid combustion and the kinetics of some chemical reactions. It turns out that the algorithm of the construction of the boundary layer functions and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root. The multizonal initial and boundary layers behaviour was stated. Y1 - 2019 U6 - https://doi.org/10.1088/1742-6596/1205/1/012009 SN - 1742-6588 SN - 1742-6596 VL - 1205 PB - IOP Publ. CY - Bristol ER - TY - GEN A1 - Bubeck, Philip A1 - Aerts, Jeroen C. J. H. A1 - de Moel, Hans A1 - Kreibich, Heidi T1 - Preface: Flood-risk analysis and integrated management T2 - Natural hazards and earth system sciences Y1 - 2016 U6 - https://doi.org/10.5194/nhess-16-1005-2016 SN - 1561-8633 VL - 16 SP - 1005 EP - 1010 PB - Copernicus CY - Göttingen ER - TY - GEN A1 - Brune, Sascha T1 - Forces within continental and oceanic rifts BT - numerical modeling elucidates the impact of asthenospheric flow on surface stress T2 - Geology Y1 - 2018 U6 - https://doi.org/10.1130/focus022018.1 SN - 0091-7613 SN - 1943-2682 VL - 46 IS - 2 SP - 191 EP - 192 PB - American Institute of Physics CY - Boulder ER - TY - GEN A1 - Bruechner, Dominik A1 - Renz, Jan A1 - Klingbeil, Mandy T1 - Creating a Framework for User-Centered Development and Improvement of Digital Education T2 - Scale N2 - We investigate how the technology acceptance and learning experience of the digital education platform HPI Schul-Cloud (HPI School Cloud) for German secondary school teachers can be improved by proposing a user-centered research and development framework. We highlight the importance of developing digital learning technologies in a user-centered way to take differences in the requirements of educators and students into account. We suggest applying qualitative and quantitative methods to build a solid understanding of a learning platform's users, their needs, requirements, and their context of use. After concept development and idea generation of features and areas of opportunity based on the user research, we emphasize on the application of a multi-attribute utility analysis decision-making framework to prioritize ideas rationally, taking results of user research into account. Afterward, we recommend applying the principle build-learn-iterate to build prototypes in different resolutions while learning from user tests and improving the selected opportunities. Last but not least, we propose an approach for continuous short- and long-term user experience controlling and monitoring, extending existing web- and learning analytics metrics. KW - learning platform KW - user experience KW - evaluation KW - HPI Schul-Cloud KW - user research framework KW - user-centered design Y1 - 2019 SN - 978-1-4503-6804-9 U6 - https://doi.org/10.1145/3330430.3333644 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Broeker, Nina K. A1 - Barbirz, Stefanie T1 - Not a barrier but a key: How bacteriophages exploit host's O‐antigen as an essential receptor to initiate infection T2 - Molecular microbiology N2 - Tailed bacteriophages specific for Gram‐negative bacteria encounter lipopolysaccharide (LPS) during the first infection steps. Yet, it is not well understood how biochemistry of these initial interactions relates to subsequent events that orchestrate phage adsorption and tail rearrangements to initiate cell entry. For many phages, long O‐antigen chains found on the LPS of smooth bacterial strains serve as essential receptor recognized by their tailspike proteins (TSP). Many TSP are depolymerases and O‐antigen cleavage was described as necessary step for subsequent orientation towards a secondary receptor. However, O‐antigen specific host attachment must not always come along with O‐antigen degradation. In this issue of Molecular Microbiology Prokhorov et al. report that coliphage G7C carries a TSP that deacetylates O‐antigen but does not degrade it, whereas rough strains or strains lacking O‐antigen acetylation remain unaffected. Bacteriophage G7C specifically functionalizes its tail by attaching the deacetylase TSP directly to a second TSP that is nonfunctional on the host's O‐antigen. This challenges the view that bacteriophages use their TSP only to clear their way to a secondary receptor. Rather, O‐antigen specific phages may employ enzymatically active TSP as a tool for irreversible LPS membrane binding to initiate subsequent infection steps. Y1 - 2017 U6 - https://doi.org/10.1111/mmi.13729 SN - 0950-382X SN - 1365-2958 VL - 105 SP - 353 EP - 357 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Brinkmann, Maik A1 - Heine, Moreen T1 - Can Blockchain Leverage for New Public Governance? BT - a Conceptual Analysis on Process Level T2 - Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance N2 - New Public Governance (NPG) as a paradigm for collaborative forms of public service delivery and Blockchain governance are trending topics for researchers and practitioners alike. Thus far, each topic has, on the whole, been discussed separately. This paper presents the preliminary results of ongoing research which aims to shed light on the more concrete benefits of Blockchain for the purpose of NPG. For the first time, a conceptual analysis is conducted on process level to spot benefits and limitations of Blockchain-based governance. Per process element, Blockchain key characteristics are mapped to functional aspects of NPG from a governance perspective. The preliminary results show that Blockchain offers valuable support for governments seeking methods to effectively coordinate co-producing networks. However, the extent of benefits of Blockchain varies across the process elements. It becomes evident that there is a need for off-chain processes. It is, therefore, argued in favour of intensifying research on off-chain governance processes to better understand the implications for and influences on on-chain governance. KW - Blockchain KW - New Public Governance KW - Blockchain Governance KW - Co-production KW - Conceptual Fit KW - Blockchain-enabled Governance Y1 - 2019 SN - 978-1-4503-6644-1 U6 - https://doi.org/10.1145/3326365.3326409 SP - 338 EP - 341 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Brilmyer, S. Pearl A1 - Trentin, Filippo A1 - Xiang, Zairong T1 - Introduction: The Ontology of the Couple T2 - GLQ : a journal of lesbian and gay studies Y1 - 2019 U6 - https://doi.org/10.1215/10642684-7367703 SN - 1064-2684 SN - 1527-9375 VL - 25 IS - 2 SP - 217 EP - 221 PB - Duke University Press CY - Durham ER - TY - GEN A1 - Brewka, Gerhard A1 - Schaub, Torsten A1 - Woltran, Stefan T1 - Interview with Gerhard Brewka T2 - Künstliche Intelligenz N2 - This interview with Gerhard Brewka was conducted by correspondance in May 2018. The question set was compiled by Torsten Schaub and Stefan Woltran. Y1 - 2018 U6 - https://doi.org/10.1007/s13218-018-0549-5 SN - 0933-1875 SN - 1610-1987 VL - 32 IS - 2-3 SP - 219 EP - 221 PB - Springer CY - Heidelberg ER -