Refine
Has Fulltext
- no (1889) (remove)
Year of publication
- 2017 (1889) (remove)
Document Type
- Article (1398)
- Doctoral Thesis (168)
- Other (118)
- Part of a Book (93)
- Review (52)
- Monograph/Edited Volume (46)
- Conference Proceeding (6)
- Habilitation Thesis (4)
- Journal/Publication series (2)
- Contribution to a Periodical (1)
Is part of the Bibliography
- yes (1889)
Keywords
- stars: massive (11)
- Germany (10)
- Holocene (9)
- German (8)
- climate change (8)
- stars: early-type (8)
- adolescence (7)
- stars: winds, outflows (7)
- Arabidopsis (6)
- Arabidopsis thaliana (6)
Institute
- Institut für Biochemie und Biologie (330)
- Institut für Geowissenschaften (254)
- Institut für Physik und Astronomie (251)
- Institut für Chemie (132)
- Department Psychologie (117)
- Department Sport- und Gesundheitswissenschaften (86)
- Institut für Ernährungswissenschaft (69)
- Department Linguistik (53)
- Institut für Mathematik (52)
- Institut für Romanistik (49)
Hans Heinrich Schaeder is considered an important Iranist and historian of religion. For reasons of opportunism, careerism, and anti-Semitic resentment, he used the chance afforded him after the National Socialists seized power in Germany: he combined his historical and philological knowledge with National-Socialist racial ideology. Drawing on the superiority of “Aryanism” he derived from this merger, Schaeder tried to redefine the “Eastern Borders” of “European Culture”. In his concept, Armenians and Persians became integral elements of European culture and history, while Jews and “Semites” were excluded. In academia, publishing, and politics, he put himself at the service of the National-Socialist regime. In his own view, this served the struggle against Communism and the West’s social system. After the war, a de-Nazification commission concluded that there existed no reservations concerning his employment at Göttingen University.
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.
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.
Handling manufacturing and aging faults with software-based techniques in tiny embedded systems
(2017)
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.
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.
Embedded smart home
(2017)
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.
Moving Forces
(2017)
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.
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.
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.
Becoming a Student of Reform
(2017)
Preface
(2017)
Drug target miRNA
(2017)
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.
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.
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.
Coring on Digital Platforms
(2017)
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.
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.
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.
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
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.