TY - GEN A1 - Sianipar, Johannes Harungguan A1 - Willems, Christian A1 - Meinel, Christoph T1 - Virtual machine integrity verification in Crowd-Resourcing Virtual Laboratory T2 - 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) N2 - In cloud computing, users are able to use their own operating system (OS) image to run a virtual machine (VM) on a remote host. The virtual machine OS is started by the user using some interfaces provided by a cloud provider in public or private cloud. In peer to peer cloud, the VM is started by the host admin. After the VM is running, the user could get a remote access to the VM to install, configure, and run services. For the security reasons, the user needs to verify the integrity of the running VM, because a malicious host admin could modify the image or even replace the image with a similar image, to be able to get sensitive data from the VM. We propose an approach to verify the integrity of a running VM on a remote host, without using any specific hardware such as Trusted Platform Module (TPM). Our approach is implemented on a Linux platform where the kernel files (vmlinuz and initrd) could be replaced with new files, while the VM is running. kexec is used to reboot the VM with the new kernel files. The new kernel has secret codes that will be used to verify whether the VM was started using the new kernel files. The new kernel is used to further measuring the integrity of the running VM. KW - Virtual Machine KW - Integrity Verification KW - Crowd-Resourcing KW - Cloud Computing Y1 - 2019 SN - 978-1-5386-9133-5 U6 - https://doi.org/10.1109/SOCA.2018.00032 SN - 2163-2871 SP - 169 EP - 176 PB - IEEE CY - New York ER - TY - GEN A1 - Sianipar, Johannes Harungguan A1 - Sukmana, Muhammad Ihsan Haikal A1 - Meinel, Christoph T1 - Moving sensitive data against live memory dumping, spectre and meltdown attacks T2 - 26th International Conference on Systems Engineering (ICSEng) N2 - The emergence of cloud computing allows users to easily host their Virtual Machines with no up-front investment and the guarantee of always available anytime anywhere. But with the Virtual Machine (VM) is hosted outside of user's premise, the user loses the physical control of the VM as it could be running on untrusted host machines in the cloud. Malicious host administrator could launch live memory dumping, Spectre, or Meltdown attacks in order to extract sensitive information from the VM's memory, e.g. passwords or cryptographic keys of applications running in the VM. In this paper, inspired by the moving target defense (MTD) scheme, we propose a novel approach to increase the security of application's sensitive data in the VM by continuously moving the sensitive data among several memory allocations (blocks) in Random Access Memory (RAM). A movement function is added into the application source code in order for the function to be running concurrently with the application's main function. Our approach could reduce the possibility of VM's sensitive data in the memory to be leaked into memory dump file by 2 5% and secure the sensitive data from Spectre and Meltdown attacks. Our approach's overhead depends on the number and the size of the sensitive data. KW - Virtual Machine KW - Memory Dumping KW - Security KW - Cloud Computing KW - Spectre KW - Meltdown Y1 - 2019 SN - 978-1-5386-7834-3 PB - IEEE CY - New York ER - TY - GEN A1 - Shaki, Samuel A1 - Fischer, Martin H. T1 - Commentary on: E. H. Toomarian ; E. M. Hubbard, On the genesis of spatial-numerical associations: Evolutionary and cultural factors co-construct the mental number line. - (Neuroscience & Biobehavioral Reviews. - vol 95, 2018, pg 189 - 190) T2 - Neuroscience & biobehavioral reviews : official journal of the International Behavioral Neuroscience Society Y1 - 2019 U6 - https://doi.org/10.1016/j.neubiorev.2018.12.018 SN - 0149-7634 SN - 1873-7528 VL - 98 SP - 335 EP - 335 PB - Elsevier CY - Oxford ER - TY - GEN A1 - Seidel, Felix A1 - Krentz, Konrad-Felix A1 - Meinel, Christoph T1 - Deep En-Route Filtering of Constrained Application Protocol (CoAP) Messages on 6LoWPAN Border Routers T2 - 2019 IEEE 5th World Forum on Internet of Things (WF-IoT) N2 - Devices on the Internet of Things (IoT) are usually battery-powered and have limited resources. Hence, energy-efficient and lightweight protocols were designed for IoT devices, such as the popular Constrained Application Protocol (CoAP). Yet, CoAP itself does not include any defenses against denial-of-sleep attacks, which are attacks that aim at depriving victim devices of entering low-power sleep modes. For example, a denial-of-sleep attack against an IoT device that runs a CoAP server is to send plenty of CoAP messages to it, thereby forcing the IoT device to expend energy for receiving and processing these CoAP messages. All current security solutions for CoAP, namely Datagram Transport Layer Security (DTLS), IPsec, and OSCORE, fail to prevent such attacks. To fill this gap, Seitz et al. proposed a method for filtering out inauthentic and replayed CoAP messages "en-route" on 6LoWPAN border routers. In this paper, we expand on Seitz et al.'s proposal in two ways. First, we revise Seitz et al.'s software architecture so that 6LoWPAN border routers can not only check the authenticity and freshness of CoAP messages, but can also perform a wide range of further checks. Second, we propose a couple of such further checks, which, as compared to Seitz et al.'s original checks, more reliably protect IoT devices that run CoAP servers from remote denial-of-sleep attacks, as well as from remote exploits. We prototyped our solution and successfully tested its compatibility with Contiki-NG's CoAP implementation. Y1 - 2019 SN - 978-1-5386-4980-0 SN - 978-1-5386-4981-7 U6 - https://doi.org/10.1109/WF-IoT.2019.8767262 SP - 201 EP - 206 PB - Institute of Electrical and Electronics Engineers CY - New York ER - TY - GEN A1 - Schütt, Heiko Herbert A1 - Rothkegel, Lars Oliver Martin A1 - Trukenbrod, Hans Arne A1 - Engbert, Ralf A1 - Wichmann, Felix A. T1 - Predicting fixation densities over time from early visual processing T2 - Perception N2 - Bottom-up saliency is often cited as a factor driving the choice of fixation locations of human observers, based on the (partial) success of saliency models to predict fixation densities in free viewing. However, these observations are only weak evidence for a causal role of bottom-up saliency in natural viewing behaviour. To test bottom-up saliency more directly, we analyse the performance of a number of saliency models---including our own saliency model based on our recently published model of early visual processing (Schütt & Wichmann, 2017, JoV)---as well as the theoretical limits for predictions over time. On free viewing data our model performs better than classical bottom-up saliency models, but worse than the current deep learning based saliency models incorporating higher-level information like knowledge about objects. However, on search data all saliency models perform worse than the optimal image independent prediction. We observe that the fixation density in free viewing is not stationary over time, but changes over the course of a trial. It starts with a pronounced central fixation bias on the first chosen fixation, which is nonetheless influenced by image content. Starting with the 2nd to 3rd fixation, the fixation density is already well predicted by later densities, but more concentrated. From there the fixation distribution broadens until it reaches a stationary distribution around the 10th fixation. Taken together these observations argue against bottom-up saliency as a mechanistic explanation for eye movement control after the initial orienting reaction in the first one to two saccades, although we confirm the predictive value of early visual representations for fixation locations. The fixation distribution is, first, not well described by any stationary density, second, is predicted better when including object information and, third, is badly predicted by any saliency model in a search task. Y1 - 2019 SN - 0301-0066 SN - 1468-4233 VL - 48 SP - 64 EP - 65 PB - Sage Publ. CY - London ER - TY - GEN A1 - Schwetlick, Lisa A1 - Trukenbrod, Hans Arne A1 - Engbert, Ralf T1 - The Influence of Visual Long Term Memory on Eye Movements During Scene Viewing T2 - Perception Y1 - 2019 SN - 0301-0066 SN - 1468-4233 VL - 48 IS - S1 SP - 138 EP - 138 PB - Sage Publ. CY - London ER - TY - GEN A1 - Schorsch, Jonathan T1 - Olive Oil, Anointing, Ecstasy, and Ecology T2 - Ritual Dynamics in Jewish and Christian Contexts : Between Bible and Liturgy Y1 - 2019 SN - 978-90-04-40595-0 SN - 978-90-04-40092-4 U6 - https://doi.org/10.1163/9789004405950_012 SN - 1388-2074 VL - 34 SP - 215 EP - 236 PB - Brill CY - Leiden ER - TY - GEN A1 - Schlosser, Rainer A1 - Kossmann, Jan A1 - Boissier, Martin T1 - Efficient Scalable Multi-Attribute Index Selection Using Recursive Strategies T2 - 2019 IEEE 35th International Conference on Data Engineering (ICDE) N2 - An efficient selection of indexes is indispensable for database performance. For large problem instances with hundreds of tables, existing approaches are not suitable: They either exhibit prohibitive runtimes or yield far from optimal index configurations by strongly limiting the set of index candidates or not handling index interaction explicitly. We introduce a novel recursive strategy that does not exclude index candidates in advance and effectively accounts for index interaction. Using large real-world workloads, we demonstrate the applicability of our approach. Further, we evaluate our solution end to end with a commercial database system using a reproducible setup. We show that our solutions are near-optimal for small index selection problems. For larger problems, our strategy outperforms state-of-the-art approaches in both scalability and solution quality. Y1 - 2019 SN - 978-1-5386-7474-1 U6 - https://doi.org/10.1109/ICDE.2019.00113 SN - 1084-4627 SP - 1238 EP - 1249 PB - IEEE CY - New York ER - TY - GEN A1 - Salzwedel, Annett A1 - Völler, Heinz A1 - Reibis, Rona Katharina T1 - Vocational reintegration in coronary heart disease patients - the holistic approach of the WHO biopsychosocial concept T2 - European journal of preventive cardiology : the official ESC journal for primary & secondary cardiovascular prevention, rehabilitation and sports cardiology Y1 - 2019 U6 - https://doi.org/10.1177/2047487319850699 SN - 2047-4873 SN - 2047-4881 VL - 26 IS - 13 SP - 1383 EP - 1385 PB - Sage Publ. CY - London ER - TY - GEN A1 - Röder, Katrin A1 - Vogt-William, Christine T1 - Shame and shamelessness in Anglophone literature and media T2 - European journal of English studies : official journal of the European Society for the Study of English (ESSE) Y1 - 2019 U6 - https://doi.org/10.1080/13825577.2019.1655242 SN - 1382-5577 SN - 1744-4233 VL - 23 IS - 3 SP - 239 EP - 248 PB - Routledge, Taylor & Francis Group CY - Abingdon ER - TY - GEN A1 - Rounsevell, Mark D. A. A1 - Metzger, Marc J. A1 - Walz, Ariane T1 - Operationalising ecosystem services in Europe T2 - Regional environmental change Y1 - 2019 U6 - https://doi.org/10.1007/s10113-019-01560-1 SN - 1436-3798 SN - 1436-378X VL - 19 IS - 8 SP - 2143 EP - 2149 PB - Springer CY - Heidelberg ER - TY - GEN A1 - Roumen, Thijs A1 - Shigeyama, Jotaro A1 - Rudolph, Julius Cosmo Romeo A1 - Grzelka, Felix A1 - Baudisch, Patrick T1 - SpringFit BT - Joints and mounts that fabricate on any laser cutter T2 - User Interface Software and Technology N2 - Joints are crucial to laser cutting as they allow making three-dimensional objects; mounts are crucial because they allow embedding technical components, such as motors. Unfortunately, mounts and joints tend to fail when trying to fabricate a model on a different laser cutter or from a different material. The reason for this lies in the way mounts and joints hold objects in place, which is by forcing them into slightly smaller openings. Such "press fit" mechanisms unfortunately are susceptible to the small changes in diameter that occur when switching to a machine that removes more or less material ("kerf"), as well as to changes in stiffness, as they occur when switching to a different material. We present a software tool called springFit that resolves this problem by replacing the problematic press fit-based mounts and joints with what we call cantilever-based mounts and joints. A cantilever spring is simply a long thin piece of material that pushes against the object to be held. Unlike press fits, cantilever springs are robust against variations in kerf and material; they can even handle very high variations, simply by using longer springs. SpringFit converts models in the form of 2D cutting plans by replacing all contained mounts, notch joints, finger joints, and t-joints. In our technical evaluation, we used springFit to convert 14 models downloaded from the web. KW - Laser cutting KW - fabrication KW - portability KW - reuse Y1 - 2019 SN - 978-1-4503-6816-2 U6 - https://doi.org/10.1145/3332165.3347930 SP - 727 EP - 738 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Rodriguez-Sillke, Yasmina A1 - Steinhoff, U. A1 - Bojarski, Christian A1 - Lissner, Donata A1 - Schumann, Michael A1 - Branchi, F. A1 - Siegmund, Britta A1 - Glauben, Rainer T1 - Deep immune profiling of human Peyer´s Patches in patients of inflammatory bowel diseases T2 - European journal of immunology Y1 - 2019 U6 - https://doi.org/10.1002/eji.201970300 SN - 0014-2980 SN - 1521-4141 VL - 49 SP - 203 EP - 204 PB - Wiley CY - Weinheim ER - TY - GEN A1 - Richly, Keven T1 - Leveraging spatio-temporal soccer data to define a graphical query language for game recordings T2 - IEEE International Conference on Big Data (Big Data) N2 - For professional soccer clubs, performance and video analysis are an integral part of the preparation and post-processing of games. Coaches, scouts, and video analysts extract information about strengths and weaknesses of their team as well as opponents by manually analyzing video recordings of past games. Since video recordings are an unstructured data source, it is a complex and time-intensive task to find specific game situations and identify similar patterns. In this paper, we present a novel approach to detect patterns and situations (e.g., playmaking and ball passing of midfielders) based on trajectory data. The application uses the metaphor of a tactic board to offer a graphical query language. With this interactive tactic board, the user can model a game situation or mark a specific situation in the video recording for which all matching occurrences in various games are immediately displayed, and the user can directly jump to the corresponding game scene. Through the additional visualization of key performance indicators (e.g.,the physical load of the players), the user can get a better overall assessment of situations. With the capabilities to find specific game situations and complex patterns in video recordings, the interactive tactic board serves as a useful tool to improve the video analysis process of professional sports teams. KW - Spatio-temporal data analysis KW - soccer analytics KW - graphical query language Y1 - 2019 SN - 978-1-5386-5035-6 U6 - https://doi.org/10.1109/BigData.2018.8622159 SN - 2639-1589 SP - 3456 EP - 3463 PB - IEEE CY - New York ER - TY - GEN A1 - Richly, Keven T1 - A survey on trajectory data management for hybrid transactional and analytical workloads T2 - IEEE International Conference on Big Data (Big Data) N2 - Rapid advances in location-acquisition technologies have led to large amounts of trajectory data. This data is the foundation for a broad spectrum of services driven and improved by trajectory data mining. However, for hybrid transactional and analytical workloads, the storing and processing of rapidly accumulated trajectory data is a non-trivial task. In this paper, we present a detailed survey about state-of-the-art trajectory data management systems. To determine the relevant aspects and requirements for such systems, we developed a trajectory data mining framework, which summarizes the different steps in the trajectory data mining process. Based on the derived requirements, we analyze different concepts to store, compress, index, and process spatio-temporal data. There are various trajectory management systems, which are optimized for scalability, data footprint reduction, elasticity, or query performance. To get a comprehensive overview, we describe and compare different exciting systems. Additionally, the observed similarities in the general structure of different systems are consolidated in a general blueprint of trajectory management systems. KW - Trajectory Data Management KW - Spatio-Temporal Data KW - Survey Y1 - 2019 SN - 978-1-5386-5035-6 U6 - https://doi.org/10.1109/BigData.2018.8622394 SN - 2639-1589 SP - 562 EP - 569 PB - IEEE CY - New York ER - TY - GEN A1 - Renz, Jan A1 - Meinel, Christoph T1 - The "Bachelor Project" BT - Project Based Computer Science Education T2 - 2019 IEEE Global Engineering Education Conference (EDUCON) N2 - One of the challenges of educating the next generation of computer scientists is to teach them to become team players, that are able to communicate and interact not only with different IT systems, but also with coworkers and customers with a non-it background. The “bachelor project” is a project based on team work and a close collaboration with selected industry partners. The authors hosted some of the teams since spring term 2014/15. In the paper at hand we explain and discuss this concept and evaluate its success based on students' evaluation and reports. Furthermore, the technology-stack that has been used by the teams is evaluated to understand how self-organized students in IT-related projects work. We will show that and why the bachelor is the most successful educational format in the perception of the students and how this positive results can be improved by the mentors. KW - computer science education KW - project based learning KW - bachelor project Y1 - 2019 SN - 978-1-5386-9506-7 U6 - https://doi.org/10.1109/EDUCON.2019.8725140 SN - 2165-9567 SP - 580 EP - 587 PB - IEEE CY - New York ER - TY - GEN A1 - Rastogi, Abhishake T1 - Tikhonov regularization with oversmoothing penalty for linear statistical inverse learning problems T2 - AIP Conference Proceedings : third international Conference of mathematical sciences (ICMS 2019) N2 - In this paper, we consider the linear ill-posed inverse problem with noisy data in the statistical learning setting. The Tikhonov regularization scheme in Hilbert scales is considered in the reproducing kernel Hilbert space framework to reconstruct the estimator from the random noisy data. We discuss the rates of convergence for the regularized solution under the prior assumptions and link condition. For regression functions with smoothness given in terms of source conditions the error bound can explicitly be established. KW - Statistical inverse problem KW - Tikhonov regularization KW - Hilbert Scales KW - Reproducing kernel Hilbert space KW - Minimax convergence rates Y1 - 2019 SN - 978-0-7354-1930-8 U6 - https://doi.org/10.1063/1.5136221 SN - 0094-243X VL - 2183 PB - American Institute of Physics CY - Melville ER - TY - GEN A1 - Radchuk, Viktoriia A1 - Kramer-Schadt, Stephanie A1 - Grimm, Volker T1 - Transferability of mechanistic ecological models is about emergence T2 - Trends in ecology and evolution Y1 - 2019 U6 - https://doi.org/10.1016/j.tree.2019.01.010 SN - 0169-5347 SN - 1872-8383 VL - 34 IS - 6 SP - 487 EP - 488 PB - Elsevier CY - London ER - TY - GEN A1 - Pérez Chaparro, Camilo Germán Alberto A1 - Mayer, Frank A1 - Beckendorf, Claudia T1 - Cardiovascular drift response over two different constant-load exercises in healthy non-athletes BT - case study T2 - Medicine and science in sports and exercise : official journal of the American College of Sports Medicine N2 - Cardiovascular drift (CV-d) is a steady increase in heart rate (HR) over time while performing constant load moderate intensity exercise (CME) > 20 min. CV-d presents problems for the prescription of exercise intensity by means of HR, because the work rate (WR) during exercise must be adjusted to maintain target HR, thus disturbing the intended effect of the exercise intervention. It has been shown that the increase in HR during CME is due to changes in WR and not to CV-d. Y1 - 2019 U6 - https://doi.org/10.1249/01.mss.0000561495.15163.50 SN - 0195-9131 SN - 1530-0315 VL - 51 IS - 6 SP - 329 EP - 329 PB - Lippincott Williams & Wilkins CY - Philadelphia ER - TY - GEN A1 - Przybylla, Mareen T1 - Interactive objects in physical computing and their role in the learning process T2 - Constructivist foundations N2 - The target article discusses the question of how educational makerspaces can become places supportive of knowledge construction. This question is too often neglected by people who run makerspaces, as they mostly explain how to use different tools and focus on the creation of a product. In makerspaces, often pupils also engage in physical computing activities and thus in the creation of interactive artifacts containing embedded systems, such as smart shoes or wristbands, plant monitoring systems or drink mixing machines. This offers the opportunity to reflect on teaching physical computing in computer science education, where similarly often the creation of the product is so strongly focused upon that the reflection of the learning process is pushed into the background. Y1 - 2019 SN - 1782-348X VL - 14 IS - 3 SP - 264 EP - 266 PB - Vrije Univ. CY - Bussels ER - TY - GEN A1 - Ponce, Carol Barahona A1 - Scherer, Dominique A1 - Boekstegers, Felix A1 - Garate-Calderon, Valentina A1 - Jenab, Mazda A1 - Aleksandrova, Krasimira A1 - Katzke, Verena A1 - Weiderpass, Elisabete A1 - Bonet, Catalina A1 - Moradi, Tahereh A1 - Fischer, Krista A1 - Bossers, Willem A1 - Brenner, Hermann A1 - Schöttker, Ben A1 - Holleczek, Bernd A1 - Hveem, Kristian A1 - Eklund, Niina A1 - Voelker, Uwe A1 - Waldenberger, Melanie A1 - Bermejo, Justo Lorenzo T1 - Arsenic and gallbladder cancer risk BT - Mendelian randomization analysis of European prospective data T2 - International journal of cancer KW - arsenic KW - gallbladder cancer KW - Mendelian randomization Y1 - 2019 U6 - https://doi.org/10.1002/ijc.32837 SN - 0020-7136 SN - 1097-0215 VL - 146 IS - 9 SP - 2648 EP - 2650 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Podlesny, Nikolai Jannik A1 - Kayem, Anne V. D. M. A1 - Meinel, Christoph T1 - Attribute Compartmentation and Greedy UCC Discovery for High-Dimensional Data Anonymisation T2 - Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy N2 - High-dimensional data is particularly useful for data analytics research. In the healthcare domain, for instance, high-dimensional data analytics has been used successfully for drug discovery. Yet, in order to adhere to privacy legislation, data analytics service providers must guarantee anonymity for data owners. In the context of high-dimensional data, ensuring privacy is challenging because increased data dimensionality must be matched by an exponential growth in the size of the data to avoid sparse datasets. Syntactically, anonymising sparse datasets with methods that rely of statistical significance, makes obtaining sound and reliable results, a challenge. As such, strong privacy is only achievable at the cost of high information loss, rendering the data unusable for data analytics. In this paper, we make two contributions to addressing this problem from both the privacy and information loss perspectives. First, we show that by identifying dependencies between attribute subsets we can eliminate privacy violating attributes from the anonymised dataset. Second, to minimise information loss, we employ a greedy search algorithm to determine and eliminate maximal partial unique attribute combinations. Thus, one only needs to find the minimal set of identifying attributes to prevent re-identification. Experiments on a health cloud based on the SAP HANA platform using a semi-synthetic medical history dataset comprised of 109 attributes, demonstrate the effectiveness of our approach. Y1 - 2019 SN - 978-1-4503-6099-9 U6 - https://doi.org/10.1145/3292006.3300019 SP - 109 EP - 119 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Plank, Roswitha A1 - Yealland, Guy A1 - Miceli, Enrico A1 - Cunha, Dulce Lima A1 - Graff, Patrick A1 - Thomforde, Sari A1 - Gruber, Robert A1 - Moosbrugger-Martinz, Verena A1 - Eckl, Katja A1 - Calderon, Marcelo A1 - Hennies, Hans Christian A1 - Hedtrich, Sarah T1 - Transglutaminase 1 Replacement Therapy Successfully Mitigates the Autosomal Recessive Congenital Ichthyosis Phenotype in Full-Thickness Skin Disease Equivalents T2 - The journal of investigative dermatology Y1 - 2019 U6 - https://doi.org/10.1016/j.jid.2018.11.002 SN - 0022-202X SN - 1523-1747 VL - 139 IS - 5 SP - 1191 EP - 1195 PB - Elsevier CY - New York ER - TY - GEN A1 - Petruk, Oleh A1 - Kuzyo, T. A1 - Orlando, S. A1 - Pohl, Martin A1 - Miceli, M. A1 - Bocchino, F. A1 - Beshley, V. A1 - Brose, Robert T1 - Erratum: Post-adiabatic supernova remnants in an interstellar magnetic field: oblique shocks and non-uniform environment. - (Monthly notices of the Royal Astronomical Society. - 479, (2018), pg. 4253 - 4270) T2 - Monthly notices of the Royal Astronomical Society N2 - This is a correction notice for ‘Post-adiabatic supernova remnants in an interstellar magnetic field: oblique shocks and non-uniform environment’ (DOI: https://doi.org/10.1093/mnras/sty1750), which was published in MNRAS 479, 4253–4270 (2018). The publisher regrets to inform that the colour was missing from the colour scales in Figs 8(a)–(d) and Figs 9(a) and (b). This has now been corrected online. The publisher apologizes for this error. KW - errata KW - addenda KW - shock waves KW - ISM: magnetic fields KW - ISM: supernova remnants Y1 - 2018 U6 - https://doi.org/10.1093/mnras/sty2861 SN - 0035-8711 SN - 1365-2966 VL - 482 IS - 2 SP - 1979 EP - 1980 PB - Oxford Univ. Press CY - Oxford ER - TY - GEN A1 - Perscheid, Cindy A1 - Uflacker, Matthias T1 - Integrating Biological Context into the Analysis of Gene Expression Data T2 - Distributed Computing and Artificial Intelligence, Special Sessions, 15th International Conference N2 - High-throughput RNA sequencing produces large gene expression datasets whose analysis leads to a better understanding of diseases like cancer. The nature of RNA-Seq data poses challenges to its analysis in terms of its high dimensionality, noise, and complexity of the underlying biological processes. Researchers apply traditional machine learning approaches, e. g. hierarchical clustering, to analyze this data. Until it comes to validation of the results, the analysis is based on the provided data only and completely misses the biological context. However, gene expression data follows particular patterns - the underlying biological processes. In our research, we aim to integrate the available biological knowledge earlier in the analysis process. We want to adapt state-of-the-art data mining algorithms to consider the biological context in their computations and deliver meaningful results for researchers. KW - Gene expression KW - Machine learning KW - Feature selection KW - Association rule mining KW - Biclustering KW - Knowledge bases Y1 - 2019 SN - 978-3-319-99608-0 SN - 978-3-319-99607-3 U6 - https://doi.org/10.1007/978-3-319-99608-0_41 SN - 2194-5357 SN - 2194-5365 VL - 801 SP - 339 EP - 343 PB - Springer CY - Cham ER - TY - GEN A1 - Ofner, Andre A1 - Stober, Sebastian T1 - Hybrid variational predictive coding as a bridge between human and artificial cognition T2 - ALIFE 2019: The 2019 Conference on Artificial Life N2 - Predictive coding and its generalization to active inference offer a unified theory of brain function. The underlying predictive processing paradigmhas gained significant attention in artificial intelligence research for its representation learning and predictive capacity. Here, we suggest that it is possible to integrate human and artificial generative models with a predictive coding network that processes sensations simultaneously with the signature of predictive coding found in human neuroimaging data. We propose a recurrent hierarchical predictive coding model that predicts low-dimensional representations of stimuli, electroencephalogram and physiological signals with variational inference. We suggest that in a shared environment, such hybrid predictive coding networks learn to incorporate the human predictive model in order to reduce prediction error. We evaluate the model on a publicly available EEG dataset of subjects watching one-minute long video excerpts. Our initial results indicate that the model can be trained to predict visual properties such as the amount, distance and motion of human subjects in videos. Y1 - 2019 SP - 68 EP - 69 PB - MIT Press CY - Cambridge ER - TY - GEN A1 - Numberger, Daniela A1 - Dreier, Carola A1 - Vullioud, Colin A1 - Gabriel, Guelsah A1 - Greenwood, Alex D. A1 - Grossart, Hans-Peter T1 - Correction: Recovery of influenza A viruses from lake water and sediments by experimental inoculation (vol 14, e0216880, 2019) T2 - PLoS one Y1 - 2019 U6 - https://doi.org/10.1371/journal.pone.0218882 SN - 1932-6203 VL - 14 IS - 6 PB - PLoS CY - San Fransisco ER - TY - GEN A1 - Nitze, Ingmar A1 - Grosse, Guido A1 - Jones, B. M. A1 - Romanovsky, Vladimir E. A1 - Boike, Julia T1 - Author Correction: Nitze, I; Grosse, G; Jones, B.M.; Romanovsky, V.E.; Boike, J.: Remote sensing quantifies widespread abundance of permafrost region disturbances across the Arctic and Subarctic. - Nature Communications. - 9 (2018), 5423 T2 - Nature Communications Y1 - 2019 U6 - https://doi.org/10.1038/s41467-019-08375-y SN - 2041-1723 VL - 10 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Niskanen, Johannes A1 - Fondell, Mattis A1 - Sahle, Christoph J. A1 - Eckert, Sebastian A1 - Jay, Raphael Martin A1 - Gilmore, Keith A1 - Pietzsch, Annette A1 - Dantz, Marcus A1 - Lu, Xingye A1 - McNally, Daniel E. A1 - Schmitt, Thorsten A1 - Vaz da Cruz, Vinicius A1 - Kimberg, Victor A1 - Föhlisch, Alexander T1 - Reply to Pettersson et al.: Why X-ray spectral features are compatible to continuous distribution models in ambient water T2 - Proceedings of the National Academy of Sciences of the United States of America Y1 - 2019 U6 - https://doi.org/10.1073/pnas.1909551116 SN - 0027-8424 VL - 116 IS - 35 SP - 17158 EP - 17159 PB - National Acad. of Sciences CY - Washington ER - TY - GEN A1 - Nguyen, Quyet Doan A1 - Wang, Jingwen A1 - Rychkov, Dmitry A1 - Gerhard, Reimund T1 - Depth Profile and Transport of Positive and Negative Charge in Surface (2-D) and Bulk (3-D) Nanocomposite Films T2 - 2nd International Conference on Electrical Materials and Power Equipment (ICEMPE 2019) N2 - In the present study, the charge distribution and the charge transport across the thickness of 2- and 3-dimensional polymer nanodielectrics was investigated. Chemically surface-treated polypropylene (PP) films and low-density polyethylene nanocomposite films with 3 wt % of magnesium oxide (LDPE/MgO) served as examples of 2-D and 3-D nanodielectrics, respectively. Surface charges were deposited onto the non-metallized surfaces of the one-side metallized polymer films and found to broaden and to thus enter the bulk of the films upon thermal stimulation at suitable elevated temperatures. The resulting space-charge profiles in the thickness direction were probed by means of Piezoelectrically-generated Pressure Steps (PPSs). It was observed that the chemical surface treatment of PP which led to the formation of nano-structures or the use of bulk nanoparticles from LDPE/MgO nanocomposites enhance charge trapping on or in the respective polymer films and also reduce charge transport inside the respective samples. KW - LDPE nanocomposites KW - MgO nanoparticles KW - Space charge KW - Charge transport KW - Charge stability KW - Acoustic probing of electric-field profiles KW - Piezoelectrically generated Pressure Steps (PPSs) Y1 - 2019 SN - 978-1-5386-8434-4 SN - 978-1-5386-8435-1 U6 - https://doi.org/10.1109/ICEMPE.2019.8727256 SP - 298 EP - 300 PB - IEEE CY - New York ER - TY - GEN A1 - Nakaten, Natalie Christine A1 - Kempka, Thomas T1 - Retraction: Techno-Economic Comparison of Onshore and Offshore Underground Coal Gasification End-Product Competitiveness. (Retraction of Vol 10, art no 1643, 2017) T2 - Energies : open-access journal of related scientific research, technology development and studies in policy and management Y1 - 2019 U6 - https://doi.org/10.3390/en12173253 SN - 1996-1073 VL - 12 IS - 17 PB - MDPI CY - Basel ER - TY - GEN A1 - Müller-Schöll, A. A1 - Klopp-Schulze, Lena A1 - Huisinga, Wilhelm A1 - Jörger, M. A1 - Neven, P. A1 - Koolen, S. L. A1 - Mathijssen, R. H. J. A1 - Schmidt, S. A1 - Kloft, Charlotte T1 - Patient-tailored tamoxifen dosing based on an increased quantitative understanding of its complex pharmacokinetics: A novel integrative modelling approach T2 - Annals of Oncology Y1 - 2019 SN - 0923-7534 SN - 1569-8041 VL - 30 PB - Oxford Univ. Press CY - Oxford ER - TY - GEN A1 - Myachykov, Andriy A1 - Fischer, Martin H. T1 - A hierarchical view of abstractness BT - Grounded, embodied, and situated aspect: Comment on "Words as social tools: Language, sociality and inner grounding in abstract concepts" by Anna M. Borghi et al. T2 - Physics of life reviews Y1 - 2019 U6 - https://doi.org/10.1016/j.plrev.2019.04.005 SN - 1571-0645 SN - 1873-1457 VL - 29 SP - 161 EP - 163 PB - Elsevier CY - Amsterdam ER - TY - GEN A1 - Moga, A. A1 - Robinson, T. A1 - Leimkühler, Silke T1 - Towards reconstituting a biosynthetic pathway within compartmentalized GUVs T2 - European biophysics journal : with biophysics letters ; an international journal of biophysics Y1 - 2019 SN - 0175-7571 SN - 1432-1017 VL - 48 SP - S218 EP - S218 PB - Springer CY - New York ER - TY - GEN A1 - Miklashevsky, Alex A. T1 - Words as social tools BT - the old and the new. Bridging cognition and communication Comment on "Words as social tools: Language, sociality and inner grounding in abstract concepts" by Anna M. Borghi et al. T2 - Physics of life reviews Y1 - 2019 U6 - https://doi.org/10.1016/j.plrev.2019.04.002 SN - 1571-0645 SN - 1873-1457 VL - 29 SP - 164 EP - 165 PB - Elsevier CY - Amsterdam ER - TY - GEN A1 - Matthies, Christoph T1 - Agile process improvement in retrospectives T2 - 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) N2 - Working in iterations and repeatedly improving team workflows based on collected feedback is fundamental to agile software development processes. Scrum, the most popular agile method, provides dedicated retrospective meetings to reflect on the last development iteration and to decide on process improvement actions. However, agile methods do not prescribe how these improvement actions should be identified, managed or tracked in detail. The approaches to detect and remove problems in software development processes are therefore often based on intuition and prior experiences and perceptions of team members. Previous research in this area has focused on approaches to elicit a team's improvement opportunities as well as measurements regarding the work performed in an iteration, e.g. Scrum burn-down charts. Little research deals with the quality and nature of identified problems or how progress towards removing issues is measured. In this research, we investigate how agile development teams in the professional software industry organize their feedback and process improvement approaches. In particular, we focus on the structure and content of improvement and reflection meetings, i.e. retrospectives, and their outcomes. Researching how the vital mechanism of process improvement is implemented in practice in modern software development leads to a more complete picture of agile process improvement. KW - Agile KW - Scrum KW - software process improvement KW - retrospective Y1 - 2019 SN - 978-1-7281-1764-5 SN - 978-1-7281-1765-2 U6 - https://doi.org/10.1109/ICSE-Companion.2019.00063 SN - 2574-1934 SN - 2574-1926 SP - 150 EP - 152 PB - IEEE CY - New York ER - TY - GEN A1 - Matthies, Christoph T1 - Feedback in Scrum BT - Data-Informed Retrospectives T2 - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) N2 - Improving the way that teams work together by reflecting and improving the executed process is at the heart of agile processes. The idea of iterative process improvement takes various forms in different agile development methodologies, e.g. Scrum Retrospectives. However, these methods do not prescribe how improvement steps should be conducted in detail. In this research we investigate how agile software teams can use their development data, such as commits or tickets, created during regular development activities, to drive and track process improvement steps. Our previous research focused on data-informed process improvement in the context of student teams, where controlled circumstances and deep domain knowledge allowed creation and usage of specific process measures. Encouraged by positive results in this area, we investigate the process improvement approaches employed in industry teams. Researching how the vital mechanism of process improvement is implemented and how development data is already being used in practice in modern software development leads to a more complete picture of agile process improvement. It is the first step in enabling a data-informed feedback and improvement process, tailored to a team's context and based on the development data of individual teams. KW - agile KW - software development KW - Scrum KW - retrospective KW - software process improvement Y1 - 2019 SN - 978-1-7281-1764-5 SN - 978-1-7281-1765-2 U6 - https://doi.org/10.1109/ICSE-Companion.2019.00081 SN - 2574-1934 SN - 2574-1926 SP - 198 EP - 201 PB - IEEE CY - New York ER - TY - GEN A1 - Marwecki, Sebastian A1 - Wilson, Andrew D. A1 - Ofek, Eyal A1 - Franco, Mar Gonzalez A1 - Holz, Christian T1 - Mise-Unseen BT - Using Eye-Tracking to Hide Virtual Reality Scene Changes in Plain Sight T2 - UIST '19: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology N2 - Creating or arranging objects at runtime is needed in many virtual reality applications, but such changes are noticed when they occur inside the user's field of view. We present Mise-Unseen, a software system that applies such scene changes covertly inside the user's field of view. Mise-Unseen leverages gaze tracking to create models of user attention, intention, and spatial memory to determine if and when to inject a change. We present seven applications of Mise-Unseen to unnoticeably modify the scene within view (i) to hide that task difficulty is adapted to the user, (ii) to adapt the experience to the user's preferences, (iii) to time the use of low fidelity effects, (iv) to detect user choice for passive haptics even when lacking physical props, (v) to sustain physical locomotion despite a lack of physical space, (vi) to reduce motion sickness during virtual locomotion, and (vii) to verify user understanding during story progression. We evaluated Mise-Unseen and our applications in a user study with 15 participants and find that while gaze data indeed supports obfuscating changes inside the field of view, a change is rendered unnoticeably by using gaze in combination with common masking techniques. KW - Eye-tracking KW - virtual reality KW - change blindness KW - inattentional blindness KW - staging Y1 - 2019 SN - 978-1-4503-6816-2 U6 - https://doi.org/10.1145/3332165.3347919 SP - 777 EP - 789 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Luckner, Madlen A1 - Dunsing, Valentin A1 - Drüke, Markus A1 - Zuehlke, B. A1 - Petazzi, Roberto Arturo A1 - Chiantia, Salvatore A1 - Herrmann, A. T1 - Quantifying protein oligomerization directly in living cells BT - a systematic comparison of fluorescent proteins and application to Influenza A virus infection T2 - European biophysics journal : with biophysics letters ; an international journal of biophysics Y1 - 2019 SN - 0175-7571 SN - 1432-1017 VL - 48 SP - S183 EP - S183 PB - Springer CY - New York ER - TY - GEN A1 - Loupos, Konstantinos A1 - Damigos, Yannis A1 - Tsertou, Athanasisa A1 - Amditis, Angelos A1 - Lenas, Sotiris-Angelos A1 - Chatziandreoglou, Chistos A1 - Malliou, Christina A1 - Tsaoussidis, Vassilis A1 - Gerhard, Reimund A1 - Rychkov, Dmitry A1 - Wirges, Werner A1 - Frankenstein, Bernd A1 - Camarinopoulos, Stephanos A1 - Kalidromitis, Vassilis A1 - Sanna, C. A1 - Maier, Stephanos A1 - Gordt, A. A1 - Panetsos, P. T1 - Innovative soft-material sensor, wireless network and assessment software for bridge life-cycle assessment T2 - Life-cycle analysis and assessmanet in civil engineering : towards an integrated vision N2 - Nowadays, structural health monitoring of critical infrastructures is considered as of primal importance especially for managing transport infrastructure however most current SHM methodologies are based on point-sensors that show various limitations relating to their spatial positioning capabilities, cost of development and measurement range. This publication describes the progress in the SENSKIN EC co-funded research project that is developing a dielectric-elastomer sensor, formed from a large highly extensible capacitance sensing membrane and is supported by an advanced micro-electronic circuitry, for monitoring transport infrastructure bridges. The sensor under development provides spatial measurements of strain in excess of 10%, while the sensing system is being designed to be easy to install, require low power in operation concepts, require simple signal processing, and have the ability to self-monitor and report. An appropriate wireless sensor network is also being designed and developed supported by local gateways for the required data collection and exploitation. SENSKIN also develops a Decision-Support-System (DSS) for proactive condition-based structural interventions under normal operating conditions and reactive emergency intervention following an extreme event. The latter is supported by a life-cycle-costing (LCC) and life-cycle-assessment (LCA) module responsible for the total internal and external costs for the identified bridge rehabilitation, analysis of options, yielding figures for the assessment of the economic implications of the bridge rehabilitation work and the environmental impacts of the bridge rehabilitation options and of the associated secondary effects respectively. The overall monitoring system will be evaluated and benchmarked on actual bridges of Egnatia Highway (Greece) and Bosporus Bridge (Turkey). Y1 - 2019 SN - 978-1-315-22891-4 SN - 978-1-138-62633-1 SP - 2085 EP - 2092 PB - CRC Press, Taylor & Francis Group CY - Boca Raton ER - TY - GEN A1 - Lopez Tarazon, José Andrés A1 - Bronstert, Axel A1 - Thieken, Annegret A1 - Petrow, Theresia T1 - The effects of global change on floods, fluvial geomorphology and related hazards in mountainous rivers T2 - The science of the total environment : an international journal for scientific research into the environment and its relationship with man Y1 - 2019 U6 - https://doi.org/10.1016/j.scitotenv.2019.03.026 SN - 0048-9697 SN - 1879-1026 VL - 669 SP - 7 EP - 10 PB - Elsevier CY - Amsterdam ER - TY - GEN A1 - Lohse, Karoline A1 - Sixtus, Elena A1 - Lonnemann, Jan T1 - Thinking about time and number BT - an application of the dual-systems approach to numerical cognition T2 - Behavioral and brain sciences : an international journal of current research and theory with open peer commentary N2 - Based on the notion that time, space, and number are part of a generalized magnitude system, we assume that the dual-systems approach to temporal cognition also applies to numerical cognition. Referring to theoretical models of the development of numerical concepts, we propose that children's early skills in processing numbers can be described analogously to temporal updating and temporal reasoning. Y1 - 2019 U6 - https://doi.org/10.1017/S0140525X19000475 SN - 0140-525X SN - 1469-1825 VL - 42 PB - Cambridge Univ. Press CY - New York ER - TY - GEN A1 - Liedhegener, Antonius A1 - Kösters, Christoph A1 - Brechenmacher, Thomas T1 - Catholicism BT - On the Past, Present, and Future of its modern Notion T2 - Historisches Jahrbuch Y1 - 2019 SN - 0018-2621 VL - 139 SP - 601 EP - 618 PB - Herder CY - Freiburg Breisgau ER - TY - GEN A1 - Lewis, Alison A1 - Glajar, Valentina A1 - Petrescu, Corina L. T1 - Introduction T2 - Cold War Spy Stories from Eastern Europe Y1 - 2019 SN - 978-1-64012-200-0 SN - 978-1-64012-187-4 SP - 1 EP - 26 PB - University of Nebraska Press CY - Lincoln 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 - Lepro, Valentino A1 - Nagel, Oliver A1 - Klumpp, Stefan A1 - Lipowsky, Reinhard A1 - Beta, Carsten T1 - Cooperative Transport by Amoeboid Cells BT - a Cellular Tug-of-War T2 - Biophysical journal Y1 - 2019 U6 - https://doi.org/10.1016/j.bpj.2018.11.682 SN - 0006-3495 SN - 1542-0086 VL - 116 IS - 3 SP - 122A EP - 122A PB - Cell Press CY - Cambridge ER - TY - GEN A1 - Lenton, Timothy M. A1 - Rockstroem, Johan A1 - Gaffney, Owen A1 - Rahmstorf, Stefan A1 - Richardson, Katherine A1 - Steffen, Will A1 - Schellnhuber, Hans Joachim T1 - Climate tipping points - too risky to bet against : Comment T2 - Nature : the international weekly journal of science Y1 - 2019 U6 - https://doi.org/10.1038/d41586-019-03595-0 SN - 0028-0836 SN - 1476-4687 VL - 575 IS - 7784 SP - 592 EP - 595 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Lazarian, Alexander A1 - Yan, Huirong T1 - Erratum: Superdiffusion of Cosmic Rays: Implications for Cosmic Ray Acceleration (The American Astronomical Society. - Vol. 784, (2014), 38) T2 - The astrophysical journal : an international review of spectroscopy and astronomical physics N2 - Diffusion of cosmic rays (CRs) is the key process for understanding their propagation and acceleration. We employ the description of spatial separation of magnetic field lines in magnetohydrodynamic turbulence in Lazarian & Vishniac to quantify the divergence of the magnetic field on scales less than the injection scale of turbulence and show that this divergence induces superdiffusion of CR in the direction perpendicular to the mean magnetic field. The perpendicular displacement squared increases, not as the distance x along the magnetic field, which is the case for a regular diffusion, but as the x 3 for freely streaming CRs. The dependence changes to x 3/2 for the CRs propagating diffusively along the magnetic field. In the latter case, we show that it is important to distinguish the perpendicular displacement with respect to the mean field and to the local magnetic field. We consider how superdiffusion changes the acceleration of CRs in shocks and show how it decreases efficiency of the CRs acceleration in perpendicular shocks. We also demonstrate that in the case when the small-scale magnetic field is generated in the pre-shock region, an efficient acceleration can take place for the CRs streaming without collisions along the magnetic loops. Y1 - 2019 U6 - https://doi.org/10.3847/1538-4357/ab50ba SN - 0004-637X SN - 1538-4357 VL - 885 IS - 2 PB - IOP Publ. Ltd. CY - Bristol ER - TY - GEN A1 - König, Julian A1 - Weymar, Mathias A1 - Friedman, Bruce T1 - Beyond Observation: Transcutaneous Vagus Nerve Stimulation in Psychophysiological Research T2 - Psychophysiology : journal of the Society for Psychophysiological Research Y1 - 2019 U6 - https://doi.org/10.1111/psyp.13439 SN - 0048-5772 SN - 1469-8986 VL - 56 SP - S11 EP - S11 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Kubatova, Brankica A1 - Hamann, Wolf-Rainer A1 - Kubat, Jiri A1 - Oskinova, Lidia M. T1 - 3D Monte Carlo Radiative Transfer in Inhomogeneous Massive Star Winds BT - Application to Resonance Line Formation T2 - Radiative signatures from the cosmos N2 - Already for decades it has been known that the winds of massive stars are inhomogeneous (i.e. clumped). To properly model observed spectra of massive star winds it is necessary to incorporate the 3-D nature of clumping into radiative transfer calculations. In this paper we present our full 3-D Monte Carlo radiative transfer code for inhomogeneous expanding stellar winds. We use a set of parameters to describe dense as well as the rarefied wind components. At the same time, we account for non-monotonic velocity fields. We show how the 3-D density and velocity wind inhomogeneities strongly affect the resonance line formation. We also show how wind clumping can solve the discrepancy between P v and H alpha mass-loss rate diagnostics. Y1 - 2019 SN - 978-1-58381-925-8 SN - 1050-3390 VL - 519 SP - 209 EP - 212 PB - Astronomical soc pacific CY - San Fransisco ER - TY - GEN A1 - Krämer, Felicitas T1 - Perspectives on embryo donation T2 - Bioethics Y1 - 2019 U6 - https://doi.org/10.1111/bioe.12636 SN - 0269-9702 SN - 1467-8519 VL - 33 IS - 6 SP - 634 EP - 636 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Kruse, Sebastian A1 - Kaoudi, Zoi A1 - Quiane-Ruiz, Jorge-Arnulfo A1 - Chawla, Sanjay A1 - Naumann, Felix A1 - Contreras-Rojas, Bertty T1 - Optimizing Cross-Platform Data Movement T2 - 2019 IEEE 35th International Conference on Data Engineering (ICDE) N2 - Data analytics are moving beyond the limits of a single data processing platform. A cross-platform query optimizer is necessary to enable applications to run their tasks over multiple platforms efficiently and in a platform-agnostic manner. For the optimizer to be effective, it must consider data movement costs across different data processing platforms. In this paper, we present the graph-based data movement strategy used by RHEEM, our open-source cross-platform system. In particular, we (i) model the data movement problem as a new graph problem, which we prove to be NP-hard, and (ii) propose a novel graph exploration algorithm, which allows RHEEM to discover multiple hidden opportunities for cross-platform data processing. Y1 - 2019 SN - 978-1-5386-7474-1 SN - 978-1-5386-7475-8 U6 - https://doi.org/10.1109/ICDE.2019.00162 SN - 1084-4627 SN - 1063-6382 SP - 1642 EP - 1645 PB - IEEE CY - New York ER - TY - GEN A1 - Krawietz, Marian A1 - Goebel, Jan A1 - Albrecht, Sophia A1 - Class, Fabian A1 - Kohler, Ulrich T1 - Leben in der ehemaligen DDR BT - Zusatzfragebogen im Rahmen der Befragung "Leben in Deutschland 2018" / Living in the GDR Y1 - 2019 U6 - https://doi.org/10.5684/soep.ddr18 PB - German Institute for Economic Research (DIW Berlin) CY - Berlin ER - TY - GEN A1 - Krause, Andreas A1 - Kloft, Charlotte A1 - Huisinga, Wilhelm A1 - Karlsson, Mats A1 - Pinheiro, José A1 - Bies, Robert A1 - Rogers, James A1 - Mentré, France A1 - Musser, Bret J. T1 - Comment on Jaki et al., A proposal for a new PhD level curriculum on quantitative methods for drug development T2 - Pharmaceutical statistics : the journal of applied statistics in the pharmaceutical industry Y1 - 2019 SN - 1539-1604 SN - 1539-1612 VL - 18 IS - 3 SP - 278 EP - 281 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Kovacs, Robert A1 - Ion, Alexandra A1 - Lopes, Pedro A1 - Oesterreich, Tim A1 - Filter, Johannes A1 - Otto, Philip A1 - Arndt, Tobias A1 - Ring, Nico A1 - Witte, Melvin A1 - Synytsia, Anton A1 - Baudisch, Patrick T1 - TrussFormer BT - 3D Printing Large Kinetic Structures T2 - The 31st Annual ACM Symposium on User Interface Software and Technology N2 - We present TrussFormer, an integrated end-to-end system that allows users to 3D print large-scale kinetic structures, i.e., structures that involve motion and deal with dynamic forces. TrussFormer builds on TrussFab, from which it inherits the ability to create static large-scale truss structures from 3D printed connectors and PET bottles. TrussFormer adds movement to these structures by placing linear actuators into them: either manually, wrapped in reusable components called assets, or by demonstrating the intended movement. TrussFormer verifies that the resulting structure is mechanically sound and will withstand the dynamic forces resulting from the motion. To fabricate the design, TrussFormer generates the underlying hinge system that can be printed on standard desktop 3D printers. We demonstrate TrussFormer with several example objects, including a 6-legged walking robot and a 4m-tall animatronics dinosaur with 5 degrees of freedom. KW - fabrication KW - 3D printing KW - variable geometry truss KW - large-scale mechanism Y1 - 2019 SN - 978-1-4503-5971-9 U6 - https://doi.org/10.1145/3290607.3311766 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Kleinpeter, Erich A1 - Shainyan, Bagrat A. T1 - Very low-temperature dynamic Si-29 NMR study of the conformational equilibrium of (1,1-phenyl-1,1-silacyclohex-1-yl)disiloxane T2 - Magnetic resonance in chemistry Y1 - 2019 U6 - https://doi.org/10.1002/mrc.4870 SN - 0749-1581 SN - 1097-458X VL - 57 IS - 6 SP - 317 EP - 319 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Kalkuhl, Matthias A1 - Steckel, Jan Christoph A1 - Montrone, Lorenzo A1 - Jakob, Michael A1 - Peters, Jörg A1 - Edenhofer, Ottmar T1 - Successful coal phase-out requires new models of development T2 - Nature Energy N2 - Different energy sources have different spillovers on economic development and industrialization. Pathways of economic development based on renewable energy sources might require additional policies to support industrial development. Y1 - 2019 U6 - https://doi.org/10.1038/s41560-019-0500-5 SN - 2058-7546 VL - 4 IS - 11 SP - 897 EP - 900 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Hölzle, Katharina A1 - Björk, Jennie A1 - Visscher, Klaasjan T1 - Editorial T2 - Creativity and innovation management N2 - The new year starts and many of us have right away been burdened with conference datelines, grant proposal datelines, teaching obligations, paper revisions and many other things. While being more or less successful in fulfilling To‐Do lists and ticking of urgent (and sometimes even important) things, we often feel that our ability to be truly creative or innovative is rather restrained by this (external pressure). With this, we are not alone. Many studies have shown that stress does influence overall work performance and satisfaction. Furthermore, more and more students and entry‐levels look for work‐life balance and search for employers that offer a surrounding and organization considering these needs. High‐Tech and start‐up companies praise themselves for their “Feel‐Good managers” or Yoga programs. But is this really helpful? Is there indeed a relationship between stress, adverse work environment and creativity or innovation? What are the supporting factors in a work environment that lets employees be more creative? What kind of leadership do we need for innovative behaviour and to what extent can an organization create support structures that reduce the stress we feel? The first issue of Creativity and Innovation Management in 2019 gives some first answers to these questions and hopefully some food for thought. The first paper written by Dirk De Clercq, and Imanol Belausteguigoitia starts with the question which impact work overload has on creative behaviour. The authors look at how employees' perceptions of work overload reduces their creative behaviour. While they find empirical proof for this relationship, they can also show that the effect is weaker with higher levels of passion for work, emotion sharing, and organizational commitment. The buffering effects of emotion sharing and organizational commitment are particularly strong when they are combined with high levels of passion for work. Their findings give first empirical proof that organizations can and should take an active role in helping their employees reducing the effects of adverse work conditions in order to become or stay creative. However, not only work overload is harming creative behaviour, also the fear of losing one's job has detrimental effects on innovative work behaviour. Anahi van Hootegem, Wendy Niesen and Hans de Witte verify that stress and adverse environmental conditions shape our perception of work. Using threat rigidity theory and an empirical study of 394 employees, they show that the threat of job loss impairs employees' innovativeness through increased irritation and decreased concentration. Organizations can help their employees coping better with this insecurity by communicating more openly and providing different support structures. Support often comes from leadership and the support of the supervisor can clearly shape an employee's motivation to show creative behaviour. Wenjing Cai, Evgenia Lysova, Bart A. G. Bossink, Svetlana N. Khapova and Weidong Wang report empirical findings from a large‐scale survey in China where they find that supervisor support for creativity and job characteristics effectively activate individual psychological capital associated with employee creativity. On a slight different notion, Gisela Bäcklander looks at agile practices in a very well‐known High Tech firm. In “Doing Complexity Leadership Theory: How agile coaches at Spotify practice enabling leadership”, she researches the role of agile coaches and how they practice enabling leadership, a key balancing force in complexity leadership. She finds that the active involvement of coaches in observing group dynamics, surfacing conflict and facilitating and encouraging constructive dialogue leads to a positive working environment and the well‐being of employees. Quotes from the interviews suggest that the flexible structure provided by the coaches may prove a fruitful way to navigate and balance autonomy and alignment in organizations. The fifth paper of Frederik Anseel, Michael Vandamme, Wouter Duyck and Eric Rietzchel goes a little further down this road and researches how groups can be motivated better to select truly creative ideas. We know from former studies that groups often perform rather poorly when it comes to selecting creative ideas for implementation. The authors find in an extensive field experiment that under conditions of high epistemic motivation, proself motivated groups select significantly more creative and original ideas than prosocial groups. They conclude however, that more research is needed to understand better why these differences occur. The prosocial behaviour of groups is also the theme of Karin Moser, Jeremy F. Dawson and Michael A. West's paper on “Antecedents of team innovation in health care teams”. They look at team‐level motivation and how a prosocial team environment, indicated by the level of helping behaviour and information‐sharing, may foster innovation. Their results support the hypotheses of both information‐sharing and helping behaviour on team innovation. They suggest that both factors may actually act as buffer against constraints in team work, such as large team size or high occupational diversity in cross‐functional health care teams, and potentially turn these into resources supporting team innovation rather than acting as barriers. Away from teams and onto designing favourable work environments, the seventh paper of Ferney Osorio, Laurent Dupont, Mauricio Camargo, Pedro Palominos, Jose Ismael Pena and Miguel Alfaro looks into innovation laboratories. Although several studies have tackled the problem of design, development and sustainability of these spaces for innovation, there is still a gap in understanding how the capabilities and performance of these environments are affected by the strategic intentions at the early stages of their design and functioning. The authors analyse and compare eight existing frameworks from literature and propose a new framework for researchers and practitioners aiming to assess or to adapt innovation laboratories. They test their framework in an exploratory study with fifteen laboratories from five different countries and give recommendations for the future design of these laboratories. From design to design thinking goes our last paper from Rama Krishna Reddy Kummitha on “Design Thinking in Social Organisations: Understanding the role of user engagement” where she studies how users persuade social organisations to adopt design thinking. Looking at four social organisations in India during 2008 to 2013, she finds that the designer roles are blurred when social organisations adopt design thinking, while users in the form of interconnecting agencies reduce the gap between designers and communities. The last two articles were developed from papers presented at the 17th International CINet conference organized in Turin in 2016 by Paolo Neirotti and his colleagues. In the first article, Fábio Gama, Johan Frishammar and Vinit Parida focus on ideation and open innovation in small‐ and medium‐sized enterprises. They investigate the relationship between systematic idea generation and performance and the moderating role of market‐based partnerships. Based on a survey among manufacturing SMEs, they conclude that higher levels of performance are reached and that collaboration with customers and suppliers pays off most when idea generation is done in a highly systematic way. The second article, by Anna Holmquist, Mats Magnusson and Mona Livholts, resonates the theme of the CINet conference ‘Innovation and Tradition; combining the old and the new’. They explore how tradition is used in craft‐based design practices to create new meaning. Applying a narrative ‘research through design’ approach they uncover important design elements, and tensions between them. Please enjoy this first issue of CIM in 2019 and we wish you creativity and innovation without too much stress in the months to come. Y1 - 2019 U6 - https://doi.org/10.1111/caim.12307 SN - 0963-1690 SN - 1467-8691 VL - 28 IS - 1 SP - 3 EP - 4 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Höfer, Chris Tina A1 - Di Lella, Santiago A1 - Dahmani, Ismail A1 - Jungnick, Nadine A1 - Bordag, Natalie A1 - Bobone, Sara A1 - Huan, Q. A1 - Keller, S. A1 - Herrmann, A. A1 - Chiantia, Salvatore T1 - Corrigendum to: Structural determinants of the interaction between influenza A virus matrix protein M1 and lipid membranes (Biochimica et Biophysica Acta (BBA) - Biomembranes. - 1861, (2019), pg 1123-1134) T2 - Biochimica et biophysica acta : Biomembranes Y1 - 2019 U6 - https://doi.org/10.1016/j.bbamem.2019.07.002 SN - 0005-2736 SN - 1879-2642 VL - 1861 IS - 10 PB - Elsevier CY - Amsterdam ER - TY - GEN A1 - Hugenschmidt, Johannes A1 - Giannopoulos, Antonios A1 - Tronicke, Jens T1 - Foreword T2 - Near surface geophysics Y1 - 2019 U6 - https://doi.org/10.1002/nsg.12050 SN - 1569-4445 SN - 1873-0604 VL - 17 IS - 3 SP - 199 EP - 200 PB - Wiley CY - Oxford ER - TY - GEN A1 - Horreo, J. L. A1 - Breedveld, Merel Cathelijne A1 - Lindtke, D. A1 - Heulin, B. A1 - Surget-Groba, Yann A1 - Fitze, Patrick S. T1 - Correction: Genetic introgression among differentiated clades is lower among clades exhibiting different parity modes. - (Heredity. - 123, (2019) pg 264) T2 - Heredity N2 - The original version of this Article contained an error in the spelling of the author Y. Surget-Groba, which was incorrectly given as J. Surget-Groba. This has now been corrected in both the PDF and HTML versions of the Article. Y1 - 2019 U6 - https://doi.org/10.1038/s41437-019-0223-1 SN - 0018-067X SN - 1365-2540 VL - 123 IS - 2 SP - 285 EP - 285 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Hickmann, Thomas A1 - Partzsch, Lena A1 - Pattberg, Philipp H. A1 - Weiland, Sabine T1 - Introduction BT - A political science perspective on the Anthropocene T2 - The Anthropocene Debate and Political Science N2 - Over the past decades, it has become more and more obvious that ongoing globalisation processes have substantial impacts on the natural environment. Studies reveal that intensified global economic relations have caused or accelerated dramatic changes in the Earth system, defined as the sum of our planet’s interacting physical, chemical, biological and human processes (Schellnhuber et al. 2004). Climate change, biodiversity loss, disrupted biogeochemical cycles, and land degradation are often cited as emblematic problems of global environmental change (Rockström et al. 2009; Steffen et al. 2015). In this context, the term Anthropocene has lately received widespread attention and gained some prominence in the academic literature Y1 - 2019 SN - 978-1-351-17412-1 SN - 978-0-8153-8614-8 U6 - https://doi.org/10.4324/9781351174121 IS - 1 SP - 1 EP - 12 PB - Routledge CY - London ER - TY - GEN A1 - Heucher, Angela T1 - Reconsidering overlap in global food security governance T2 - Food security : the science, sociology and economics of food production and access to food Y1 - 2019 U6 - https://doi.org/10.1007/s12571-019-00916-z SN - 1876-4517 SN - 1876-4525 VL - 11 IS - 3 SP - 555 EP - 558 PB - Springer Netherlands CY - Dordrecht ER - TY - GEN A1 - Hesse, Günter A1 - Matthies, Christoph A1 - Sinzig, Werner A1 - Uflacker, Matthias T1 - Adding Value by Combining Business and Sensor Data BT - an Industry 4.0 Use Case T2 - Database Systems for Advanced Applications N2 - Industry 4.0 and the Internet of Things are recent developments that have lead to the creation of new kinds of manufacturing data. Linking this new kind of sensor data to traditional business information is crucial for enterprises to take advantage of the data’s full potential. In this paper, we present a demo which allows experiencing this data integration, both vertically between technical and business contexts and horizontally along the value chain. The tool simulates a manufacturing company, continuously producing both business and sensor data, and supports issuing ad-hoc queries that answer specific questions related to the business. In order to adapt to different environments, users can configure sensor characteristics to their needs. KW - Industry 4.0 KW - Internet of Things KW - Data integration Y1 - 2019 SN - 978-3-030-18590-9 SN - 978-3-030-18589-3 U6 - https://doi.org/10.1007/978-3-030-18590-9_80 SN - 0302-9743 SN - 1611-3349 VL - 11448 SP - 528 EP - 532 PB - Springer CY - Cham ER - TY - GEN A1 - Herzog, Benedict A1 - Hönig, Timo A1 - Schröder-Preikschat, Wolfgang A1 - Plauth, Max A1 - Köhler, Sven A1 - Polze, Andreas T1 - Bridging the Gap BT - Energy-efficient Execution of Software Workloads on Heterogeneous Hardware Components T2 - e-Energy '19: Proceedings of the Tenth ACM International Conference on Future Energy Systems N2 - The recent restructuring of the electricity grid (i.e., smart grid) introduces a number of challenges for today's large-scale computing systems. To operate reliable and efficient, computing systems must adhere not only to technical limits (i.e., thermal constraints) but they must also reduce operating costs, for example, by increasing their energy efficiency. Efforts to improve the energy efficiency, however, are often hampered by inflexible software components that hardly adapt to underlying hardware characteristics. In this paper, we propose an approach to bridge the gap between inflexible software and heterogeneous hardware architectures. Our proposal introduces adaptive software components that dynamically adapt to heterogeneous processing units (i.e., accelerators) during runtime to improve the energy efficiency of computing systems. Y1 - 2019 SN - 978-1-4503-6671-7 U6 - https://doi.org/10.1145/3307772.3330176 SP - 428 EP - 430 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Hernandez, Netzahualcoyotl A1 - Demiray, Burcu A1 - Arnrich, Bert A1 - Favela, Jesus T1 - An Exploratory Study to Detect Temporal Orientation Using Bluetooth's sensor T2 - PervasiveHealth'19: Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare N2 - Mobile sensing technology allows us to investigate human behaviour on a daily basis. In the study, we examined temporal orientation, which refers to the capacity of thinking or talking about personal events in the past and future. We utilise the mksense platform that allows us to use the experience-sampling method. Individual's thoughts and their relationship with smartphone's Bluetooth data is analysed to understand in which contexts people are influenced by social environments, such as the people they spend the most time with. As an exploratory study, we analyse social condition influence through a collection of Bluetooth data and survey information from participant's smartphones. Preliminary results show that people are likely to focus on past events when interacting with close-related people, and focus on future planning when interacting with strangers. Similarly, people experience present temporal orientation when accompanied by known people. We believe that these findings are linked to emotions since, in its most basic state, emotion is a state of physiological arousal combined with an appropriated cognition. In this contribution, we envision a smartphone application for automatically inferring human emotions based on user's temporal orientation by using Bluetooth sensors, we briefly elaborate on the influential factor of temporal orientation episodes and conclude with a discussion and lessons learned. KW - Mobile sensing KW - Temporal orientation KW - Social environment KW - Human behaviour KW - Bluetooth Y1 - 2019 SN - 978-1-4503-6126-2 U6 - https://doi.org/10.1145/3329189.3329223 SN - 2153-1633 SP - 292 EP - 297 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Hermanussen, Michael A1 - Scheffler, Christiane A1 - Groth, Detlef A1 - Bogin, Barry T1 - Student work on trends in infant and child growth BT - an editorial T2 - Journal of biological and clinical anthropology : Anthropologischer Anzeiger : Mitteilungsorgan der Gesellschaft für Anthropologie KW - nutrition KW - impact on growth KW - geographic neighborhood KW - mortality bias KW - limb disproportions KW - physical activity KW - socioeconomic status KW - parental age KW - statistical tools Y1 - 2019 U6 - https://doi.org/10.1127/anthranz/2019/1052 SN - 0003-5548 VL - 76 IS - 5 SP - 363 EP - 364 PB - Schweizerbart CY - Stuttgart ER - TY - GEN A1 - Hermanussen, Michael A1 - Bogin, Barry A1 - Scheffler, Christiane T1 - The impact of social identity and social dominance on the regulation of human growth: A viewpoint T2 - Acta paediatrica : nurturing the child Y1 - 2019 U6 - https://doi.org/10.1111/apa.14970 SN - 0803-5253 SN - 1651-2227 VL - 108 IS - 12 SP - 2132 EP - 2134 PB - Wiley CY - Hoboken ER - TY - GEN A1 - Heinicker, Paul A1 - Likavcan, Lukas A1 - Lin, Qiao T1 - alt'ai: designing machine-to-machine interfaces for automated landscapes N2 - alt'ai is an agent-based simulation inspired by aesthetics, culture and environmental conditions of the Altai mountain region on the borders between Russia, Kazakhstan, China and Mongolia. It is set into a scenario of a remote automated landscape populated by sentient machines, where biological species, machines and environments autonomously interact to produce unforeseeable visual outputs. It poses a question of designing future machine-to-machine authentication protocols that are based on the use of images encoding agent behavior. Also, the simulation provides rich visual perspective on this challenge. The project pleads for a heavily aestheticized approach to design practice and highlights the importance of productively inefficient and information redundant systems. Y1 - 2019 SN - 978-1-4503-6311-2 U6 - https://doi.org/10.1145/3306211.3320146 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Han van der, Aa A1 - Di Ciccio, Claudio A1 - Leopold, Henrik A1 - Reijers, Hajo A. T1 - Extracting Declarative Process Models from Natural Language T2 - Advanced Information Systems Engineering (CAISE 2019) N2 - Process models are an important means to capture information on organizational operations and often represent the starting point for process analysis and improvement. Since the manual elicitation and creation of process models is a time-intensive endeavor, a variety of techniques have been developed that automatically derive process models from textual process descriptions. However, these techniques, so far, only focus on the extraction of traditional, imperative process models. The extraction of declarative process models, which allow to effectively capture complex process behavior in a compact fashion, has not been addressed. In this paper we close this gap by presenting the first automated approach for the extraction of declarative process models from natural language. To achieve this, we developed tailored Natural Language Processing techniques that identify activities and their inter-relations from textual constraint descriptions. A quantitative evaluation shows that our approach is able to generate constraints that closely resemble those established by humans. Therefore, our approach provides automated support for an otherwise tedious and complex manual endeavor. KW - Declarative modelling KW - Natural language processing KW - Model extraction Y1 - 2019 SN - 978-3-030-21290-2 SN - 978-3-030-21289-6 U6 - https://doi.org/10.1007/978-3-030-21290-2_23 SN - 0302-9743 SN - 1611-3349 VL - 11483 SP - 365 EP - 382 PB - Springer CY - Cham ER - TY - GEN A1 - Halfpap, Stefan A1 - Schlosser, Rainer T1 - Workload-Driven Fragment Allocation for Partially Replicated Databases Using Linear Programming T2 - 2019 IEEE 35th International Conference on Data Engineering (ICDE) N2 - In replication schemes, replica nodes can process read-only queries on snapshots of the master node without violating transactional consistency. By analyzing the workload, we can identify query access patterns and replicate data depending to its access frequency. In this paper, we define a linear programming (LP) model to calculate the set of partial replicas with the lowest overall memory capacity while evenly balancing the query load. Furthermore, we propose a scalable decomposition heuristic to calculate solutions for larger problem sizes. While guaranteeing the same performance as state-of-the-art heuristics, our decomposition approach calculates allocations with up to 23% lower memory footprint for the TPC-H benchmark. KW - database replication KW - allocation problem KW - linear programming Y1 - 2019 SN - 978-1-5386-7474-1 SN - 978-1-5386-7475-8 U6 - https://doi.org/10.1109/ICDE.2019.00188 SN - 1084-4627 SN - 2375-026X SN - 1063-6382 SP - 1746 EP - 1749 PB - IEEE CY - New York ER - TY - GEN A1 - Halfpap, Stefan A1 - Schlosser, Rainer T1 - A Comparison of Allocation Algorithms for Partially Replicated Databases T2 - 2019 IEEE 35th International Conference on Data Engineering (ICDE) N2 - Increasing demand for analytical processing capabilities can be managed by replication approaches. However, to evenly balance the replicas' workload shares while at the same time minimizing the data replication factor is a highly challenging allocation problem. As optimal solutions are only applicable for small problem instances, effective heuristics are indispensable. In this paper, we test and compare state-of-the-art allocation algorithms for partial replication. By visualizing and exploring their (heuristic) solutions for different benchmark workloads, we are able to derive structural insights and to detect an algorithm's strengths as well as its potential for improvement. Further, our application enables end-to-end evaluations of different allocations to verify their theoretical performance. Y1 - 2019 SN - 978-1-5386-7474-1 SN - 978-1-5386-7475-8 U6 - https://doi.org/10.1109/ICDE.2019.00226 SN - 1084-4627 SN - 2375-026X SN - 1063-6382 SP - 2008 EP - 2011 PB - IEEE CY - New York ER - TY - GEN A1 - Gudipudi, Venkata Ramana A1 - Rybski, Diego A1 - Lüdeke, Matthias K. B. A1 - Kropp, Jürgen T1 - Urban emission scaling - Research insights and a way forward T2 - Environment and Planning B: Urban Analytics and City Science Y1 - 2019 U6 - https://doi.org/10.1177/2399808319825867 SN - 2399-8083 SN - 2399-8091 VL - 46 IS - 9 SP - 1678 EP - 1683 PB - Sage Publ. CY - London ER - TY - GEN A1 - Grote, Jürgen R. A1 - Wagemann, Claudius T1 - Preface T2 - Social Movements and Organized Labour. Passions and Interests Y1 - 2019 SN - 978-1-315-60955-3 SN - 978-1-4724-7204-5 SP - X EP - XII PB - Routledge CY - Abingdon ER - TY - GEN A1 - Goychuk, Igor T1 - Comment on "Anomalous Escape Governed by Thermal 1/f Noise" Reply (R. K. Singh) T2 - Physical review letters Y1 - 2019 U6 - https://doi.org/10.1103/PhysRevLett.123.238902 SN - 0031-9007 SN - 1079-7114 VL - 123 IS - 23 PB - American Physical Society CY - College Park ER - TY - GEN A1 - Gonzalez-Lopez, Fernanda A1 - Pufahl, Luise T1 - A Landscape for Case Models T2 - Enterprise, Business-Process and Information Systems Modeling N2 - Case Management is a paradigm to support knowledge-intensive processes. The different approaches developed for modeling these types of processes tend to result in scattered models due to the low abstraction level at which the inherently complex processes are therein represented. Thus, readability and understandability is more challenging than that of traditional process models. By reviewing existing proposals in the field of process overviews and case models, this paper extends a case modeling language - the fragment-based Case Management (fCM) language - with the goal of modeling knowledge-intensive processes from a higher abstraction level - to generate a so-called fCM landscape. This proposal is empirically evaluated via an online experiment. Results indicate that interpreting an fCM landscape might be more effective and efficient than interpreting an informationally equivalent case model. KW - Case Management KW - Process landscape KW - Process map KW - Process architecture KW - Process model Y1 - 2019 SN - 978-3-030-20618-5 SN - 978-3-030-20617-8 U6 - https://doi.org/10.1007/978-3-030-20618-5_6 SN - 1865-1348 VL - 352 SP - 87 EP - 102 PB - Springer CY - Berlin ER - TY - GEN A1 - Giese, Holger Burkhard T1 - Software Engineering for Smart Cyber-Physical Systems BT - Challenges and Opportunities T2 - Proceedings of the 12th Innovations on Software Engineering Conference N2 - Currently, a transformation of our technical world into a networked technical world where besides the embedded systems with their interaction with the physical world the interconnection of these nodes in the cyber world becomes a reality can be observed. In parallel nowadays there is a strong trend to employ artificial intelligence techniques and in particular machine learning to make software behave smart. Often cyber-physical systems must be self-adaptive at the level of the individual systems to operate as elements in open, dynamic, and deviating overall structures and to adapt to open and dynamic contexts while being developed, operated, evolved, and governed independently. In this presentation, we will first discuss the envisioned future scenarios for cyber-physical systems with an emphasis on the synergies networking can offer and then characterize which challenges for the design, production, and operation of these systems result. We will then discuss to what extent our current capabilities, in particular concerning software engineering match these challenges and where substantial improvements for the software engineering are crucial. In today's software engineering for embedded systems models are used to plan systems upfront to maximize envisioned properties on the one hand and minimize cost on the other hand. When applying the same ideas to software for smart cyber-physical systems, it soon turned out that for these systems often somehow more subtle links between the involved models and the requirements, users, and environment exist. Self-adaptation and runtime models have been advocated as concepts to covers the demands that result from these subtler links. Lately, both trends have been brought together more thoroughly by the notion of self-aware computing systems. We will review the underlying causes, discuss some our work in this direction, and outline related open challenges and potential for future approaches to software engineering for smart cyber-physical systems. KW - Software Engineering KW - Cyber-Physical Systems KW - Self-aware computing systems Y1 - 2019 SN - 978-1-4503-6215-3 U6 - https://doi.org/10.1145/3299771.3301650 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Ghahremani, Sona A1 - Giese, Holger T1 - Performance evaluation for self-healing systems BT - Current Practice & Open Issues T2 - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W) N2 - Evaluating the performance of self-adaptive systems (SAS) is challenging due to their complexity and interaction with the often highly dynamic environment. In the context of self-healing systems (SHS), employing simulators has been shown to be the most dominant means for performance evaluation. Simulating a SHS also requires realistic fault injection scenarios. We study the state of the practice for evaluating the performance of SHS by means of a systematic literature review. We present the current practice and point out that a more thorough and careful treatment in evaluating the performance of SHS is required. KW - self-healing KW - failure profile KW - evaluation KW - simulator KW - performance Y1 - 2019 SN - 978-1-7281-2406-3 U6 - https://doi.org/10.1109/FAS-W.2019.00039 SP - 116 EP - 119 PB - IEEE CY - New York ER - TY - GEN A1 - Gerhard, Reimund A1 - Kaltenbrunner, Martin T1 - In Memoriam Siegfried Bauer T2 - IEEE electrical insulation magazine N2 - Siegfried Bauer, an internationally renowned, very creative applied physicist, who also was a prolific materials scientist and engineer, died on December 30, 2018, in Linz, Austria, after a one-year battle with cancer. He was full professor of soft-matter physics at the Johannes Kepler University Linz, Austria, and a scientific leader and innovator across the fields but mainly in the areas of electro-active materials (including electrets) and stretchable and imperceptible electronics. Y1 - 2019 U6 - https://doi.org/10.1109/MEI.2019.8636175 SN - 0883-7554 SN - 1558-4402 VL - 35 IS - 2 SP - 76 EP - 78 PB - IEEE CY - Piscataway ER - TY - GEN A1 - Gerhard, Reimund T1 - Dielectric materials for electro-active (electret) and/or electro-passive (insulation) applications T2 - 2nd International Conference on Electrical Materials and Power Equipment (ICEMPE 2019) N2 - Dielectric materials for electret applications usually have to contain a quasi-permanent space charge or dipole polarization that is stable over large temperature ranges and time periods. For electrical-insulation applications, on the other hand, a quasi-permanent space charge or dipole polarization is usually considered detrimental. In recent years, however, with the advent of high-voltage direct-current (HVDC) transmission and high-voltage capacitors for energy storage, new possibilities are being explored in the area of high-voltage dielectrics. Stable charge trapping (as e.g. found in nano-dielectrics) or large dipole polarizations (as e.g. found in relaxor ferroelectrics and high-permittivity dielectrics) are no longer considered to be necessarily detrimental in electrical-insulation materials. On the other hand, recent developments in electro-electrets (dielectric elastomers), i.e. very soft dielectrics with large actuation strains and high breakdown fields, and in ferroelectrets, i.e. polymers with electrically charged cavities, have resulted in new electret materials that may also be useful for HVDC insulation systems. Furthermore, 2-dimensional (nano-particles on surfaces or interfaces) and 3-dimensional (nano-particles in the bulk) nano-dielectrics have been found to provide very good charge-trapping properties that may not only be used for more stable electrets and ferroelectrets, but also for better HVDC electrical-insulation materials with the possibility to optimize charge-transport and field-gradient behavior. In view of these and other recent developments, a first attempt will be made to review a small selection of electro-active (i.e. electret) and electro-passive (i.e. insulation) dielectrics in direct comparison. Such a comparative approach may lead to synergies in materials concepts and research methods that will benefit both areas. Furthermore, electrets may be very useful for sensing and monitoring applications in electrical-insulation systems, while high-voltage technology is essential for more efficient charging and poling of electret materials. KW - Dielectric materials KW - Electrets KW - Electrical insulation KW - Electro-active and electro-passive dielectrics KW - Nano-dielectrics KW - Charging or poling KW - Charge storage and transport Y1 - 2019 SN - 978-1-5386-8434-4 SN - 978-1-5386-8435-1 U6 - https://doi.org/10.1109/ICEMPE.2019.8727276 SP - 91 EP - 96 PB - IEEE CY - New York ER - TY - GEN A1 - George, Elizabeth A1 - Kearney, Eric T1 - Editorial T2 - Organizational Psychology Review Y1 - 2019 U6 - https://doi.org/10.1177/2041386619900697 SN - 2041-3866 SN - 2041-3874 VL - 9 IS - 4 SP - 209 EP - 210 PB - Sage Publ. CY - Thousand Oaks ER - TY - GEN A1 - Geissman, John A1 - Jolivet, Laurent A1 - Rusmore, Margi A1 - Niemi, Nathan A1 - Schildgen, Taylor F. T1 - Thank you to our 2018 peer reviewers T2 - Tectonics N2 - An essential, respected, and critical aspect of the modern practice of science and scientific publishing is peer review. The process of peer review facilitates best practices in scientific conduct and communication, ensuring that manuscripts published are as accurate, valuable, and clearly communicated. The over 216 papers published in Tectonics in 2018 benefit from the time, effort, and expertise of our reviewers who have provided thoughtfully considered advice on each manuscript. This role is critical to advancing our understanding of the evolution of the continents and their margins, as these reviews lead to even clearer and higher-quality papers. In 2018, the over 443 papers submitted to Tectonics were the beneficiaries of more than 1,010 reviews provided by 668 members of the tectonics community and related disciplines. To everyone who has volunteered their time and intellect to peer reviewing, thank you for helping Tectonics and all other AGU Publications provide the best science possible. Y1 - 2019 U6 - https://doi.org/10.1029/2019TC005595 SN - 0278-7407 SN - 1944-9194 VL - 38 IS - 4 SP - 1159 EP - 1163 PB - Hoboken CY - Wiley ER - TY - GEN A1 - Friedrich, Tobias T1 - From graph theory to network science BT - the natural emergence of hyperbolicity (Tutorial) T2 - 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) N2 - Network science is driven by the question which properties large real-world networks have and how we can exploit them algorithmically. In the past few years, hyperbolic graphs have emerged as a very promising model for scale-free networks. The connection between hyperbolic geometry and complex networks gives insights in both directions: (1) Hyperbolic geometry forms the basis of a natural and explanatory model for real-world networks. Hyperbolic random graphs are obtained by choosing random points in the hyperbolic plane and connecting pairs of points that are geometrically close. The resulting networks share many structural properties for example with online social networks like Facebook or Twitter. They are thus well suited for algorithmic analyses in a more realistic setting. (2) Starting with a real-world network, hyperbolic geometry is well-suited for metric embeddings. The vertices of a network can be mapped to points in this geometry, such that geometric distances are similar to graph distances. Such embeddings have a variety of algorithmic applications ranging from approximations based on efficient geometric algorithms to greedy routing solely using hyperbolic coordinates for navigation decisions. KW - Graph Theory KW - Graph Algorithms KW - Network Science KW - Hyperbolic Geometry Y1 - 2019 SN - 978-3-95977-100-9 U6 - https://doi.org/10.4230/LIPIcs.STACS.2019.5 VL - 126 PB - Schloss Dagstuhl-Leibniz-Zentrum für Informatik CY - Dragstuhl ER - TY - GEN A1 - Florio, Alessandro A1 - Trapp, Matthias A1 - Döllner, Jürgen Roland Friedrich T1 - Semantic-driven Visualization Techniques for Interactive Exploration of 3D Indoor Models T2 - 2019 23rd International Conference Information Visualisation (IV) N2 - The availability of detailed virtual 3D building models including representations of indoor elements, allows for a wide number of applications requiring effective exploration and navigation functionality. Depending on the application context, users should be enabled to focus on specific Objects-of-Interests (OOIs) or important building elements. This requires approaches to filtering building parts as well as techniques to visualize important building objects and their relations. For it, this paper explores the application and combination of interactive rendering techniques as well as their semanticallydriven configuration in the context of 3D indoor models. KW - Building Information Models KW - BIM KW - Industry Foundation Classes KW - IFC KW - Interactive Visualization KW - Real-time Rendering Y1 - 2019 SN - 978-1-7281-2838-2 SN - 978-1-7281-2839-9 U6 - https://doi.org/10.1109/IV.2019.00014 SN - 2375-0138 SN - 1550-6037 SP - 25 EP - 30 PB - Inst. of Electr. and Electronics Engineers CY - Los Alamitos ER - TY - GEN A1 - Fitzi, Gregor A1 - Turner, Bryan S. T1 - Introduction: From politics as a vocation to politics as a profession T2 - Journal of Classical Sociology Y1 - 2019 U6 - https://doi.org/10.1177/1468795X19851341 SN - 1468-795X SN - 1741-2897 VL - 19 IS - 4 SP - 311 EP - 315 PB - Sage Publ. CY - London ER - TY - GEN A1 - Fischer, Martin H. A1 - Shaki, Samuel T1 - How to make talks less boring T2 - Nature : the international weekly journal of science Y1 - 2019 U6 - https://doi.org/10.1038/d41586-019-00153-6 SN - 0028-0836 SN - 1476-4687 VL - 565 IS - 7739 SP - 294 EP - 294 PB - Nature Publ. Group CY - London ER - TY - GEN A1 - Finch, Nicolle L. A1 - Braker, I. P. A1 - Reindl, Nicole A1 - Barstow, Martin A. A1 - Casewell, Sarah L. A1 - Burleigh, M. A1 - Kupfer, Thomas A1 - Kilkenny, D. A1 - Geier, Stephan A1 - Schaffenroth, Veronika A1 - Bertolami Miller, Marcelo Miguel A1 - Taubenberger, Stefan A1 - Freudenthal, Joseph T1 - Spectral Analysis of Binary Pre-white Dwarf Systems T2 - Radiative signatures from the cosmos N2 - Short period double degenerate white dwarf (WD) binaries with periods of less than similar to 1 day are considered to be one of the likely progenitors of type Ia supernovae. These binaries have undergone a period of common envelope evolution. If the core ignites helium before the envelope is ejected, then a hot subdwarf remains prior to contracting into a WD. Here we present a comparison of two very rare systems that contain two hot subdwarfs in short period orbits. We provide a quantitative spectroscopic analysis of the systems using synthetic spectra from state-of-the-art non-LTE models to constrain the atmospheric parameters of the stars. We also use these models to determine the radial velocities, and thus calculate dynamical masses for the stars in each system. Y1 - 2019 SN - 978-1-58381-925-8 SN - 1050-3390 VL - 519 SP - 231 EP - 238 PB - Astronomical soc pacific CY - San Fransisco ER - TY - GEN A1 - Fichte, Johannes Klaus A1 - Hecher, Markus A1 - Meier, Arne T1 - Counting Complexity for Reasoning in Abstract Argumentation T2 - The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence N2 - In this paper, we consider counting and projected model counting of extensions in abstract argumentation for various semantics. When asking for projected counts we are interested in counting the number of extensions of a given argumentation framework while multiple extensions that are identical when restricted to the projected arguments count as only one projected extension. We establish classical complexity results and parameterized complexity results when the problems are parameterized by treewidth of the undirected argumentation graph. To obtain upper bounds for counting projected extensions, we introduce novel algorithms that exploit small treewidth of the undirected argumentation graph of the input instance by dynamic programming (DP). Our algorithms run in time double or triple exponential in the treewidth depending on the considered semantics. Finally, we take the exponential time hypothesis (ETH) into account and establish lower bounds of bounded treewidth algorithms for counting extensions and projected extension. Y1 - 2019 SN - 978-1-57735-809-1 SP - 2827 EP - 2834 PB - AAAI Press CY - Palo Alto ER - TY - GEN A1 - Ertl, Bernhard A1 - Luttenberger, Silke A1 - Lazarides, Rebecca A1 - Jones, M. Gail A1 - Paechter, Manuela T1 - Editorial: Gendered Paths into STEM. Disparities Between Females and Males in STEM Over the Life-Span T2 - Frontiers in psychology KW - attributions KW - self-concept KW - motivation KW - gender-sensitive didactics KW - occupational choices Y1 - 2019 U6 - https://doi.org/10.3389/fpsyg.2019.02758 SN - 1664-1078 VL - 10 PB - Frontiers Research Foundation CY - Lausanne ER - TY - GEN A1 - El-Nagar, Gumaa A. A1 - Lauermann, Iver A1 - Sarhan, Radwan Mohamed A1 - Roth, Christina T1 - Hierarchically structured iron-doped silver (Ag-Fe) lotus flowers for an efficient oxygen reduction reaction (vol 10, pg 7304 -7310, 2018) T2 - Nanoscale Y1 - 2019 U6 - https://doi.org/10.1039/c9nr90131k SN - 2040-3364 SN - 2040-3372 VL - 11 IS - 24 SP - 11975 EP - 11975 PB - Royal Society of Chemistry CY - Cambridge ER - TY - GEN A1 - Eckstein, Lars A1 - Schwarz, Anja T1 - Authors’ Response: The Making of Tupaia's Map Revisited T2 - The journal of pacific history Y1 - 2019 U6 - https://doi.org/10.1080/00223344.2019.1657500 SN - 1469-9605 SN - 0022-3344 VL - 54 IS - 4 SP - 549 EP - 561 PB - Routledge CY - London ER - TY - GEN A1 - Dunsing, Valentin A1 - Irmscher, Tobias A1 - Barbirz, Stefanie A1 - Chiantia, Salvatore T1 - Microviscosity of bacterial biofilm matrix characterized by fluorescence correlation spectroscopy and single particle tracking T2 - European biophysics journal : with biophysics letters ; an international journal of biophysics Y1 - 2019 U6 - https://doi.org/https://doi.org/10.1007/s00249-019-01373-4 SN - 0175-7571 SN - 1432-1017 VL - 48 SP - S115 EP - S115 PB - Springer CY - New York ER - TY - GEN A1 - Dolezalova, Barbora A1 - Kubatova, Brankica A1 - Kubat, Jiri A1 - Hamann, Wolf-Rainer T1 - The Quasi-WR Star HD 45166 Revisited T2 - Radiative signatures from the cosmos N2 - We studied the wind of the quasi Wolf-Rayet (qWR) star HD 45166. As a first step we modeled the observed UV spectra of this star by means of the state-of-the-art Potsdam Wolf-Rayet (PoWR) atmosphere code. We inferred the wind parameters and compared them with previous findings. Y1 - 2019 SN - 978-1-58381-925-8 SN - 1050-3390 VL - 519 SP - 197 EP - 200 PB - Astronomical soc pacific CY - San Fransisco ER - TY - GEN A1 - Deka, Pranab Jyoti A1 - Pohl, Martin A1 - Vafin, Sergei A1 - Bohdan, Artem T1 - Erratum: Revisit of Nonlinear Landau Damping for Electrostatic Instability Driven by Blazar-induced Pair Beams (The astrophysical journal. - 873 (2019), pg 10) T2 - The astrophysical journal : an international review of spectroscopy and astronomical physics Y1 - 2019 U6 - https://doi.org/10.3847/1538-4357/ab4593 SN - 0004-637X SN - 1538-4357 VL - 883 IS - 2 PB - IOP Publ. Ltd. CY - Bristol ER - TY - GEN A1 - de Vera, Jean-Pierre Paul A1 - Alawi, Mashal A1 - Backhaus, Theresa A1 - Baque, Mickael A1 - Billi, Daniela A1 - Boettger, Ute A1 - Berger, Thomas A1 - Bohmeier, Maria A1 - Cockell, Charles A1 - Demets, Rene A1 - de la Torre Noetzel, Rosa A1 - Edwards, Howell A1 - Elsaesser, Andreas A1 - Fagliarone, Claudia A1 - Fiedler, Annelie A1 - Foing, Bernard A1 - Foucher, Frederic A1 - Fritz, Jörg A1 - Hanke, Franziska A1 - Herzog, Thomas A1 - Horneck, Gerda A1 - Hübers, Heinz-Wilhelm A1 - Huwe, Björn A1 - Joshi, Jasmin Radha A1 - Kozyrovska, Natalia A1 - Kruchten, Martha A1 - Lasch, Peter A1 - Lee, Natuschka A1 - Leuko, Stefan A1 - Leya, Thomas A1 - Lorek, Andreas A1 - Martinez-Frias, Jesus A1 - Meessen, Joachim A1 - Moritz, Sophie A1 - Moeller, Ralf A1 - Olsson-Francis, Karen A1 - Onofri, Silvano A1 - Ott, Sieglinde A1 - Pacelli, Claudia A1 - Podolich, Olga A1 - Rabbow, Elke A1 - Reitz, Günther A1 - Rettberg, Petra A1 - Reva, Oleg A1 - Rothschild, Lynn A1 - Garcia Sancho, Leo A1 - Schulze-Makuch, Dirk A1 - Selbmann, Laura A1 - Serrano, Paloma A1 - Szewzyk, Ulrich A1 - Verseux, Cyprien A1 - Wadsworth, Jennifer A1 - Wagner, Dirk A1 - Westall, Frances A1 - Wolter, David A1 - Zucconi, Laura T1 - Limits of life and the habitability of Mars BT - the ESA space experiment BIOMEX on the ISS T2 - Astrobiology N2 - BIOMEX (BIOlogy and Mars EXperiment) is an ESA/Roscosmos space exposure experiment housed within the exposure facility EXPOSE-R2 outside the Zvezda module on the International Space Station (ISS). The design of the multiuser facility supports-among others-the BIOMEX investigations into the stability and level of degradation of space-exposed biosignatures such as pigments, secondary metabolites, and cell surfaces in contact with a terrestrial and Mars analog mineral environment. In parallel, analysis on the viability of the investigated organisms has provided relevant data for evaluation of the habitability of Mars, for the limits of life, and for the likelihood of an interplanetary transfer of life (theory of lithopanspermia). In this project, lichens, archaea, bacteria, cyanobacteria, snow/permafrost algae, meristematic black fungi, and bryophytes from alpine and polar habitats were embedded, grown, and cultured on a mixture of martian and lunar regolith analogs or other terrestrial minerals. The organisms and regolith analogs and terrestrial mineral mixtures were then exposed to space and to simulated Mars-like conditions by way of the EXPOSE-R2 facility. In this special issue, we present the first set of data obtained in reference to our investigation into the habitability of Mars and limits of life. This project was initiated and implemented by the BIOMEX group, an international and interdisciplinary consortium of 30 institutes in 12 countries on 3 continents. Preflight tests for sample selection, results from ground-based simulation experiments, and the space experiments themselves are presented and include a complete overview of the scientific processes required for this space experiment and postflight analysis. The presented BIOMEX concept could be scaled up to future exposure experiments on the Moon and will serve as a pretest in low Earth orbit. KW - EXPOSE-R2 KW - BIOMEX KW - Habitability KW - Limits of life KW - Extremophiles KW - Mars Y1 - 2019 U6 - https://doi.org/10.1089/ast.2018.1897 SN - 1531-1074 SN - 1557-8070 VL - 19 IS - 2 SP - 145 EP - 157 PB - Liebert CY - New Rochelle ER - TY - GEN A1 - Das Gupta, Mainak A1 - Roesch, Florian A1 - Hochrein, Lena A1 - Machens, Fabian A1 - Müller-Röber, Bernd T1 - Facilitating Genome Engineering Through RNP-mediated Precise Gene Targeting T2 - In Vitro Cellular & Developmental Biology - Plant Y1 - 2019 SN - 1054-5476 SN - 1475-2689 VL - 55 IS - 4 SP - 481 EP - 481 PB - Springer CY - New York ER - TY - GEN A1 - Chakraborty, Dhiman A1 - Hammer, Christian A1 - Bugiel, Sven T1 - Secure Multi-Execution in Android T2 - Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing N2 - Mobile operating systems, such as Google's Android, have become a fixed part of our daily lives and are entrusted with a plethora of private information. Congruously, their data protection mechanisms have been improved steadily over the last decade and, in particular, for Android, the research community has explored various enhancements and extensions to the access control model. However, the vast majority of those solutions has been concerned with controlling the access to data, but equally important is the question of how to control the flow of data once released. Ignoring control over the dissemination of data between applications or between components of the same app, opens the door for attacks, such as permission re-delegation or privacy-violating third-party libraries. Controlling information flows is a long-standing problem, and one of the most recent and practical-oriented approaches to information flow control is secure multi-execution. In this paper, we present Ariel, the design and implementation of an IFC architecture for Android based on the secure multi-execution of apps. Ariel demonstrably extends Android's system with support for executing multiple instances of apps, and it is equipped with a policy lattice derived from the protection levels of Android's permissions as well as an I/O scheduler to achieve control over data flows between application instances. We demonstrate how secure multi-execution with Ariel can help to mitigate two prominent attacks on Android, permission re-delegations and malicious advertisement libraries. KW - Android KW - Information flow control KW - secure multi-execution Y1 - 2019 SN - 978-1-4503-5933-7 U6 - https://doi.org/10.1145/3297280.3297469 SP - 1934 EP - 1943 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Chae, Woo Ri A1 - Metz, Sophie A1 - Weise, Jeanette A1 - Nowacki, Jan A1 - Piber, Dominique A1 - Mueller, Sven C. A1 - Wingenfeld, Katja A1 - Otte, Christian T1 - Effects of glucocorticoid and noradrenergic activity on spatial learning and spatial memory performance in healthy young adults T2 - Psychoneuroendocrinology Y1 - 2019 U6 - https://doi.org/10.1016/j.psyneuen.2019.07.037 SN - 0306-4530 VL - 107 SP - 14 EP - 14 PB - Elsevier CY - Oxford ER - TY - GEN A1 - Cestnik, Rok A1 - Abel, Markus T1 - Erratum: Inferring the dynamics of oscillatory systems using recurrent neural networks (Chaos : an interdisciplinary journal of nonlinear science. - 29 (2019) 063128) T2 - Chaos : an interdisciplinary journal of nonlinear science Y1 - 2019 U6 - https://doi.org/10.1063/1.5122803 SN - 1054-1500 SN - 1089-7682 VL - 29 IS - 8 PB - American Institute of Physics CY - Melville 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 -