Abstract
Engineering frameworks are currently required to support the easy, low-cost, modular and integrated development of manufacturing systems addressing the emergent requirements of re-configurability, responsiveness and robustness. This paper discusses the integration of 2D/3D digital software tools with Petri net based service-oriented frameworks to allow the design, configuration, analysis, validation, simulation, monitoring and control of manufacturing systems in a virtual environment and its posterior smooth migration into the real "physical" environment. An experimental case study was implemented to validate the proposed concepts, using the Continuum platform to design, compose, analyze, validate and simulate the Petri nets based service-oriented manufacturing control system, and the Delmia Automation(TM) software suite to support the rapid prototyping and the easy simulation of the designed control solution. The experimental results prove several aspects of the proposed approach, notably the smooth migration between the design and the operation phases, one of the main objectives of the work.

Abstract

Abstract
We analyse the dynamics and evolution of the corporate restructuring process in the Portuguese banking sector, where 10 banks were privatised during the period 1989-1996. We apply a novel methodological approach in this context, using a multidimensional measure of restructuring that links product and labour market variables. We find evidence of considerable heterogeneity in the restructuring process, where firms adjust at different speeds and intensities. We also find that the wage level is by far the firm attribute that changed more, which is shown to reflect substantial changes in terms of composition, and not size, of the workforce. Our empirical evidence also suggests that privatisation is associated with a higher level of rent sharing. © 2011 Elsevier B.V.

Abstract
Spreadsheets are among the most popular programming languages in the world. Unfortunately, spreadsheet systems were not tailored from scratch with modern programming language features that guarantee, as much as possible, program correctness. As a consequence, spreadsheets are populated with unacceptable amounts of errors. In other programming language settings, model-based approaches have been proposed to increase productivity and program effectiveness. Within spreadsheets, this approach has also been followed, namely by ClassSheets. In this paper, we propose an extension to ClassSheets to allow the specification of spreadsheets that can be viewed as relational databases. Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints. This brings to the spreadsheet realm the entire paraphernalia of model validation techniques that are available for UML. © 2012 ACM.

Abstract
Wind and solar power are well known intermittent power sources with high availability uncertainties. Hence, whenever they are integrated to distribution systems, these power sources can increase significantly the complexity of system operation. This paper presents an impact analysis of distributed energy resources integration on distribution systems, focusing mainly on reliability aspects. Therefore, an interesting algorithm to correctly determine the amount of capacity that may be transferred to other feeders is presented and discussed, taken into consideration the presence of distributed generation. The methodology is tested in a typical Brazilian distribution system, assuming the integration of a diesel-based combined heat and power unit, wind turbines, and solar panels. The results provide general insights regarding the benefits of applying distributed generation to alleviate load transfer restrictions.

Abstract
There is a considerable interest in the development of automatic image analysis systems for dermoscopic images. The standard approach usually consists of three stages: (i) image segmentation, (ii) feature extraction and selection, and (iii) lesion classification. This paper evaluates the potential of an alternative approach, based on the Menzies method. It consists on the identification of the presence of 1 or more of 6 possible color classes, indicating that the lesion should be considered a potential melanoma. The Jeffries-Matusita (JM) and Transformed Divergence (TD) separability measures were used for an experimental evaluation with 28 dermoscopic images. In the most challenging case tested, with training identified in multiple images, 8 out of 15 class pairs were found to be well separable, or 13+ 2 out of 21 considering the skin as an additional class.