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.

Artificial thymus: a tissue engineering strategy

The thymus is the central organ responsible for the generation of T lymphocytes (1). Various diseases cause the thymus to produce in- sufficient T cells, which can lead to immune-suppression (2). Since T cells are essential for the protection against pathogens, it is crucial to promote de novo differentiation of T cells on diseased individuals. The available clinical solutions are: 1) one protocol involving the transplant of thymic stroma from unrelated children only applicable for athymic children (3); 2) for patients with severe peripheral T cell depletion and reduced thymic activity, the administration of stimu- lating molecules stimulating the activity of the endogenous thymus (4). A scaffold (CellFoam) was suggested to support thymus regen- eration in vivo (5), although this research was discontinued. Herein, we propose an innovative strategy to generate a bioartificial thymus. We use a polycaprolactone nanofiber mesh (PCL-NFM) seeded and cultured with human thymic epithelial cells (hTECs). The cells were obtained from infant thymus collected during pediatric cardio-tho- racic surgeries. We report new data on the isolation and characterization of those cells and their interaction with PCL-NFM, by expanding hTECs into relevant numbers and by optimizing cell seeding methods.

Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

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

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

A geographic opportunistic forwarding strategy for vehicular named data networking

Studies in Computational Intelligence, 616

Cationic Liposomes as antigenic delivery systems: development of an immunoprotective strategy against Candida albicans

Tese de Doutoramento Biologia Molecular e Ambiental - Especialidade em Biologia Celular e Saúde

Contribution of the evaluation strategy and the use of hearing protection for the uncertainty associated with occupational exposure to noise

Doctoral Thesis for PhD degree in Industrial and Systems Engineering

Promoting sustainability as a strategy to mitigate the effects of economic downturn on the construction industry

During the recent years followed by the Global Financial Crisis (GFC), most of business and industries around the globe have been hardly hit to the limit that it still struggling to survive, suffering from the crisis financial consequences. For instance, in the construction industry; many construction projects have been suspended or totally cancelled. Nevertheless, among this dilemma, a call has been raised to use the sustainable practices to mitigate the effects of the GFC on construction industry. For the first look, it seems that there is contradiction since the sustainable solutions are often associated with an increase in the initial cost, undoubtedly, the sustainable practices have many advantages in both economic and environment aspects, however, the question which needs to be addressed here is, to what extent using such sustainable practices can mitigate the negative effects of the economic downturn on construction industry. Therefore, it is a challenging argument for using such sustainable construction from its economic perspective, however, this paper is aiming to present the economical benefits of sustainable practices in construction industry, and trying to clear the doubt of the high initial costs of the sustainable construction through studying the life cycle benefit of green building.

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.

“PhenoWorld”: a new multidimensional strategy for studying behaviour in rodents

Tese de Doutoramento em Ciências da Saúde

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.

O desenvolvimento do pensamento abstrato através de game-based learning e do Scratch

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