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”.     

Styryl Dyes for Synthetic-polymer Fibres.

The synthesis of a series of dyes derived from reaction of 2-methyl-4-(N-ethyl-N-hydroxyethyl)amino, lidicyano-styrene with acid chlorides, chloroformates, isocyanates and isothiocyanates is described. Data relevant to dye characterization by electron-impact induced fragmentation is reported. Dyeing and fastness properties of the dyes on cellulose secondary acetate, cellulose triacetate, nylon 6.6 and polyester fibres are discussed in terms of dye structure. Comparison is made between some related dyes derived from 2-methyl-4-(N-ethyl-N-β-aminoethyljamino-β,βdicyanostyrene.     

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.     

Chemical inhibitors when timing is critical: a pharmacological concept for the maturation of T cell contacts

Cellular signal transduction proceeds through a complex network of molecular interactions and enzymatic activities. The timing of these molecular events is critical for the propagation of a signal and the generation of a specific cellular response. To define the timing of signalling events, we introduce the combination of high-resolution confocal microscopy with the application of small-molecule inhibitors at various stages of signal transduction in T cells. Inhibitors of Src-family tyrosine kinases and actin dynamics were employed to dissect the role of the lymphocyte-specific tyrosine kinase Lck in the formation and maintenance of T cell receptor/CD3-dependent contacts. Anti-CD3epsilon-coated coverslips served as a highly defined stimulus. The kinetics of the recruitment of the yellow fluorescent protein-tagged signalling protein ZAP-70 were detected by high-resolution confocal microscopy. The analysis revealed that at 5 min after receptor engagement, Lck activity was required for maintenance of contacts. In contrast, after 20 min of receptor engagement, the contacts were Lck-independent. The relevance of the timing of inhibitor application provides a pharmacological concept for the maturation of T cell-substrate contacts.