How to optimize operational shipping processes of non-production materials? The Volkswagen Autoeuropa case study

Field lab: Entrepreneurial and innovative ventures

On the labor share the long-run equilibrium and its adjustment process

This research computes an Equilibrium Labor Share using a VECM for a panel of 19 countries, analyzes what determines the speed at which the labor share adjusts towards that equilibrium and decomposes this adjustment in terms of real wages and employment. Results suggest that the speed at which a country adjusts decreases with employment protection legislation and labor taxes. Most countries’ labor shares adjustment is made through real wages changes instead of changing employment, suggesting that wage moderation policies may play an important role on the adjustment process without harming employment. Keywords: Equilibrium

On the labor share the long-run equilibrium and its adjustment process

This research computes an Equilibrium Labor Share using a VECM for a panel of 19 countries, analyzes what determines the speed at which the labor share adjusts towards that equilibrium and decomposes this adjustment in terms of real wages and employment. Results suggest that the speed at which a country adjusts decreases with employment protection legislation and labor taxes. Most countries’ labor shares adjustment is made through real wages changes instead of changing employment, suggesting that wage moderation policies may play an important role on the adjustment process without harming employment.

Microscopy image segmentation by active contour models

In this thesis a semi-automated cell analysis system is described through image processing. To achieve this, an image processing algorithm was studied in order to segment cells in a semi-automatic way. The main goal of this analysis is to increase the performance of cell image segmentation process, without affecting the results in a significant way. Even though, a totally manual system has the ability of producing the best results, it has the disadvantage of taking too long and being repetitive, when a large number of images need to be processed. An active contour algorithm was tested in a sequence of images taken by a microscope. This algorithm, more commonly known as snakes, allowed the user to define an initial region in which the cell was incorporated. Then, the algorithm would run several times, making the initial region contours to converge to the cell boundaries. With the final contour, it was possible to extract region properties and produce statistical data. This data allowed to say that this algorithm produces similar results to a purely manual system but at a faster rate. On the other hand, it is slower than a purely automatic way but it allows the user to adjust the contour, making it more versatile and tolerant to image variations.

Establishing a high titer transient gene expression process in conditioned media for CHO-DG44 cells

Dissertação para obtenção do Grau de Mestre em Biotecnologia

A study on reducing digital piracy: an analytical network process approach with benefits, opportunities, costs and risks analysis

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Improvements in the geocoding process in organizational environments

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Analysis of chromium behaviour and speciation during the electrodialytic process

The interest in chromium (Cr) arises from the widespread use of this heavy metal in various industrial processes that cause its release as liquid, solid and gaseous waste into the environment. The impact of Cr on the environment and living organisms primarily depends on its chemical form, since Cr(III) is an essential micronutrient for humans, other animals and plants, and Cr(VI) is highly toxic and a known human carcinogen. This study aimed to evaluate if the electrodialytic process (ED) is an appropriate treatment for Cr removal, through a critical overview of Cr speciation, before and after the ED experiments, to assess possible Cr(III)-Cr(VI) interconversions during the treatment. ED was the treatment technique applied to two types of matrices containing Cr: chromate copper arsenate (CCA) contaminated soil and municipal solid waste incineration (MSWI) fly ash. In order to study Cr remediation, three EDR set-ups were used: a new set-up, the combined cell (2/3C or 3/2C), with three compartments, alternating current between two anodes and different initial experimental conditions, one set-up with three compartments (3C cell) and the other set-up with two compartments (2C cell). The Cr removal rates obtained in this study were between 10-36% for the soil, and 1-13% for the fly ash. The highest Cr removal rates were achieved in the 26 days experiments: 36% for the soil, 13% for the fly ash. Regarding the 13 days experiments, the highest Cr removal rates were attained with the 2/3C set-up: 24% for the soil, 5% for the fly ash. The analysis of Cr(VI) was performed before and after ED experiments to evaluate eventual changes in Cr speciation during the treatment. This analysis was conducted by two methods: USEPA Method 3060A, for the extraction of Cr(VI); and Hach Company Method 8023, for the detection of Cr(VI). Despite the differences in Cr total concentration, both matrices presented a similar speciation, with Cr(III) being the main species found and Cr(VI) less than 3% of Cr total, before and after the treatment. For fly ash, Cr(VI) was initially below the detection limit of the method and remained that way after the treatment. For soil, Cr(VI) decreased after the treatment. Oxidation of Cr(III) to Cr(VI) did not occur during the ED process since there was no increase in Cr(VI) in the matrices after the treatment. Hence, the results of this study indicate that ED is an appropriate technique to remediate matrices containing Cr because it contributes to Cr removal, without causing Cr(III)-Cr(VI) interconversions.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Foresight methodologies to understand changes in the labour process. Experience from Portugal

The foresight and scenario building methods can be an interesting reference for social sciences, especially in terms of innovative methods for labour process analysis. A scenario – as a central concept for the prospective analysis – can be considered as a rich and detailed portrait of a plausible future world. It can be a useful tool for policy-makers to grasp problems clearly and comprehensively, and to better pinpoint challenges as well as opportunities in an overall framework. The features of the foresight methods are being used in some labour policy making experiences. Case studies developed in Portugal will be presented, and some conclusions will be drawn in order to organise a set of principles for foresight analysis applied to the European project WORKS on the work organisation re-structuring in the knowledge society, and on the work design methods for new management structures of virtual organisations.

Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Characterization of cleaners accidents in the Portuguese service sector

This paper characterizes work accidents at Portuguese industrial cleaning companies, operating in the service sector, through the application of ESAW methodology. Data was codified based on the analysis of 748 accident claims to insurance companies (number of days lost 1 working day) in 3 large industrial cleaning companies for the period 2001-2003. Slipping and falling in the same level was the main deviation from the normal working process in the moment of the accident (in 25% of the accidents); uncoordinated movements was the second cause of accidents (14%); falls of persons to a lower level was the third cause of accidents (~10%), including falls from stairs (~7%) and falls from ladders and mobile ladders (~2%); globally, body movement under or with physical stress, including lifting, carrying, putting down, bending down, twisting, turning, trading badly, twisting leg or ankle and slipping without falling, were the cause in 17% of the accidents. Lower limbs were injured in ~25% of the accidents, hand and fingers in ~14%, the eye in ~4% and the back in ~9% of the accidents. An incidence rate of 3,580 accidents/100,000 employees was found to the sector (2003 data).

Developing persuasive interfaces

MSCC Dissertation in Computer Engineering

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.