Suppression of the development of pores during laser-induced surface dispersion of TiC into aluminium, by means of a static magnetic field

A static magnetic field having the strength of B=0.6 T has been used as an additional process parameter in order to suppress the establishment of pores while dispersing TiC particles in surface layers of aluminium alloys using a laser. The migration of hydrogen towards regions of high temperatures within the melting pool can lead to the creation of gas bubbles, therefore yielding pores after resolidification in the processed layer. This mechanism (known for instance in welding technologies of aluminium) could be suppressed by Lorentz-forces induced by an externally applied magnetic field. It could be shown experimentally that magnetic fields could assist laser surface treatment processes beneficially if higher beam powers were coupled in. This may be interesting if, for instance, thicker dispersed layers should be achieved.     

Interstitial Oxygen in Tin-Doped Indium Oxide Transparent Conductors

We report first-principles density functional theory calculations of interstitial oxygen in tin-doped indium oxide (ITO), a transparent conducting oxide. Interstitial oxygen plays a critical role in the defect of ITO because it is by removal of interstitial oxygen that n -type charge carriers are produced. The Frank and Köstlin defect model successfully rationalizes the observed conductivity, Sn-doping, and oxygen partial pressure dependencies of ITO by postulating that tin atoms, which substitute for indium, are clustered with interstitial oxygen. Structural evidence for such a clustering, however, remains ambiguous. Recently published Rietveld refinement results of X-ray and neutron diffraction data found interstitial oxygen to be significantly displaced (0.4 Å) from the ideal fourfold position. Our calculations show that the experimental position is plausible only if interstitial oxygen is clustered with Sn_In defects at any of the three d -type cation sites nearest to the interstitial, thereby providing direct structural confirmation of the Frank and Köstlin defect model.     

An e-Learning tool considering similarity measures for manufacturing cell formation

Manufacturing cell formation is the first step in the design of cellular manufacturing system. The primary objective of this step is to cluster machines into machine cells and parts into part families so that the minimum of intercell trips will be achieved. This paper will be focused on the configuration of machine cells considering three types of initial machine-part matrix: binary (zero-one) matrix, production volume matrix, and operation time matrix. The similarity measure uses only information from these types of matrix. A pure combinatorial programming formulation will be developed to maximize the sum of similarity coefficients between machine/part pairs. An e-Learning tool/application to help industrial students and engineers for enhancing their cell formation capability is proposed. This tool is designed to include a novel similarity coefficient-based heuristic algorithm for solving the cell formation problem. To determine the performance of the proposed tool, comparison is made with a well-known tool along a case study.     

Deblurring Shaken and Partially Saturated Images

We address the problem of deblurring images degraded by camera shake blur and saturated (over-exposed) pixels. Saturated pixels violate the common assumption that the image-formation process is linear, and often cause ringing in deblurred outputs. We provide an analysis of ringing in general, and show that in order to prevent ringing, it is insufficient to simply discard saturated pixels. We show that even when saturated pixels are removed, ringing is caused by attempting to estimate the values of latent pixels that are brighter than the sensor’s maximum output. Estimating these latent pixels is likely to cause large errors, and these errors propagate across the rest of the image in the form of ringing. We propose a new deblurring algorithm that locates these error-prone bright pixels in the latent sharp image, and by decoupling them from the remainder of the latent image, greatly reduces ringing. In addition, we propose an approximate forward model for saturated images, which allows us to estimate these error-prone pixels separately without causing artefacts. Results are shown for non-blind deblurring of real photographs containing saturated regions, demonstrating improved deblurred image quality compared to previous work.     

HIGHER ORDER MOMENTS OF SAMPLE AUTOCOVARIANCES AND SAMPLE AUTOCORRELATIONS FROM AN INDEPENDENT TIME SERIES

Abstract. Given length- n sampled time series, generated by an independent distributed process, in this paper we treat the problem of determining the greatest order, in n , that moments of the sample autocovariances and sample autocorrelations can attain. For the sample autocovariance moments, we achieve quite general results; but, for the autocorrelation moments, we restrict study to Gaussian white noise (normal, independent and identically distributed). Our main theorem relates to the cross-moments of the non-centred sample autocovariances, but we also establish a relation between these and the corresponding moments for the centred sample autocovariances.     

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

The class ${\mathcal{SLUR}}$ (Single Lookahead Unit Resolution) was introduced in Schlipf et al. (Inf Process Lett 54:133–137, 1995) as an umbrella class for efficient (poly-time) SAT solving, with linear-time SAT decision, while the recognition problem was not considered. ?epek et al. (2012) and Balyo et al. (2012) extended this class in various ways to hierarchies covering all of CNF (all clause-sets). We introduce a hierarchy ${\mathcal{SLUR}}_k$ which we argue is the natural “limit” of such approaches. The second source for our investigations is the class ${\mathcal{UC}}$ of unit-refutation complete clause-sets, introduced in del Val (1994) as a target class for knowledge compilation. Via the theory of “hardness” of clause-sets as developed in Kullmann (1999), Kullmann (Ann Math Artif Intell 40(3–4):303–352, 2004) and Ansótegui et al. (2008) we obtain a natural generalisation ${\mathcal{UC}}_k$ , containing those clause-sets which are “unit-refutation complete of level k”, which is the same as having hardness at most k. Utilising the strong connections to (tree-)resolution complexity and (nested) input resolution, we develop basic methods for the determination of hardness (the level k in ${\mathcal{UC}}_k$ ). A fundamental insight now is that ${\mathcal{SLUR}}_k = {\mathcal{UC}}_k$ holds for all k. We can thus exploit both streams of intuitions and methods for the investigations of these hierarchies. As an application we can easily show that the hierarchies from ?epek et al. (2012) and Balyo et al. (2012) are strongly subsumed by ${\mathcal{SLUR}}_k$ . Finally we consider the problem of “irredundant” clause-sets in ${\mathcal{UC}}_k$ . For 2-CNF we show that strong minimisations are possible in polynomial time, while already for (very special) Horn clause-sets minimisation is NP-complete. We conclude with an extensive discussion of open problems and future directions. We envisage the concepts investigated here to be the starting point for a theory of good SAT translations, which brings together the good SAT-solving aspects from ${\mathcal{SLUR}}$ together with the knowledge-representation aspects from ${\mathcal{UC}}$ , and expands this combination via notions of “hardness”.     

