Local acceptance of wind energy: Factors of success identified in French and German case studies

The objective of this paper is to identify and analyse factors that are important for winning acceptance of wind-energy parks on the local level. The developers of wind-energy parks need to know how to manage “social acceptance” at the different stages of planning, realisation and operation. Five case studies in France and Germany focused on factors of success in developing a wind-energy project on a given site and illuminated how policy frameworks influence local acceptance. Our hypothesis is that these factors fall into two categories: institutional conditions, such as economic incentives and regulations; and site-specific conditions (territorial factors), such as the local economy, the local geography, local actors, and the actual on-site planning process (project management).     

Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

Storage life of frozen salmonoids Effect of light and packaging conditions on carotenoid oxidation and lipid oxidation

Summary The combined effect of oxygen transmission of packaging material and of exposure to light with different spectral distribution on the oxidative degradation of carotenoids and lipids in frozen salmonoids has been characterized in a storage experiment with steaks of rainbow trout. The degradation of the carotenoid astaxanthin, as followed by HPLC analysis and tristimulus colorimetric measurement, was sensitive to the radiant flux density of UV light and less sensitive to the oxygen transmission rate of the packaging material, in agreement with previous findings for photooxidation of carotenoids in food model systems. This is in contrast to the lipid oxidation, which was found to be dependent on the accessability of oxygen rather than on exposure to UV light. Formation of peroxides in the product culminated after 3 months of storage (up to 8.4 mEq kg^–1 oil), and preceded the formation of thiobarbituric-acid-reactive substances. The product in packaging material with a high oxygen transmission rate (60 cm³ m^–2 bar^–1 per 24 h) reached a level of approximately 5 mol malonaldhyde/kg^–1 product, when stored exposed to standard fluorescent light or fluorescent light with a high UV component. Rancid taste was not detected by sensory evaluation for any of the products after 6 months of storage, whereas a bitter taste was noted for the product exposed to UV light.

---

Die Haltbarkeit von Lachsforellen Einfluß von Licht und Verpackung auf die Carotenoid- und Fettoxydation

Zusammenfassung Der kombinierte Effekt von Sauerstoffdurchgang durch Verpackungsmaterial und der Lichteinwirkung verschiedener spektraler Verteilung auf den oxidativen Abbau der Carotinoide und Fette in gefrorenen Lachsforellen wurde in einem Lagerungsversuch untersucht. Der Abbau des Carotenoids Astaxanthin wurde mit HPLC undTristimulus-Calorimetrie beobachtet, und war empfindlich gegenüber UV-Licht und weniger empfindlich gegenüber der Sauerstoffdurchlässigkeit der Verpackung, was mit früheren Ergebnissen für Photooxidation der Carotinoide in Modellsystemen übereinstimmt. Dies widerspricht der Fettoxidation, die mehr von Sauerstoffzugang abhängig ist als von der Entwicklung des UV-Lichtes. Die Bildung von Peroxiden des Produktes kuliminierte nach 3monatiger Lagerung (bis 8,4 meq/kg Öl) und ging der Bildung von Thiobarbitursäure-aktiven Substanzen voraus. Das Produkt im Material mit hohem Sauerstoffdurchgang (60 cm³ m^–2 bar^–1 pro 24 h), das bei normalen fluorescierendem Licht oder bei fluorescierendem Licht mit hohem UV-Anteil aufbewahrt wurde, erreichte einen TBS-Wert von ungefähr 5 mol Malonaldehyd/kg Fleisch. Ein ranziger Geschmack wurde durch sensorische Bewertung nach 6monatiger Lagerung nicht erkannt, wohl aber ein bitterer Geschmack bei dem UV-Licht ausgesetzten Proben.

     

Lipofilling in Breast Oncological Surgery: A Safe Opportunity or Risk for Cancer Recurrence?

Lipofilling (LF) is a largely employed technique in reconstructive and esthetic breast surgery. Over the years, it has demonstrated to be extremely useful for treatment of soft tissue defects after demolitive or conservative breast cancer surgery and different procedures have been developed to improve the survival of transplanted fat graft. The regenerative potential of LF is attributed to the multipotent stem cells found in large quantity in adipose tissue. However, a growing body of pre-clinical evidence shows that adipocytes and adipose-derived stromal cells may have pro-tumorigenic potential. Despite no clear indication from clinical studies has demonstrated an increased risk of cancer recurrence upon LF, these observations challenge the oncologic safety of the procedure. This review aims to provide an updated overview of both the clinical and the pre-clinical indications to the suitability and safety of LF in breast oncological surgery. Cellular and molecular players in the crosstalk between adipose tissue and cancer are described, and heterogeneous contradictory results are discussed, highlighting that important issues still remain to be solved to get a clear understanding of LF safety in breast cancer patients.     

Characterisation of three different impellers using the LDV-technique

A characterisation of three commonly used impellers was made in this study by measuring local mean velocities and the fluctuations of these velocities with the LDV technique. The data was used to estimate volumetric flow, velocity fluctuations and turbulent intensity in the impeller region of the tank. The impellers investigated were a high flow impeller, a pitched blade turbine and a Rushton turbine. The cylindrical vessel used was made of Perspex, had a dished bottom (DIN 28013), was equipped with four baffles and had an inner diameter of 0.45 m. It was found that the bulk velocities could be scaled with the tip-speed of the impeller (ND). The flow rate at constant impeller speed increased in the order high flow impeller — Rushton turbine — pitched blade turbine. The corresponding order for the turbulence fluctuation is: high flow impeller — pitched blade turbine — Rushton turbine. The velocity profile of the flow out from the high flow impeller was furthermore, not as smooth as could be expected.     

Program verification and testing technologies

Program verification and testing techniques are crucial in fruitfully analyzing and validating complex software systems. This is an active research area and has produced various promising techniques in the last decade. However, many challenges lie ahead. We review the research area and summarize six papers selected from the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE 2012).     

Tool-supported enhancement of diagnosis in model-driven verification

We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing. We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate automatically generated winning strategies for the games, by this way exploring the connection between the property, the system, and the proof. This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at . This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007.     

Thymosin β4 is differentially expressed in the cerebrospinal fluid of Creutzfeldt‐Jakob disease patients: a MALDI‐TOF MS protein profiling study

MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease.