Abstract
With the global population crossing the 7 billion mark, the world is too crowded. The race for survival is not limited to food, water, shelter, and other basic needs; it also includes fierce competition in all industrial sectors across the world. These days, there are basically two patterns of uncontrolled industrial growth across the world. The first one is meant to fulfill the domestic demands and the common needs of the people. The second one is to exploit the present world situation to maximize profits. Of course, this is a race for supremacy that pushes nations to compete in all possible means to achieve the most from their resources.

Abstract
In this work a novel optical fiber sensor based on silica microspheres array is proposed. Different sensing heads are presented and compared, differing on the number of microspheres. These structures, ranging from arrays of one to five, are spliced in series. The sensor is subjected to different physical parameters, such as strain, temperature, refractive index and bending. Depending on the number of microspheres the sensitivities to strain and bending are different. The sensor also presents a high sensitivity to temperature of 20.3 pm/degrees C.

Abstract
This paper discusses the design and implementation of a bounded model checker for SPARK code, and provides a proof of concept of the utility and practicality of bounded verification for SPARK.

Abstract
The development of Advanced Driver Assistance Systems ( ADAS) is rapidly growing. However, most of the ADAS require field test, which is expensive, unpredictable and time consuming. In this paper we propose a multiagent-based driving simulator which integrates a human factor analysis suite and enables rapid and low-cost experimentation of mobile-device ADAS. Our architecture uses a microscopic simulator and a serious-game-based driving simulator. The latter allows the user to control a vehicle and change the correspondent simulation state in the microscopic simulator. The driving simulator also connects to an Android device and sends several kinds of data, such as current GPS coordinates or transportation network data. One important feature of this architecture is its suitability to serve as an appropriate means to conduct behaviour elicitation through peer-designed agents, so as to improve modelling of various driving styles accounting for different aspects of preferences and perception abilities, as well as other performance measures related to drivers' interaction with ADAS solutions. The potentials of our approach to aid experiments in human factor analysis are still to be tested, but are undoubtedly huge and encouraging.

Abstract

Abstract
The two largest causes for battery consumption on mobile devices are related with the display and network operations. Since most application need to share data and communicate with remote servers, communications should be as lightweight and efficient as possible. In network communication, serialization plays a central role as the process of converting an object into a stream of bytes. One of the most popular data-interchange format is JSON (JavaScript Object Notation). This paper presents a survey on JSON parsers in mobile scenarios. The aim of the survey is to find the most efficient JSON parser in mobile communications characterised by high transfer rate of small amounts of data. In the performance benchmark we compare the time required to read and write data with several popular JSON parser implementations such as Gson, Jackson, org.json and others. The results of this survey are important for others that need to select an efficient parser for mobile communication. © Ricardo Queirós.