Comparison of the wound-activated transformation of caulerpenyne by invasive and noninvasive Caulerpa species of the Mediterranean

The invasive green alga, Caulerpa taxifolia, that has spread rapidly after its introduction into the Mediterranean and the North American Pacific, reacts to wounding by transforming its major metabolite caulerpenyne (1). This wound-activated reaction involves the transformation of the bis-enol acetate moiety of 1, releasing reactive 1,4-dialdehydes. The ability to perform this transformation is found also in both the noninvasive Mediterranean C. prolifera and the invasive C. racemosa. Trapping experiments, as well as transformation of the model substrate geranyl acetate, suggest that all three investigated Caulerpa spp. rely on esterases that act upon wounding of the algae by subsequently removing the three acetate residues of caulerpenyne. The resulting reactive 1,4-dialdehyde oxytoxin 2 (9) can be identified by liquid chromatography–mass spectrometry and is unstable in the wounded tissue. Caulerpenyne transformation occurs rapidly, and severe tissue damage caused degradation of more than 50% of the stored caulerpenyne within 1 min in all three algae. Prevention of the enzymatic reaction before extraction, by shock freezing the tissue with liquid nitrogen, was used for the determination of the caulerpenyne content in intact algae. It gives about twofold higher values compared to an established methanol extraction protocol. The speed and mechanism of the wound-activated transformation, as well as the caulerpenyne content in intact tissue of invasive and noninvasive Caulerpa spp., are comparable. Thus, this enzymatic , transformation, despite being fast and efficient, is likely not the key for the success of the investigated invasive species.     

Vector Image Segmentation by Piecewise Continuous Approximation

In this article we present an approach to the segmentation problem by a piecewise approximation of the given image with continuous functions. Unlike the common approach of Mumford and Shah in our formulation of the problem the number of segments is a parameter, which can be estimated. The problem can be stated as: Compute the optimal segmentation with a fixed number of segments, then reduce the number of segments until the segmentation result fulfills a given suitability. This merging algorithm results in a multi-objective optimization, which is not only resolved by a linear combination of the contradicting error functions. To constrain the problem we use a finite dimensional vector space of functions in our approximation and we restrict the shape of the segments. Our approach results in a multi-objective optimization: On the one hand the number of segments is to be minimized, on the other hand the approximation error should also be kept minimal. The approach is sound theoretically and practically: We show that for L ²-images a Pareto-optimal solution exists and can be computed for the discretization of the image efficiently.     

Algebras of modal operators and partial correctness

Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries of these operators as Galois connections, complementarities and dualities. We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level. Modal Kleene algebras provide a unifying semantics for various program calculi and enhance efficient cross-theory reasoning in this class, often in a very concise pointfree style. This claim is supported by novel algebraic soundness and completeness proofs for Hoare logic and by connecting this formalism with an algebraic decision procedure.     

Simulation of melt jet breakup and debris bed formation in water pools with IKEJET/IKEMIX

The objective of the development of the code system KESS is simulating the processes of core melting, relocation of core material to the lower head of the reactor pressure vessel (RPV) and its further heatup, modelling of fission product release and coolability of the core material. In the scope of the code development, IKEJET and IKEMIX were designed as key models for the breakup of a molten jet falling into a water pool, cooling of fragments and the formation of particulate debris beds. Calculations were performed with these codes, simulating FARO corium quenching experiments at saturated (L-28) and subcooled (L-31) conditions, as well as PREMIX experiments, e.g. PM-16. With the assumption of a reduced interfacial friction between water and steam as compared to usually applied laws, the melt breakup, energy release from the melt and pressurisation of the vessel observed in the experiments are reproduced with a reasonable accuracy. The model is further applied to reactor conditions, calculating the relocation of a mass of corium of 30 t into the lower plenum, its fragmentation and the formation of a particle bed.     

Propagation Models for Trust and Distrust in Social Networks

