Binary and m-ary encoding in applications of tree-based genetic algorithms for QoS routing

Ubiquitous and Pervasive Computing (UPC) applications often have Quality of Service (QoS) requirements. These become constraints for the UPC network infrastructure. In this paper, we refer to Mobile ad Hoc Networks, one of the most important technologies supporting UPC, and investigate on Genetic Algorithms (GAs) for QoS routing. GAs are part of the soft computing paradigm and can solve the NP search of QoS routes with multiple constraints. We elaborate on tree-based GAs, which represent the set of paths from source to destination as a tree and encode them through the crossed junctions. While their most well-known applications use m-ary encoding representing single paths in the chromosomes, in this paper we discuss a binary encoding with the objective of improving the convergence speed. The binary encoding represents classes of paths in the chromosomes and allows local search on classes of paths. These classes are both collectively exhaustive and mutually exclusive. Simulation results compare convergence speed and scalability of GA applications with binary and m-ary encoding in networks with an increasing number of nodes and links per node. As the per-class processing is reason of additional computational cost, an hybrid GA application that uses both binary and m-ary encoding is introduced.     

Łukasiewicz logic and Riesz spaces

We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplication with scalars from \([0,1]\) . Extending Mundici’s equivalence between MV-algebras and \(\ell \) -groups, we prove that Riesz MV-algebras are categorically equivalent to unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent to the class of commutative unital C \(^*\) -algebras. The propositional calculus \({\mathbb R}{\mathcal L}\) that has Riesz MV-algebras as models is a conservative extension of ?ukasiewicz \(\infty \) -valued propositional calculus and is complete with respect to evaluations in the standard model \([0,1]\) . We prove a normal form theorem for this logic, extending McNaughton theorem for ? ukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in \({\mathbb R}{\mathcal L},\) and relate them with the analogue of de Finetti’s coherence criterion for \({\mathbb R}{\mathcal L}\) .     

Mobile digcovery: discovering and interacting with the world through the Internet of things

The application of Internet-enabled devices in the real world for the development of Smart Cities, environmental monitoring, bus tracking, and parking requires scalability, extensibility, and integration of emerging resources to reach a suitable ecosystem for data acquisition and interaction with citizens. Internet of things needs to offer efficient support for global communications and access to services and information. It needs to enable homogeneous and seamless machine-to-machine communication for different solutions and applications. This work presents an homogeneous and suitable mechanism for global resource discovery, device access for deployed smart objects in different scenarios, and sensors and devices from end users (participative sensing). The integration of legacy and sensors already available from smart buildings and smart objects is presented. For this purpose, a resolution infrastructure called “digcovery” is defined for maximizing efficiency and sustainability of deployments. Digcovery architecture offers the framework to allow users to register/include their own sensors into a common infrastructure and access/discover the available resources through mobile digcovery. Mobile digcovery exploits the context-awareness, geo-location, and identification technologies available in mobile platforms such as smartphones to discover, interact, and access the resources through its ElasticSearch engine.     

A review of the unique features of HDL apoproteins

The human plasma high density lipoproteins (HDL) are a heterogeneous ensemble of five proteins associated with both neutral and polar lipids. The sequences of all five proteins are known. ApoA-I and apoA-II are the major protein components; apoC-I, apoC-II and apoC-III are the minor protein components. All these apoproteins spontaneously recombine with phospholipids to give stable lipid-protein complexes and freely exchange between the two major HDL subclasses, HDL₂ and HDL₃. In addition, ApoC-I, apoC-II, and apoC-III exchange between HDL and very low density lipoproteins. Furthermore, certain HDL apoproteins are activators for plasma enzymes that are important in lipid metabolism. ApoA-I and apoC-I activate lecithin/cholesterol acyltransferase; apoC-II is an activator of lipoprotein lipase. The regions of apoC-I and apoC-II that are involved in the activation of these enzymes have been localized with synthetic peptides. Studies of synthetic and native fragments of apoA-II, apoC-I, apoC-II, and apoC-III as well as model lipid-binding peptides have identified specific regions with structural features common to lipid-binding proteins. These special properties, which include helical potential, sequences with a critical amphipathic length, and high hydrophobicity of the nonpolar side of the amphipathic helix, are the determinants of HDL structure and metabolism.     

