Surface chemical heterogeneity of bacteriogenic iron oxides from a subterranean environment

This study quantifies the surface chemical heterogeneity of bacteriogenic iron oxides (BIOS) and its end-members (2-line ferrihydrite and intermixed intact and fragmented bacteria). On a dry weight basis, BIOS consisted of 64.5 +/- 1.8% ferrihydrite and 34.5 +/- 1.8% organic matter. Enrichment of Al, Cu, Cr, Mn, Sr, and Zn was shown in the solid versus the aqueous phase (1.9 < log Kd < 4.2). Within the solid-phase Al (69.5%), Cu (78.7%), and Zn (77.9%) were associated with the bacteria, whereas Cr (59.8%), Mn (99.8%), and Sr (79.4%) preferred ferrihydrite. Acid-base titration data from the BIOS and bacteria were fitted using FOCUS pKa spectroscopy. The bacteria spectrum with pKa's of 4.18 +/- 0.37, 4.80 +/- 0.54, 6.98 +/- 0.45, and 9.75 +/- 0.68 was similar to discrete and continuous spectra for intact and fragmented bacteria. The BIOS spectrum recorded pKa's of 4.27 +/- 0.51, 6.61 +/- 0.51, 7.89 +/- 1.10, and 9.65 +/- 0.66 and was deconvoluted to remove overlapping binding site contributions from the bacteria. The resulting residual iron oxide spectrum coincided with discrete MUSIC spectra for goethite and lepidocrocite with pKa values of 4.10 +/- 0.43, 6.53 +/- 0.45, 7.81 +/- 0.76, and 9.51 +/- 0.68. Surface site density analysis showed that acidic sites (pKa < 6) were contributed by the bacteria (37%), whereas neutral sites (6 < pKa < 8) were characteristic of the iron oxide fraction (35%). Basic sites (8 < pKa) were higher in the bacteria (57%), than in the BIOS (44%) or iron oxide fractions (47%). This analysis suggested a high degree of bacterial group masking and a similarity between the BIOS and goethite surface reactivity. An understanding of the BIOS surface chemical heterogeneity and inherent proton and metal binding capacity was obtained through the use of FOCUS apparent pKa spectroscopy.     

A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols

