Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

A ingerência do conhecimento explícito no conhecimento tácito: a técnica Alexander e a prática e ensino da flauta

Doutoramento em Música

Significados de fração – um estudo numa turma de 3.º ano

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

CodeSkelGen: a program skeleton generator

Existent computer programming training environments help users to learn programming by solving problems from scratch. Nevertheless, initiating the resolution of a program can be frustrating and demotivating if the student does not know where and how to start. Skeleton programming facilitates a top-down design approach, where a partially functional system with complete high level structures is available, so the student needs only to progressively complete or update the code to meet the requirements of the problem. This paper presents CodeSkelGen - a program skeleton generator. CodeSkelGen generates skeleton or buggy Java programs from a complete annotated program solution provided by the teacher. The annotations are formally described within an annotation type and processed by an annotation processor. This processor is responsible for a set of actions ranging from the creation of dummy methods to the exchange of operator types included in the source code. The generator tool will be included in a learning environment that aims to assist teachers in the creation of programming exercises and to help students in their resolution.

Caracterização do transporte intermodal de cargas na zona norte de Portugal

Dissertação apresentada ao Instituto Politécnico do Porto para obtenção do Grau de Mestre em Logística Orientado pela professora Doutora Maria Teresa Ribeiro Pereira Esta dissertação não inclui as críticas e sugestões feitas pelo Júri.

The impact of job insecurity on adaptive performance via burnout

Difficult and unpredictable times, due to economic instability, lead employees to feel high job insecurity. Organizations’ only way to subsistence is to search innovative ways of solving problems and find creative solutions. This study focuses on the impact that job insecurity has on adaptive performance, a recent measure integrating the response of creativity, reactivity in the face of emergencies, interpersonal adaptability, training effort, and handling work stress, and, mediated by burnout. From the responses of two questionnaires (????????1=252; ????????2=145), we conclude that job insecurity leads to exhaustion, but not to disengagement. In turn, it is the latter that demonstrates to have negative relations with some measures of adaptive performance. Thus, it is crucial to understand how organizations can minimize the inherent process.

As potencialidades pedagógicas da WebQuest no ensino e aprendizagem da Geologia: um estudo com alunos do 11.º ano no tema "Principais etapas de formação das rochas sedimentares"

Relatório de estágio de mestrado em Ensino de Biologia e Geologia no 3.º Ciclo do Ensino Básico e no Ensino Secundário

Uma abordagem à organização e tratamento de dados baseada na resolução de problemas

Relatório de estágio de mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

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 aprendizagem baseada na resolução de problemas na aprendizagem da Geologia: uma intervenção centrada no tópico "Ocupação antrópica e problemas de ordenamento"

Dissertação de mestrado em Ensino de Biologia e Geologia no 3º Ciclo do Ensino Básico e no Ensino Secundário

Pensar, testar, opinar e construir: a resolução de problemas no jardim de infância e primeiro ciclo

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Desenvolvimento do pensamento computacional com recurso ao Scratch: uma experiência com alunos do 8ºano

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

Estimation of water percolation by different methods using TDR

Detailed knowledge on water percolation into the soil in irrigated areas is fundamental for solving problems of drainage, pollution and the recharge of underground aquifers. The aim of this study was to evaluate the percolation estimated by time-domain-reflectometry (TDR) in a drainage lysimeter. We used Darcy's law with K(θ) functions determined by field and laboratory methods and by the change in water storage in the soil profile at 16 points of moisture measurement at different time intervals. A sandy clay soil was saturated and covered with plastic sheet to prevent evaporation and an internal drainage trial in a drainage lysimeter was installed. The relationship between the observed and estimated percolation values was evaluated by linear regression analysis. The results suggest that percolation in the field or laboratory can be estimated based on continuous monitoring with TDR, and at short time intervals, of the variations in soil water storage. The precision and accuracy of this approach are similar to those of the lysimeter and it has advantages over the other evaluated methods, of which the most relevant are the possibility of estimating percolation in short time intervals and exemption from the predetermination of soil hydraulic properties such as water retention and hydraulic conductivity. The estimates obtained by the Darcy-Buckingham equation for percolation levels using function K(θ) predicted by the method of Hillel et al. (1972) provided compatible water percolation estimates with those obtained in the lysimeter at time intervals greater than 1 h. The methods of Libardi et al. (1980), Sisson et al. (1980) and van Genuchten (1980) underestimated water percolation.

The psychosocial difficulties in brain disorders that explain short term changes in health outcomes.

BACKGROUND: This study identifies a set of psychosocial difficulties that are associated with short term changes in health outcomes across a heterogeneous set of brain disorders, neurological and psychiatric. METHODS: Longitudinal observational study over approximately 12 weeks with three time points of assessment and 741 patients with depression, bipolar disorders, multiple sclerosis, parkinson's disease, migraine, traumatic brain injury and stroke. The data on disability was collected with the checklist of the International Classification of Functioning, Disability and Health. The selected health outcomes were the Short Form 36 and the World Health Organization Disability Assessment Schedule. Multilevel models for change were applied controlling for age, gender and disease severity. RESULTS: The psychosocial difficulties that explain the variability and change over time of the selected health outcomes were energy and drive, sleep, and emotional functions, and a broad range of activities and participation domains, such as solving problems, conversation, areas of mobility and self-care, relationships, community life and recreation and leisure. CONCLUSIONS: Our findings are of interest to researchers and clinicians for interventions and health systems planning as they show that in addition to difficulties that are diagnostic criteria of these disorders, there are other difficulties that explain small changes in health outcomes over short periods of time.

Estudi de la comprensió i de les estratègies per resoldre problemes de suma i resta

Aquest treball de recerca estudia i analitza la comprensió i les estratègies utilitzades per alumnes de 2n de primària a l’hora de resoldre problemes aritmètics de suma i resta. Per aconseguir aquest propòsit, s’ha portat a terme el disseny i l’aplicació d’una prova individual de resolució de problemes, passada abans i després d’una intervenció educativa enfocada a millorar les dificultats detectades a l’hora de resoldre problemes. A partir de l’anàlisi de les dades obtingudes es verificarà si després de treballar el procés de resolució i d’incidir en les estratègies per resoldre problemes additius amb els alumnes millora la comprensió i les estratègies aparegudes s’adeqüen al tipus d’operació aritmètica que es demana.