Abstract
Warri is one of the mega cities in Delta State in the coastal region of Nigeria hosting many industries. One of the three of Nigeria oil refineries is located in Warn. This study reveals the occurence of land deformation in the Warri area which is not only because it was formed in a tectonic setting but because of the high demand of the underground water for indutrial and domestics uses, high population density and oil and gas exploration in the area. Land deformation in this area is currently being accelerated by this indiscriminate withdrawal of underground water from the aquifers and exploration of the oil and gas leading to the compacting sediments. In this study Multi-Temporal Interferometric Synthetic Aperture Radar (MT-InSAR) technique was applied to monitor land deformation in Warri metropolis in the period between 09/02/2006 and 12/08/2010 with Envisat data obtained from European Space Agency (ESA). The processing was done using Stanford Method for Persistent Scatterers/Multi-Temporal InSAR (StaMPS). From the analysis of the results, land deformation is occurring in Warri metropolis at a moderate rates (+/-5 mm/yr). During the preliminary investigations, structures, particularly buildings, were physically observed subsiding while some others with cracks of various types and degrees. (C) 2016 The Authors. Published by Elsevier B.V.

Abstract

Abstract
With new trends like 3D and deep learning alternatives for face recognition becoming more popular, it becomes essential to establish a complete benchmark for the evaluation of such algorithms, in a wide variety of data sources and non-ideal scenarios. We propose a new RGB-depth-infrared (RGB-D-IR) dataset, RealFace, acquired with the novel Intel® RealSense TM collection of sensors, and characterized by multiple variations in pose, lighting and disguise. As baseline for future works, we assess the performance of multiple deep and “shallow” feature descriptors. We conclude that our dataset presents some relevant challenges and that deep feature descriptors present both higher robustness in RGB images, as well as an interesting margin for improvement in alternative sources, such as depth and IR.

Abstract

Abstract
We present a procedure for splitting processes in a process algebra with multiactions and data (the untimed subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: Roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes is provably equal from a set of axioms (sound and complete with respect to strong bisimilarity) to the original process under some appropriate notion of synchronization. We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: Using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo. Such splitting can significantly improve the performance of connectors as shown elsewhere.

Abstract
The growing dependence of our society on increasingly complex software systems makes software testing ever more important and challenging. In many domains, several independent systems, forming a distributed and heterogeneous system of systems, are involved in the provisioning of end-to-end services to users. However, existing test automation techniques provide little tool support for properly testing such systems. Hence, we propose an approach and toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems, comprising a visual modeling environment, a test execution engine, and a distributed test monitoring and control infrastructure. The only manual activity required is the description of the participants and behavior of the services under test with UML sequence diagrams, which are translated to extended Petri nets for efficient test input generation and test output checking at runtime. A real world example from the Ambient Assisted Living domain illustrates the approach.