Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

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.

Development and psychometric properties of ECPICID-AVC to measure informal caregivers’ skills when caring for older stroke survivors at home

Introduction: Informal caregivers provide a significant part of the total care needed by dependent older people poststroke. Although informal care is often the preferred option of those who provide and those who receive informal care, informal caregivers often report lack of preparation to take care of older dependent people. This article outlines the development and psychometric testing of informal caregivers’ skills when providing care to older people after a stroke – ECPICID-AVC. Design: Prospective psychometric instrument validation study. Methods: Eleven experts participated in a focus group in order to delineate, develop and validate the instrument. Data were gathered among adult informal caregivers (n = 186) living in the community in Northern Portugal from August 2013 to January 2014. Results: The 32-item scale describes several aspects of informal caregiver’s skills. The scale has eight factors: skill to feed/hydrate by nasogastric feeding, skill to assist the person in personal hygiene, skill to assist the person for transferring, skill to assist the person for positioning, skill to provide technical aids, skill to assist the person to use the toilet, skill to feed/hydrate and skill to provide technical aids for dressing/undressing. Analysis demonstrated adequate internal consistency (Cronbach’s alpha = 0.83) and good temporal stability 0.988 (0.984–0.991). Conclusion: The psychometric properties of the measurement tool showed acceptable results allowing its implementation in clinical practice by the nursing community staff for evaluating practical skills in informal caregivers when providing care to older stroke survivors living at home.

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

Dissertação de mestrado em Engenharia Industrial

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.

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.

Relatório detalhado sobre a atividade profissional desenvolvida no perído 2007-2015 no Gabinete de Fundos Comunitários do Município da Póvoa de Lanhoso

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

O trabalho colaborativo na aprendizagem de uma utilização segura da Internet

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

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

Educating for sociability and learning for citizenship: developing communicational skills and mediation in educational contexts

This text concerns a program about the Promotion of Social and Communicational Skills and Mediation (PSCSM) developed with children aged between 10 and 13 years in a non-formal educational institution. The program of intervention had, as its purpose, the promotion of social and communicational competencies and mediation, thus enabling the children involved to have a healthy and responsible sociability in the different contexts in which they find themselves: family, school, peer group, amongst others. It was developed over 13 sessions with objectives and activities intentionally planned with the view of promoting competencies of communication, co-operation, responsibility, a critical spirit, solidarity, autonomy, respect, integration, inclusion and the recognition of rights and duties. This work was carried out with an action-research methodology that resorted to various techniques and instruments to gather and record information. The results obtained showed the impact and benefits of the program and they also revealed the necessity of educational institutions investing in the promotion of an ethical literacy and the empowerment of the children and young people for healthy sociability and active citizenship.

Stress During ACLS Courses: Is it Important for Learning Skills?

OBJECTIVE: To determine the influence of stress on teaching medical emergencies in an Advanced Cardiac Life Support (ACLS) course and to verify this influence on learning, and the efficiency of emergency care training. METHODS: Seventeen physicians signed up for an ACLS course. Their pulses were taken and blood pressure (BP) verified on the first day, before the beginning of the course, and on the second day, during the theoretical and practical test (TPT). Variations in pulse rates and BP were compared with students' test grades. Then, students answered a questionnaire of variables (QV) about the amount of sleep they had during the course, the quantity of study material and the time spent studying for the course, and a stress scale graphic. RESULTS: Seven students had a pulse variation less than 10% between the 2 periods and 10 had a 10% or more variation. Grades on TPT were, respectively, 91.4±2.4 and 87.3±5.2 (p<0.05). Six students had a BP variation less than 20 mmHg, and in 11 it varied more than 21 mmHg. Grades on the TPT were 92.3±3.3 and 86.2± 8.1, respectively (p<0.05). The QV dates did not significantly influence grades. CONCLUSION: Stress, as an isolated variable, had a negative influence on the learning process and on the efficiency of emergency training in this situation.

International trade, technical change and the demand for skills : how important is trade in quality differential products?

Magdeburg, Univ., Fak. für Wirtschaftswiss., Diss., 2012

Relationship of physical activity with motor skills, aerobic fitness and body fat in preschool children: a cross-sectional and longitudinal study (Ballabeina).

Adiposity, low aerobic fitness and low levels of activity are all associated with clustered cardiovascular disease risk in children and their high prevalence represents a major public health concern. The aim of this study is to investigate the relationship of objectively measured physical activity (PA) with motor skills (agility and balance), aerobic fitness and %body fat in young children. This study is a cross-sectional and longitudinal analyses using mixed linear models. Longitudinal data were adjusted for baseline outcome parameters. In all, 217 healthy preschool children (age 4-6 years, 48% boys) participated in this study. PA (accelerometers), agility (obstacle course), dynamic balance (balance beam), aerobic fitness (20-m shuttle run) and %body fat (bioelectric impedance) at baseline and 9 months later. PA was positively associated with both motor skills and aerobic fitness at baseline as well as with their longitudinal changes. Specifically, only vigorous, but not total or moderate PA, was related to changes in aerobic fitness. Higher PA was associated with less %body fat at baseline, but not with its change. Conversely, baseline motor skills, aerobic fitness or %body fat were not related to changes in PA. In young children, baseline PA was associated with improvements in motor skills and in aerobic fitness, an important determinant of cardiovascular risk.

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).