Improving search engines with open Web-based SKOS vocabularies

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A clustering approach for vehicle routing problems with hard time windows

Dissertação para obtenção do Grau de Mestre em Logica Computicional

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

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.

Solving colored nonograms

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

On the HHT, its problems, and some solutions

Mechanical Systems and Signal Processing, Vol.22, Number 6

Enhancing information retrieval in folksonomies using ontology of place constructed from Gazetteer information

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Factorization by invariant embedding of elliptic problems: circular and star-shaped domains

Dissertação apresentada para obtenção do grau de Doutor em Matemática na especialidade de Equações Diferenciais, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Integrating protein structural information

Dissertação apresentada para obtenção de Grau de Doutor em Bioquímica,Bioquímica Estrutural, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Controlo da tuberculose em Portugal : papel e qualidade da detecção de casos

RESUMO - A impressionante evolução da incidência notificada desde 1950 evidencia o quanto o sistema de informação é sensível ao esforço de notificação, reflectindo ainda o impacte das medidas de controlo que foram sendo introduzidas, bem como alguma melhoria nas condições sociais com efeito favorável sobre a doença (Briz, 2005). Sendo a tuberculose uma doença de notificação obrigatória, nos termos da Portaria n.º 766/86, de 26 de Dezembro, os casos deverão ser sempre comunicados à Autoridade de Saúde, em impresso aprovado. O facto de a tuberculose ter um sistema de informação próprio tem permitido um conhecimento relativamente completo da situação epidemiológica. (DGS, 1995) Pretende-se caracterizar o perfil de distribuição da incidência notificada da tuberculose pulmonar, em Portugal Continental, nomeadamente a nível distrital, no período compreendido entre 2000 e 2008, inclusive, partindo-se depois para um estudo mais pormenorizado, relacionado com a sensibilidade do sistema de notificação da tuberculose, no sentido de se quantificarem os problemas de subnotificação. Para validação da notificação, serão utilizados os dados de 2007 e 2008. Procurar-se-á depois obter o perfil da incidência ajustada para a detecção em cada um desses anos, avançando-se de seguida para a identificação e caracterização de parâmetros complementares e de acesso fácil que contribuam para interpretar a distribuição geográfica da incidência notificada, em função da sua provável validade. Perante o eventual confronto com o problema da subnotificação, a identificação das razões da menor adesão à notificação de casos de tuberculose pulmonar apresenta-se quase como inevitável, sendo feita através do recurso a entrevistas a informadores-chave. --------------------------------------ABSTRACT - The impressive development of the incidence reported since 1950 shows how the system is sensitive to the effort of notification, still reflects the impact of control measures have been introduced, and some improvement in social conditions with favorable effect on the disease ( Briz, 2005). As tuberculosis a notifiable disease, according to Ordinance No. 766/86, December 26, cases should be reported to the Health Authority, approved in print. The fact that tuberculosis have an information system itself has allowed a relatively complete knowledge of the epidemiological situation. (DGS, 1995) The aim is to characterize the distribution profile of the reported incidence of pulmonary tuberculosis, in Portugal, particularly at district level in the period between 2000 and 2008, starting from then to a more detailed study, related to the sensitivity of the system notification of tuberculosis, in order to quantify the problems of underreporting. For validation of the notification, we used the data from 2007 and 2008. Search will then obtain the profile of the adjusted incidence for detection in each of those years, advancing is then for the identification and characterization of additional parameters and easy access to contribute to interpret the geographical distribution of reported incidence in according to their likely validity. Given the eventual confrontation with the problem of underreporting, the identification of reasons for the lower adherence to reporting cases of pulmonary tuberculosis has become almost as inevitable, being made through the use of interviews with key informants.

Adesão ao regime terapêutico na pessoa com enfarte agudo do miócardio: contributo dos enfermeiros no internamento hospita

