Abstract
The Assembly Line Part Feeding Problem (ALPFP) is a complex combinatorial optimisation problem concerned with the delivery of the required parts to the assembly workstations in the right quantities at the right time. Solving the ALPFP includes simultaneously solving two sub-problems, namely tour scheduling and tow-train loading. In this article, we first define the problem and formulate it as a multi-objective mixed-integer linear programming model. Then, we carry out a complexity analysis, proving the ALPFP to be NP-complete. A modified particle swarm optimisation (MPSO) algorithm incorporating mutation as part of the position updating scheme is subsequently proposed. The MPSO is capable of finding very good solutions with small time requirements. Computational results are reported, demonstrating the efficiency and effectiveness of the proposed MPSO.

Abstract
The knowledge on diet composition of the freshwater mussel Diplodon enno (Ortmann) would aid in its culture and propagation allowing, this way, the replacement of natural endangered populations in Brazil. Microalgae are the main food source for captive mussels and unionids have displayed an ability to sort algae based on the cellular characteristics prior to ingestion. The main objective of the present work is to analyze the phytoplankton composition of the water from and of the gastrointestinal contents of the mussel D. enno, as an initial step for development of a suitable rearing diet. Therefore, water samples and bivalve specimens were collected from S. Francisco River, city of Paulo Afonso, Bahia, Brazil. The microalgal composition found in water and stomach/gut content samples was very diverse being represented by the following divisions: Cyanophyta, Chlorophyta, Dinophyta and Heterokontophyta (Diatoms). Concerning the relative abundance of microalgae divisions, it is possible to state, for the water and gastrointestinal contents, that Cyanophyta represents 15% and 14%, Chlorophyta 54% in both, Heterokontophyta 31% and 27% and Dinophyta 0% and 5%, respectively. According to the Brazilian CETESB criteria for phytoplankton species classification, 50% of Cyanophyta and 15% of Chlorophyta species observed in the water samples were classified as "very frequent", as were 68% of Heterokontophyta and 33% of Chlorophyta species in the gut/stomach tract samples. Focusing at a species level, although in the water only Coelastrum sp. and Chroococcus sp. were observed in 100% and 75% of the samples, respectively, in the gastrointestinal tract the species Staurastrum sp., Aulacoseira sp., Scenedesmus sp. and Fragilaria crotonensis occurred in 80% to 100% of the samples. The present results showed that D. enno feeds not only on small chlorophytes microalgae, due to their convenient size that facilitates higher feeding rates, but also on large size diatoms, due to a possible nutritional advantage for the bivalves. Thus, a diet composed by large diatoms and small chlorophytes microalgae may be considered as the most reasonable for the maintenance of D. enno populations.

Abstract
Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use cases need to be appropriately formalized. This will also help guarantee consistency between requirements specifications and developed solutions. Formal methods tend to suffer from take up issues, as they are usually hard to accept by industry. In this context, it is relevant not only to produce languages and approaches to support formalization, but also to perform their validation. In previous works we have developed an approach to formalize use cases resorting to ontologies. In this paper we present the validation of one such approach. Through a three stage study, we evaluate the acceptance of the language and supporting tool. The first stage focusses on the acceptance of the process and language, the second on the support the tool provides to the process, and finally the third one on the tool's usability aspects. Results show test subjects found the approach feasible and useful and the tool easy to use.

Abstract
This paper proposes an interactive annotation technique for 360 degrees videos that allows the use of traditional video editing techniques to add content to immersive videos. Using the case study of immersive journalism the main objective is to diminish the entry barrier for annotating 360 degrees video pieces, by providing a different annotation paradigm and a set of tools for annotation. The spread of virtual reality systems and immersive content has been growing substantially due to technological progress and cost reductions in equipment and software. From all the technologies employed in virtual reality systems, 360 degrees video is one that currently presents unique conditions to be widely used by various industries -especially for communication purposes. From the various areas that can benefit from the usage of virtual reality systems, the communication field is one that requires innovation in the way that narratives are built, especially in virtual reality systems. In the case of immersive journalism, 360 degrees video technology is currently one of the most used mediums by several media outlets. This kind of news content, whose innovative role should be highlighted, is still being studied in the field of journalism, needing a clearly defined set of rules and good practises. In order to improve the introduction of virtual elements in the 360 degrees videos this paper proposes a set of annotation paradigms for 1) Media information display and 2) Narrative and attention focusing. In this paper we present a list of possible techniques that solve the problem of immersive annotation, as well as a description of a prototype that was developed to test these concepts. The prototype implements an annotation technique based on masked videos and the extension of standard subtitle file formats. Finally a fast-track user study was developed to evaluate the acceptance of the visualisation techniques and to refine the set of tools.

Abstract
Portuguese teacher placements' system is a centralized system managed by the Portuguese government, specifically by the Ministry of Education and Science. It is a system with some issues and, therefore, has been criticized by its stakeholders, mainly by teachers. This paper aims to do a systematic review and a meta-analysis of the Portuguese teacher placements' system. An objective is to understand and describe how similar system works in European Union countries. Another objective is to interview school specialists, in this particular case-teachers, to find solutions for teacher placements' system. Finally, from solutions from European Union countries and from solutions arising from schools' specialists, a set of requirements is identified that the teacher placements' system should take into account, in order to avoid the issues identified.

Abstract
We consider the problem faced by a wage-earner with an uncertain lifetime having to reach decisions concerning consumption and life-insurance purchase, while investing his savings in a financial market comprised of one risk-free security and an arbitrary number of risky securities whose prices are determined by diffusive linear stochastic differential equations. We assume that life-insurance is continuously available for the wage-earner to buy from a market composed of a fixed number of life insurance companies offering pairwise distinct life-insurance contracts. We characterize the optimal consumption, investment and life-insurance selection and purchase strategies for the wage-earner with an uncertain lifetime and whose goal is to maximize the expected utility obtained from his family consumption, from the size of the estate in the event of premature death, and from the size of the estate at the time of retirement. We use dynamic programming techniques to obtain an explicit solution in the case of discounted constant relative risk aversion (CRRA) utility functions.