Modification of Iron with Degradable Silver Phases Processed via Laser Beam Melting for Implants with Adapted Degradation Rate

In medical technology, implants are used to improve the quality of patients’ lives. The development of materials with adapted properties can further increase the benefit of implants. If implants are only needed temporarily, biodegradable materials are beneficial. In this context, iron-based materials are promising due to their biocompatibility and mechanical properties, but the degradation rate needs to be accelerated. Apart from alloying, the creation of noble phases to cause anodic dissolution of the iron-based matrix is promising. Due to its high electrochemical potential, immiscibility with iron, biocompatibility, and antibacterial properties, silver is suited for the creation of such phases. A suitable technology for processing immiscible material combinations is powder-bed-based procedure like laser beam melting. This procedure offers short exposure times to high temperatures and therefore a limited time for diffusion of alloying elements. As the silver phases remain after the dissolution of the iron matrix, a modification is needed to ensure their degradability. Following this strategy, pure iron with 5 wt% of a degradable silver–calcium–lanthanum alloy is processed via laser beam melting. Investigation of the microstructure yields achievement of the intended microstructure and long-term degradation tests indicates an impact on the degradation, but no increased degradation rate.     

On the collective sort problem for distributed tuple spaces

In systems coordinated with a distributed set of tuple spaces, it is crucial to assist agents in retrieving the tuples they are interested in. This can be achieved by sorting techniques that group similar tuples together in the same tuple space, so that the position of a tuple can be inferred by similarity. Accordingly, we formulate the collective sort problem for distributed tuple spaces, where a set of agents is in charge of moving tuples up to a complete sort has been reached, namely, each of the N tuple spaces aggregate tuples belonging to one of the N kinds available. After pointing out the requirements for effectively tackling this problem, we propose a self-organizing solution resembling brood sorting performed by ants. This is based on simple agents that perform partial observations and accordingly take decisions on tuple movement. Convergence is addressed by a fully adaptive method for simulated annealing, based on noise tuples inserted and removed by agents on a need basis so as to avoid sub-optimal sorting. Emergence of sorting properties and scalability are evaluated through stochastic simulations.     

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

A key feature for infrastructures providing coordination services is the ability to define the behaviour of coordination abstractions according to the requirements identified at design-time. We take as a representative for this scenario the logic-based language ReSpecT (Reaction Specification Tuples), used to program the reactive behaviour of tuple centres. ReSpecT specifications are at the core of the engineering methodology underlying the TuCSoN infrastructure, and are therefore the “conceptual place” where formal methods can be fruitfully applied to guarantee relevant system properties.In this paper we introduce ReSpecT nets, a formalism that can be used to describe reactive behaviours that can succeed and fail, and that allows for an encoding to Petri nets with inhibitor arcs. ReSpecT nets are introduced to give a core model to a fragment of the ReSpecT language, and to pave the way for devising an analysis methodology including formal verification of safety and liveness properties. In particular, we provide a semantics to ReSpecT specifications through a mapping to ReSpecT nets. The potential of this approach for the analysis of ReSpecT specifications is discussed, presenting initial results for the analysis of safety properties.     

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and unpredictability of today's distributed systems. In this area, systems are to be described using stochastic models, and simulation is a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property.     

Satisfiability of co-nested formulas

As a notion dual to Knuth's nested formulas [4], we call a boolean formula in conjunctive normal formco-nested if its clauses can be linearly ordered (sayC={c _i ;i=1,2, ...,n})so that the graphG ^cl =(XC, {xc _i ;xc _i or ¬xc _i } {c _i c _i+1;i=1, 2, ...,n}) allows a noncrossing drawing in the plane so that the circlec ₁,c ₂, ...,c _n bounds the outerface. Our main result is that maximum satisfiability of co-nested formulas can be decided in linear time.Both authors acknowledge a partial support of Ec Cooperative Action IC-1000 (project ALTEC:Algorithms for Future Technologies).     

Description and composition of bio-inspired design patterns: a complete overview

