A perceção dos alunos sobre a Educação Física à entrada do ensino secundário: um estudo comparativo entre o ensino regular e profissional

Relatório de estágio de mestrado em Ensino de Educação Física nos Ensinos Básico e Secundário

Stopmotion: dos conteúdos às competências

Relatório de estágio de mestrado em Ensino de Informática

Aulas interativas com recurso à exposição: uma metodologia para o ensino da linguagem de programação Python

Relatório de estágio de mestrado em Ensino de Informática

Cross-language influences on new second language vocabulary acquisition: the effect of learning method

Dissertação de mestrado integrado em Psicologia

Otimização com restrições de complementaridade: algoritmos e aplicações

Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Perceções dos alunos e fatores de influência sobre a escolha da Contabilidade como área de estudo

Dissertação de mestrado em Contabilidade

Um modelo de programação inteira para a otimização da distribuição do serviço docente

Dissertação de mestrado em Engenharia Industrial

Gestão de fluxos de pessoas num serviço hospitalar

Dissertação de mestrado em Engenharia Industrial (área de especialização em Gestão Industrial)

Melhoria do processo de tingimento numa empresa têxtil

Dissertação de mestrado em Engenharia e Gestão da Qualidade

Nicolas Sanson and his Map: The Course of the Amazon River

One of the first scientific maps of the Amazon region, The Course of the Amazon River (Le Cours de La Rivière des Amazones), was constructed by Nicolas Sanson, a French cartographer of the seventeenth century, and served as the prototype for many others. The evaluation of this chart, until now, has been that it is a very defective map, a sketch based on a historical account, according to the opinion of La Condamine. Thus, the aim of the present work was to prove that the map of the Amazon River traced by Nicolas Sanson is a scientific work, a map that presents precise geographic coordinates considering its time, shows a well-determined prime meridian, and also employs a creative methodology to deduce longitudes from latitudes and distances that had been covered. To show such characteristics, an analysis of the accuracy of the map was made by comparing its latitudes and longitudes with those of a current map. We determined the prime meridian of this map and analyzed the methodology used for the calculation of longitudes. The conclusion is that it is actually a good map for the time, particularly considering the technology and the limited information that Sanson had at his disposal. This proves that the negative assertion of La Condamine is unfounded.

A integração de técnicas BIM (Building Information Modeling) no projeto e na construção de estruturas de madeira

Dissertação de mestrado integrado em Engenharia Civil

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Coordenação das MEP na implementação de modelos BIM

Dissertação de mestrado integrado em Engenharia Civil

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.