Relating instance hardness to classification performance in a dataset: a visual approach

Machine Learning - Machine Learning studies often involve a series of computational experiments in which the predictive performance of multiple models are compared across one or more datasets. The...     

An operational semantics for a calculus for wireless systems

In wireless systems, the communication mechanism combines features of broadcast, synchrony, and asynchrony. We develop an operational semantics for a calculus of wireless systems. We present different Reduction Semantics and a Labelled Transition Semantics and prove correspondence results between them. Finally, we apply CWS to the modelling of the Alternating Bit Protocol, and prove a simple correctness result as an example of the kind of properties that can be formalized in this framework.A major goal of the semantics is to describe the forms of interference among the activities of processes that are peculiar of wireless systems. Such interference occurs when a location is simultaneously reached by two transmissions. The Reduction Semantics differ on how information about the active transmissions is managed.We use the calculus to describe and analyse a few properties of a version of the Alternating Bit Protocol.     

Hydrogen production by photoreforming of formic acid in aqueous copper/TiO2 suspensions under UV-simulated solar radiation at room temperature

A new photocatalytic system consisting of two subsystems – Cu⁰/Cl⁻/H⁺/UV_ssr and Cu^II/H⁺/TiO₂/formic acid/UV_ssr – is proposed as a tool to produce hydrogen by reforming an organic species. Formic acid is used as hole scavenger during the experimental runs. An experimental campaign is carried out to demonstrate that the systems can generate hydrogen and to assess how the generation rate depends upon experimental conditions such as copper and TiO₂ loads, chloride and proton ions, and formic acid concentrations. A strong dependence of the Cu⁰/Cl⁻/H⁺/UV_ssr subsystem reactivity upon copper load, chloride concentration and pH is observed. The investigation on the complete system, starting from zero-valent copper, indicates that the addition of TiO₂ and formic acid to the Cu⁰/Cl⁻/H⁺/UV_ssr subsystem does not result into any gain in terms of hydrogen produced and, renders the system totally unreactive under some conditions. On the other hand, when a complete system, starting from cupric ions, is adopted, hydrogen production is observed also for prolonged reaction times with a surplus of hydrogen production with respect to that generated by the Cu⁰/Cl⁻/H⁺/UV_ssr subsystem with the same Cu⁰ starting load and in absence of TiO₂ and sacrificial agent.     

Effect of Homogenization Pressure and Oil Load on the Emulsion Properties and the Oil Retention of Microencapsulated Basil Essential Oil (Ocimum basilicum L.)

The objective of this work was to evaluate the influence of oil concentration and homogenization pressure on the emulsion and particle properties during the microencapsulation of basil essential oil by spray drying, using gum arabic as the wall material. Experiments were planned according a 2² rotational central composite design. The independent variables were oil concentration with respect to total solids (10–25%) and homogenization pressure (0–100 MPa). Emulsions were analyzed for droplet mean diameter, stability, and viscosity, and particles were analyzed for oil retention, moisture content, particle size, and morphology. Emulsion viscosity was not affected by any of the independent variables. The increase in the homogenization pressure from 0 to 100 MPa resulted in smaller emulsion droplet size (down to 0.40 µm) and, consequently, higher oil retention (up to 95%). On the other hand, higher oil loads (25%) resulted in poorer oil retention (51.22%). Microencapsulation of basil essential oil using gum arabic as the wall material proved to be a suitable process to obtain powdered basil essential oil, presenting great oil retention with the use of lower oil concentration and higher homogenization pressure.     

Synchronization Algebras with Mobility for Graph Transformations

We propose a generalization of synchronization algebras that allows to deal with mobility and local resource handling. We show how it can be used to model communication primitives for distributed and mobile computations, such as the ones used in the global computing area. We propose a graph transformation formalism in the Synchronized Hyperedge Replacement approach which is parametric w.r.t. the synchronization algebra and thus allows to model complex systems based on the chosen communication primitives. We thus unify different models described in the literature and we allow to easily define new ones. We present various examples and a case study on Fusion Calculus, showing how different semantics for it can be derived using different synchronization algebras.     

Hypolipidemic effects of clofibrate and selected chroman analogs in fasted rats: I. Chow-fed animals

The hypolipidemic properties of ethyl 6-chlorochroman-2-carboxylate (II), ethyl 6-phenylchroman-2-carboxylate (III) and ethyl 6-cyclohexylchroman-2-carboxylate (IV) were compared to clofibrate (I) in fasted normolipidemic rats. The chroman analog II, like its parent compound, clofibrate, reduced serum and α-lipoprotein cholesterol concentrations. Although analog III had no effect on serum cholesterol, it caused a slight elevation of α-lipoprotein cholesterol concentration. Serum free cholesterol was increased and LCAT activity was reduced in clofibrate-treated rats. The hypolipidemic agents had no consistent effect on liver lipid concentrations and liver microsomal HMG-CoA reductase activity. In addition, we have shown that drug efficacies varied directly with seasonal variations in serum lipid concentrations.     

Effect of osmotic dehydration on the drying kinetics and quality of cashew apple

The effect of different osmotic pretreatments on cashew apple drying kinetics and product quality were investigated. The osmotic pretreatment was carried out in an incubator at constant temperature and agitation. The drying process was conducted in a fixed bed dryer at different temperatures and constant air velocity. Experimental data were fitted successfully using the Page and the two‐term exponential models for dried fresh and pretreated fruit, respectively. It was found that drying rates of osmosed fruits decreased owing to the presence of infused solutes. Evaluation of the final product was performed by means of ascorbic acid content, water activity and sensorial test. The osmotic pretreated samples showed the highest vitamin C losses and the lowest water activity. The samples pretreated in sucrose solution had the highest acceptance.     

A semi-automatic methodology to detect fire scars in shrubs and evergreen forests with Landsat MSS time series

This paper presents a semi-automatic methodology for fire scars mapping from a long time series of remote sensing data. Approximately, a hundred MSS images from different Landsat satellites were employed over an area of 32 100 km² in the north-east of the Iberian Peninsula. The analysed period was from 1975 to 1993. Results are a map series of fire history and frequencies. Omission errors are 23% for burned areas greater than 200 ha while commission errors are 8% for areas greater than 50 ha. Subsequent work based on the resultant fire scars will also help in describing fire regime and in monitoring post-fire regeneration dynamics.     

Parametric synchronizations in mobile nominal calculi

We present and compare P-PRISMA and F-PRISMA, two parametric calculi that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). In particular, P-PRISMA is based on name transmission (P-SAM), like π-calculus, and thus exploits directional (input–output) communication only, while F-PRISMA is based on name fusion (F-SAM), like Fusion calculus, and thus exploits a more symmetric form of communication. However, P-PRISMA and F-PRISMA can easily accommodate many other high-level synchronization mechanisms than the basic ones available in π-calculus and Fusion, hence allowing for the development of a general meta-theory of mobile calculi. We define for both the labeled operational semantics and a form of strong bisimilarity, showing that the latter is compositional for any SAM. We also discuss reduction semantics and weak bisimilarity. We give several examples based on heterogeneous SAMs, we investigate the case studies of π-calculus and Fusion calculus giving correspondence theorems, and we show how P-PRISMA can be encoded in F-PRISMA. Finally, we show that basic categorical tools can help to relate and to compose SAMs and PRISMA processes in an elegant way.