Phase diagrams for lead-free solder alloys

The need for new, improved solder alloys and a better understanding of reactions during the soldering process grows steadily as the need for smaller and more reliable electronic products increases. Information obtained from phase equilibria data and thermodynamic calculations has proven to be an important tool in the design and understanding of new lead-free solder alloys. A wide range of candidate alloys can be rapidly evaluated for proper freezing ranges, susceptibility to contamination effects, and reactions with substrate materials before the expensive process of preparing and testing candidate alloys is initiated.     

Comparing Syntactic and Semantic Action Refinement

The semantic definition of action refinement on labelled configuration structures is compared with the notion ofsyntactic substitution, which can be used as another notion of action refinement in a process algebraic setting. The comparison is done by studying a process algebra equipped with sequential composition, parallel composition with an explicit synchronisation set, and an operator for action refinement. On the one hand, the language (including the refinement operator) is given a configuration structure semantics. On the other hand, a reduction procedure transforms a process termPinto aflatterm (i.e., with the refinement operator not occurring in it)red(P) by means of syntactic substitution, defined in a structural inductive way. The main aim of the paper is to investigate general conditions under which the termsPandred(P) have the same semantics. The results we present are essentially dependent on the question whether the refined action can be synchronised or not. In the latter case,Pandred(P) give rise to isomorphic configuration structures under mild assumptions. The former case is considerably more difficult, since then refinement cannot be expected to distribute over parallel composition. We give necessary and sufficientsemanticconditions under which distribution still holds up to semantic equivalence. Subsequently, we also give sufficient (but not necessary)syntacticconditions for reducible terms. Finally, we generalise these results to a language with recursion.     

From embedded sensors to sensorial materials—The road to function scale integration

Ubiquitous computing is about to become part of our everyday lives by integrating hundreds of “invisible” to us computing devices in our environment, so that they can unobtrusively and constantly assist us. This will imply more and smaller “invisible” sensors, homogeneously distributed and at the same time densely packed in host materials, responding to various stimuli and immediately delivering information. In order to reach this aim, the embedded sensors should be integrated within the host material, heading towards sensorial materials. The first step is to omit all parts that are not needed for the sensorial task and to find new solutions for a gentle integration. This is what we call function scale integration. The paper discusses sensor embedding in the human hand as an example of integration in nature, new technological applications and main challenges associated with this approach.     

In vivo interactive visualization of four-dimensional blood flow patterns

In this paper we give an overview over a series of experiments to visualize and measure flow fields in the human vascular system with respect to their diagnostic capabilities. The experiments utilize a selection of GPU-based sparse and dense flow visualization algorithms to show the diagnostic opportunities for volumetric cardiovascular phase contrast magnetic resonance imaging data sets. Besides classical hardware accelerated particle and line-based approaches, an extensible tublet-based visualization, a four-dimensional volumetric line integral convolution and a new two-dimensional cutting plane tool for three-dimensional velocity data sets have been implemented. To evaluate the results, several hearts of human subjects have been investigated and a flow phantom was built to artificially simulate distinctive flow features. Our results demonstrate that we are able to provide an interactive tool for cardiovascular diagnostics with complementary hardware accelerated visualizations. Electronic Supplementary Material  The online version of this article () contains supplementary material, which is available to authorized users.

Using GOMS and NASA-TLX to Evaluate Human–Computer Interaction Process in Interactive Segmentation

HCI plays an important role in interactive medical image segmentation. The Goals, Operators, Methods, and Selection rules (GOMS) model and the National Aeronautics and Space Administration Task Load Index (NASA-TLX) questionnaire are different methods that are often used to evaluate the HCI process. In this article, we aim at improving the HCI process of interactive segmentation using both the GOMS model and the NASA-TLX questionnaire to: 1) identify the relations between these two methods and 2) propose HCI design suggestions based on the synthesis of the evaluation results using both methods. For this, we conducted an experiment where three physicians used two interactive segmentation approaches to segment different types of organs at risk for radiotherapy planning. Using the GOMS model, we identified 16 operators and 10 methods. Further analysis discovered strong relations between the use of GOMS operators and the results of the NASA-TLX questionnaire. Finally, HCI design issues were identified, and suggestions were proposed based on the evaluation results and the identified relations.     

Abstract processes of place/transition systems

A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of equivalence classes of Goltz-Reisig processes, using an equivalence proposed by Best and Devillers. It yields a fully satisfying solution for at least all one-safe nets. However, for certain nets which intuitively have different conflicting behaviours, it yields only one maximal abstract process. Here we identify a class of place/transition systems, called structural conflict nets, where conflict and concurrency due to token multiplicity are clearly separated. We show that, in the case of structural conflict nets, the equivalence proposed by Best and Devillers yields a unique maximal abstract process only for conflict-free nets. Thereby BD-processes constitute a simple and fully satisfying solution in the class of structural conflict nets.     

Corporate Social Responsibility in Innovation: Insights from two Cases of Syngenta's Activities in Genetically Modified Organisms

Corporate social responsibility (CSR) implies that companies have collective responsibility beyond legal requirements. This ‘beyond’ can be described along the ‘triple bottom line’ of sustainability (social, environmental and economic dimensions). Dealing with these dimensions is under discussion in societies and some propose the stakeholder concept as a framework for companies to identify their responsibilities. However, who counts as a key stakeholder and what is a legitimate stake are difficult to determine. This article discusses reasons, possibilities and difficulties of managing responsibility in innovation, taking two cases of genetically modified organisms as examples. It is argued that the stakeholder approach is necessary to provide different perspectives, but is not enough or even completely unsuitable for defining responsibilities. Moral responsibility involves judgement that differs between stakeholders and might vary over time, owing to emerging insights and changing priorities. Therefore, pursuing or abandoning a particular project does not constitute a responsible organization; rather, it is the preparation of decisions, accountability and the resulting pattern of behaviour that renders an organization responsible. The various notions of responsibility set the scene for discussion but do not provide a clear answer to the questions of right or wrong and good or ill intent. Key conclusions are that companies need to organize for responsibility and that responsibility needs to be complemented with accountability.