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 -