TY - GEN A1 - Jakupec, Viktor T1 - Preface T2 - Development Aid-Populism and the End of the Neoliberal Agenda Y1 - 2018 SN - 978-3-319-72748-6 SN - 978-3-319-72747-9 U6 - https://doi.org/10.1007/978-3-319-72748-6 SN - 2211-4548 SN - 2211-4556 SP - V EP - IX PB - Springer CY - Cham ER - TY - GEN A1 - Patalas-Maliszewska, Justyna A1 - Krebs, Irene T1 - An Information System Supporting the Eliciting of Expert Knowledge for Successful IT Projects T2 - Information and Software Technologies, ICIST 2018 N2 - In order to guarantee the success of an IT project, it is necessary for a company to possess expert knowledge. The difficulty arises when experts no longer work for the company and it then becomes necessary to use their knowledge, in order to realise an IT project. In this paper, the ExKnowIT information system which supports the eliciting of expert knowledge for successful IT projects, is presented and consists of the following modules: (1) the identification of experts for successful IT projects, (2) the eliciting of expert knowledge on completed IT projects, (3) the expert knowledge base on completed IT projects, (4) the Group Method for Data Handling (GMDH) algorithm, (5) new knowledge in support of decisions regarding the selection of a manager for a new IT project. The added value of our system is that these three approaches, namely, the elicitation of expert knowledge, the success of an IT project and the discovery of new knowledge, gleaned from the expert knowledge base, otherwise known as the decision model, complement each other. KW - Expert knowledge KW - IT project KW - Information system KW - GMDH Y1 - 2018 SN - 978-3-319-99972-2 SN - 978-3-319-99971-5 U6 - https://doi.org/10.1007/978-3-319-99972-2_1 SN - 1865-0929 SN - 1865-0937 VL - 920 SP - 3 EP - 13 PB - Springer CY - Berlin ER - TY - GEN A1 - Ernst, Marion Eva T1 - Räumliche Metaphern in der Computer- und Internet-Terminologie T1 - Spatial metaphors in computer-related-terms and the internet-terminology T2 - Sprachen verbinden : Beiträge der 24. Linguistik- und Literaturtage, Brno/Tschechien, 2016 N2 - No other means of communication determines through its seemingly unrestricted possibilities our everyday life more than the internet. From the mid-90s onwards, more and more technical advancements in the field of communication appear on the market, which in turn call for new terminology. In the first place, it is the internet (essentially based on the interaction between users and experts), which requires effective nomenclature in order to mediate between lay users and their restricted knowledge on the one, and experts and their sophisticated terminology on the other hand. At the interface between the new and complex realities and the need for simple linguistic access, a huge quantity of metaphoric denominations is used, making abstract innovations more comprehensible. Metaphor in the internet discourse serves to "reduce verticality" (Stenschke 2006) between specialized terminology and common language. The paper deals with metaphors based on spatial concepts. Space and spatiality play a key role in cognitive theories of metaphor as these theories themselves (according to Lakoff/Johnson 1980) are often based on the application of spatial concepts to non-spatial relations. After describing spatial concepts in general (referring to the internet), the paper explores which kind of metaphor takes advantage of the complexity present in the internet and how the medial space is linguistically recaptured in terms of spatial perception. KW - Space and spatiality in the internet terminology KW - Space and metaphor KW - Function of the spatial metaphor Y1 - 2018 SN - 978-3-8300-9698-6 SN - 2364-561X VL - 6 SP - 61 EP - 70 PB - Kovac CY - Hamburg ER - TY - GEN A1 - Ayzel, Georgy A1 - Izhitskiy, Alexander ED - Xu, Z Peng T1 - Coupling physically based and data-driven models for assessing freshwater inflow into the Small Aral Sea T2 - Innovative Water Resources Management in a Changing Environment – Understanding and Balancing Interactions between Humankind and Nature N2 - The Aral Sea desiccation and related changes in hydroclimatic conditions on a regional level is a hot topic for past decades. The key problem of scientific research projects devoted to an investigation of modern Aral Sea basin hydrological regime is its discontinuous nature - the only limited amount of papers takes into account the complex runoff formation system entirely. Addressing this challenge we have developed a continuous prediction system for assessing freshwater inflow into the Small Aral Sea based on coupling stack of hydrological and data-driven models. Results show a good prediction skill and approve the possibility to develop a valuable water assessment tool which utilizes the power of classical physically based and modern machine learning models both for territories with complex water management system and strong water-related data scarcity. The source code and data of the proposed system is available on a Github page (https://github.com/SMASHIproject/IWRM2018). Y1 - 2018 U6 - https://doi.org/10.5194/piahs-379-151-2018 SN - 2199-899X VL - 379 SP - 151 EP - 158 PB - Copernicus CY - Göttingen ER - TY - GEN A1 - Rychkov, Andrey A1 - Stojharov, Valery A1 - Kuznetsov, Alexey A1 - Rychkov, Dmitry T1 - The influence of recrystallization regimes on electret charge stability in low-density polyethylene films T2 - 2018 IEEE 2nd International Conference on Dielectrics (ICD) N2 - The electret state stability in nonpolar semicrystalline polymers is largely determined by the traps located at crystalline/ amorphous phase interfaces. Thus, the thermal history of such polymers should considerably influence their electret properties. In the present work, we investigate how recrystallization influences charge stability in low-density polyethylene corona electrets. It has been found that electret charge stability in quenched samples is higher than in slowly-crystallized ones. Phenomenologicaly, this can be explained by the increased number of deeper traps in samples with smaller crystallite size. KW - electrets KW - low-density polyethylene KW - crystallinity KW - quenching KW - recrystallization Y1 - 2018 SN - 978-1-5386-6389-9 SN - 978-1-5386-6388-2 SN - 978-1-5386-6390-5 U6 - https://doi.org/10.1109/ICD.2018.8514638 PB - IEEE CY - New York ER - TY - GEN A1 - Giebler, Heiko A1 - Ruth, Saskia P. A1 - Tanneberg, Dag T1 - Why choice matters BT - revisiting and comparing measures of democracy T2 - Politics and Governance N2 - Measures of democracy are in high demand. Scientific and public audiences use them to describe political realities and to substantiate causal claims about those realities. This introduction to the thematic issue reviews the history of democracy measurement since the 1950s. It identifies four development phases of the field, which are characterized by three recurrent topics of debate: (1) what is democracy, (2) what is a good measure of democracy, and (3) do our measurements of democracy register real-world developments? As the answers to those questions have been changing over time, the field of democracy measurement has adapted and reached higher levels of theoretical and methodological sophistication. In effect, the challenges facing contemporary social scientists are not only limited to the challenge of constructing a sound index of democracy. Today, they also need a profound understanding of the differences between various measures of democracy and their implications for empirical applications. The introduction outlines how the contributions to this thematic issue help scholars cope with the recurrent issues of conceptualization, measurement, and application, and concludes by identifying avenues for future research. KW - application KW - conceptualization KW - democracy KW - democratic quality KW - measurement Y1 - 2018 U6 - https://doi.org/10.17645/pag.v6i1.1428 SN - 2183-2463 VL - 6 IS - 1 SP - 1 EP - 10 PB - Cogitatio Press CY - Lisbon ER - TY - GEN A1 - Schmidt-Wellenburg, Christian A1 - Lebaron, Frederic T1 - There is no such thing as "the Economy" BT - Economic phenomena analysed from a field-theoretical perspective BT - Zur Analyse ökonomischer Phänomene aus feldtheoretischer Perspektive T2 - Historical Social Research N2 - This introductory essay to the HSR Special Issue “Economists, Politics, and Society” argues for a strong field-theoretical programme inspired by Pierre Bourdieu to research economic life as an integral part of different social forms. Its main aim is threefold. First, we spell out the very distinct Durkheimian legacy in Bourdieu’s thinking and the way he applies it in researching economic phenomena. Without this background, much of what is actually part of how Bourdieu analysed economic aspects of social life would be overlooked or reduced to mere economic sociology. Second, we sketch the main theoretical concepts and heuristics used to analyse economic life from a field perspective. Third, we focus on practical methodological issues of field-analytical research into economic phenomena. We conclude with a short summary of the basic characteristics of this approach and discuss the main insights provided by the contributions to this special issue. T2 - 'Die Ökonomie‘ gibt es nicht! KW - Economic sociology KW - field KW - Bourdieu KW - methodology KW - discourse KW - domination KW - state KW - economy Y1 - 2018 U6 - https://doi.org/10.12759/hsr.43.2018.3.7-38 SN - 0172-6404 VL - 43 IS - 3 SP - 7 EP - 38 PB - GESIS, Leibniz Institute for the Social Sciences CY - Cologne ER - TY - GEN A1 - Geirhos, Robert A1 - Temme, Carlos R. Medina A1 - Rauber, Jonas A1 - Schütt, Heiko Herbert A1 - Bethge, Matthias A1 - Wichmann, Felix A. T1 - Generalisation in humans and deep neural networks T2 - Proceedings of the 32nd International Conference on Neural Information Processing Systems N2 - We compare the robustness of humans and current convolutional deep neural networks (DNNs) on object recognition under twelve different types of image degradations. First, using three well known DNNs (ResNet-152, VGG-19, GoogLeNet) we find the human visual system to be more robust to nearly all of the tested image manipulations, and we observe progressively diverging classification error-patterns between humans and DNNs when the signal gets weaker. Secondly, we show that DNNs trained directly on distorted images consistently surpass human performance on the exact distortion types they were trained on, yet they display extremely poor generalisation abilities when tested on other distortion types. For example, training on salt-and-pepper noise does not imply robustness on uniform white noise and vice versa. Thus, changes in the noise distribution between training and testing constitutes a crucial challenge to deep learning vision systems that can be systematically addressed in a lifelong machine learning approach. Our new dataset consisting of 83K carefully measured human psychophysical trials provide a useful reference for lifelong robustness against image degradations set by the human visual system. Y1 - 2018 SN - 1049-5258 VL - 31 SP - 7549 EP - 7561 PB - Curran Associates Inc. CY - Red Hook ER - TY - GEN A1 - Ion, Alexandra A1 - Baudisch, Patrick Markus T1 - Metamaterial Devices N2 - In our hands-on demonstration, we show several objects, the functionality of which is defined by the objects' internal micro-structure. Such metamaterial machines can (1) be mechanisms based on their microstructures, (2) employ simple mechanical computation, or (3) change their outside to interact with their environment. They are 3D printed from one piece and we support their creating by providing interactive software tools. KW - Metamaterials KW - microstructures KW - fabrication KW - programmable matter Y1 - 2018 SN - 978-1-4503-5819-4 U6 - https://doi.org/10.1145/3214822.3214827 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Steinberg, Pablo T1 - Only one Component of a holistic Nutrition Policy T1 - Nur ein Baustein einer ganzheitlichen Ernährungspolitik T2 - Fleischwirtschaft Y1 - 2018 SN - 0015-363X VL - 98 IS - 11 SP - 8 EP - 9 PB - Deutscher Fachverlag GmbH CY - Frankfurt am Main ER - TY - GEN A1 - Ellis, S. C. A1 - Bauer, S. A1 - Bacigalupo, C. A1 - Bland-Hawthorn, J. A1 - Bryant, J. J. A1 - Case, S. A1 - Content, R. A1 - Fechner, T. A1 - Giannone, D. A1 - Haynes, R. A1 - Hernandez, E. A1 - Horton, A. J. A1 - Klauser, U. A1 - Lawrence, J. S. A1 - Leon-Saval, S. G. A1 - Lindley, E. A1 - Löhmannsröben, Hans-Gerd A1 - Min, S. -S. A1 - Pai, N. A1 - Roth, M. A1 - Shortridge, K. A1 - Waller, L. A1 - Xavier, Pascal A1 - Zhelem, Ross T1 - PRAXIS: an OH suppression optimised near infrared spectrograph T2 - Ground-based and Airborne Instrumentation for Astronomy VII N2 - The problem of atmospheric emission from OH molecules is a long standing problem for near-infrared astronomy. PRAXIS is a unique spectrograph which is fed by fibres that remove the OH background and is optimised specifically to benefit from OH-Suppression. The OH suppression is achieved with fibre Bragg gratings, which were tested successfully on the GNOSIS instrument. PRAXIS uses the same fibre Bragg gratings as GNOSIS in its first implementation, and will exploit new, cheaper and more efficient, multicore fibre Bragg gratings in the second implementation. The OH lines are suppressed by a factor of similar to 1000, and the expected increase in the signal-to-noise in the interline regions compared to GNOSIS is a factor of similar to 9 with the GNOSIS gratings and a factor of similar to 17 with the new gratings. PRAXIS will enable the full exploitation of OH suppression for the first time, which was not achieved by GNOSIS (a retrofit to an existing instrument that was not OH-Suppression optimised) due to high thermal emission, low spectrograph transmission and detector noise. PRAXIS has extremely low thermal emission, through the cooling of all significantly emitting parts, including the fore-optics, the fibre Bragg gratings, a long length of fibre, and the fibre slit, and an optical design that minimises leaks of thermal emission from outside the spectrograph. PRAXIS has low detector noise through the use of a Hawaii-2RG detector, and a high throughput through a efficient VPH based spectrograph. PRAXIS will determine the absolute level of the interline continuum and enable observations of individual objects via an IFU. In this paper we give a status update and report on acceptance tests. KW - Near infrared KW - spectroscopy KW - OH suppression KW - astrophotonics KW - fibre Bragg gratings Y1 - 2018 SN - 978-1-5106-1958-6 U6 - https://doi.org/10.1117/12.2311898 SN - 0277-786X SN - 1996-756X VL - 10702 PB - SPIE-INT Soc Optical Engineering CY - Bellingham ER - TY - GEN A1 - Bazhenova, Ekaterina A1 - Zerbato, Francesca A1 - Weske, Mathias T1 - Data-Centric Extraction of DMN Decision Models from BPMN Process Models T2 - Business Process Management Workshops N2 - Operational decisions in business processes can be modeled by using the Decision Model and Notation (DMN). The complementary use of DMN for decision modeling and of the Business Process Model and Notation (BPMN) for process design realizes the separation of concerns principle. For supporting separation of concerns during the design phase, it is crucial to understand which aspects of decision-making enclosed in a process model should be captured by a dedicated decision model. Whereas existing work focuses on the extraction of decision models from process control flow, the connection of process-related data and decision models is still unexplored. In this paper, we investigate how process-related data used for making decisions can be represented in process models and we distinguish a set of BPMN patterns capturing such information. Then, we provide a formal mapping of the identified BPMN patterns to corresponding DMN models and apply our approach to a real-world healthcare process. KW - Business process models KW - Process-related data KW - Decision models Y1 - 2018 SN - 978-3-319-74030-0 SN - 978-3-319-74029-4 U6 - https://doi.org/10.1007/978-3-319-74030-0_43 SN - 1865-1348 VL - 308 SP - 542 EP - 555 PB - Springer CY - Berlin ER - TY - GEN A1 - Neubauer, Kai A1 - Wanko, Philipp A1 - Schaub, Torsten H. A1 - Haubelt, Christian T1 - Exact multi-objective design space exploration using ASPmT T2 - Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) N2 - An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly complex embedded systems in order to steer the development towards optimal design points. The early evaluation of design decisions at system-level abstraction layer helps to find promising regions for subsequent development steps in lower abstraction levels by diminishing the complexity of the search problem. In recent works, symbolic techniques, especially Answer Set Programming (ASP) modulo Theories (ASPmT), have been shown to find feasible solutions of highly complex system-level synthesis problems with non-linear constraints very efficiently. In this paper, we present a novel approach to a holistic system-level DSE based on ASPmT. To this end, we include additional background theories that concurrently guarantee compliance with hard constraints and perform the simultaneous optimization of several design objectives. We implement and compare our approach with a state-of-the-art preference handling framework for ASP. Experimental results indicate that our proposed method produces better solutions with respect to both diversity and convergence to the true Pareto front. Y1 - 2018 SN - 978-3-9819-2630-9 U6 - https://doi.org/10.23919/DATE.2018.8342014 SN - 1530-1591 SN - 1558-1101 SP - 257 EP - 260 PB - IEEE CY - New York ER - TY - GEN A1 - Pufahl, Luise A1 - Wong, Tsun Yin A1 - Weske, Mathias T1 - Design of an extensible BPMN process simulator T2 - Business Process Management Workshops (BPM 2017) N2 - Business process simulation is an important means for quantitative analysis of a business process and to compare different process alternatives. With the Business Process Model and Notation (BPMN) being the state-of-the-art language for the graphical representation of business processes, many existing process simulators support already the simulation of BPMN diagrams. However, they do not provide well-defined interfaces to integrate new concepts in the simulation environment. In this work, we present the design and architecture of a proof-of-concept implementation of an open and extensible BPMN process simulator. It also supports the simulation of multiple BPMN processes at a time and relies on the building blocks of the well-founded discrete event simulation. The extensibility is assured by a plug-in concept. Its feasibility is demonstrated by extensions supporting new BPMN concepts, such as the simulation of business rule activities referencing decision models and batch activities. KW - Business process simulation KW - Extensibility KW - BPMN Y1 - 2018 SN - 978-3-319-74030-0 SN - 978-3-319-74029-4 U6 - https://doi.org/10.1007/978-3-319-74030-0_62 SN - 1865-1348 VL - 308 SP - 782 EP - 795 PB - Springer CY - Berlin ER - TY - GEN A1 - Sahlmann, Kristina A1 - Schwotzer, Thomas T1 - Ontology-based virtual IoT devices for edge computing T2 - Proceedings of the 8th International Conference on the Internet of Things N2 - An IoT network may consist of hundreds heterogeneous devices. Some of them may be constrained in terms of memory, power, processing and network capacity. Manual network and service management of IoT devices are challenging. We propose a usage of an ontology for the IoT device descriptions enabling automatic network management as well as service discovery and aggregation. Our IoT architecture approach ensures interoperability using existing standards, i.e. MQTT protocol and SemanticWeb technologies. We herein introduce virtual IoT devices and their semantic framework deployed at the edge of network. As a result, virtual devices are enabled to aggregate capabilities of IoT devices, derive new services by inference, delegate requests/responses and generate events. Furthermore, they can collect and pre-process sensor data. These tasks on the edge computing overcome the shortcomings of the cloud usage regarding siloization, network bandwidth, latency and speed. We validate our proposition by implementing a virtual device on a Raspberry Pi. KW - Internet of Things KW - Edge Computing KW - oneM2M Ontology KW - M2M KW - Semantic Interoperability KW - MQTT Y1 - 2018 SN - 978-1-4503-6564-2 U6 - https://doi.org/10.1145/3277593.3277597 SP - 1 EP - 7 PB - Association for Computing Machinery CY - New York ER - TY - GEN A1 - Böhne, Sebastian A1 - Kreitz, Christoph T1 - Learning how to prove BT - from the coq proof assistant to textbook style T2 - Electronic proceedings in theoretical computer science N2 - We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a second, more difficult, step students will transfer their acquired skills to the area of textbook proofs. In this article we present a realisation of the second step. Proofs in Coq have a high degree of formality while textbook proofs have only a medium one. Therefore our key idea is to reduce the degree of formality from the level of Coq to textbook proofs in several small steps. For that purpose we introduce three proof styles between Coq and textbook proofs, called line by line comments, weakened line by line comments, and structure faithful proofs. While this article is mostly conceptional we also report on experiences with putting our approach into practise. Y1 - 2018 U6 - https://doi.org/10.4204/EPTCS.267.1 SN - 2075-2180 IS - 267 SP - 1 EP - 18 PB - Open Publishing Association CY - Sydney ER - TY - GEN A1 - Müller, Gesine A1 - Locane, Jorge Joaquin A1 - Loy, Benjamin T1 - Introduction T2 - Re-mapping World Literature: Writing, Book Markets and Epistemologies between Latin America and the Global South / Escrituras, mercados y epistemologías entre América Latina y el Sur Global Y1 - 2018 SN - 978-3-11-054957-7 SN - 978-3-11-054952-2 U6 - https://doi.org/10.1515/9783110549577-001 SN - 2513-0757 SP - 1 EP - 12 PB - De Gruyter CY - Berlin ER - TY - GEN A1 - Luterbacher, Urs A1 - Sprinz, Detlef F. ED - Luterbacher, Urs ED - Sprinz, Detlef F. T1 - Foreword T2 - Global climate policy: actors, concepts, and enduring challenges Y1 - 2018 SN - 978-0-262-53534-2 SN - 978-0-262-03792-1 SP - IX EP - XI PB - MIT Press CY - Cambridge ER - TY - GEN A1 - Sprinz, Detlef F. ED - Luterbacher, Urs ED - Sprinz, Detlef F. T1 - Our Conclusions T2 - Global Climate Policy: Actors, Concepts, and Enduring Challenges Y1 - 2018 SN - 978-0-262-53534-2 SN - 978-0-262-03792-1 SP - 323 EP - 335 PB - MIT Press CY - Cambridge ER - TY - GEN A1 - Plauth, Max A1 - Polze, Andreas T1 - Towards improving data transfer efficiency for accelerators using hardware compression T2 - Sixth International Symposium on Computing and Networking Workshops (CANDARW) N2 - The overhead of moving data is the major limiting factor in todays hardware, especially in heterogeneous systems where data needs to be transferred frequently between host and accelerator memory. With the increasing availability of hardware-based compression facilities in modern computer architectures, this paper investigates the potential of hardware-accelerated I/O Link Compression as a promising approach to reduce data volumes and transfer time, thus improving the overall efficiency of accelerators in heterogeneous systems. Our considerations are focused on On-the-Fly compression in both Single-Node and Scale-Out deployments. Based on a theoretical analysis, this paper demonstrates the feasibility of hardware-accelerated On-the-Fly I/O Link Compression for many workloads in a Scale-Out scenario, and for some even in a Single-Node scenario. These findings are confirmed in a preliminary evaluation using software-and hardware-based implementations of the 842 compression algorithm. KW - Data compression KW - hardware KW - data transfer KW - accelerator architectures Y1 - 2018 SN - 978-1-5386-9184-7 U6 - https://doi.org/10.1109/CANDARW.2018.00031 SP - 125 EP - 131 PB - IEEE CY - New York ER -