In the last decade, bio-inspired self-organising mechanisms have been applied to different domains, achieving results beyond traditional approaches. However, researchers usually use these mechanisms in an ad-hoc manner. In this way, their interpretation, definition, boundary (i.e. when one mechanism stops, and when another starts), and implementation typically vary in the existing literature, thus preventing these mechanisms from being applied clearly and systematically to solve recurrent problems. To ease engineering of artificial bio-inspired systems, this paper describes a catalogue of bio-inspired mechanisms in terms of modular and reusable design patterns organised into different layers. This catalogue uniformly frames and classifies a variety of different patterns. Additionally, this paper places the design patterns inside existing self-organising methodologies and hints for selecting and using a design pattern.     

Gesundheitsinformationen im Internet

Electronic Health (E-Health) increasingly strives to provide health information and services to healthcare stakeholders (e.g., insurances, physicians, hospital and patient alliances, self-help groups) via the Internet, and to actively involve patients in their care. One major chance for these participatory healthcare and patient-oriented approaches that integrate patients in healthcare are the phenomena and ideas associated with providing information and healthcare on the Internet. This paper examines the existing body of knowledge on online health information and explores the current state of research through a review of literature by classifying articles published between the last two decades in IS, BISE, and health domain-specific journals as well as a review of past and current BMBF-, DFG-, and EU-funded research projects in this field. The fundamental categories of the analysis represent the stakeholders in the healthcare sector, the connecting information flows, the information-transferring technological applications, as well as the categories of the TEMPEST model. Amongst others, the results show that most of the analyzed papers discuss conventional, transactional E-Health applications. Within the TEMPEST model the technological category has the largest share of all categories. Based on these findings, causes and future research fields are discussed.     

Designing a personal informatics system for users without experience in self-tracking: a case study

Thanks to the advancements in ubiquitous and wearable technologies, Personal Informatics (PI) systems can now reach a larger audience of users. However, it is not still clear whether this kind of tool can fit the needs of their daily lives. Our research aims at identifying specific barriers that may prevent the widespread adoption of PI and finding solutions to overcome them. We requested users without competence in self-tracking to use different PI instruments during their daily practices, identifying five user requirements by which to design novel PI tools. On such requirements, we developed a new system that can stimulate the use of these technologies, by enhancing the perceived benefits of collecting personal data. Then, we explored how naïve and experienced users differently explore their personal data in our system through a user trial. Results showed that the system was successful at helping individuals manage and interpret their own data, validated the usefulness of the requirements found and inspired three further design opportunities that could orient the design of future PI systems.     

Oxidation,ignition, and combustion of Al·I2 composite powders

Materials combining high energy density of metals with the biocidal activity of halogens are of interest for applications aiming to inactivate harmful aerosolized microorganisms by combined thermal and chemical effects. This effort develops nanocomposite Al-halogen materials to replace pure Al as a fuel additive in energetic formulations. Cryogenic milling of elemental aluminum and iodine is used to prepare powder-like composite materials for laboratory tests. In such materials, iodine is stabilized in aluminum matrix and is released when the materials are heated and ignited. Al·I₂ composite powders with the iodine concentration from 10 to 30 wt.% were prepared. Iodine release by and oxidation of such materials were investigated using thermo-gravimetric analysis. Ignition temperatures of the prepared powders were determined at the heating rates of 1000–22,000 K/s using an electrically heated filament. Composite powders ignite at lower temperatures compared to pure Al powders. Combustion characteristics of the prepared materials were investigated using a constant volume explosion test for aerosolized powders and laser ignition test for individual particles. In both combustion experiments pure Al served as a reference. Higher combustion rate and greater total pressure were observed for the aerosolized clouds of composite powders with 15 and 20 wt.% of iodine. For individual particles, the burn times were slightly longer and flame temperatures were slightly lower compared to those of pure aluminum. Both overall iodine concentration and its stability in the composite powders affected their ignition and combustion characteristics.