Energieinformatik

Due to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background.     

New inhibitors of the Tat-TAR RNA interaction found with a "fuzzy" pharmacophore model

TAR RNA is a potential target for AIDS therapy. Ligand-based virtual screening was performed to retrieve novel scaffolds for RNA-binding molecules capable of inhibiting the Tat-TAR interaction, which is essential for HIV replication. We used a "fuzzy" pharmacophore approach (SQUID) and an alignment-free pharmacophore method (CATS3D) to carry out virtual screening of a vendor database of small molecules and to perform "scaffold-hopping". A small subset of 19 candidate molecules were experimentally tested for TAR RNA binding in a fluorescence resonance energy transfer (FRET) assay. Both methods retrieved molecules that exhibited activities comparable to those of the reference molecules acetylpromazine and chlorpromazine, with the best molecule showing ten times better binding behavior (IC50 = 46 microM). The hits had molecular scaffolds different from those of the reference molecules.     

Free and esterified sterols of cotton buds and anthers

Capillary gas liquid chromatography analyses were conducted on free and esterified sterol fractions of cotton (Gossypium hirsutum cv. Stoneville 213) floral buds and anthers. The free sterols of both cotton buds and anthers consist mainly of the common plant sterols sitosterol, stigmasterol and 24ζ-methylcholest-5-en-3β-ol. The composition of esterified sterols of cotton buds and anthers were similar, and consisted of pollinastanol, 31-norcycloartanol, cycloartenol, 31-norcycloartenol, 24-dehydropolinastanol and sitosterol. Desmosterol was also present in both the free and esterified sterols of anthers. The identities of the sterols were confirmed by gas chromatography-mass spectrometry analyses. Esterified sterols accounted for 46.7 and 88.7% of total sterols of cotton bud and anthers, respectively. The ratio of esterified sterol to free sterol per gram of tissue is about 8∶1 in anthers. The Δ⁵-sterols of the esterified sterols of cotton buds and anthers account for only 17 and 9.2% of the total sterols, respectively.     

Abietoid seed fatty acid composition—A review of the genera Abies, Cedrus, Hesperopeuce, Keteleeria, Pseudolarix, and Tsuga and preliminary inferences on the taxonomy of Pinaceae

The seed fatty acid (FA) compositions of Abietoids (Abies, Cedrus, Hesperopeuce, Keteleeria, Pseudolarix, and Tsuga) are reviewed in the present study in conclusion to our survey of Pinaceae seed FA compositions. Many unpublished data are given. Abietoids and Pinoids (Pinus, Larix, Ficea, and Pseudotsuga)—constituting the family Pinaceae—are united by the presence of several Δ5-olefinic acids, taxoleic (5,9–18∶2), pinolenic (5,9,12–18∶3) coniferonic (5,9,12,15–18∶4), keteleeronic (5,11–20∶2), and sciadonic (5,11,14–20∶3) acids, and of 14-methyl hexadecanoic (anteiso-17∶0) acid. These acids seldom occur in angiosperm seeds. The proportions of individual Δ5-olefinic acids, however, differ between Pinoids and Abietoids. In the first group, pinolenic acid is much greater than taxoleic acid, whereas in the second group, pinolenic acid is greater than or equal to taxoleic acid. Moreover, taxoleic acid in Abietoids is much greater than taxoleic acid in Pinoids, an apparent limit between the two subfamilies being about 4.5% of that acid relative to total FA. Tsuga spp. appear to be a major exception, as their seed FA compositions are much like those of species from the Pinoid group. In this respect, Hesperopeuce mertensiana, also known as Tsuga mertensiana, has little in common with Abietoids and fits the general FA pattern of Pinoids well. Tsuga spp. and H. mertensiana, from their seed FA compositions, should perhaps be separated from the Abietoid group and their taxonomic position revised. It is suggested that a “Tsugoid” subfamily be created, with seed FA in compliance with the Pinoid pattern and other botanical and immunological criteria of the Abietoid type. All Pinaceae genera, with the exception of Pinus, are quite homogeneous when considering their overall seed FA compositions, including Δ5-olefinic acids. In all cases but one (Pinus), variations from one species to another inside a given genus are of small amplitude. Pinus spp., on the other hand, have highly variable levels of Δ5-olefinic acids in their FA compositions, particularly when sections (e.g., Cembroides vs. Pinus sections) or subsections (e.g., Flexiles and Cembrae subsections from the section Strobus) are compared, although they show qualitatively the same FA patterns characteristic of Pinoids. Multicomponent analysis of Abietoid seed FA allowed grouping of individual species into genera that coincide with the same genera otherwise characterized by more classical botanical criteria. Our studies exemplify how seed FA compositions, particularly owing to the presence of Δ5-olefinic acids, may be useful in sustaining and adding some precision to existing taxonomy of the major family of gymnosperms, Pinaceae.