RESUMO: O Enfarte Agudo do Miocárdio (EAM) representa um dos principais problemas de saúde pública em Portugal. A rápida intervenção nos factores de risco determinantes da saúde cardíaca pode ter um impacto positivo em vários indicadores de saúde. O objectivo final dessa intervenção passa por capacitar a pessoa, para que, autonomamente, adopte um conjunto de comportamentos de saúde, baseados em estilos de vida protectores da saúde cardíaca, que favorecem positivamente o processo de reabilitação. Esta procura e aquisição do comportamento de saúde, adesão ao regime terapêutico, deve ser desenvolvido em parceria com os profissionais de saúde. O hospital representa a porta de entrada da pessoa com EAM no sistema de saúde. É neste contacto que se inicia uma intervenção de sensibilização e promoção da adesão ao regime terapêutico. Sendo os enfermeiros um grupo profissional que estabelece uma relação continua com a pessoa, importa conhecer um conjunto de dimensões do desempenho dos enfermeiros na promoção da adesão ao regime terapêutico. Breve referência ao desenho de estudo. Foram incluídas no estudo 143 enfermeiros de 9 serviços hospitalares da Região de Saúde de Lisboa e Vale do Tejo. Os dados foram obtidos através de um questionário auto-preenchido. Os dados mostraram que a população de enfermeiros é jovem (M= 30,5: dp= 8,0), 49% têm uma idade £ 26 anos e apresenta pouca experiência profissional (M=7,7; dp= 7,6), 48,2% exerce a profissão há menos de 3 anos. A antiguidade no serviço actual é reduzida (M= 4,7; dp= 4,6), 48,9% estão no serviço há menos de 2 anos. Os enfermeiros acreditam que deviam intervir com mais frequência nos factores de risco fisiológicos e comportamentais que nos factores psicossociais e ambientais; a confiança que têm nas capacidades para intervir nos factores de risco fisiológicos e comportamentais é maior que nos factores psicossociais e ambientais e no último ano, intervieram mais frequentemente nos factores de risco fisiológicos e comportamentais que nos psicossociais e ambientais. O “ensaio” da validação da escala de Will scale de Anderson et al (2004), sobre a capacidade de intervenção na saúde cardíaca, mostrou que o teste de Esfericidade de Bartlett e Medida de adequação da amostragem de Kaiser-Meyer- Olkin (KMO) permitiram a realização da análise factorial em componentes principais (AFCP). Da AFCP emergiram 16 factores, os mesmos que no estudo original de Anderson et al (2004), que revelaram boa consistência interna, com valores de alpha de Cronbach que variaram entre 0,71 a 0,98. Os resultados revelam a necessidade de sensibilizar os enfermeiros para valorizar a intervenção no âmbito dos factores de risco psicossociais e ambientais para promover a adesão ao regime terapêutico. Sugerem ainda que a intervenção baseada na evidência pode ser potenciada de forma a melhorar as práticas de cuidados dos enfermeiros. ABSTRACT: Myocardial infarction (MI) is one of the most important problems in public health in Portugal. A prompt intervention in cardiac health determinants means a positive impact in health outcomes, individually and collectively. The main purpose of this intervention lays on patient’s empowerment so he or she becomes able to choose healthy behaviours, based on heart health protective life styles, and therefore to manage his/hers therapeutic regime. This search and acquisition of health behaviours leading to therapeutic regime adherence may positively have an influence on the whole rehabilitation process and it must be developed in partnership with health workers. MI patients’ first contact with the Health System usually happens at the Hospital. Here the first steps are taken to start an intervention in order to promote therapeutic regime adherence. Nurses are a group of health workers who establish a unique and continuous relation with patients, so it matters to have knowledge of their performance skills that can actually promote a healthy behaviours and increase therapeutic regime adherence. Short Study design The study sample includes 143 nurses working on 9 different hospital wards, belonging to the Lisboa and Tejo’s Valley Health Region, in the district of Lisbon. Data were collected trough a self-administered questionnaire. It revealed that the nurses sample is a young population (M=30,5; dp=8,0), 49% of whom are aged less than 26 years old and has little professional experience (M=7,7; dp= 7,6); 48,2% work has nurses for less than 3 years. There’s a low percentage of seniority (M=4,7; dp=4,6), 48,9% of nurses work in these wards for less than 2 years. Nurses believe they should have intervene more frequently in physiological and behaviour risk factors than in psychological, social and environmental factors; they have greater confidence in their ability to intervene in physiological and behaviour risk factors than to intervene in psychological, social and environmental factors. In last year they took interventions more frequently in physiological and behaviour risk factors than in the other health determinants. The Scale Validation “essay” on Will Scale (Anderson et al, 2004), about heart health intervention capacity, revealed that the Bartlett’s test sphericity and the Kaiser-Meyer- Olkin’s (KMO) appropriate sample measure allowed the factorial analysis on main components (FAMC). From FAMC emerged 16 factors, the same number found on Anderson’s et al (2004) study, revealing good internal consistence, with Cronbach’s alpha values that varied between 0,71 and 0,98. The results point a need for nurses to attribute bigger value to other health determinants intervention - such as psychological, social and environmental determinants - so they’ll take part in promoting therapeutic regime adherence. The results also suggest t

Reducing the number of membership functions in linguistic variables

Dissertation presented at Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia in fulfilment of the requirements for the Masters degree in Mathematics and Applications, specialization in Actuarial Sciences, Statistics and Operations Research

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Development of CO-releasing molecular for the treatment of inflammatory diseases

Dissertation presented to obtain a Ph.D. degree (Doutoramento) in Chemistry at the Instituto de Tecnologia Quimica e Biol6gica da Universidade Nova de Lisboa