An efficient simulation algorithm on Kripke structures

A number of algorithms for computing the simulation preorder (and equivalence) on Kripke structures are available. Let $\varSigma $ denote the state space, ${\rightarrow }$ the transition relation and $P_{\mathrm {sim}}$ the partition of $\varSigma $ induced by simulation equivalence. While some algorithms are designed to reach the best space bounds, whose dominating additive term is $|P_{\mathrm {sim}}|^2$ , other algorithms are devised to attain the best time complexity $O(|P_{\mathrm {sim}}||{\rightarrow }|)$ . We present a novel simulation algorithm which is both space and time efficient: it runs in $O(|P_ {\mathrm {sim}}|^2 \log |P_{\mathrm {sim}}| + |\varSigma |\log |\varSigma |)$ space and $O(|P_{\mathrm {sim}}||{\rightarrow }|\log |\varSigma |)$ time. Our simulation algorithm thus reaches the best space bounds while closely approaching the best time complexity.     

Attention allocation for decision making queues

We consider the optimal servicing of a queue with sigmoid server performance. There are various systems with sigmoid server performance, including systems involving human decision making, visual perception, human–machine communication and advertising response. Tasks arrive at the server according to a Poisson process. Each task has a deadline that is incorporated as a latency penalty. We investigate the trade-off between the reward obtained by processing the current task and the penalty incurred due to the tasks waiting in the queue. We study this optimization problem in a Markov decision process (MDP) framework. We characterize the properties of the optimal policy for the MDP and show that the optimal policy may drop some tasks; that is, may not process a task at all. We determine an approximate solution to the MDP using the certainty-equivalent receding horizon optimization framework and derive performance bounds on the proposed receding horizon policy. We also suggest guidelines for the design of such queues.     

<Superscript>1</Superscript>H NMR characterization of milk lipids: A comparison between cow and buffalo milk

Characterization of the lipid fraction of raw cow and buffalo milk samples, collected in different breeding areas in Apulia, a region of southern Italy, were performed by means of ¹H NMR. The aim of this work was to establish whether FA composition data obtained by ¹H NMR can be used in the differentiation of buffalo and cow milk samples according to species. A complete assignment of the signals present in the spectrum was attempted by COSY, heteronuclear coherence spectra. Quantification of FA was carried out by inserting the integrals of particular peaks in suitable calculations. Multivariate statistical analysis, conducted on the results of the quantification, permitted buffalo and cow milks to be distinguished.     

Experimental and theoretical investigation on unburned coal char burnout in a pilot-scale rotary kiln

Oxidation reactivity studies are imperative for improving carbon re-burn technologies and valuing the heat content of unburned carbon within coal combustion ashes. Non-isothermal, thermal gravimetric analysis (TGA) was used to examine the oxidation kinetics of unburned carbon in coal combustion fly ashes having different particle size distributions; TGA results were related to combustion efficiencies as measured in a bench-scale rotary kiln. The activation energy and pre-exponential factor were determined for the chemically-controlled reaction regime; the transition temperatures between chemically-controlled and partially diffusion-controlled combustion regimes were obtained for unburned carbon particles of different sizes. After the oxidation reaction rates were evaluated, the residence time distribution (RTD) of fly ashes in the rotary kiln were experimentally measured and the mean residence times related to process parameters, including the rotating velocity and kiln inclination. By comparing these results with an advective-dispersive model, the axial dispersion coefficient of fly ashes was determined. The reaction rates obtained by thermal analyses and the RTDs were used to predict combustion efficiencies within the kiln and oxidation conditions of unburned carbon using various processing options.     

ECOC-DRF: Discriminative random fields based on error correcting output codes

We present ECOC-DRF, a framework where potential functions for Discriminative Random Fields are formulated as an ensemble of classifiers. We introduce the label trick, a technique to express transitions in the pairwise potential as meta-classes. This allows to independently learn any possible transition between labels without assuming any pre-defined model. The Error Correcting Output Codes matrix is used as ensemble framework for the combination of margin classifiers. We apply ECOC-DRF to a large set of classification problems, covering synthetic, natural and medical images for binary and multi-class cases, outperforming state-of-the art in almost all the experiments.     

Surface properties of fluorinated hybrid coatings

