A novel feature-based approach to characterize algorithm performance for the traveling salesperson problem

Meta-heuristics are frequently used to tackle NP-hard combinatorial optimization problems. With this paper we contribute to the understanding of the success of 2-opt based local search algorithms for solving the traveling salesperson problem (TSP). Although 2-opt is widely used in practice, it is hard to understand its success from a theoretical perspective. We take a statistical approach and examine the features of TSP instances that make the problem either hard or easy to solve. As a measure of problem difficulty for 2-opt we use the approximation ratio that it achieves on a given instance. Our investigations point out important features that make TSP instances hard or easy to be approximated by 2-opt.     

Segmentation and Restoration of Images on Surfaces by Parametric Active Contours with Topology Changes

In this article, a new method for segmentation and restoration of images on two-dimensional surfaces is given. Active contour models for image segmentation are extended to images on surfaces. The evolving curves on the surfaces are mathematically described using a parametric approach. For image restoration, a diffusion equation with Neumann boundary conditions is solved in a postprocessing step in the individual regions. Numerical schemes are presented which allow to efficiently compute segmentations and denoised versions of images on surfaces. Also topology changes of the evolving curves are detected and performed using a fast sub-routine. Finally, several experiments are presented where the developed methods are applied on different artificial and real images defined on different surfaces.     

Affective mechanisms linking dysfunctional behavior to performance in work teams: A moderated mediation study.

The present study examines the association between dysfunctional team behavior and team performance. Data included measures of teams' dysfunctional behavior and negative affective tone as well as supervisors' ratings of teams' (nonverbal) negative emotional expressivity and performance. Utilizing a field sample of 61 work teams, the authors tested the proposed relationships with robust data analytic techniques. Results were consistent with the hypothesized conceptual scheme, in that negative team affective tone mediated the relationship between dysfunctional team behavior and performance when teams' nonverbal negative expressivity was high but not when nonverbal expressivity was low. On the basis of the findings, the authors conclude that the connection between dysfunctional behavior and performance in team situations is more complex than was previously believed--thereby yielding a pattern of moderated mediation. In sum, the findings demonstrated that team members' collective emotions and emotional processing represent key mechanisms in determining how dysfunctional team behavior is associated with team performance. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Aluminium in wild mushrooms and cultivated Agaricus bisporus

 The aluminium content in wild mushrooms (n = 271, 19 species) and in cultivated Agaricus bisporus (n = 15) was determined by graphite furnace atomic absorption spectroscopy. With an aluminium content of 30 – 50 μ/g dry matter (DM) Boletus and Xerocomus species, the most well-known and most popular mushrooms, proved to be poor in aluminium. Several species of the genus Suillus, Macrolepiota rhacodes, Hypholoma capnoides as well as individual samples of Russula ochroleuca and Amanita rubescens contained high aluminium concentrations of about 100 μg/g DM and more. Cultivated Agaricus bisporus had the lowest aluminium content, i. e. 14 μg/g DM. The site, its geological origin as well as the mushroom species influenced the aluminium content in the fruitbodies: these factors require further investigation. Mushrooms do not contribute significantly to aluminium intake by humans. Received: 23 January 1997     

A novel pyruvate kinase (PK-S) from boar spermatozoa is localized at the fibrous sheath and the acrosome

Boar spermatozoa contain a novel pyruvate kinase (PK-S) that is tightly bound at the acrosome of the sperm head and at the fibrous sheath in the principal piece of the flagellum, while the midpiece contains a soluble pyruvate kinase (PK). PK-S could not be solubilized by detergents, but by trypsin with no loss of activity. Purified PK-S as well as PK-S still bound to cell structures and soluble sperm PK have all kinetics similar to those of rabbit muscle PK-M1. The PK-S subunit had a relative molecular mass of 64 +/- 1 x 10(3) (n = 3), i.e. slightly higher than that of PK-M1, and carried an N-terminal extension (NH(2)-TSEAM-COOH) that is lacking in native PK-M1. Evidence is provided that PK-S is encoded by the PKM gene. Antibodies produced against the N-terminus of purified PK-S (NH(2)-TSEAMPKAHMDAG-COOH) were specific for PK-S as they did not react with somatic PKs or soluble sperm PK, while anti-PK-M1 recognized both sperm PKs. Immunofluorescence microscopy showed anti-PK-S to label the acrosome and the flagellar principal piece, whereas the midpiece containing the mitochondria was labelled only by anti-PK-M1. Immunogold labelling confirmed the localization of PK-S at the acrosome. In the principal piece, both polyclonal anti-PK-M1 and anti-PK-S were found at the fibrous sheath. Our results suggest that PK-S is a major component in the structural organization of glycolysis in boar spermatozoa.     

