Abstract reduction in directed model checking CCS processes

Model checking tools face a combinatorial blow up of the state-space (commonly known as the state explosion problem) that must be addressed to formally verify concurrent systems. We propose an approach combining abstraction techniques and heuristic search to overcome the problem above. In particular, heuristic search can avoid the bottleneck of the exhaustive exploration of the global state graph of a system, while retaining the advantages of abstraction techniques.     

An application of kernel methods to gene cluster temporal meta-analysis

The application of various clustering techniques for large-scale gene-expression measurement experiments is a well-established method in bioinformatics. Clustering is also usually accompanied by functional characterization of gene sets by assessing statistical enrichments of structured vocabularies, such as the gene ontology (GO) [Gene Ontology Consortium. The gene ontology (GO) project in 2006. Nucleic Acids Research (Database issue), vol. 34; 2006. p. D322–6]. If different clusters are generated for correlated experiments, a machine learning step termed cluster meta-analysis may be performed, in order to discover relations among the components of such sets. Several approaches have been proposed: in particular, kernel methods may be used to exploit the graphical structure of typical ontologies such as GO. Following up the formulation of such approach [Merico D, Zoppis I, Antoniotti M, Mauri G. Evaluating graph kernel methods for relation discovery in GO-annotated clusters. In: KES-2007/WIRN-2007, Part IV, Lecture notes in artificial intelligence, vol. 4694. Berlin: Springer; 2007. p. 892–900; Zoppis I, Merico D, Antoniotti M, Mishra B, Mauri G. Discovering relations among GO-annotated clusters by graph kernel methods. In: Proceedings of the 2007 international symposium on bioinformatics research and applications. Lecture notes in computer science, vol. 4463. Berlin: Springer; 2007], in this paper we discuss, from an information-theoretic point of view, further results about its applicability and its performance.     

A P2P strategy for QoS discovery and SLA negotiation in Grid environment

In recent years, Grid systems and Peer to Peer networks are the most commonly-used solutions to achieve the same goal: the sharing of resources and services in heterogeneous, dynamic, distributed environments. Many studies have proposed hybrid approaches that try to conjugate the advantages of the two models. This paper proposes an architecture that integrates the P2P interaction model in Grid environments, so as to build an open cooperative model wherein Grid entities are composed in a decentralized way. In particular, this paper focuses on a QoS aware discovery algorithm for P2P Grid systems, analyzing protocol and explaining techniques used to improve its performance.     

Obstacle Modelling Oriented to Safe Motion Planning and Control for Planar Rigid Robot Manipulators

Trajectory planning and tracking are crucial tasks in any application using robot manipulators. These tasks become particularly challenging when obstacles are present in the manipulator workspace. In this paper a n-joint planar robot manipulator is considered and it is assumed that obstacles located in its workspace can be approximated in a conservative way with circles. The goal is to represent the obstacles in the robot configuration space. The representation allows to obtain an efficient and accurate trajectory planning and tracking. A simple but effective path planning strategy is proposed in the paper. Since path planning depends on tracking accuracy, in this paper an adequate tracking accuracy is guaranteed by means of a suitably designed Second Order Sliding Mode Controller (SOSMC). The proposed approach guarantees a collision-free motion of the manipulator in its workspace in spite of the presence of obstacles, as confirmed by experimental results.     

Study on reuse of metal oxide-promoted sulphated zirconia in acylation reactions

A series of sulphated zirconia samples (SZ) promoted with Al₂O₃, Ga₂O₃, and Fe₂O₃ were synthesized by co-precipitation at constant pH and aged under reflux conditions. Structural, surface and catalytic properties of the samples were investigated using N₂ adsorption/desorption, thermal analysis, in-situ FTIR spectroscopy, TPR–MS and EGA–MS measurements. The catalytic performance of promoted SZ in anisole acylation has been investigated. Promotion by either Fe₂O₃ or Ga₂O₃ was found to increase the catalytic activity (yield) after recycle of catalysts with respect un-promoted sample, whereas promotion by Al₂O₃ was observed to increase the conversion but not the yield. It is worth noting that all systems present high selectivity to the p-metoxyacetophenone product.     

Structural changes in sardine (Sardina pilchardus) muscle during iced storage: Investigation by DRIFT spectroscopy

Diffuse reflectance infrared Fourier transform (DRIFT) spectroscopy has been used for the first time to evaluate the postmortem changes in structure of components from sardine muscle in relation to quality loss. Sardines (Sardina pilchardus) were stored in ice for up to thirteen days. The spectroscopic study was focussed on the structural changes produced on the lipids and proteins.     

Isolation of a hydroxytyrosol-rich extract from olive leaves (<Emphasis Type="Italic">Olea Europaea</Emphasis> L.) and evaluation of its antioxidant properties and bioactivity