A commercial perfluoropolyether containing alkoxysilane functionalities was employed to prepare organic–inorganic hybrid coatings by using the sol‐gel process in the presence of tetraethoxysilane. Contact angle analysis revealed a strong hydrophobic and oleophobic character of the coatings almost independently from the molecular weight of the starting fluorinated oligomer. Surface tension values were in the range of 14–16 mN/m, suggesting a preferential segregation of fluorinated segments onto the surface of the coating. Atomic force microscopy showed the presence very smooth surfaces permitting to neglect the contribution of the surface roughness to wettability. Friction coefficient values were markedly lower with respect to the value of uncoated glass substrate. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 1483–1488, 2006     

Protein ultrafiltration: an experimental study

An experimental study was carried out on the ultrafiltration (UF) of protein-containing solutions under different conditions, as compared with a solution of a linear synthetic polymer. Three different fluidynamic regimes were investigated, namely, unstirred batch system, stirred batch system, and recirculating system. The results obtained substantially agree with the predictions of the gel polarization model. A significant effect of the electrolytes on the UF flux has been observed, which can be attributed to solute–solute interaction. The influence of different UF membranes has also been investigated.     

Robust event discovery from photo collections using Signature Image Bases (SIBs)

Analyzing personal photo albums for understanding the related events is an emerging trend. A reliable event recognition tool could suggest appropriate annotation of pictures, provide the context for single image classification and tagging, achieve automatic selection and summarization, ease organization and sharing of media among users. In this paper, a novel method for fast and reliable event-type classification of personal photo albums is presented. Differently from previous approaches, the proposed method does not process photos individually but as a whole, exploiting three main features, namely Saliency, Gist, and Time, to extract an event signature, which is characteristic for a specific event type. A highly challenging database containing more than 40.000 photos belonging to 19 diverse event-types was crawled from photo-sharing websites for the purpose of modeling and performance evaluation. Experimental results showed that the proposed approach meets superior classification accuracy with limited computational complexity.     

Regional Climate Simulations on EU-INDIA Grid Infrastructures: Methodologies and Performance

In this paper, we present a possible approach to use different Grid infrastructures across Europe and India for regional climate simulations and discuss in details the advantages and limitations in using them. The application taken into consideration is the Regional Climate Model RegCM4, which has been recently re-written for making it more efficient and easier to be fully exploited on any kind of computational infrastructure. We describe here the methods applied to port this package on the Grid infrastructures made available by the EU-IndiaGrid project. We also discuss different approaches, the way to run the model on both European and Indian infrastructures and our promising approach to deal with data management issues. Use of RegCM on Grid infrastructure has further been compared with that on HPC resources. The domain worked upon for these tests is the South-Asia CORDEX domain, which is of great importance for the Indian Summer Monsoon. Our final conclusion is that, for certain class of experiments, RegCM4 model can be efficiently and easily integrated on Grid infrastructures, by means of the procedures described in this paper.     

Peroxidase-catalyzed oxidation of β-carotene in HL-60 cells and in model systems: Involvement of phenoxyl radicals

Recent studies provide extensive evidence for the importance of carotenoids in protecting against oxidative stress associated with a number of diseases. In particular, reactions of carotenoids with phenoxyl radicals generated by peroxidasecatalyzed one-electron metabolism of phenolic compounds may represent an important antioxidant function of carotenoids. To further our understanding of the antioxidant mechanisms of carotenoids, we used in the present work two different phenolic compounds, phenol and a polar homologue of vitamin E (2,2,5,7,8-pentamethyl-6-hydroxychromane, PMC), as representatives of two different types of phenols to study reactions of their respective phenoxyl radicals with carotenoids in cells and in model systems. We found that phenoxyl radicals of PMC did not oxidize β-carotene in either HL-60 cells or in model systems with horseradish peroxidase (HRP)/H₂O₂. In contrast, the phenoxyl radicals generated from phenol (by native myeloperoxidase in HL-60 cells or HRP/H₂O₂ in model systems) effectively oxidized β-carotene and other carotenoids (canthaxanthin, lutein, lycopene). One-electron reduction of the phenoxyl radical by ascorbate (assayed by electron spin resonance-detectable formation of semidehydroascorbyl radicals) prevented HRP/H₂O₂-induced oxidation of β-carotene. PMC, but not phenol, protected β-carotene against oxidation induced by a lipid-soluble azo-initiator of peroxyl radicals. No adducts of peroxidase/phenol/H₂O₂-induced β-carotene oxidation intermediates with phenol were detected by high-performance liquid chromatography-mass spectrometry analysis of the reaction mixture. Since carotenoids are essential constituents of the antioxidant defenses in cells and biological fluids, their depletion through the reaction with phenoxyl radicals formed from endogenous, nutritional and environmental phenolics, as well as phenolic drugs, may be an important factor in the development of oxidative stress.