Abstract
The aim of this paper is twofold. Firstly, to present a survey of the actual and most advanced methods for man-made structures monitoring, more specifically dams and bridges. Theoretical and technical aspects of these methodologies are presented and discussed focusing on innovative inspection methods and on the opportunities that could deliver. Secondly, to identify the opportunities that could potentially improve the inspections and maintenance processes, being the satellite-based monitoring, using radar imagery, recognized as viable source of independent information products that may be used to remotely monitor the health of these specific man-made structures. By applying Multi-temporal InSAR processing techniques to a series of radar images over the same region, it is possible to detect vertical movements of structure systems on the ground in the millimeter range, and therefore, identify abnormal or excessive movement indicating potential problems requiring detailed ground investigation. In this paper it is clearly demonstrated that with the new high-resolution synthetic aperture radar satellites scenes, InSAR technology may be particular useful as hot spot indicator of relative deformations structures over large areas, making possible to develop interferometric based methodologies for structural health monitoring. From a technological standpoint, this approach represents a substantial evolution over the current state-of-the-art. (C) 2014 The Authors. Published by Elsevier Ltd.

Abstract
Hypervisor-based virtualization provides a natural way to integrate formerly distinct systems into a single mixed-criticality multicore system by consolidating in separated virtual machines. We propose an adaptive computation bandwidth management for such architectures, which is compatible with a potential certification based on the guarantee of specified bandwidth minimums and the isolation of overruns of virtual machines. This management uses periodic servers and an elastic task model to combine analyzability at design time with adaptability at runtime. Mode changes or early termination of VMs trigger a resource redistribution that reassigns spare capacity. In this paper we focus on the integration of an adaptive reservation policy into a virtualization software stack and the co-design of hypervisor and paravirtualized guest operating system. In a concrete implementation on a PowerPC 405, the bandwidth distribution policy incurred in a memory footprint below 2.7KB and a worst-case execution time for the redistribution function below 4 microseconds for realistic low numbers of VMs. Simulations over synthetically generated sets of VMs with random mode changes showed a gain of 13% of computation bandwidth when compared to an approach with fixed partitions and provided a relative error of allocated bandwidth to desired bandwidth 4 times lower.

Abstract
Being distributed in nature, IEC 61499 industrial control applications are subject to partial failures. Building applications that are tolerant of these failures (i.e. a fault-tolerant application) may be achieved through the use of replication. In this paper we present a framework to support replicated IEC 61499 applications, and study how replica determinism may be achieved in this framework. © 2014 IEEE.

Abstract
BACKGROUND: In a preliminary study the oxidative stability and tocopherol content of pork meat were shown to be improved by olive leaf (OL) feed supplementation at 50 and 100 g kg(-1). However, growth performance was affected negatively. Therefore the objective of the present study was to assess the influence of OL supplementation at a lower level on feed digestibility, growth performance and meat quality. RESULTS: Pigs were fed a basal diet (control), a basal diet with 25 g OL kg(-1) (OL2.5) or a basal diet with 50 g OL kg(-1) (OL5). The incorporation of OL significantly decreased growth rates (P = 0.010) and backfat thickness (P = 0.035) and increased feed/gain ratio (P = 0.032) in the OL5 group. Feed/gain ratio increased more for females (P = 0.001). The incorporation of OL decreased the crude fat (P = 0.006) and protein (P = 0.037) digestibility of both OL diets. Nevertheless, OL was effective in increasing the tocopherol content of meat (P = 0.009). However, meat from pigs fed the OL diets showed similar conjugated diene content, pH and colour parameters to that from pigs fed the control diet, even after 6 days of storage at 4 degrees C. CONCLUSION: The data indicate that olive leaves may be included in pig diets at 25 g kg(-1) in order to improve the tocopherol content of meat without excessively compromising growth performance. (C) 2014 Society of Chemical Industry

Abstract
Prime numbers play a pivotal role in current encryption algorithms and given the rise of cloud computing, the need for larger primes has never been so high. This increase in available computation power can be used to either try to break the encryption or to strength it by finding larger prime numbers. With this in mind, this paper provides an analysis of different sieve implementations that can be used to generate primes to near 2(64). It starts by analyzing cache friendly sequential sieves with wheel factorization, then expands to multi-core architectures and ends with a cache friendly segmented hybrid implementation of a distributed prime sieve, designed to efficiently use all the available computation resources of heterogeneous computer clusters with variable workload and to scale very well in both the shared and distributed memory versions.

Abstract
Aging is a natural process typically characterized by loss of capabilities such as vision or memory. These transformations interfere with quotidian tasks performance sometimes leading to dangerous situations for senior adults. One of the most relevant is related with the wrong ingestion of medication or even forgetfulness. This kind of mistakes represents a real threat to elder's health and life. Furthermore, the existing technological solutions concerned with this problematic, are designed for professionals or general public disregarding elderly needs in particular. Thus, in order to overcome this lack of support, it will be presented an image processing tool, which represents the first steps for a larger toolset adapted for elderly persons, under construction. The procedures followed by this proposal include image acquisition and pill characterization based on its shape, dimensions and colors. The system uses these features in the learning step to describe and store pills information on local database. Later, in the recognition step, the same features are determined and compared against database in order to provide the user with relevant informations related with the pill under recognition. (C) 2014 The Authors. Published by Elsevier Ltd.