Self-Stabilizing Supervised Publish-Subscribe Systems

In this paper we present two major results: First, we introduce the first self-stabilizing version of a supervised overlay network by presenting a self-stabilizing supervised skip ring. Secondly, we show how to use the self-stabilizing supervised skip ring to construct an efficient self-stabilizing publish-subscribe system. That is, in addition to stabilizing the overlay network, every subscriber of a topic will eventually know all of the publications that have been issued so far for that topic. The communication work needed to processes a subscribe or unsubscribe operation is just a constant in a legitimate state, and the communication work of checking whether the system is still in a legitimate state is just a constant on expectation for the supervisor as well as any process in the system

Combined In Vitro Toxicity and Immunogenicity of Cold Plasma and Pulsed Electric Fields

In modern oncology, therapies are based on combining monotherapies to overcome treatment resistance and increase therapy precision. The application of microsecond-pulsed electric fields (PEF) is approved to enhance local chemotherapeutic drug uptake within combination electrochemotherapy regimens. Reactive oxygen species (ROS) have been implicated in anticancer effects, and cold physical plasma produces vast amounts of ROS, which have recently been shown to benefit head and neck cancer patients. PEF and cold plasma technology have been linked to immunogenic cell death (ICD) induction, a regulated cell death accompanied by sterile inflammation that promotes antitumor immunity. To this end, we investigated the combined effect of both treatments regarding their intracellular ROS accumulation, toxicity, ICD-related marker expression, and optimal exposure sequence in a leukemia model cell line. The combination treatment substantially increased ROS and intracellular glutathione levels, leading to additive cytotoxic effects accompanied by a significantly increased expression of ICD markers, such as the eat-me signal calreticulin (CRT). Preconditioned treatment with cold plasma followed by PEF exposure was the most potent treatment sequence. The results indicate additive effects of cold plasma and PEF, motivating further studies in skin and breast tumor models for the future improvement of ECT in such patients

Kulturelle Gedächtnisinstitutionen und ihre digitale Zukunft

Bereits seit einiger Zeit ist von Seiten kulturgutverwahrender Institutionen ein Aufbruch in Richtung der digitalen Welt zu konstatieren. Eine steigende Anzahl von Tagungen, Publikationen und kulturwissenschaftlichen Studien zu diesem Thema belegt dies.1 Doch welche Umbrüche in den Strukturen, im Denken und in den Strategien sind notwendig, um die digitale Zukunft erfolgreich zu beschreiten? (...

Kulturelle Gedächtnisinstitutionen und ihre digitale Zukunft

Bereits seit einiger Zeit ist von Seiten kulturgutverwahrender Institutionen ein Aufbruch in Richtung der digitalen Welt zu konstatieren. Eine steigende Anzahl von Tagungen, Publikationen und kulturwissenschaftlichen Studien zu diesem Thema belegt dies.1 Doch welche Umbrüche in den Strukturen, im Denken und in den Strategien sind notwendig, um die digitale Zukunft erfolgreich zu beschreiten? (...

Model-based Safety and Security Co-analysis: a Survey

We survey the state-of-the-art on model-based formalisms for safety and security analysis, where safety refers to the absence of unintended failures, and security absence of malicious attacks. We consider ten model-based formalisms, comparing their modeling principles, the interaction between safety and security, and analysis methods. In each formalism, we model the classical Locked Door Example where possible. Our key finding is that the exact nature of safety-security interaction is still ill-understood. Existing formalisms merge previous safety and security formalisms, without introducing specific constructs to model safety-security interactions, or metrics to analyze trade offs

Model-based Joint Analysis of Safety and Security:Survey and Identification of Gaps

We survey the state-of-the-art on model-based formalisms for safety and security joint analysis, where safety refers to the absence of unintended failures, and security to absence of malicious attacks. We conduct a thorough literature review and - as a result - we consider fourteen model-based formalisms and compare them with respect to several criteria: (1) Modelling capabilities and Expressiveness: which phenomena can be expressed in these formalisms? To which extent can they capture safety-security interactions? (2) Analytical capabilities: which analysis types are supported? (3) Practical applicability: to what extent have the formalisms been used to analyze small or larger case studies? Furthermore, (1) we present more precise definitions for safety-security dependencies in tree-like formalisms; (2) we showcase the potential of each formalism by modelling the same toy example from the literature and (3) we present our findings and reflect on possible ways to narrow highlighted gaps. In summary, our key findings are the following: (1) the majority of approaches combine tree-like formal models; (2) the exact nature of safety-security interaction is still ill-understood and (3) diverse formalisms can capture different interactions; (4) analyzed formalisms merge modelling constructs from existing safety- and security-specific formalisms, without introducing ad hoc constructs to model safety-security interactions, or (5) metrics to analyze trade offs. Moreover, (6) large case studies representing safety-security interactions are still missing