TY - GEN A1 - Esser, Günter A1 - Reich, Stefanie A1 - Wagener, Nina A1 - Hösch, Ingrid A1 - Ihle, Wolfgang A1 - Laucht, Manfred T1 - PoKI: Potsdamer Kinder-Interview für 6- bis 12-Jährige BT - Manual Y1 - 2017 UR - https://www.testzentrale.de/shop/potsdamer-kinder-interview-fuer-6-bis-12-jaehrige.html PB - Hogrefe CY - Göttingen ER - TY - GEN A1 - Parsons, R. D. A1 - Schüssler, F. A1 - Garrigoux, T. A1 - Balzer, A. A1 - Füssling, Matthias A1 - Hoischen, Clemens A1 - Holler, M. A1 - Mitchell, A. A1 - Pühlhofer, G. A1 - Rowell, G. A1 - Wagner, S. A1 - Bissaldi, E. A1 - Tam, P. H. T. T1 - The HESS II GRB Observation Scheme T2 - AIP conference proceedings / American Institute of Physics N2 - Gamma-ray bursts (GRBs) are some of the Universe’s most enigmatic and exotic events. However, at energies above 10 GeV their behaviour remains largely unknown. Although space based telescopes such as the Fermi-LAT have been able to detect GRBs in this energy range, their photon statistics are limited by the small detector size. Such limitations are not present in ground based gamma-ray telescopes such as the H.E.S.S. experiment, which has now entered its second phase with the addition of a large 600 m2 telescope to the centre of the array. Such a large telescope allows H.E.S.S. to access the sub 100-GeV energy range while still maintaining a large effective collection area, helping to potentially probe the short timescale emission of these events. We present a description of the H.E.S.S. GRB observation programme, summarising the performance of the rapid GRB repointing system and the conditions under which GRB observations are initiated. Additionally we will report on the GRB follow-ups made during the 2014-15 observation campaigns. Y1 - 2017 SN - 978-0-7354-1456-3 U6 - https://doi.org/10.1063/1.4968980 SN - 0094-243X SN - 1551-7616 VL - 1792 IS - 1 PB - American Institute of Physics CY - Melville ER - TY - GEN A1 - Angüner, Ekrem Oǧuzhan A1 - Aharonian, Felix A. A1 - Bordas, Pol A1 - Casanova, Sabrina A1 - Hoischen, Clemens A1 - Oya, I. A1 - Ziegler, A. T1 - HESS J1826-130 BT - a very hard gamma-Ray spectrum source in the Galactic Plane T2 - AIP conference proceedings / American Institute of Physics N2 - HESS J1826-130 is an unidentified hard spectrum source discovered by H.E.S.S. along the Galactic plane, the spectral index being Gamma = 1.6 with an exponential cut-off at about 12 TeV. While the source does not have a clear counterpart at longer wavelengths, the very hard spectrum emission at TeV energies implies that electrons or protons accelerated up to several hundreds of TeV are responsible for the emission. In the hadronic case, the VHE emission can be produced by runaway cosmic-rays colliding with the dense molecular clouds spatially coincident with the H.E.S.S. source. Y1 - 2017 SN - 978-0-7354-1456-3 U6 - https://doi.org/10.1063/1.4968928 SN - 0094-243X SN - 1551-7616 VL - 1792 IS - 1 PB - American Institute of Physics CY - Melville ER - TY - GEN A1 - Kleine-Vehn, Jürgen A1 - Sauer, Michael ED - Kleine-Vehn, Jürgen ED - Sauer, Michael T1 - Preface T2 - Plant Hormones: Methods and Protocols Y1 - 2017 SN - 978-1-4939-6469-7 SN - 978-1-4939-6467-3 U6 - https://doi.org/10.1007/978-1-4939-6469-7 SN - 1064-3745 SN - 1940-6029 VL - 1497 SP - V EP - V PB - Springer CY - New York ET - 3 ER - TY - GEN A1 - Kubatova, B. A1 - Kubát, Jiří A1 - Hamann, Wolf-Rainer A1 - Oskinova, Lida T1 - Clumping in Massive Star Winds and its Possible Connection to the B[e] Phenomenon T2 - The B(e) Phenomenon: Forty Years of Studies : proceedings of a conference held at Charles University, Prague, Czech Republic, 27 June-1 July 2016 N2 - It has been observationally established that winds of hot massive stars have highly variable characteristics. The variability evident in the winds is believed to be caused by structures on a broad range of spatial scales. Small-scale structures (clumping) in stellar winds of hot stars are possible consequence of an instability appearing in their radiation hydrodynamics. To understand how clumping may influence calculation of theoretical spectra, different clumping properties and their 3D nature have to be taken into account. Properties of clumping have been examined using our 3D radiative transfer calculations. Effects of clumping for the case of the B[e] phenomenon are discussed. Y1 - 2017 SN - 978-1-58381-900-5 SN - 978-1-58381-901-2 VL - 508 SP - 45 EP - 50 PB - Astronomical Soceity of the Pacific CY - San Fransisco ER - TY - GEN A1 - Kurfürst, P. A1 - Feldmeier, Achim A1 - Krtička, Jiri T1 - Modeling sgB[e] Circumstellar Disks T2 - The B(e) Phenomenon: Forty Years of Studies : proceedings of a conference held at Charles University, Prague, Czech Republic, 27 June-1 July 2016 N2 - During their evolution, massive stars are characterized by a significant loss of mass either via spherically symmetric stellar winds or by aspherical mass-loss mechanisms, namely outflowing equatorial disks. However, the scenario that leads to the formation of a disk or rings of gas and dust around these objects is still under debate. Is it a viscous disk or an ouftlowing disk-forming wind or some other mechanism? It is also unclear how various physical mechanisms that act on the circumstellar environment of the stars affect its shape, density, kinematic, and thermal structure. We assume that the disk-forming mechanism is a viscous transport within an equatorial outflowing disk of a rapidly or even critically rotating star. We study the hydrodynamic and thermal structure of optically thick dense parts of outflowing circumstellar disks that may form around,e.g., Be stars, sgB[e] stars, or Pop m stars. We calculate self-consistent time dependent models of the inner dense region of the disk that is strongly affected either by irradiation from the central star and by contributions of viscous heating effects. We also simulate the dynamic effects of collision between expanding ejecta of supernovae and circumstellar disks that may be form in sgB[e] stars and, e.g., LBVs or Pop in stars. Y1 - 2017 UR - https://www.physics.muni.cz/~petrk/presentation.pdf SN - 978-1-58381-900-5 SN - 978-1-58381-901-2 VL - 508 SP - 17 EP - 22 PB - Astronomical Scoeity of the Pacific CY - San Fransisco ER - TY - GEN A1 - Hocher, Berthold A1 - Yin, Lianghong T1 - Why Current PTH Assays Mislead Clinical Decision Making in Patients with Secondary Hyperparathyroidism T2 - Nephron N2 - Preclinical studies in cell culture systems as well as in whole animal chronic kidney disease (CKD) models showed that parathyroid hormone (PTH), oxidized at the 2 methionine residues (positions 8 and 18), caused a loss of function. This was so far not considered in the development of PTH assays used in current clinical practice. Patients with advanced CKD are subject to oxidative stress, and plasma proteins (including PTH) are targets for oxidants. In patients with CKD, a considerable but variable fraction (about 70 to 90%) of measured PTH appears to be oxidized. Oxidized PTH (oxPTH) does not interact with the PTH receptor resulting in loss of biological activity. Currently used intact PTH (iPTH) assays detect both oxidized and non-oxPTH (n-oxPTH). Clinical studies demonstrated that bioactive, n-oxPTH, but not iPTH nor oxPTH, is associated with mortality in CKD patients. KW - Serum intact-parathyroid hormone level KW - Dialysis patients KW - Mortality Y1 - 2017 U6 - https://doi.org/10.1159/000455289 SN - 1660-8151 SN - 2235-3186 SN - 0028-2766 VL - 136 IS - 2 SP - 137 EP - 142 PB - Karger CY - Basel ER - TY - GEN A1 - Alibabaie, Najmeh A1 - Ghasemzadeh, Mohammad A1 - Meinel, Christoph T1 - A variant of genetic algorithm for non-homogeneous population T2 - International Conference Applied Mathematics, Computational Science and Systems Engineering 2016 N2 - Selection of initial points, the number of clusters and finding proper clusters centers are still the main challenge in clustering processes. In this paper, we suggest genetic algorithm based method which searches several solution spaces simultaneously. The solution spaces are population groups consisting of elements with similar structure. Elements in a group have the same size, while elements in different groups are of different sizes. The proposed algorithm processes the population in groups of chromosomes with one gene, two genes to k genes. These genes hold corresponding information about the cluster centers. In the proposed method, the crossover and mutation operators can accept parents with different sizes; this can lead to versatility in population and information transfer among sub-populations. We implemented the proposed method and evaluated its performance against some random datasets and the Ruspini dataset as well. The experimental results show that the proposed method could effectively determine the appropriate number of clusters and recognize their centers. Overall this research implies that using heterogeneous population in the genetic algorithm can lead to better results. Y1 - 2017 U6 - https://doi.org/10.1051/itmconf/20170902001 SN - 2271-2097 VL - 9 PB - EDP Sciences CY - Les Ulis ER - TY - GEN A1 - Lorenz, Claas A1 - Kiekheben, Sebastian A1 - Schnor, Bettina T1 - FaVe: Modeling IPv6 firewalls for fast formal verification T2 - International Conference on Networked Systems (NetSys) 2017 N2 - As virtualization drives the automation of networking, the validation of security properties becomes more and more challenging eventually ruling out manual inspections. While formal verification in Software Defined Networks is provided by comprehensive tools with high speed reverification capabilities like NetPlumber for instance, the presence of middlebox functionality like firewalls is not considered. Also, they lack the ability to handle dynamic protocol elements like IPv6 extension header chains. In this work, we provide suitable modeling abstractions to enable both - the inclusion of firewalls and dynamic protocol elements. We exemplarily model the Linux ip6tables/netfilter packet filter and also provide abstractions for an application layer gateway. Finally, we present a prototype of our formal verification system FaVe. Y1 - 2017 U6 - https://doi.org/10.1109/NetSys.2017.7903956 PB - IEEE CY - New York ER - TY - GEN A1 - Gawron, Marian A1 - Cheng, Feng A1 - Meinel, Christoph T1 - PVD: Passive Vulnerability Detection T2 - 8th International Conference on Information and Communication Systems (ICICS) N2 - The identification of vulnerabilities relies on detailed information about the target infrastructure. The gathering of the necessary information is a crucial step that requires an intensive scanning or mature expertise and knowledge about the system even though the information was already available in a different context. In this paper we propose a new method to detect vulnerabilities that reuses the existing information and eliminates the necessity of a comprehensive scan of the target system. Since our approach is able to identify vulnerabilities without the additional effort of a scan, we are able to increase the overall performance of the detection. Because of the reuse and the removal of the active testing procedures, our approach could be classified as a passive vulnerability detection. We will explain the approach and illustrate the additional possibility to increase the security awareness of users. Therefore, we applied the approach on an experimental setup and extracted security relevant information from web logs. Y1 - 2017 SN - 978-1-5090-4243-2 U6 - https://doi.org/10.1109/IACS.2017.7921992 SN - 2471-125X SP - 322 EP - 327 PB - IEEE CY - New York ER - TY - GEN A1 - Mühlbauer, Felix A1 - Schröder, Lukas A1 - Skoncej, Patryk A1 - Schölzel, Mario T1 - Handling manufacturing and aging faults with software-based techniques in tiny embedded systems T2 - 18th IEEE Latin American Test Symposium (LATS 2017) N2 - Non-volatile memory area occupies a large portion of the area of a chip in an embedded system. Such memories are prone to manufacturing faults, retention faults, and aging faults. The paper presents a single software based technique that allows for handling all of these fault types in tiny embedded systems without the need for hardware support. This is beneficial for low-cost embedded systems with simple memory architectures. A software infrastructure and a flow are presented that demonstrate how the presented technique is used in general for fault handling right after manufacturing and in-the-field. Moreover, a full implementation is presented for a MSP430 microcontroller, along with a discussion of the performance, overhead, and reliability impacts. Y1 - 2027 SN - 978-1-5386-0415-1 U6 - https://doi.org/10.1109/LATW.2017.7906756 PB - IEEE CY - New York ER - TY - GEN A1 - Mühlbauer, Felix A1 - Schröder, Lukas A1 - Schölzel, Mario T1 - On hardware-based fault-handling in dynamically scheduled processors T2 - 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) 2017 N2 - This paper describes architectural extensions for a dynamically scheduled processor, so that it can be used in three different operation modes, ranging from high-performance, to high-reliability. With minor hardware-extensions of the control path, the resources of the superscalar data-path can be used either for high-performance execution, fail-safe-operation, or fault-tolerant-operation. This makes the processor-architecture a very good candidate for applications with dynamically changing reliability requirements, e.g. for automotive applications. The paper reports the hardware-overhead for the extensions, and investigates the performance penalties introduced by the fail-safe and fault-tolerant mode. Furthermore, a comprehensive fault simulation was carried out in order to investigate the fault-coverage of the proposed approach. Y1 - 2017 SN - 978-1-5386-0472-4 U6 - https://doi.org/10.1109/DDECS.2017.7934572 SN - 2334-3133 SN - 2473-2117 SP - 201 EP - 206 PB - IEEE CY - New York ER - TY - GEN A1 - Malchow, Martin A1 - Renz, Jan A1 - Bauer, Matthias A1 - Meinel, Christoph T1 - Embedded smart home BT - remote lab grading in a MOOC with over 6000 participants T2 - 11th Annual IEEE International Systems Conference (SysCon) N2 - The popularity of MOOCs has increased considerably in the last years. A typical MOOC course consists of video content, self tests after a video and homework, which is normally in multiple choice format. After solving this homeworks for every week of a MOOC, the final exam certificate can be issued when the student has reached a sufficient score. There are also some attempts to include practical tasks, such as programming, in MOOCs for grading. Nevertheless, until now there is no known possibility to teach embedded system programming in a MOOC course where the programming can be done in a remote lab and where grading of the tasks is additionally possible. This embedded programming includes communication over GPIO pins to control LEDs and measure sensor values. We started a MOOC course called "Embedded Smart Home" as a pilot to prove the concept to teach real hardware programming in a MOOC environment under real life MOOC conditions with over 6000 students. Furthermore, also students with real hardware have the possibility to program on their own real hardware and grade their results in the MOOC course. Finally, we evaluate our approach and analyze the student acceptance of this approach to offer a course on embedded programming. We also analyze the hardware usage and working time of students solving tasks to find out if real hardware programming is an advantage and motivating achievement to support students learning success. Y1 - 2017 SN - 978-1-5090-4623-2 U6 - https://doi.org/10.1109/SYSCON.2017.7934728 SN - 1944-7620 SP - 195 EP - 200 PB - IEEE CY - New York ER - TY - GEN A1 - Angerer, Marie-Luise T1 - Moving Forces T2 - The minnesota review N2 - Throughout a large part of the twentieth century, the body was interpreted as a field of signs, the meaning of which pointed to an unconscious dimension. At the height of the popularity of structuralism, Jacques Lacan deemed the unconscious to be “structured like a language.” Starting in the early 1990s, however, a deep shift occurred in the way the body was interpreted. A new movement cast tremendous doubt on the hegemony of language and instead advocated a performative, pictorial, and affective approach — the so-called material turn — which encompassed all of these. In the words of Karen Barad, this turn inquired as to why meaning, history, and truth are assigned to language only, whereas the movements of materiality are given less prominence: “How did language come to be more trustworthy than matter? Why are language and culture granted their own agency and historicity while matter is figured as passive and immutable?” With this shift toward the material, bodies began to be seen in a different light and their materiality understood as something that follows its own laws and movements, which cannot be understood exclusively in terms of social-cultural codes. Instead, these laws and movements call into question the very dichotomies of nature/culture and body/spirit. KW - mattering KW - wondering KW - contingent encounters KW - affect KW - blind feeling KW - sensation Y1 - 2017 U6 - https://doi.org/10.1215/00265667-3787414 SN - 0026-5667 SN - 2157-4189 VL - 88 SP - 83 EP - 95 PB - Duke Univ. Press CY - Durham ER - TY - GEN A1 - Neubauer, Kai A1 - Wanko, Philipp A1 - Schaub, Torsten H. A1 - Haubelt, Christian T1 - Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation T2 - Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 N2 - The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system synthesis. However, this approach still has several restrictions limiting its applicability. In the paper at hand, we propose a novel ASP modulo Theories (ASPmT) system synthesis approach, which (i) supports more sophisticated system models, (ii) tightly integrates the QF-IDL solving into the ASP solving, and (iii) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire system synthesis. Y1 - 2017 SN - 978-3-9815370-9-3 U6 - https://doi.org/10.23919/DATE.2017.7927005 SN - 1530-1591 SP - 306 EP - 309 PB - IEEE CY - New York ER - TY - GEN A1 - Staubitz, Thomas A1 - Wilkins, Christian A1 - Hagedorn, Christiane A1 - Meinel, Christoph T1 - The Gamification of a MOOC Platform T2 - Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON) N2 - Massive Open Online Courses (MOOCs) have left their mark on the face of education during the recent years. At the Hasso Plattner Institute (HPI) in Potsdam, Germany, we are actively developing a MOOC platform, which provides our research with a plethora of e-learning topics, such as learning analytics, automated assessment, peer assessment, team-work, online proctoring, and gamification. We run several instances of this platform. On openHPI, we provide our own courses from within the HPI context. Further instances are openSAP, openWHO, and mooc.HOUSE, which is the smallest of these platforms, targeting customers with a less extensive course portfolio. In 2013, we started to work on the gamification of our platform. By now, we have implemented about two thirds of the features that we initially have evaluated as useful for our purposes. About a year ago we activated the implemented gamification features on mooc.HOUSE. Before activating the features on openHPI as well, we examined, and re-evaluated our initial considerations based on the data we collected so far and the changes in other contexts of our platforms. KW - MOOC KW - Gamification KW - e-learning KW - Massive Open Online Courses Y1 - 2017 SN - 978-1-5090-5467-1 U6 - https://doi.org/10.1109/EDUCON.2017.7942952 SN - 2165-9567 SP - 883 EP - 892 PB - IEEE CY - New York ER - TY - GEN A1 - Thoelert, Steffen A1 - Hörmann, Ulrich A1 - Antreich, Felix A1 - Meurer, Michael T1 - Ionospheric effects on high gain antenna GNSS measurements BT - TEC estimation and correction T2 - Proceedings of the 30th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2017) N2 - The ionospheric delay of global navigation satellite systems (GNSS) signals typically is compensated by adding a single correction value to the pseudorange measurement of a GNSS receiver. Yet, this neglects the dispersive nature of the ionosphere. In this context we analyze the ionospheric signal distortion beyond a constant delay. These effects become increasingly significant with the signal bandwidth and hence more important for new broadband navigation signals. Using measurements of the Galileo E5 signal, captured with a high gain antenna, we verify that the expected influence can indeed be observed and compensated. A new method to estimate the total electron content (TEC) from a single frequency high gain antenna measurement of a broadband GNSS signal is proposed and described in detail. The received signal is de facto unaffected by multi-path and interference because of the narrow aperture angle of the used antenna which should reduce the error source of the result in general. We would like to point out that such measurements are independent of code correlation, like in standard receiver applications. It is therefore also usable without knowledge of the signal coding. Results of the TEC estimation process are shown and discussed comparing to common TEC products like TEC maps and dual frequency receiver estimates. Y1 - 2017 U6 - https://doi.org/10.33012/2017.15343 SN - 2331-5911 SN - 2331-5954 SP - 3368 EP - 3374 PB - Instituite of Navigation CY - Washington ER - TY - GEN A1 - Laubrock, Jochen A1 - Engbert, Ralf A1 - Cajar, Anke T1 - Gaze-contingent manipulation of the FVF demonstrates the importance of fixation duration for explaining search behavior T2 - Behavioral and brain sciences : an international journal of current research and theory with open peer commentary N2 - Hulleman & Olivers' (H&O's) model introduces variation of the functional visual field (FVF) for explaining visual search behavior. Our research shows how the FVF can be studied using gaze-contingent displays and how FVF variation can be implemented in models of gaze control. Contrary to H&O, we believe that fixation duration is an important factor when modeling visual search behavior. Y1 - 2017 U6 - https://doi.org/10.1017/S0140525X16000145 SN - 0140-525X SN - 1469-1825 VL - 40 SP - 31 EP - 32 PB - Cambridge Univ. Press CY - New York ER - TY - GEN A1 - Fabian, Benjamin A1 - Baumann, Annika A1 - Ehlert, Mathias A1 - Ververis, Vasilis A1 - Ermakova, Tatiana T1 - CORIA - Analyzing internet connectivity risks using network graphs T2 - 2017 IEEE International Conference on Communications (ICC) N2 - The Internet can be considered as the most important infrastructure for modern society and businesses. A loss of Internet connectivity has strong negative financial impacts for businesses and economies. Therefore, assessing Internet connectivity, in particular beyond their own premises and area of direct control, is of growing importance in the face of potential failures, accidents, and malicious attacks. This paper presents CORIA, a software framework for an easy analysis of connectivity risks based on large network graphs. It provides researchers, risk analysts, network managers and security consultants with a tool to assess an organization's connectivity and paths options through the Internet backbone, including a user-friendly and insightful visual representation of results. CORIA is flexibly extensible in terms of novel data sets, graph metrics, and risk scores that enable further use cases. The performance of CORIA is evaluated by several experiments on the Internet graph and further randomly generated networks. KW - risk analysis KW - connectivity KW - graph analysis KW - complex networks KW - Internet Y1 - 2017 SN - 978-1-4673-8999-0 SN - 978-1-4673-9000-2 U6 - https://doi.org/10.1109/ICC.2017.7996828 SN - 1550-3607 PB - IEEE CY - Piscataway ER - TY - GEN A1 - Grossi, Giuseppe A1 - Reichard, Christoph A1 - Thomasson, Anna A1 - Vakkuri, Jarmo T1 - Editorial T2 - Public money & management : integrating theory and practice in public management Y1 - 2017 U6 - https://doi.org/10.1080/09540962.2017.1344007 SN - 0954-0962 SN - 1467-9302 VL - 37 SP - 379 EP - 386 PB - Routledge, Taylor & Francis Group CY - Abingdon ER -