Refine
Year of publication
Document Type
- Other (671) (remove)
Language
- English (671) (remove)
Keywords
- Arrayseismologie (5)
- array seismology (5)
- E-Learning (4)
- Erdbeben (4)
- MOOC (4)
- Scrum (4)
- Seismology (4)
- embodied cognition (4)
- errata, addenda (4)
- Cloud-Security (3)
Institute
- Hasso-Plattner-Institut für Digital Engineering GmbH (83)
- Institut für Biochemie und Biologie (83)
- Institut für Physik und Astronomie (82)
- Institut für Geowissenschaften (74)
- Department Psychologie (42)
- Department Sport- und Gesundheitswissenschaften (38)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (30)
- Institut für Chemie (27)
- Institut für Ernährungswissenschaft (27)
- Institut für Informatik und Computational Science (26)
This special issue, "Concrete constraints of abstract concepts", addresses the role of concrete determinants, both external and internal to the human body, in acquisition, processing and use of abstract concepts while at the same time presenting to the readers an overview of methods used to assess their representation.
In the comment on "Varves of the Dead Sea sedimentary record." Quaternary Science Reviews 215 (Ben Dor et al., 2019): 173-184. by R. Bookman, two recently published papers are suggested to prove that the interpretation of the laminated sedimentary sequence of the Dead Sea, deposited mostly during MIS2 and Holocene pluvials, as annual deposits (i.e., varves) is wrong. In the following response, we delineate several lines of evidence which coalesce to demonstrate that based on the vast majority of evidence, including some of the evidence provided in the comment itself, the interpretation of these sediments as varves is the more likely scientific conclusion. We further discuss the evidence brought up in the comment and its irrelevance and lack of robustness for addressing the question under discussion.
Immune to COVID?
(2021)
We are glad to introduce the Second Journal Club of Volume Five, Second Issue. This edition is focused on relevant studies published in the last few years in the field of resistance training, chosen by our Editorial Board members and their colleagues. We hope to stimulate your curiosity in this field and to share with you the passion for the sport, seen also from the scientific point of view. The Editorial Board members wish you an inspiring lecture.
In June 2019, more than a hundred plant researchers met in Cologne, Germany, for the 6th European Workshop on Plant Chromatin (EWPC). This conference brought together a highly dynamic community of researchers with the common aim to understand how chromatin organization controls gene expression, development, and plant responses to the environment. New evidence showing how epigenetic states are set, perpetuated, and inherited were presented, and novel data related to the three-dimensional organization of chromatin within the nucleus were discussed. At the level of the nucleosome, its composition by different histone variants and their specialized histone deposition complexes were addressed as well as the mechanisms involved in histone post-translational modifications and their role in gene expression. The keynote lecture on plant DNA methylation by Julie Law (SALK Institute) and the tribute session to Lars Hennig, honoring the memory of one of the founders of the EWPC who contributed to promote the plant chromatin and epigenetic field in Europe, added a very special note to this gathering. In this perspective article we summarize some of the most outstanding data and advances on plant chromatin research presented at this workshop.
Teen dating violence
(2021)
Social institutions
(2024)
Social institutions are a system of behavioral and relationship patterns that are densely interwoven and enduring and function across an entire society. They order and structure the behavior of individuals in core areas of society and thus have a strong impact on the quality of life of individuals. Institutions regulate the following: (a) family and relationship networks carry out social reproduction and socialization; (b) institutions in the realm of education and training ensure the transmission and cultivation of knowledge, abilities, and specialized skills; (c) institutions in the labor market and economy provide for the production and distribution of goods and services; (d) institutions in the realm of law, governance, and politics provide for the maintenance of the social order; (e) while cultural, media, and religious institutions further the development of contexts of meaning, value orientations, and symbolic codes.
Background:
Inflammatory bowel disease (IBD) represents a dysregulation of the mucosal immune system. The pathogenesis of Crohn’s disease (CD) and ulcerative colitis (UC) is linked to the loss of intestinal tolerance and barrier function. The healthy mucosal immune system has previously been shown to be inert against food antigens. Since the small intestine is the main contact surface for antigens and therefore the immunological response, the present study served to analyse food-antigen-specific T cells in the peripheral blood of IBD patients.
Methods:
Peripheral blood mononuclear cells of CD, with an affected small intestine, and UC (colitis) patients, either active or in remission, were stimulated with the following food antigens: gluten, soybean, peanut and ovalbumin. Healthy controls and celiac disease patients were included as controls. Antigen-activated CD4+ T cells in the peripheral blood were analysed by a magnetic enrichment of CD154+ effector T cells and a cytometric antigen-reactive T-cell analysis (‘ARTE’ technology) followed by characterisation of the ef- fector response.
Results:
The effector T-cell response of antigen-specific T cells were compared between CD with small intestinal inflammation and UC where inflammation was restricted to the colon. Among all tested food antigens, the highest frequency of antigen-specific T cells (CD4+CD154+) was found for gluten. Celiac disease patients were included as control, since gluten has been identified as the disease- causing antigen. The highest frequency of gluten antigen-specific T cells was revealed in active CD when compared with UC, celiac disease on a gluten-free diet (GFD) and healthy controls. Ovalbuminspecific T cells were almost undetectable, whereas the reaction to soybean and peanut was slightly higher. But again, the strong- est reaction was observed in CD with small intestinal involvement compared with UC. Remarkably, in celiac disease on a GFD only
antigen-specific cells for gluten were detected. These gluten-specific T cells were characterised by up-regulation of the pro-inflammatory cytokines IFN-γ, IL-17A and TNF-α. IFN-g was exclusively elevated in CD patients with active disease. Gluten-specific T-cells expressing IL-17A were increased in all IBD patients. Furthermore, T cells of CD patients, independent of disease activity, revealed a high expression of the pro-inflammatory cytokine TNF-α.
Conclusion:
The ‘ARTE’-technique allows to analyse and quantify food antigen specific T cells in the peripheral blood of IBD patients indicating a potential therapeutic insight. These data provide evidence that small intestinal inflammation in CD is key for the development of a systemic pro-inflammatory effector T-cell response driven by food antigens.
In their comment on our paper (Caesar et al 2020 Environ. Res. Lett. 15 024003), Chen and Tung (hereafter C&T) argue that our analysis, showing that over the last decades Atlantic meridional overturning circulation (AMOC) strength and global mean surface temperature (GMST) were positively correlated, is incorrect. Their claim is mainly based on two arguments, neither of which is justified: first, C&T claim that our analysis is based on 'established evidence' that was only true for preindustrial conditions-this is not the case. Using data from the modern period (1947-2012), we show that the established understanding (i.e. deep-water formation in the North Atlantic cools the deep ocean and warms the surface) is correct, but our analysis is not based on this fact. Secondly, C&T claim that our results are based on a statistical analysis of only one cycle of data which was furthermore incorrectly detrended. This, too, is not true. Our conclusion that a weaker AMOC delays the current surface warming rather than enhances it, is based on several independent lines of evidence. The data we show to support this covers more than one cycle and the detrending (which was performed to avoid spurious correlations due to a common trend) does not affect our conclusion: the correlation between AMOC strength and GMST is positive. We do not claim that this is strong evidence that the two time series are in phase, but rather that this means that the two time series are not anti-correlated.
Most flowering plants are hermaphrodites, with flowers having both male and female reproductive organs. One widespread adaptation to limit self-fertilization is self-incompatibility (SI), where self-pollen fails to fertilize ovules.(1,2) In homomorphic SI, many morphologically indistinguishable mating types are found, although in heteromorphic SI, the two or three mating types are associated with different floral morphologies.(3-6) In heterostylous Primula, a hemizygous supergene determines a short-styled S-morph and a long-styled L-morph, corresponding to two different mating types, and full seed set only results from inter morph crosses.(7-9) Style length is controlled by the brassinosteroid (BR)-inactivating cytochrome P450 CYP734A50,(10) yet it remains unclear what defines the male and female incompatibility types. Here, we show that CYP734A50 also determines the female incompatibility type. Inactivating CYP734A50 converts short S-morph styles into long styles with the same incompatibility behavior as L-morph styles, and this effect can be mimicked by exogenous BR treatment. In vitro responses of S-and L-morph pollen grains and pollen tubes to increasing BR levels could only partly explain their different in vivo behavior, suggesting both direct and indirect effects of the different BR levels in S-versus L-morph stigmas and styles in controlling pollen performance. This BR-mediated SI provides a novel mechanism for preventing self-fertilization. The joint control of morphology and SI by CYP734A50 has important implications for the evolutionary buildup of the heterostylous syndrome and provides a straightforward explanation for why essentially all of the derived self-compatible homostylous Primula species are long homostyles.(11)
Editorial
(2020)
Xenikoudakis et al. report a partial mitochondrial genome of the extinct giant beaver Castoroides and estimate the origin of aquatic behavior in beavers to approximately 20 million years. This time estimate coincides with the extinction of terrestrial beavers and raises the question whether the two events had a common cause.
Climate change entails an intensification of extreme weather events that can potentially trigger socioeconomic and energy system disruptions. As we approach 1 degrees C of global warming we should start learning from historical extremes and explicitly incorporate such events in integrated climate-economy and energy systems models.
Leben in der ehemaligen DDR
(2019)
Harmonized data file as the basis for comparative analysis of quality of life in the Candidate Countries and the European Union member states, based on seven different data sets, one Eurobarometer survey covering 13 Candidate Countries with an identical set of variables conducted in April 2002, the other six Standard Eurobarometer of different subjects and fielded in different years, each with another set of questions identical with the CC Eurobarometer. Selected aggregate indicators of quality of life ... describing the social situation in the EU15 and Candidate Countries.
The US perennially has a far higher poverty rate than peer-rich democracies.1 This high poverty rate in the US presents an enormous challenge to population health given that considerable research demonstrates that being in poverty is bad for one’s health.2 Despite valuable contributions of prior research on income and mortality, the quantity of mortality associated with poverty in the US remains uknown. In this cohort study, we estimated the association between poverty and mortality and quantified the proportion and number of deaths associated with poverty.
Several overlapping crises which affected the EU during the past ten years have recently aggravated. Especially the progressing refugee crisis, the persisting financial crisis and geopolitical turmoil in the EU's neighbourhood contributed to the rise of anti-EU movements and diverse articulations of Euroscepticism. Although public opinion and mainstream political analysis have easily identified right-wing populism as one of the most important drivers, it is still doubtful if it can be equated with Euroscepticism without further ado. To date it is by no means clear how and where Euroscepticism exactly originates.
PURPOSE: To determine the feasibility of upright compared to supine MRI measurements to determine characteristics of the lumbar spine in AA with spondylolisthesis.
METHODS: Ten AA (n=10; m/f: 4/6; 14.5±1.7y; 163±7cm; 52±8kg) from various sports, diagnosed with spondylolisthesis grade I-II Meyerding confirmed by x-ray in standing lateral view, were included. Open low-field MRI images (0.25 Tesla) in upright (82°) and supine (0°) position were evaluated by two observers. Medical imaging software was used to measure the anterior translation (AT, mm), lumbosacral joint angle (LSJA, °) and lordosis angle (LA, °). Reliability was analyzed by the intra-rater correlation coefficient (ICC) and standard error of measurements (SEM).
RESULTS: Due to motion artifacts during upright position, measures of three participants had to be excluded. Between observers, AT ranged from 4.2±2.7mm to 5.5±1.9mm (ICC=0.94, SEM=0.6mm) in upright and from 4.9±2.4mm to 5.9±3.0mm (ICC=0.89, SEM=0.9mm) in supine position. LSJA varied from 5.1±2.2° to 7.3±1.5° (ICC=0.54, SEM=1.5°) in upright and from 9.8±2.5° to 10±2.4° (ICC=0.73, SEM=1.1°) in supine position. LA differed from 58.8±14.6° to 61.9±6° (ICC=0.94, SEM=1.19°) in upright and from 51.9±11.7° to 52.6±11.1° (ICC=0.98, SEM=1.59°) in supine position.
CONCLUSIONS: Determination of AT and LA showed good to excellent reliability in both, upright and supine position. In contrast, reliability of LSJA had only moderate to good correlation
between observers and should therefore be interpreted with caution. However, motion artifacts should be taken into consideration during upright imaging procedures.
Acute ankle sprain leads in 40% of all cases to chronic ankle instability (CAI). CAI is related to a variety of motor adaptations at the lower extremities. Previous investigations identified increased muscle activities while landing in CAI compared to healthy control participants. However, it remains unclear whether muscular alterations at the knee muscles are limited to the involved (unstable) ankle or are also present at the uninvolved leg. The latter might potentially indicate a risk of ankle sprain or future injury on the uninvolved leg. Purpose: To assess if there is a difference of knee muscle activities between the involved and uninvolved leg in participants with CAI during perturbed walking. Method: 10 participants (6 females; 4 males; 26±4 years; 169±9 cm; 65±7 kg) with unilateral CAI walked on a split-belt treadmill (1m/s) for 5 minutes of baseline walking and 6 minutes of perturbed walking (left and right side, each 10 perturbations). Electromyography (EMG) measurements were performed at biceps femoris (BF) and rectus femoris (RF). EMG amplitude (RMS; normalized to MVIC) were analyzed for 200ms pre-heel contact (Pre200), 100ms post heel contact (Post100) and 200ms after perturbation (Pert200). Data was analyzed by paired t-test/Wilcoxon test based on presence or absence of normal distribution (Bonferroni adjusted α level p≤ 0.0125). Results: No statistical difference was found between involved and uninvolved leg for RF (Pre200: 4±2% and 11± 22%, respectively, p= 0.878; Post100: 10± 5 and 18±31%, p=0.959; Pert200: 6±3% and 13±24%, p=0.721) as well as for BF (Pre200: 12±7% and 11±6, p=0.576; Post100: 10±7% and 9±7%, p=0.732; Pert200: 7±4 and 7±7%, p=0.386). Discussion: No side differences in muscle activity could be revealed for assessed feedforward and feedback responses (perturbed and unperturbed) in unilateral CAI. Reduced inter-individual variability of muscular activities at the involved leg might indicate a rather stereotypical response pattern. It remains to be investigated, whether muscular control at the knee is not affected by CAI, or whether both sides adapted in a similar style to the chronic condition at the ankle.
Chronic ankle instability (CAI) is not only an ankle issue, but also affects sensorimotor system. People with CAI show altered muscle activation in proximal joints such as hip and knee. However, evidence is limited as controversial results have been presented regarding changes in activation of hip muscles in CAI population. PURPOSE: To investigate the effect of CAI on activity of hip muscles during normal walking and walking with perturbations. METHODS: 8 subjects with CAI (23 ± 2 years, 171 ± 7 cm and 65 ± 4 kg) and 8 controls (CON) matched by age, height, weight and dominant leg (25 ± 3 years, 172 ± 7 cm and 65 ± 6 kg) walked shoed on a split-belt treadmill (1 m/s). Subjects performed 5 minutes of baseline walking and 6 minutes walking with 10 perturbations (at 200 ms after heel contact with 42 m/s2 deceleration impulse) on each side. Electromyography signals from gluteus medius (Gmed) and gluteus maximus (Gmax) were recorded while walking. Muscle amplitudes (Root Mean Square normalized to maximum voluntary isometric contraction) were calculated at 200 ms before heel contact (Pre200), 100 ms after heel contact (Post100) during normal walking and 200 ms after perturbations (Pert200). Differences between groups were examined using Mann Whitney U test and Bonferroni correction to account for multiple testing (adjust α level p≤ 0.0125). RESULT: In Gmed, CAI group showed lower muscle amplitude than CON group after heel contact (Post100: 18±7 % and 47±21 %, p< .01) and after walking perturbations ( 31±13 % and 62±26 %, p< .01), but not before heel contact (Pre200: 5±2 % and 11±10 %, p= 0.195). In Gmax, no difference was found between CAI and CON groups in all three time points (Pre200: 12±5 % and 17±12 %, p= 0.574; Post100: 41±21 % and 41±13 %, p= 1.00; Pert200: 79±46 % and 62±35 %, p= 0.505). CONCLUSION: People with CAI activated Gmed less than healthy control in feedback mechanism (after heel contact and walking with perturbations), but not in feedforward mechanism (before heel contact). Less activation on Gmed may affect the balance in frontal plane and increase the risk of recurrent ankle sprain, giving way or feeling ankle instability in patients with CAI during walking. Future studies should investigate the effect of Gmed strengthening or neuromuscular training on CAI rehabilitation.
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.
HESS J1826-130
(2017)
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.
Eccentric (ECC) exercises might cause muscle damage, characterized by delayed-onset muscle soreness, elevated creatine kinase (CK) levels and local muscle oedema, shown by elevated T2 times in magnet resonance imaging (MRI) scans. Previous research suggests a high inter-individual difference regarding these systemic and local responses to eccentric workload. PURPOSE: To analyze ECC exercise-induced muscle damage in lumbar paraspinal muscles assessed via MRI. METHODS: Ten participants (3f/7m; 33±6y; 174±8cm; 71±12kg) were included in the study. Quantitative paraspinal muscle constitution of M. erector spinae and M. multifidius were assessed in supine position before and 72h after an intense eccentric trunk exercise bout in a mobile 1.5 tesla MRI device. MRI scans were recorded on spinal level L3 (T2-weighted TSE echo sequences, 11 slices, 2mm slice thickness, 3mm gap, echo times: 20, 40, 60, 80, 100ms, TR time: 2500ms). Muscle T2 times were calculated for manually traced regions of interest of the respective muscles with an imaging software. The exercise protocol was performed in an isokinetic device and consisted of 120sec alternating ECC trunk flexion-extension with maximal effort. Venous blood samples were taken before and 72h after the ECC exercise. Descriptive statistics (mean±SD) and t-testing for pre-post ECC exercises were performed. RESULTS: T2 times increased from pre- to post-ECC MRI measurements from 55±3ms to 79±28ms in M. erector spinae and from 62±5ms to 78±24ms in M. multifidius (p<0.001). CK increased from 126±97 U/L to 1447±20579 U/L. High SDs of T2 time and CK in post-ECC measures could be due to inter-individual reactions to ECC exercises. 3 participants showed high local and systemic reactions (HR) with T2 time increases of 120±24% (M. erector spinae) and 73±50% (M. multifidius). In comparison, the remaining 7 participants showed increases of 11±12% (M. erector spinae) and 7±9% (M. multifidius) in T2 time. Mean CK increased 9.5-fold in the 3 HR subjects compared with the remaining 7 subjects. CONCLUSIONS: The 120sec maximal ECC trunk flexion-extension protocol induced high amounts of muscle damage in 3 participants. Moderate to low responses were found in the remaining 7 subjects, assuming that inter-individual predictors play a role regarding physiological responses to ECC workload.
Preface
(2017)
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.
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.
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.
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.
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.