Semantic Web endeavors have mainly focused on issues pertaining to knowledge representation and ontology design. However, besides understanding information metadata stated by subjects, knowing about their credibility becomes equally crucial. Hence, trust and trust metrics, conceived as computational means to evaluate trust relationships between individuals, come into play. Our major contribution to Semantic Web trust management through this work is twofold. First, we introduce a classification scheme for trust metrics along various axes and discuss advantages and drawbacks of existing approaches for Semantic Web scenarios. Hereby, we devise an advocacy for local group trust metrics, guiding us to the second part which presents Appleseed, our novel proposal for local group trust computation. Compelling in its simplicity, Appleseed borrows many ideas from spreading activation models in psychology and relates their concepts to trust evaluation in an intuitive fashion. Moreover, we provide extensions for the Appleseed nucleus that make our trust metric handle distrust statements. Cai-Nicolas Ziegler is a post-doctoral researcher at DBIS, the Databases and Information Systems group of the University of Freiburg, Germany. He studied Computer Science at the University of Passau, Germany, and Université Laval, Québec, receiving his Diploma (equivalent to MSc) in 2003. Cai-Nicolas obtained his PhD in Computer Science from the University of Freiburg in 2005. His primary research interests cover collaborative filtering applications and recommender systems, as well as computational trust models on the verge of human-computer interaction. Georg Lausen is head of the research group on Databases and Information Systems (DBIS) at the University of Freiburg, Germany. He received his Diploma in Industrial Engineering in 1978, PhD in 1982, and his postdoctoral lecture qualification (Habilitation) in 1985 from the University of Karlsruhe (TH). He was associate professor for Information Technology and Integration Problems at the Technical University of Darmstadt from 1986 to 1987. From 1987 to 1994 he was full professor for databases and informations systems at the University of Mannheim, and since 1994 at the University of Freiburg. His current research interests comprise information integration, internet technologies, and Web services.     

Abstract abstract reduction

We propose novel algebraic proof techniques for rewrite systems. Church–Rosser theorems and further fundamental statements that do not mention termination are proved in Kleene algebra. Certain reduction and transformation theorems for termination that depend on abstract commutation, cooperation or simulation properties are proved in an extension with infinite iteration. Benefits of the algebraic approach are simple concise calculational proofs by equational reasoning, connection with automata-based decision procedures and a natural formal semantics for rewriting diagrams. It is therefore especially suited for mechanization and automation.     

NQR on Gallium Single Crystals for Absolute Thermometry at Very Low Temperatures

It is shown that NMR/NQR-thermometry on Ga single crystals can serve the need of absolute thermometry in a temperature range from below 20 K to above 1 mK. Thus, the sensitive range includes all phase transition temperatures around 1 mK of solid and fluid ³ He, a necessity for an extension of the ³ He-melting-pressure temperature scale towards lower temperatures. The experiments were performed in magnetic fields of 50 to 200 mT and at temperatures down to 200 K using single rf-pulses. Special care was taken for the orientation of the magnetic field with respect to crystal orientation which was obtained by in-situ pulsed NMR-experiments. It has been shown that in the investigated parameter range nonlinear effects in NMR due to high spin alignment had no significant influence. In pulsed NMR as well as in specific heat experiments it could be shown that spin-spin interactions are only weak in Ga and do not influence nuclear paramagnetism, at least at temperatures above 100 K. The advantages of using Ga instead other elements for population difference thermometry are discussed.     

Identifying clinical syndromes in a community sample of elderly persons.

By a strategy suggested by E. H. Uhlenhuth et al (1983), Diagnostic and Statistical Manual of Mental Disorders (DSM-III) referenced syndrome classifications were derived on the basis of the Hopkins Symptoms Checklist—42 scores of 1,131 elderly community residents. Overall syndrome prevalence rates were consistent with other epidemiologic data: 3.9% for depression, 1.0% for agoraphobia-panic, 2.6% for other phobia, and 6.9% for anxiety. Prevalence rates reflected expected sex differences and showed an age trend for other phobias. Considerable comorbidity among syndromes was observed. The association of the syndromes with patterns of psychosocial risk factors, prior diagnoses, and medication suggests that some but not all of the identified syndromes reflect clinically relevant classifications. If further developed, syndrome classifications based on self-report scales can provide inexpensive and clinically relevant measures of caseness. Required refinements of this approach are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Combined cathodoluminescence and X-ray analysis of paint pigments

The suitability of cathodoluminescence (CL) measurements for differentiating between different paint pigments is demonstrated with an example of a combined energy-dispersive X-ray (EDX) and CL analysis of different zinc oxide (ZnO) pigments in a paint fragment where the EDX spectra are virtually identical, but where the CL spectra show significant differences. Consequently, it is possible to distinguish different pigments on the basis of CL spectra and monochromatic CL micrographs.