On regular drawn symbolic picture languages

Drawn symbolic pictures are an extension of drawn pictures obtained by associating a symbol from an alphabet to each point of the picture. In the paper we will address some new interesting issues derived from the introduction of the symbols and we will identify the conditions, which ensure the preservation of properties holding for drawn pictures in the setting of the proposed extension.     

The effect of support morphology on the reaction of oxidative dehydrogenation of ethane to ethylene at short contact times

The oxidative dehydrogenation of ethane is carried out in short contact time reactors over Pt and LaMnO₃ based catalysts supported on a large number of different ceramic substrates (45, 60 and 80 ppi foam monoliths and 200, 400, 600, 900 and 1200 cpsi honeycomb monoliths). Experimental results, obtained under the same conditions at varying the C₂H₆/O₂ ratio, showed that the highest performance in terms of ethylene selectivity and yield is always attained on LaMnO₃ catalysts. Furthermore, the results are significantly influenced by the morphology and cell density of the support, with 45 and 60 ppi foams and 400 and 600 cpsi honeycombs giving the best performance. The experimental results are explained by means of geometrical and fluid dynamic considerations on the support, and by means of a 2D mathematical model, which clearly indicates an optimal intermediate cell density for maximising ethylene selectivity and yield.     

Performance evaluation of a biotrickling filter degrading mixtures of hydrophobic and hydrophilic compounds

The removal of a mixture of painting solvents from waste air using a biofiltration process was evaluated in this project. The pollutants removed included hydrophobic (aromatic hydrocarbons) and hydrophilic (water soluble ketones and esters) compounds. A trickle bed reactor with a defined immobilized mixed culture on polyethylene Pall rings was utilized in this biodegradation study. The removal efficiencies (RE) of the individual groups of pollutants during loading experiments were determined. An increase of the aromatic hydrocarbons loading resulted in a drop of their RE_AROM with no effect on the RE value of ketones. The overloading of ketones caused a rapid drop in RE_AROM and a small drop in RE_KET. To achieve a restoration of the biocatalyst degradation properties after the increase in loading, an addition of phosphate to the aqueous medium was implemented which successfully restored the removal efficiency.     

Use of zeolite-rich rocks and waste materials for the production of structural lightweight concretes

This paper aims at testing the use of mixtures constituted by natural zeolitized products and SiC-bearing industrial wastes (sludge deriving from polishing of porcelain stoneware tiles, hereafter DPM) for the production of lightweight expanded aggregates as constituents of structural and/or thermo-insulating lightweight concretes. Two commercial products have been used as zeolite natural source: Cab70 (Yellow facies of Campanian Ignimbrite) and IZclino (Turkish clinoptilolite-rich epiclastite). Different amounts of a calcareous material (Pozzano limestones — hereafter CP) from the Sorrento peninsula (Naples — Italy) were also added to a Cab70–DPM mixture. All raw materials were characterized by means of mineralogical (XRPD) and chemical (XRF) analyses. All the products and mixtures were tested from a technological point of view by means of fusibility and firing tests in order to evaluate the expanding properties. It was evidenced that the expansion of the mixture was deeply depending on the occurrence of SiC in the industrial waste. The addition of CP (10 wt.%) to the mixtures accounts for an even increased expansion, though this is accompanied by a worsening of the mechanical features of the material.These results along with literature data allowed to select 3 mixtures (70% Cab70–30% DPM, 70% IZclino–30% DPM, 60% Cab70–30% DPM–10% CP) and each of them was used for the preparation of 5 l of lightweight aggregates afterward employed for the manufacture of lightweight concretes. It was remarked that natural zeolitized materials mixed with DPM (30 wt.%) can provide lightweight aggregates with densities ranging between 0.8 and 1.0 g/cm³ suitable for the preparation of structural lightweight concretes. The addition to the mixture of CP (10 wt.%) produces less dense aggregates (0.6–0.7 g/cm³) potentially useful for the manufacture of thermo insulating lightweight concretes.     

An infrastructure for smart hospitals

In healthcare facilities most of the daily activities require strict coordination between clinicians, who often operate under heavy workloads and minimal workforce conditions in environments filled with increasingly complex technology. Ubiquitous Computing applications constitute a suitable solution for both reducing medical costs and improving patient safety by better supporting clinical processes. In this study we introduce an intelligent infrastructure for smart hospitals which implements basic services to optimize medical staff/patient interactions and grants ubiquitous and transparent access to clinical data stored in standard clinical databases. This infrastructure relies on the integration of Radio Frequency IDentification (RFID) and photosensor technologies to identify, locate and track clinicians and patients equipped with mobile devices and wearable RFID tags.     

Formal verification of security protocol implementations: a survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approach.     

An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes

Constraint-based modeling is largely used in computational studies of metabolism. We propose here a novel approach that aims to identify ensembles of flux distributions that comply with one or more target phenotype(s). The methodology has been tested on a small-scale model of yeast energy metabolism. The target phenotypes describe the differential pattern of ethanol production and O₂ consumption observed in “Crabtree-positive” and “Crabtree-negative” yeasts in changing environment (i.e., when the upper limit of glucose uptake is varied). The ensembles were obtained either by selection among sampled flux distributions or by means of a search heuristic (genetic algorithm). The former approach provided indication about the probability to observe a given phenotype, but the resulting ensembles could not be unambiguously partitioned into “Crabtree-positive” and “Crabtree-negative” clusters. On the contrary well-separated clusters were obtained with the latter method. The cluster analysis further allowed identification of distinct groups within each target phenotype. The method may thus prove useful in characterizing the design principles underlying metabolic plasticity arising from evolving physio-pathological or developmental constraints.