Solvent free liquid phase oxidation of benzyl alcohol using Au supported catalysts prepared using a sol immobilization technique

Solvent free oxidation of benzyl alcohol was investigated in the absence of a base using Au catalysts prepared by sol immobilization on titania and carbon supports. Comparison between the Au supported catalysts revealed that activity and distribution of products was dependent on the nature of support and heat treatment. Specifically, heat pre-treatment of the Au catalysts has a beneficial effect in terms of activity, but is detrimental in terms of selectivity to the benzaldehyde. We conclude that sol immobilization is a suitable technique for preparing gold catalysts with small particle size and narrow particle size distributions and very high activity and selectivity for benzyl alcohol oxidation.     

Dielectric Properties of the "Twinned" 8H-Hexagonal Perovskite Ba8Nb4Ti3O24

The dielectric properties of dense ceramics of the "twinned" 8H-hexagonal perovskite Ba₈Nb₄Ti₃O₂₄ are reported. Single-phase powders were obtained from the mixed-oxide route at 1325°C and ceramics (>92% of the theoretical X-ray density) by sintering in air or flowing O₂ at 1400°–1450°C. The ceramics are dc insulators with a band gap >3.4 eV that resonate at microwave frequencies with relative permittivity, ɛ_r∼44–48, quality factor, Q × f _r∼21 000–23 500 GHz (at f _r∼5.5 GHz) and temperature coefficient of resonant frequency, TC _f,∼+115 ppm/K.     

Manganese ferrite nanoparticles synthesized through a nanocasting route as a highly active Fenton catalyst

Spinel ferrite MnFe₂O₄ nanoparticles were synthesized by means of a nanocasting technique using a low-cost mesoporous silica gel as a hard template. The magnetic nanoparticles, of <10 nm diameter and with a surface area of around 100 m²/g, were tested as a heterogeneous Fenton catalyst for the decomposition of hydrogen peroxide under neutral and basic conditions. This catalyst shows a much higher activity than previous heterogeneous catalysts reported in the literature, which is mainly ascribed to its small particle size. Furthermore, the magnetic catalyst can be easily separated from the reaction medium by means of an external magnetic field. The effects of residual silica and the purity of the catalyst (hematite formation) on catalytic activity have been studied and correlated. The results obtained show this catalyst to be a suitable candidate for the removal of pollutants in wastewaters by means of the Fenton heterogeneous reaction.     

Modèles Hydrodynamiques pour la Séparation des Courants dans un Décanteur Pilote

Despite of its general use in industry, particle sedimentation is still a not well understood unit operation. Hydrodynamics is complex in essence, mainly because the possible volumes are depending on the operating conditions, which in turn has consequences on the stability of the equipment in unsteady state conditions.     

The KlaperSuite framework for model-driven reliability analysis of component-based systems

Automatic prediction tools play a key role in enabling the application of non-functional requirements analysis, to simplify the selection and the assembly of components for component-based software systems, and in reducing the need for strong mathematical skills for software designers. By exploiting the paradigm of Model-Driven Engineering (MDE), it is possible to automatically transform design models into analytical models, thus enabling formal property verification. MDE is the core paradigm of the KlaperSuite framework presented in this paper, which exploits the KLAPER pivot language to fill the gap between design and analysis of component-based systems for reliability properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze quality of service views of their systems, by building a one-click bridge towards a number of established verification instruments. In this article, we concentrate on the reliability-prediction capabilities of KlaperSuite and we evaluate them with respect to several case studies from literature and industry.     

New sesquiterpenes fromMaytenus species (Celastraceae). Taxonomic and chemotaxonomic considerations concerning chileanMaytenus

Three new dihydro--agarofuran sesquiterpenes from two species ofMaytenus were isolated and their structures were elucidated by means of¹H and¹³C NMR studies. The differences and similarities noted in the chemical content of the dihydro--agarofuran sesquiterpenes from the fourMaytenus species from Chile are in line with the taxonomic characterization of these species; their geographical distribution is also given.