EASEA: specification and execution of evolutionary algorithms on GPGPU

EASEA is a framework designed to help non-expert programmers to optimize their problems by evolutionary computation. It allows to generate code targeted for standard CPU architectures, GPGPU-equipped machines as well as distributed memory clusters. In this paper, EASEA is presented by its underlying algorithms and by some example problems. Achievable speedups are also shown onto different NVIDIA GPGPUs cards for different optimization algorithm families.     

What can you verify and enforce at runtime?

The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. First, we extend the Safety-Progress classification of properties in a runtime context. Second, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of ??property monitoring?? to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors.     

Floral volatiles ofTanacetum vulgare L. attractive toLobesia botrana den. et schiff. females

The European grapevine moth (EGVM),Lobesia botrana, is a major pest of grapes in Europe. Females are attracted to a nonhost plant: tansy (Tanacetum vulgare L.), which is a common weed in Slovakian vineyards. A steam distillate extract of tansy flowers was analyzed by means of a GC-EAG technique to screen constituents detected by the olfactory receptors of EGVM females. From more than 200 GC peaks, nine peaks corresponding to monoterpenoids released an EAG response in more than 70% of the females (N=15):p-cymene,d-limonene,-thujene,-thujone,-thujone, thujyl alcohol, terpinene-4-ol, (Z)-verbenol, and piperitone. The steam distillate of tansy as well as a synthetic blend of identified compounds released consistent attraction in a field cage. The use of nonhost plants and host plant odors in integrated pest management is discussed.     

Deformation of NiO single crystals below room temperature: dislocation configurations

NiO single crystals prepared by two crystal growth techniques (zone melting in an arc-image furnace and Verneuil crystallization have been deformed by compression along 001 at temperatures as low as 4.2 K, and the dislocation substructure observed by transmission electron microscopy. The Peierls mechanism has been suggested as the mechanism controlling the mechanical behaviour at the lower temperatures. The dislocations generated at cavities found in the zone-melted crystals may be responsible for the increase of the flow stress of these crystals compared with the Verneuil ones.     

PGRP-LB: An Inside View into the Mechanism of the Amidase Reaction

Peptidoglycan recognition proteins (PGRPs) are ubiquitous among animals and play pivotal functions in insect immunity. Non-catalytic PGRPs are involved in the activation of immune pathways by binding to the peptidoglycan (PGN), whereas amidase PGRPs are capable of cleaving the PGN into non-immunogenic compounds. Drosophila PGRP-LB belongs to the amidase PGRPs and downregulates the immune deficiency (IMD) pathway by cleaving meso-2,6-diaminopimelic (meso-DAP or DAP)-type PGN. While the recognition process is well analyzed for the non-catalytic PGRPs, little is known about the enzymatic mechanism for the amidase PGRPs, despite their essential function in immune homeostasis. Here, we analyzed the specific activity of different isoforms of Drosophila PGRP-LB towards various PGN substrates to understand their specificity and role in Drosophila immunity. We show that these isoforms have similar activity towards the different compounds. To analyze the mechanism of the amidase activity, we performed site directed mutagenesis and solved the X-ray structures of wild-type Drosophila PGRP-LB and its mutants, with one of these structures presenting a protein complexed with the tracheal cytotoxin (TCT), a muropeptide derived from the PGN. Only the Y78F mutation abolished the PGN cleavage while other mutations reduced the activity solely. Together, our findings suggest the dynamic role of the residue Y78 in the amidase mechanism by nucleophilic attack through a water molecule to the carbonyl group of the amide function destabilized by Zn²⁺.     

“Modification V” of poly 4-methylpentene-1 from cyclopentane solutions and gels

A new crystalline structure of poly 4-methylpentene-1 (P4MP1), modiification named modification V, is obtained from cyclopentane solutions and gels, for polymer volume fractions between 0.01 and 0.10. The effect of the thermal history imparted to the solution is analyzed. The relation between gelation, polymorphism and existence of helical conformations of P4MP1 in solution is discussed. Modification V is tentatively indexed on the basis of an hexagonal unit cell with dimensions a = 22.17 ± 0.14 Å and c = 6.69 ±0.02 Å. The crystal transforms into modification I at 130 ± 5°C, the heat of transition being + 15 ±2 J.g^?1.     

SEM study of the growth of electrochemically obtained polyselenophene thin films. Effect of electrolyte and monomer concentration in acetonitrile

Summary The influence of electrolyte and monomer concentration on properties and morphology of electrochemically obtained polyselenophene films doped and undoped with hexafluorophosphate and tetrafluoroborate anions was analyzed. The films were deposited on SnO₂-coated glass in a classical three-electrode cell from the monomer and the electrolyte in anhydrous acetonitrile.The electrochemical growth of polyselenophene thin films was studied by X-ray photoelectron spectroscopy (XPS), electron probe microanalysis (EPMA), and scanning electron microscopy (SEM). The morphology study revealed different three- dimensional (3D) and bidimensional (2D) growth, depending on monomer and electrolyte concentration.     

Zinc Coated Steel/Epoxy Adhesive Systems: Investigation of the Interfacial Zone by FTIR Spectroscopy

The present study takes advantage of the ability of Fourier Transform Infrared Spectroscopy (FTIR) for the analysis of ultrathin organic films on metals. FTIR in the reflection mode (IRRAS) is used in order to study the interaction of ultrathin films of dicyandiamide (hardener of most one-pack epoxy resins) with various substrates, model ones such as gold or zinc and industrial ones such as steel and zinc-coated steels.

Pure zinc surfaces and, to a lesser extent, zinc-coated steels are shown to react with dicyandiamide after heating at 180°C, as evidenced by the frequency shift of the absorption band (at about 2200 cm^-1) characteristic for nitrile groups. As real systems consist of thick layers of a fully formulated adhesive cured onto a metallic substrate, the direct investigation of such a buried interphase is no longer possible by FTIR and by most of the known spectroscopies. Some mechanically tested specimens are then analysed, after failure, by FTIR microspectrometry. The spectra obtained, corresponding to the fracture initiation zone which is about 100 μm in diameter, advocate for the presence of an ultrathin layer of modified polymer still covering the substrate.     

FA composition and regiospecific analysis of Acer saccharum (sugar maple tree) and Acer saccharinum (silver maple tree) seed oils

GC analysis was performed to determine regiospecific distribution and FA composition in seed oils of the Aceraceae species, Acer saccharum and A. saccharinum. The oil content in the seeds was low at 5.0% in A. saccharum and 5.8% in A. saccharinum, and the main FA were linoleic (30.8 and 29.4%), oleic (21.3 and 27.6%), palmitic (10.1 and 10.5%), and cis-vaccenic (9.4 and 7.9%) acids, respectively. In addition, both oils contained long-chain monoenes of the n−9 and n−7 groups, including 11-eicosenoic, 13-docosenoic, 15-tetracosenoic, 13-eicosenoic, and 15-docosenoic acids, whereas γ-linolenic acid accounted for 0.8% of total FA in A. saccharum, and 0.5% in A. saccharinum. Regiospecific analysis, performed using the methodology of dibutyroyl derivatives of MAG, indicated that linoleic, oleic, and linolenic acids were mainly esterified at the internal position of TAG in both seed oils, whereas long-chain monoenes of the n−7 group were almost exclusively esterified on the external positions.