Abstract
In the current global market organizations face uncertainties and shorter response time. In order to remain competitive many organizations adopted flexible resources capable of performing several operations with different performance capabilities. The unrelated parallel-machines makespan minimization problem (Rm||Cmax) is known to be NP-hard or too complex to be solved exactly. Among the several heuristics used for solving this problem, it is possible to identify MCT (Minimum Completion Time) that allocates tasks in a random order to the minimum completion time machine. This paper proposes an ordered approach to the MCT heuristic. MOMCT (Modified Ordered Minimum Completion Time), which will order tasks in accordance to the mean difference of the completion time on each machine and the minimum completion time machine. The computational study demonstrated the improved performance of the proposed ordered approach to the MCT heuristic.

Abstract
In the context of globalization of contemporary service economies there is an increasing need for interoperability, standardization and submission of service processes to common norms and regulations. This stimulates the research effort in elaboration of generic, unified approaches in service processes design. Service Science emerged in the past decade as an interdisciplinary specialization of systems theory, but there is still lack of consensus on its theoretical foundations. Starting from the comparative analysis of some relevant generic service models reported in the literature, the paper raises some specific questions regarding the research effort in this area and, based on a Service Science worldview of a service system and on the generic phases of a business process, deduces a generic model of a service process lifecycle, including part of the ISPAR states. Finally, a simple example from the educational service sector is discussed.

Abstract
Objective: to identify diet quality time trends in Portuguese elderly households and the association of diet quality with sociodemographic characteristics. Design: Set of four cross-sectional studies. Setting: Portuguese population. Subjects: nationally representative samples from Household Budget Surveys (1989-1990, 1994-1995, 2000-2001 and 2005-2006 versions). Households with members aged >= 65 years were categorized as solitary elderly female, solitary elderly male, or elderly couple (composed of one elderly female and one elderly male) and compared with adult households with the same composition. Methods: Diet quality was assessed through a revised version of the Healthy Diet indicator (HDIr). Univariate and multiple backward linear regression models were used to study the association with sociodemographic characteristics. Results: Mean values of dietary index were low and the proportion of elderly households with low diet quality (HDIr <= 4) was high (between 47.4% and 68.4%). However, the frequency of HDIr inadequacy for adult household was even higher (P<0.05). in general, adjusted coefficients for survey year, educational level of the household head, and eating out expenses were inversely associated with HDIr; whilst semi-urban and rural location of the households predicted higher HDIr values. exceptions were found in elderly male households where the educational level of the household head was positively associated with HDIr values. Conclusions: overall, diet quality was low and decreased over time but lonely elderly female and elderly couple households had higher values of HDIr. adherence to a healthier diet was associated with lower educational level of the household head and location of the household in less urbanized areas.

Abstract
This paper presents our results in the formal verification of kLIBC, a minimalistic C library, using the Frama-C/WP tool. We report how we were able to completely verify a significant number of functions from < string.h > and < stdio.h >. We discuss difficulties encountered and describe in detail a problem in the implementation of common < string.h > functions, for which we suggest alternative implementations. Our work shows that it is presently already viable to verify low-level C code, with heavy usage of pointers. Although the properties proved tend to be shallower as the code becomes of a lower-level nature, it is our view that this is an important direction towards real-world software verification, which cannot be attained by focusing on deep properties of cleaner code, written specifically to be verified.

Abstract
This paper presents an analytical modelthat evaluates the performance of the Maximum Packing channel allocation technique on linear andplanar cellular systems. The main innovations introduced by this model are the deterministic identification of the system space-state SMP and its application to a multi-dimensional Markov chain. The model was thereafter applied to severalcellular systems with different characteristics: number of cells, number of channels, interferenceconstraints and offered traffic values. Simulation results have validated the model and shown that Maximum Packing technique provides the best performance among all the available algorithms. © Springer Science+Business Media Dordrecht 2014.

Abstract
This work proposes an innovative method based on autoencoders to perform state estimation in distribution grids, which has as main advantage the fact of being independent of the network parameters and topology. The method was tested in a real low voltage grid (incorporating smart grid features), under different scenarios of smart meter deployment. Simulations were performed in order to understand the necessary requirements for an accurate distribution grid state estimator and to evaluate the performance of a state estimator based on autoencoders.