Models and emerging trends of concurrent constraint programming

Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net-centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.     

Analysis of supercritical carbon dioxide extracts from cones and leaves of a Humulus lupulus L cultivar

Extracts obtained by supercritical carbon dioxide extraction of cones and leaves of hop (Humulus lupulus L) at different combinations of temperature and pressure were analysed for their α- and β-acids and volatiles, using HPLC and GC respectively. The yield and composition of the mixtures of bitter compounds from the cones were largely influenced by the temperature and pressure applied during the extraction. Bitter compounds could not be detected in the extracts from the leaves. The most important volatile components identified were β-myrcene, β-caryophyllene and α-humulene. The extraction parameters also influenced the composition of the mixture of volatiles from the cones and leaves, 40°C and 20.0 MPa being optimum for the extraction of both bitter compounds and volatiles, which are thought to be important for the aroma of beer.     

A low complexity mechanism for congestion notification in rural IPSec‐enabled heterogeneous backhaul networks

Management in wireless backhaul networks is a challenging task, especially in rural and isolated environments. In these scenarios, the backhaul network usually consists of a set of heterogeneous wireless links that provide limited and variable bandwidth to the access networks, often 3G/4G small cells. Because of the highly constrained nature of this type of backhaul network, intelligent and joint management in both the backhaul network and the access network is crucial in order to avoid performance degradation caused by traffic congestion. In order to avoid the saturation in the backhaul network, access networks should consider the backhaul state when taking decisions in the admission control and scheduling procedures. However, no standardized mechanisms currently exist for sharing management information between both networks. In this work, we propose to use the Explicit Congestion Notification (ECN) bit in the outer IP headers present in the Iuh 3GPP IPSec‐enabled interfaces in order to notify the backhaul congestion state to the access network. We analyze for the referred scenario, compatibility and security details, validating our approach by running numerically simulations and implementing the notification mechanism. Our low complexity approach offers 2% accuracy and backhaul update latency lower than 10 ms during 80% of the time, which makes the solution appropriate for admission control and scheduling intervals in small cells.     

Automated off-line respiratory event detection for the study of postoperative apnea in infants

Previously, we presented automated methods for thoraco-abdominal asynchrony estimation and movement artifact detection in respiratory inductance plethysmography (RIP) signals. This paper combines and improves these methods to give a method for the automated, off-line detection of pause, movement artifact, and asynchrony. Simulation studies demonstrated that the new combined method is accurate and robust in the presence of noise. The new procedure was successfully applied to cardiorespiratory signals acquired postoperatively from infants in the recovery room. A comparison of the events detected with the automated method to those visually scored by an expert clinician demonstrated a higher agreement (κ = 0.52) than that amongst several human scorers (κ = 0.31) in a clinical study . The method provides the following advantages: first, it is fully automated; second, it is more efficient than visual scoring; third, the analysis is repeatable and standardized; fourth, it provides greater agreement with an expert scorer compared to the agreement between trained scorers; fifth, it is amenable to online detection; and lastly, it is applicable to uncalibrated RIP signals. Examples of applications include respiratory monitoring of postsurgical patients and sleep studies.     

CO2 emission trading within the European Union and Annex B countries: the cement industry case

The cement industry is the third largest carbon emitting industrial sector in the EU. This article presents the foreseeable technological evolution of the cement industry under business as usual circumstances, and examines the effects on the sector of carbon trading. For those purposes a global dynamic simulation model of the cement industry (CEMSIM) has been developed. The model is composed of a series of interconnected modules on cement consumption and production, international trade and capacity planning. This study quantifies the benefits achieved from emission trading in different markets (EU15, EU27 and Annex B), derived both from the revenues of emission trading, and from the lower compliance costs. The magnitude of the potential carbon leakage effect is also assessed.     

Evaluation,modification and comparison of two rapid assays for cyanogens in cassava

Two rapid semi-quantitative assays for total cyanogens in cassava were evaluated. These were the well-known rapid picrate paper test, and a recently proposed rapid paper test involving the reagent tetra base (TB, 4,4′- methylenebis-(N, N-dimethylaniline)). A precise colorimetric assay was used as a control in the evaluative work. After primary evaluation, both assay methods underwent some modification regarding the interpretation of sample scores. As a result, the reliability of the picrate assay was greatly improved. The TB assay was modified in the interests of safety. Evaluation of this assay over a range of temperatures between 20 and 35°C showed no significant temperature effects upon performance when the new scoring interpretation system was used. The level of endogenous linamarase activity in the sample was found to be an influential factor in rapid assay performance. In a series of comparative trials in three distinct ecosystems, the newly modified picrate assay produced correct results in 68% of cases. This compared with 66% of results correct in the TB assay. It was observed that the TB assay performed more reliably with low cyanogen samples, whilst the picrate assay was more reliable with intermediate cyanogen samples.     

Managing logical channel configurations in complex satellite architectures

As a result of the increased switching complexity of many communications satellites, often transponders are available with a variety of configuration options offering flexibility in power, bandwidth, and coverage. Many of these configurations share resources that prevent them from being simultaneously active, making it a challenge to understand and manage the satellite capacity inventory. In this paper we define the logical channel configuration (LCC) as an unambiguous unit of the inventory and present a novel method of modelling the interdependencies between these LCCs using linear algebra. In particular, a projector matrix is defined which can be used to update the activation state of all LCCs when the state of one or more of these is changed. As a result, a number of valid LCC scenarios can be easily generated and evaluated for optimal use of the satellite resources. Copyright © 2005 John Wiley & Sons, Ltd.     

An altruistic cross‐layer recovering mechanism for ad hoc wireless networks

Video streaming services have restrictive delay and bandwidth constraints. Ad hoc networks represent a hostile environment for this kind of real‐time data transmission. Emerging mesh networks, where a backbone provides more topological stability, do not even assure a high quality of experience. In such scenario, mobility of terminal nodes causes link breakages until a new route is calculated. In the meanwhile, lost packets cause annoying video interruptions to the receiver. This paper proposes a new mechanism of recovering lost packets by means of caching overheard packets in neighbor nodes and retransmit them to destination. Moreover, an optimization is shown, which involves a video‐aware cache in order to recover full frames and prioritize more significant frames. Results show the improvement in reception, increasing the throughput as well as video quality, whereas larger video interruptions are considerably reduced. Copyright © 2014 John Wiley & Sons, Ltd.     

Least Squares Boundary Residual Method for the Analysis of Step Discontinuities in Open Chiral Waveguides

We analyse the reflection, transmission and radiation characteristics of a step discontinuity in a grounded chiral slab and we show that the step radiation can be enhanced due to the effect of the chirality. The analysis is performed using a mode matching technique. The fields are expressed in terms of the discrete modes and the continuous spectrum using two subsets of hybrid radiation modes: incident transverse electric (ITE) and incident transverse magnetic (ITM) modes. The scattering matrix of the step is determined by minimizing the boundary residual error in the sense of the least squares. The influence of chirality on the characterization of the step is demonstrated and we show that control of the radiation pattern is achieved, including angle and width of the radiation beam.