Integrating a formal method into a software engineering process with UML and Java

We describe how CSP-OZ, a formal method combining the process algebra CSP with the specification language Object-Z, can be integrated into an object-oriented software engineering process employing the UML as a modelling and Java as an implementation language. The benefit of this integration lies in the rigour of the formal method, which improves the precision of the constructed models and opens up the possibility of (1) verifying properties of models in the early design phases, and (2) checking adherence of implementations to models. The envisaged application area of our approach is the design of distributed reactive systems. To this end, we propose a specific UML profile for reactive systems. The profile contains facilities for modelling components, their interfaces and interconnections via synchronous/broadcast communication, and the overall architecture of a system. The integration with the formal method proceeds by generating a significant part of the CSP-OZ specification from the initially developed UML model. The formal specification is on the one hand the starting point for verifying properties of the model, for instance by using the FDR model checker. On the other hand, it is the basis for generating contracts for the final implementation. Contracts are written in the Java Modeling Language (JML) complemented by CSP_jassda, an assertion language for specifying orderings between method invocations. A set of tools for runtime checking can be used to supervise the adherence of the final Java implementation to the generated contracts. This research was partially supported by the DFG project ForMooS (grants OL 98/3-2 and WE 2290/5-1). C. B. Jones     

Emulsifier Composition of Solid Lipid Nanoparticles (SLN) Affects Mechanical and Barrier Properties of SLN‐Protein Composite Films

Protein films can be applied to improve food quality and to reduce packaging waste. To overcome their poor water barrier properties, lipids are often incorporated. The function of incorporated lipid depends on the interface between filler and matrix. This study aimed to tailor the properties of a protein–lipid film by designing the oil/water interface to see if the concept of inactive/active filler is valid. Therefore, we varied the emulsifier stabilizing solid lipid nanoparticles (SLN) to promote (via β‐lactoglobulin) or to minimize (via Tween 20) interactions between particle surface and protein. SLN were incorporated into protein films and film properties were determined. Addition of SLN led to significantly decreased water vapor permeability (WVP) of protein films. However, WVP was mainly affected by the emulsifiers and not by the lipid. Protein‐stabilized SLN (BS) replaced a lacking protein in the protein network and therefore did not influence the mechanical properties of the films at ambient temperature. BS‐composite films were temperature sensitive, as lipid and sucrose palmitate melted at temperatures above 40 °C. Tween 20‐stabilized SLN (TS) led to reduced tensile strengths, probably due to perturbative effects of TS and plasticizing effects of Tween 20. Dynamic mechanical analysis showed that TS and Tween 20 increased film mobility. Melting of lipid and emulsifiers, and temperature‐dependent behavior of Tween 20 led to a strong temperature dependence of the film stiffness. By designing the interface, particles can be used to tailor mechanical properties of protein films. Tuned edible films could be used to control mass transfers between foods.     

Effect of wheat bran on the mechanical properties of extruded starchy foams

Incorporation of wheat bran has a significant effect on the texture of extruded starchy products. This can be explained by changes in the mechanical parameters of the products. The stress at rupture and elastic modulus of wheat flour-based solid foams, obtained at different extrusion conditions and bran concentration, were measured using a three-point bending test. Both parameters were positively correlated with the foam relative density according to the Gibson–Ashby model. At same relative densities and bran concentration, finer structures with higher density of small cells led to a higher mechanical strength of the foams. The stress at rupture of the unexpanded material was decreased when increasing the bran concentration. Nevertheless, expanded foams with added bran at an intermediate level showed increased mechanical strength. This was attributed to the finer cellular structures obtained. The effect of increasing the bran to a higher concentration on the mechanical properties was depending on the cell wall thickness and bran particle dimensions. At high relative density, the strength of the foams was further increased due to the even finer structures obtained. At low relative density, even though finer structures were also obtained, the stress at rupture of the foams was decreased. This may be explained by the lower cell wall thicknesses and low adhesion properties between bran and starch favoring rupture of the cell walls.