In this research, a phenol extract of high hydroxytyrosol (OLPE) content was obtained from olive leaves (Olea europaea L.), and subsequently tested under different contexts. The method used to obtain the OLPE basically involved two steps: the use of strongly-acid aqueous steam, generated from 10% HCl (v/v) at 100°C, to directly hydrolyse the native complex phenols from integral olive leaves, and OLPE recovery by liquid–liquid extraction with ethyl acetate. Hydrolysis time was 1 h. Finally, the dried extract was dissolved in distilled water. The OLPE total phenols were determined by Folin–Ciocalteu’s method and by HPLC analysis. Hydroxytyrosol was about 92% of the total phenols present in OLPE, and the yield was about 0.2% on fresh leaves. OLPE showed antioxidant effects on different food lipids and did not inhibit lactic acid bacteria growth; however, it showed cytotoxicity on NIH/3T3 fibroblasts and human umbilical vein endothelial cells at concentrations higher than 0.32 mM (as hydroxytyrosol).     

Study of some factors involved in ethanal production during alcoholic fermentation

The influence of temperature, turbidity and oxygen uptakes to the musts on the production of ethanal by yeasts, during the alcoholic fermentation (AF), has been studied. The aim was to evaluate how increasing and controlling the production of this molecule, in order to anticipate the reactions between anthocyanins and flavans from the second half of the AF. This concerns, in particular, those winemaking techniques consisting in a temporarily separate fermentation of a part of the must (35–40% of the total mass), that is drained before the start of the AF. The experimental design was a complete factorial plan with three factors upon two levels (T = 18 °C and 22 °C; with or without oxygen; turbidity of 30 and 120 NTU); data were elaborated with 3-ways ANOVA. Temperature proved to be the main factor influencing ethanal production during AF: higher temperatures (22 °C versus 18 °C) cause an increase of the ethanal content during the first days of fermentation; after having reached 6–7% of ethanal, the effect is inverted. The influence of turbidity is less important, and it's synergic with the effect of temperature. Oxygen has a detrimental effect on the production of ethanal only at the beginning of the AF, while later, in presence of ethanol, it promotes it through a chemical way.     

Effect of different ventilation regimens on ewes' milk and Canestrato Pugliese cheese quality in summer

The influence of three different ventilation regimens on air pollution in sheep houses and on the quality of ewe milk and of Canestrato Pugliese cheese was investigated during the summer season. The experimental treatments were low ventilation regimen (VR=35 m3/h per ewe) split in 30-min ventilation cycles (LOV-30); moderate ventilation regimen (VR=70 m3/h per ewe) split in 30-min ventilation cycles (MOV-30); moderate ventilation regimen (VR=70 m3/h per ewe) split in 60-min ventilation cycles (MOV-60). The LOV-30 milk had higher microbial load and bulk milk somatic cell count (BMSCC) and resulted in a weaker casein matrix in the curd compared with the MOV-30 and MOV-60 treatments. At 45 d of ripening, the LOV-30 cheeses had a lower casein content and higher non-casein nitrogen (NCN) and water-soluble nitrogen (WSN) contents than the MOV-30 and MOV-60 cheeses. Urea-polyacrylamide gel electrophoresis (urea-PAGE) of the pH 4.6-soluble N extract showed that the MOV-60 cheeses had fewer bands derived from casein (CN) hydrolysis than the LOV-30 or MOV-30 cheeses, despite its having exhibited the highest plasmin (PL) activity levels. Our results suggest that the ventilation regimen is critical in dairy sheep housing for optimizing the hygienic quality of ewe milk and the proteolytic processes occurring in Canestrato Pugliese cheese during ripening.     

Coupling dark fermentation and microbial electrolysis to enhance bio-hydrogen production from agro-industrial wastewaters and by-products in a bio-refinery framework

The aim of this work is to evaluate biohydrogen production from agro-industrial wastewaters and by-products, by combining dark fermentation and microbial electrolysis in a two-step cascade process. Such coupling of both technologies constitutes a technological building block within a concept of environmental biorefinery where sustainable production of renewable energy is expected.Six different wastewaters and industrial by-products coming from cheese, fruit juice, paper, sugar, fruit processing and spirits factories were evaluated for the feasibility of hydrogen production in a two-step process. The overall hydrogen production when coupling dark fermentation and microbial electrolysis was increased up to 13 times when compared to fermentation alone, achieving a maximum overall hydrogen yield of 1608.6 ± 266.2 mLH₂/gCOD_consumed and a maximum of 78.5 ± 5.7% of COD removal.These results show that dark fermentation coupled with microbial electrolysis is a highly promising option to maximize the conversion of agro-industrial wastewaters and by-products into bio-hydrogen.