The verification of security protocols has attracted a lot of interest in the formal methods community, yielding two main verification approaches: i) state exploration, e.g. FDR [Gavin Lowe. Breaking and fixing the needham-schroeder public-key protocol using FDR. In TACAs'96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pages 147–166, London, UK, 1996. Springer-Verlag] and OFMC [A.D. Basin, S. Mödersheim, and L. Viganò. An on-the-fly model-checker for security protocol analysis. In D. Gollmann and E. Snekkenes, editors, ESORICS'03: 8th European Symposium on Research in Computer Security, number 2808 in Lecture Notes in Computer Science, pages 253–270, Gjøvik, Norway, 2003. Springer-Verlag]; and ii) theorem proving, e.g. the Isabelle inductive method [Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal in Computer Security, 6(1-2):85–128, 1998] and Coral [G. Steel, A. Bundy, and M. Maidl. Attacking the asokan-ginzboorg protocol for key distribution in an ad-hoc bluetooth network using coral. In H. König, M. Heiner, and A. Wolisz, editors, IFIP TC6 /WG 6.1: Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems, volume 2767, pages 1–10, Berlin, Germany, 2003. FORTE 2003 (work in progress papers)]. Complementing formal methods, Abadi and Needham's principles aim to guide the design of security protocols in order to make them simple and, hopefully, correct [M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6–15, 1996]. We are interested in a problem related to verification but far less explored: the correction of faulty security protocols. Experience has shown that the analysis of counterexamples or failed proof attempts often holds the key to the completion of proofs and for the correction of a faulty model. In this paper, we introduce a method for patching faulty security protocols that are susceptible to an interleaving-replay attack. Our method makes use of Abadi and Needham's principles for the prudent engineering practice for cryptographic protocols in order to guide the location of the fault in a protocol as well as the proposition of candidate patches. We have run a test on our method with encouraging results. The test set includes 21 faulty security protocols borrowed from the Clark-Jacob library [J. Clark and J. Jacob. A survey of authentication protocol literature: Version 1.0. Technical report, Department of Computer Science, University of York, November 1997. A complete specification of the Clark-Jacob library in CAPSL is available at http://www.cs.sri.com/millen/capsl/].     

Cover Picture: Magnetorheological Fluids Based on Ionic Liquids (Adv. Mater. 13/2007)

The use of ionic liquids as carriers of magnetorheological fluids is described by Schubert and co‐workers on p. 1740. Combining the properties of ionic liquids with magnetorheological technology may lead to new, “smart” fluids for application in medical therapies, engineering devices, or multiphase biological and chemical systems. In the presence of a magnetic field the fluids behave as solids owing to a stronger interaction between their suspended magnetic particles. In the absence of the magnetic field, they become liquids again in a fully reversible process.     

Mapping and monitoring riparian vegetation distribution,structure and composition with regression tree models and post-classification change metrics

Riparian systems have become increasingly susceptible to both natural and human disturbances as cumulative pressures from changing land use and climate alter the hydrological regimes. This article introduces a landscape dynamics monitoring protocol that incorporates riparian structural classes into the land-cover classification scheme and examines riparian change within the context of surrounding land-cover change. We tested whether Landsat Thematic Mapper (TM) imagery could be used to document a riparian tree die-off through the classification of multi-date Landsat images using classification and regression tree (CART) models trained with physiognomic vegetation data. We developed a post-classification change map and used patch metrics to examine the magnitude and trajectories of riparian class change relative to mapped disturbance parameters. Results show that catchments where riparian change occurred can be identified from land-cover change maps; however, the main change resulting from the die-off disturbance was compositional rather than structural, making accurate post-classification change detection difficult.     

Comparison of data gap-filling methods for Landsat ETM+ SLC-off imagery for monitoring forest degradation in a semi-deciduous tropical forest in Mexico

A number of methods to overcome the 2003 failure of the Landsat 7 Enhanced Thematic Mapper (ETM+) scan-line corrector (SLC) are compared in this article in a forest-monitoring application in the Yucatan Peninsula, Mexico. The objective of this comparison is to determine the best approach to accomplish SLC-off image gap-filling for the particular landscape in this region, and thereby provide continuity in the Landsat data sensor archive for forest-monitoring purposes. Four methods were tested: (1) local linear histogram matching (LLHM); (2) neighbourhood similar pixel interpolator (NSPI); (3) geostatistical neighbourhood similar pixel interpolator (GNSPI); and (4) weighted linear regression (WLR). All methods generated reasonable SLC-off gap-filling data that were visually consistent and could be employed in subsequent digital image analysis. Overall accuracy, kappa coefficients (κ), and quantity and allocation disagreement indices were used to evaluate unsupervised Iterative Self-Organizing Data Analysis (ISODATA) land-cover classification maps. In addition, Pearson correlation coefficients (r) and root mean squares of the error (RMSEs) were employed for estimates agreement with fractional land cover. The best results visually (overall accuracy > 85%, κ < 9%, quantity disagreement index < 5.5%, and allocation disagreement index < 12.5%) and statistically (r > 0.84 and RMSE < 7%) were obtained from the GNSPI method. These results suggest that the GNSPI method is suitable for routine use in reconstructing the imagery stack of Landsat ETM+ SLC-off gap-filled data for use in forest-monitoring applications in this type of heterogeneous landscape.     

Design,manufacture and geometric verification of rapid prototyped microfluidic encapsulations by computed tomography

This paper presents the dimensional verification of encapsulations used to package microfluidic devices manufactured using a 3D printer of photopolymerisable resin. This characterisation has been performed by computed tomography (CT) by comparing newly manufactured encapsulations and samples that have been subjected to test conditions. Thus, it has been possible to draw conclusions both on the deviations of the nominal geometry of the encapsulations and on how this might affect their performance. This paper presents a scheme of dimensional verification from the point clouds obtained by CT. Finally, a combined threshold and scale factor correction technique of the tomography images is shown. This method is based on the simultaneous measurement of objective and master parts with known geometry. The results reveal the improvements achievable in the accuracy, given a particular machine configuration. The conclusions facilitate the improvement of the geometric design of these devices regarding their behaviour under test conditions.     

In Vitro Simultaneous Transfer of Lipids to HDL in Coronary Artery Disease and in Statin Treatment

The exchange of lipids with cells and other lipoproteins is a crucial process in HDL metabolism and for HDL antiatherogenic function. Here, we tested a practical method to quantify the simultaneous transfer to HDL of phospholipids, free-cholesterol, esterified cholesterol and triacylglycerols and to verify the lipid transfer in patients with coronary artery disease (CAD) or undergoing statin treatment. Twenty-eight control subjects without CAD, 27 with CAD and 25 CAD patients under simvastatin treatment were studied. Plasma samples were incubated with a donor nanoemulsion prepared by ultrasonication of the constituent lipids and labeled with radioactive lipids; % lipids transferred to HDL were quantified in the HDL-containing supernatant after chemical precipitation of non-HDL fractions and the nanoemulsion. The assay was precise and reproducible. Increase of temperature (4–37 °C), of incubation period (5 min to 2 h), of HDL-cholesterol concentration (33–244 mg/dL) and of mass of nanoemulsion lipids (0.075–0.3 mg/μL) resulted in increased lipid transfer from the nanoemulsion to HDL. In contrast, increasing pH (6.5–8.5) and albumin concentration (3.5–7.0 g/dL) did not affect lipid transfer. There was no difference between CAD and control non-CAD with regard to the lipid transfer, but statin treatment reduced the transfer to HDL of all four lipids. The test herein described is a valid and practical tool for exploring an important aspect of HDL metabolism.     

On measurement of carbon content in retained austenite in a nanostructured bainitic steel

In this study, the carbon content of retained austenite in a nanostructured bainitic steel was measured by atom probe tomography and compared with data derived from the austenite lattice parameter determined by X-ray diffraction. The results provide new evidence about the heterogeneous distribution of carbon in austenite, a fundamental issue controlling ductility in this type of microstructure.     

Self-adaptive systems: A survey of current approaches,research challenges and applications

Self-adaptive software is capable of evaluating and changing its own behavior, whenever the evaluation shows that the software is not accomplishing what it was intended to do, or when better functionality or performance may be possible. The topic of system adaptivity has been widely studied since the mid-60s and, over the past decade, several application areas and technologies relating to self-adaptivity have assumed greater importance. In all these initiatives, software has become the common element that introduces self-adaptability. Thus, the investigation of systematic software engineering approaches is necessary, in order to develop self-adaptive systems that may ideally be applied across multiple domains. The main goal of this study is to review recent progress on self-adaptivity from the standpoint of computer sciences and cybernetics, based on the analysis of state-of-the-art approaches reported in the literature. This review provides an over-arching, integrated view of computer science and software engineering foundations. Moreover, various methods and techniques currently applied in the design of self-adaptive systems are analyzed, as well as some European research initiatives and projects. Finally, the main bottlenecks for the effective application of self-adaptive technology, as well as a set of key research issues on this topic, are precisely identified, in order to overcome current constraints on the effective application of self-adaptivity in its emerging areas of application.