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.     

Assessment of Bone Microstructure by Micro CT in C57BL/6J Mice for Sex-Specific Differentiation

It remains uncertain which skeletal sites and parameters should be analyzed in rodent studies evaluating bone health and disease. In this cross-sectional mouse study using micro-computed tomography (µCT), we explored: (1) which microstructural parameters can be used to discriminate female from male bones and (2) whether it is meaningful to evaluate more than one bone site. Microstructural parameters of the trabecular and/or cortical compartments of the femur, tibia, thoracic and lumbar vertebral bodies, and skull were evaluated by µCT in 10 female and 10 male six-month-old C57BL/6J mice. The trabecular number (TbN) was significantly higher, while the trabecular separation (TbSp) was significantly lower in male compared to female mice at all skeletal sites assessed. Overall, bone volume/tissue volume (BV/TV) was also significantly higher in male vs. female mice (except for the thoracic spine, which did not differ by sex). Most parameters of the cortical bone microstructure did not differ between male and female mice. BV/TV, TbN, and TbSp at the femur, and TbN and TbSp at the tibia and lumbar spine could fully (100%) discriminate female from male bones. Cortical thickness (CtTh) at the femur was the best parameter to detect sex differences in the cortical compartment (AUC = 0.914). In 6-month-old C57BL/6J mice, BV/TV, TbN, and TbSp can be used to distinguish male from female bones. Whenever it is not possible to assess multiple bone sites, we propose to evaluate the bone microstructure of the femur for detecting potential sex differences.     

Separation of Steviol Glycosides by Hydrophilic Liquid Interaction Chromatography

Stevia rebaudiana Bertoni contains several steviol glycosides with sweet flavour. They all are sweeter than sucrose (up to factor 450). The various steviol glycosides are difficult to separate by reversed-phase chromatography. In this paper, five different hydrophilic liquid interaction chromatography columns are characterized using isocratic elution (5–20% water in acetonitrile with buffer or formic acid). Separation of the steviol glycosides is possible with all but one of the tested columns, but the robustness of the separation against changes of buffer concentration and percentage of water differ. Aqueous percentage and ion strength of the eluent are the main factors to be optimized in method development.     

Fitting in and feeling fine: Conformity and coping motives as mediators of the relationship between social anxiety and problematic drinking.

The present research was conducted to clarify the relationships among social anxiety, alcohol consumption, alcohol-related problems, and negative-reinforcement drinking motives among college students. Heavy drinking students (N = 316, 53.80% female) completed self-report measures of social anxiety, alcohol consumption, alcohol-related problems, and drinking motives. Findings indicated that students higher in social anxiety consumed less alcohol but experienced more negative consequences. Moreover, the relationship between social anxiety and negative consequences was mediated by coping and conformity drinking motives in addition to alcohol consumption. In the context of social anxiety, the current research demonstrates the importance of examining problematic drinking as distinct constructs: alcohol consumption and negative consequences. Findings are also discussed in terms of implications for interventions with socially anxious students. (PsycINFO Database Record (c) 2010 APA, all rights reserved)