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 - JOUR A1 - Haag, Johannes T1 - A kantian critique of sellars transcendental realism JF - Wilfrid Sellars, Idealism, and Realism: Understanding Psychological Nominalism Y1 - 2017 SN - 978-1-4742-3895-3 SN - 978-1-4742-3893-9 SN - 978-1-4742-3894-6 SP - 149 EP - 171 PB - Bloomsbury CY - London ER - TY - JOUR A1 - Meer, Frans-Bauke van der A1 - Reichard, Christoph A1 - Ringeling, Arthur T1 - Becoming a Student of Reform JF - Theory and practice of public sector reform Y1 - 2016 SN - 978-1-315-71414-1 SN - 978-1-317-50011-7 SN - 978-1-317-50012-4 VL - 27 SP - 265 EP - 283 PB - Routledge CY - New York ER - TY - CHAP A1 - Schmidt, Marco F. ED - Schmidt, Marco F. T1 - Preface T2 - Drug target miRNA Y1 - 2016 SN - 978-1-4939-6563-2 SN - 978-1-4939-6561-8 U6 - https://doi.org/10.1007/978-1-4939-6563-2 SN - 1064-3745 SN - 1940-6029 VL - 1517 SP - V EP - V PB - Springer CY - New York ER - TY - BOOK ED - Schmidt, Marco F. T1 - Drug target miRNA BT - methods and protocols T3 - Methods in Molecular Biology N2 - This volume provides a concise and technical discussion of recently developed approaches to overcome challenges in miRNA drug discovery. Drug Target miRNA: Methods and Protocols explores strategies to overcome pharmacodynamics and pharmacokinetics challenges. These strategies cover anti-sense agents targeting miRNA that are applied in advanced formulations or are chemically optimized to increase delivery; small molecule miRNA modulators to overcome anti-sense agents’ limitations; general enhancers of miRNA maturation; and Argonaute 2 protein and its pharmacokinetic parameters. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Cutting-edge and thorough, Drug Target miRNA: Methods and Protocols is a valuable resource for anyone interested in the ever-evolving field of miRNA drug discovery. Y1 - 2017 SN - 978-1-4939-6561-8 SN - 978-1-4939-6563-2 U6 - https://doi.org/10.1007/978-1-4939-6563-2 SN - 1064-3745 SN - 1940-6029 PB - Springer CY - New York ER - TY - CHAP A1 - Grum, Marcus A1 - Bender, Benedict A1 - Alfa, Attahiru S. T1 - The construction of a common objective function for analytical infrastructures T2 - 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC) N2 - The paper deals with the increasing growth of embedded systems and their role within structures similar to the Internet (Internet of Things) as those that provide calculating power and are more or less appropriate for analytical tasks. Faced with the example of a cyber-physical manufacturing system, a common objective function is developed with the intention to measure efficient task processing within analytical infrastructures. A first validation is realized on base of an expert panel. KW - Analytic Infrastructures KW - Cyber-Physical Manufacturing Systems KW - Measuring Efficient Task Processing Y1 - 2018 U6 - https://doi.org/10.1109/ICE.2017.8279892 SP - 219 EP - 225 PB - IEEE CY - New York ER - TY - CHAP A1 - Schlosser, Rainer A1 - Boissier, Martin ED - Liberatore, Federico ED - Parlier, Greg H. ED - Demange, Marc T1 - Optimal price reaction strategies in the presence of active and passive competitors T2 - Proceedings of the 6th International Conference on Operations Research and Enterprise Systems - ICORES N2 - Many markets are characterized by pricing competition. Typically, competitors are involved that adjust their prices in response to other competitors with different frequencies. We analyze stochastic dynamic pricing models under competition for the sale of durable goods. Given a competitor’s pricing strategy, we show how to derive optimal response strategies that take the anticipated competitor’s price adjustments into account. We study resulting price cycles and the associated expected long-term profits. We show that reaction frequencies have a major impact on a strategy’s performance. In order not to act predictable our model also allows to include randomized reaction times. Additionally, we study to which extent optimal response strategies of active competitors are affected by additional passive competitors that use constant prices. It turns out that optimized feedback strategies effectively avoid a decline in price. They help to gain profits, especially, when aggressive competitor s are involved. KW - Dynamic Pricing KW - Competition KW - Optimal Control KW - Response Strategies KW - Reaction Time KW - Price Cycles Y1 - 2017 SN - 978-989-758-218-9 U6 - https://doi.org/10.5220/0006118200470056 SP - 47 EP - 56 PB - SCITEPRESS - Science and Technology Publications, Lda. CY - Setúbal ER - TY - CHAP A1 - Bender, Benedict A1 - Gronau, Norbert T1 - Coring on Digital Platforms BT - Fundamentals and Examples from the Mobile Device Sector T2 - Proceedings of the 38th International Conference on Information Systems (ICIS) N2 - Today’s mobile devices are part of powerful business ecosystems, which usually involve digital platforms. To better understand the complex phenomenon of coring and related dynamics, this paper presents a case study comparing iMessage as part of Apple’s iOS and WhatsApp. Specifically, it investigates activities regarding platform coring, as the integration of several functionalities provided by third-party applications in the platform core. The paper makes three contributions. First, a systematization of coring activities is developed. Coring modes are differentiated by the amount of coring and application maintenance. Second, the case study revealed that the phenomenon of platform coring is present on digital platforms for mobile devices. Third, the fundamentals of coring are discussed as a first step towards theoretical development. Even though coring constitutes a potential threat for third-party developers regarding their functional differentiation, an idea of what a beneficial partnership incorporating coring activities could look like is developed here. KW - Coring KW - Digital Platforms KW - Digital Marketplaces KW - Mobile Software Ecosystems Y1 - 2017 UR - https://aisel.aisnet.org/icis2017/DigitalPlatforms/Presentations/6/ SN - 978-0-9966831-5-9 IS - 8 SP - 5256 EP - 5274 PB - Association for Information Systems (AIS) CY - Atlanta ER - TY - JOUR A1 - Bareither, Nils A1 - Scheffel, Andre A1 - Metz, Johannes T1 - Distribution of polyploid plants in the common annual Brachypodium distachyon (s.l.) in Israel is not linearly correlated with aridity JF - Israel Journal of Plant Sciences N2 - The ecological benefits of polyploidy are intensely debated. Some authors argue that plants with duplicated chromosome sets (polyploids) are more stress- resistant and superior colonizers and may thus outnumber their low ploidy conspecifics in more extreme habitats. Brachypodium distachyon (sensu lato), for example, a common annual grass in Israel and the entire Mediterranean basin, comprises three cytotypes of differing chromosome numbers that were recently proposed as distinct species. It was suggested that increased aridity increases the occurrence of its polyploid cytotype. Here, we tested at two spatial scales whether polyploid plants of B. distachyon s. l. are more frequently found in drier habitats in Israel. We collected a total of 430 specimens (i) along a largescale climatic gradient with 15 thoroughly selected sites (spanning 114- 954 mm annual rainfall), and (ii) from corresponding Northern (more mesic) and Southern (more arid) hill slopes to assess the micro- climatic difference between contrasting exposures. Cytotypes were then determined via flow cytometry. Polyploid plants comprised 90% of all specimens and their proportion ranged between 0% and 100% per site. However, this proportion was not correlated with aridity along the large- scale gradient, nor were polyploids more frequently found on Southern exposures. Our results show for both spatial scales that increasing aridity is not the principal driver for the distribution of polyploids in B. distachyon s. l. in Israel. Notably, though, diploid plants were restricted essentially to four intermediate sites, while polyploids dominated the most arid and the most mesic sites. This, to some degree, clustered pattern suggests that the distribution of cytotypes is not entirely random and calls for future studies to assess further potential drivers. KW - Aridity KW - Brachypodium distachyon KW - Brachypodium hybridum KW - Brachypodium stacei KW - cytotype KW - exposition KW - Israel KW - Mediterranean grass species KW - polyploidization KW - rainfall gradient KW - slope aspect Y1 - 2017 SN - 0792-9978 SN - 2223-8980 VL - 64 SP - 83 EP - 92 PB - Taylor & Francis CY - London ER - TY - JOUR A1 - Dereudre, David A1 - Mazzonetto, Sara A1 - Roelly, Sylvie T1 - Exact simulation of Brownian diffusions with drift admitting jumps JF - SIAM journal on scientific computing N2 - In this paper, using an algorithm based on the retrospective rejection sampling scheme introduced in [A. Beskos, O. Papaspiliopoulos, and G. O. Roberts,Methodol. Comput. Appl. Probab., 10 (2008), pp. 85-104] and [P. Etore and M. Martinez, ESAIM Probab.Stat., 18 (2014), pp. 686-702], we propose an exact simulation of a Brownian di ff usion whose drift admits several jumps. We treat explicitly and extensively the case of two jumps, providing numerical simulations. Our main contribution is to manage the technical di ffi culty due to the presence of t w o jumps thanks to a new explicit expression of the transition density of the skew Brownian motion with two semipermeable barriers and a constant drift. KW - exact simulation methods KW - skew Brownian motion KW - skew diffusions KW - Brownian motion with discontinuous drift Y1 - 2017 U6 - https://doi.org/10.1137/16M107699X SN - 1064-8275 SN - 1095-7197 VL - 39 IS - 3 SP - A711 EP - A740 PB - Society for Industrial and Applied Mathematics CY - Philadelphia ER - TY - CHAP A1 - Bookhagen, Bodo ED - Prins, Herbert H.T. ED - Namgail, Tsewang T1 - The influence of hydrology and glaciology on wetlands in the Himalayas T2 - Bird migration across the Himalayas : wetland functioning amidst mountains and glaciers N2 - Birds migrating across the Himalayan region fly over the highest peaks in the world, facing immense physiological and climatic challenges. The authors show the different strategies used by birds to cope with these challenges. Many wetland avian species are seen in the high-altitude lakes of the Himalayas and the adjoining Tibetan Plateau, such as Bar-Headed Geese. Ringing programmes have generated information about origins and destinations, and this book is the first to present information on the bird's exact migratory paths. Capitalising on knowledge generated through satellite telemetry, the authors describe the migratory routes of a multitude of birds flying over or skirting the Himalayas. The myriad of threats to migratory birds and the wetland system in the Central Asian Flyway are discussed, with ways to mitigate them. This volume will inform and persuade policy-makers and conservation practitioners to take appropriate measures for the long-term survival of this unique migration Y1 - 2017 SN - 978-1-107-11471-5 SN - 978-1-316-33542-0 U6 - https://doi.org/10.1017/9781316335420 SP - 175 EP - 188 PB - Cambridge University Press CY - Cambridge ER - TY - JOUR A1 - García-Camacho, Raúl A1 - Metz, Johannes A1 - Bilton, Mark C. A1 - Tielboerger, Katja T1 - Phylogenetic structure of annual plant communities along an aridity gradient BT - Interacting effects of habitat filtering and shifting plant-plant interactions JF - Israel Journal of Plant Sciences N2 - The phylogenetic structure of communities (PSC) reveals how evolutionary history affects community assembly processes. However, there are important knowledge gaps on PSC patterns for annual communities and there is a need for studies along environmental gradients in dry ecosystems where several processes shape PSC. Here, we investigated the PSC of annual plants along an aridity gradient in Israel, including eight years, two spatial scales, the effects of shrubs on understory, and the phylogenetic signal of important traits. Increasing drought stress led to overdispersed PSC at the drier end of the gradient, indicating that species were less related than expected by chance. This was supported at a smaller spatial scale, where within the drier sites, communities in open- more arid- habitats were more overdispersed than those under nurse shrubs. Interestingly, some key traits related to drought resistance were not conserved in the phylogeny. Together, our findings suggested that while habitat filtering selected for drought resistance strategies, these strategies evolved independently along multiple contrasting evolutionary lineages. Our comprehensive PSC study provides strong evidence for the interacting effects of habitat filtering and plant- plant interactions, particularly highlighting that the conservative evolution of traits should not be assumed in future interpretations of PSC patterns. KW - Annuals KW - aridity gradient KW - community assembly rules KW - community phylogenetics KW - stress-gradient hypothesis KW - trait phylogenetic conservatism Y1 - 2017 U6 - https://doi.org/10.1080/07929978.2017.1288477 SN - 0792-9978 SN - 2223-8980 VL - 64 IS - 1-2 SP - 122 EP - 134 PB - Taylor & Francis CY - London ER - TY - JOUR A1 - Brechenmacher, Thomas A1 - Delgado, Mariano T1 - Re-formation - zu einem Strukturprinzip der Christentums- und Religionsgeschichte BT - Kurzer Sektionsüberblick JF - Historisches Jahrbuch Y1 - 2017 SN - 978-3-495-45294-3 SN - 0018-2621 VL - 137 SP - 3 EP - 6 PB - Alber CY - Freiburg, Breisgau ER - TY - JOUR A1 - Ehrensperger, Kathy T1 - Trajectories and future avenues in Pauline Studies and Jewish–Christian relations BT - the relevance of William S. Campbell’s approach to Paul JF - Journal of beliefs and values : studies in religion & education N2 - William S. Campbell’s research on the apostle Paul has been at the forefront of overcoming anti-Jewish interpretations. His career has been characterised by academic rigour and social and interfaith engagement. His interpretive approach is committed to formulating Christian identity in positive relation to others and thus contributes to provide a vital basis for Jewish-Christian and Interfaith relations in general for the future. KW - Pauline studies KW - Christian identity KW - diversity KW - anti-judaism KW - Jewish-Christian relations KW - interfaith relations Y1 - 2017 U6 - https://doi.org/10.1080/13617672.2017.1314988 SN - 1361-7672 SN - 1469-9362 VL - 38 IS - 2 SP - 153 EP - 158 PB - Routledge, Taylor & Francis Group CY - Abingdon ER - TY - JOUR A1 - Herbst, Uta A1 - Kemmerling, Birte Christina A1 - Neale, Margaret A. T1 - All in, one-at-a-time or somewhere in the middle? BT - Leveraging the composition and size of the negotiating package JF - The journal of business & industrial marketing N2 - Purpose: While industrial marketers have long bundled their products and services to sell them as packages, to what extent should negotiators also rely on packaging their offers? Clearly, negotiating at a package level can tax the cognitive capacity of the involved parties at some point. Therefore, this study aims to analyze the impact of the number and type of issues that should be negotiated simultaneously to leverage the package strategy efficiently and effectively in multi-issue buyer-seller negotiations. Design/methodology/approach: The authors conducted and analyzed negotiation simulations with 676 students from 2 public universities. Findings: The authors’ results suggest that negotiating three out of six issues simultaneously is the least efficient but most effective strategy in multi-issue buyer-seller negotiations. Moreover, they found that bundling distributive and integrative issues is more efficient and effective than only bundling distributive or integrative negotiation issues in a package offer. Originality/value: Past research has examined the impact of negotiating a package as compared to each issue separately; however, little empirical attention has been directed toward understanding how to apply a package strategy in complex multi-issue negotiations. KW - Negotiation performance KW - Issue bundling KW - Joint negotiation outcome KW - Number of offers KW - Package strategy Y1 - 2017 U6 - https://doi.org/10.1108/JBIM-12-2015-0251 SN - 0885-8624 SN - 2052-1189 VL - 32 IS - 4 SP - 580 EP - 586 PB - Emerald Group Publishing Limited CY - Bingley ER -