The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

Synthesis of optimization of [11C] Pittsburgh compound B by the captive solvent method

Mestrado em Medicina Nuclear.

Drogas, sujeito e proibicionismo: uma discussão sobre os modelos de atenção aos usuários de drogas

Pós-graduação em Psicologia - FCLAS

Multi-apprentice learning for meta-heuristics parameter tuning in a multi agent scheduling system

The scheduling problem is considered in complexity theory as a NP-hard combinatorial optimization problem. Meta-heuristics proved to be very useful in the resolution of this class of problems. However, these techniques require parameter tuning which is a very hard task to perform. A Case-based Reasoning module is proposed in order to solve the parameter tuning problem in a Multi-Agent Scheduling System. A computational study is performed in order to evaluate the proposed CBR module performance.

Meta-heuristics tunning using CBR for dynamic scheduling

This paper addresses the problem of Biological Inspired Optimization Techniques (BIT) parameterization, considering the importance of this issue in the design of BIT especially when considering real world situations, subject to external perturbations. A learning module with the objective to permit a Multi-Agent Scheduling System to automatically select a Meta-heuristic and its parameterization to use in the optimization process is proposed. For the learning process, Casebased Reasoning was used, allowing the system to learn from experience, in the resolution of similar problems. Analyzing the obtained results we conclude about the advantages of its use.

Self-optimizing through CBR learning

In this paper, we foresee the use of Multi-Agent Systems for supporting dynamic and distributed scheduling in Manufacturing Systems. We also envisage the use of Autonomic properties in order to reduce the complexity of managing systems and human interference. By combining Multi-Agent Systems, Autonomic Computing, and Nature Inspired Techniques we propose an approach for the resolution of dynamic scheduling problem, with Case-based Reasoning Learning capabilities. The objective is to permit a system to be able to automatically adopt/select a Meta-heuristic and respective parameterization considering scheduling characteristics. From the comparison of the obtained results with previous results, we conclude about the benefits of its use.

Atividades de investigação em Geometria: uma experiência no 2º ano de escolaridade

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Educação Matemática na Educação Pré-Escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Book citations: influence of epidemiologic thought in the academic community

Whilst their 'death' has often been certified, books remain highly important to most professions and academic disciplines. Analyses of citations received by epidemiologic texts may complement other views on epidemiology. The objective was to assess the number of citations received by some books of epidemiology and public health, as a first step towards studying the influence of epidemiological thought and thinking in academia. For this purpose, Institute for Scientific Information/ Thomson Scientific - Web of Science/ Web of Knowledgedatabase was consulted, in May 2006. The book by Rothman & Greenland appeared to have received the highest number of citations overall (over 8,000) and per year. The books by Kleinbaum et al, and by Breslow & Day received around 5,000 citations. In terms of citations per year the book by Sackett et al ranks 3rd, and the one by Rose, 4th of those included in this preliminary study. Other books which were influential in the classrooms collected comparatively less citations. Results offer a rich picture of the academic influences and trends of epidemiologic methods and reasoning on public health, clinical medicine and the other health, life and social sciences. They may contribute to assess epidemiologists' efforts to demarcate epidemiology and to assert epistemic authority, and to analyze some historical influences of economic, social and political forces on epidemiological research.

Group decision making and Quality-of-information in e-Health systems

Knowledge is central to the modern economy and society. Indeed, the knowledge society has transformed the concept of knowledge and is more and more aware of the need to overcome the lack of knowledge when has to make options or address its problems and dilemmas. One’s knowledge is less based on exact facts and more on hypotheses, perceptions or indications. Even when we use new computational artefacts and novel methodologies for problem solving, like the use of Group Decision Support Systems (GDSSs), the question of incomplete information is in most of the situations marginalized. On the other hand, common sense tells us that when a decision is made it is impossible to have a perception of all the information involved and the nature of its intrinsic quality. Therefore, something has to be made in terms of the information available and the process of its evaluation. It is under this framework that a Multi-valued Extended Logic Programming language will be used for knowledge representation and reasoning, leading to a model that embodies the Quality-of-Information (QoI) and its quantification, along the several stages of the decision-making process. In this way, it is possible to provide a measure of the value of the QoI that supports the decision itself. This model will be here presented in the context of a GDSS for VirtualECare, a system aimed at sustaining online healthcare services.

Fundamentos didatológicos para a construção de unidades curriculares integradas

Neste trabalho, com base na análise de diferentes formas de conceber e entender a integração didática na perspetiva curricular portuguesa e da consideração do trinómio didático - globalização da aprendizagem / motivação / ensino e aprendizagem integrados nos primeiros anos de escolaridade –, propomos, do ponto de vista científico - didático, uma reflexão sobre os princípios e fundamentos da sequenciação didática e da construção de unidades didáticas integradoras, com o objetivo de dar contributos significativos para que, desde a formação de professores, se possam criar bases teórico-práticas de definição de percursos de ensino e aprendizagem com potencial efetivo de integração nas dimensões epistemológica e curricular.

Efectividade de um programa de fisioterapia na radiculopatia cervical – estudo de caso

Introdução: Não existe um consenso quanto ao melhor tratamento para a radiculopatia cervical pois existe uma grande variedade de manifestações clínicas e opções terapêuticas, mas a sua selecção vai depender do caso particular do utente, sugerindo assim uma correcta avaliação do Fisioterapeuta. Objectivo: Este estudo pretende descrever e avaliar a efectividade de um programa de Fisioterapia num caso de radiculopatia cervical, na dor, funcionalidade e percepção da qualidade de vida. Participantes e Métodos: Estudo observacional descritivo tipo estudo de caso de um utente de 56 anos de idade, com radiculopatia cervical. Para a avaliação foram utilizados testes ortopédicos, a escala visual analógica e os questionários de incapacidade funcional da cervical e do membro superior bem como da percepção da qualidade de vida. Estes questionários foram aplicados em 3 momentos, antes da intervenção, no final e após 6 semanas e os restantes instrumentos foram utilizados em diversos momentos ao longo da intervenção. Esta foi efectuada duas vezes por semana, ao longo de 10 semanas recorrendo a técnicas de terapia manual, exercícios de controlo motor e educação do utente. Resultados: Verificou-se que a dor na cervical passou de 6,5 para 2/10 EVA e no cotovelo direito de 7,3 para 2/10. A resposta ao questionário de incapacidade funcional na cervical variou de 40% no primeiro momento para 11,1% no segundo, o da incapacidade funcional do membro superior variou de 63,6% para 33,5% e o questionário da percepção da qualidade de vida variou de 55,01 para 68,69. Seis semanas após a intervenção, todos estes resultados se mantinham praticamente inalterados. Conclusão: Este caso permitiu demonstrar o processo de raciocínio clínico efectuado ao longo de dez semanas de intervenção em que se utilizou uma abordagem centrada no utente, baseada na evidência científica e na experiência clínica anterior. Os resultados alcançados foram de encontro às expectativas iniciais e parecem evidenciar que, neste caso, o programa de fisioterapia teve efeitos positivos na dor, funcionalidade e percepção da qualidade de vida.

Efectividade da terapia manual ortopédica num caso de conflito subacromial – Estudo de caso

Objectivo: descrever a intervenção em fisioterapia num paciente com diagnóstico de conflito subacromial. Participantes e Métodos: estudo de caso de um paciente que desenvolveu um quadro doloroso no ombro direito no início de Janeiro de 2011 e em que a intervenção de fisioterapia teve início no princípio de Março de 2011. Foi utilizado como instrumentos de avaliação a EVA (repou-so, noite, e movimentos activos), a escala DASH, goniometria e raio x. Foi aplicado uma variedade de técnicas musculares, nomeadamente técnicas de indução miofasciais, exercícios terapêuticos, kinesiotape, bem como articulares, como a mobilização com movimento de Mulligan. O tratamento foi realizado em dias alternados e teve a duração total de seis semanas. Resultados: logo no final da primeira sessão o paciente referiu melhoria na dor e movimentos activos. Na segunda sessão o paci-ente demonstrou capacidade de realizar auto-mobilização, exercícios terapêuticos e alongamentos no domicílio. A regressão dos sintomas foi relativamente rápida, apenas na quarta sessão não obte-ve melhorias na reavaliação, até à completa remissão no fim da nona sessão. Conclusão: o processo de raciocínio clínico desenvolvido pelo fisioterapeuta durante de tratamento foi salientado. Após a recolha dos dados relativos à história e sua interpretação levantaram-se hipóteses o qual poderia estar na origem numa queixa do ombro com estas características. No exame objectivo foram reali-zados testes para permitir a obtenção do diagnóstico diferencial – conflito subacromial; elaborou-se então um plano de intervenção em colaboração com o paciente, nomeadamente com técnicas de terapia manual recentes, que se mostrou eficaz, com excelentes resultados.

Efectividade da terapia manual ortopédica num caso de lombociatalgia com um mecanismo dominante de sensibilização nervosa periférica: estudo de caso

Introdução: Existem diversas causas e/ou estruturas responsáveis pela dor lombar, com ou sem irradiação para o membro inferior, pelo que o sucesso no tratamento deste problema depende do diagnóstico diferencial e, consequentemente, da escolha do tratamento mais adequado a cada situação. Objectivo: avaliar os efeitos da terapia manual ortopédica num caso de lombociatalgia, cujo mecanismo dominante é a sensibilização nervosa periférica, no final do tratamento e 8 semanas após a conclusão do mesmo, e descrever a avaliação e intervenção realizadas. Métodos: foi realizado um estudo de caso acerca dum utente do sexo masculino, com 35 anos de idade, e com um quadro clínico compatível com uma situação de sensibilização nervosa periférica. A intervenção consistiu em 5 sessões distribuídas ao longo de 3 semanas. Como instrumentos de avaliação foram utilizados o 'Índice de incapacidade de Oswestry para a lombalgia’ e a Escala Numérica da Dor (END), que foram aplicados na primeira e na última sessões de tratamento e 8 semanas após esta. Resultados: Após o tratamento, verificou-se uma diminuição da incapacidade (de 74 para 2/100) e da intensidade da dor (dor matinal: de 4 para 1/10; dor associada a actividades/posturas em flexão: de 7-8 para 2/10; dor ao fim do dia: de 3-4 para 1-2/10). Oito semanas após a conclusão do tratamento estes valores mantinham-se praticamente inalterados. Conclusão: O processo de raciocínio clínico utilizado na avaliação e intervenção deste caso foi demonstrado. Os resultados obtidos sugerem que a terapia manual ortopédica poderá ser eficaz na diminuição da dor e da incapacidade em casos de lombociatalgia por sensibilização nervosa periférica, e que os ganhos se poderão manter 8 semanas após a conclusão do tratamento. Este estudo pode constituir uma evidência preliminar a favor da terapia manual ortopédica no tratamento deste subgrupo de utentes.

Relatório de estágio: intervenção em fisioterapia na sindrome da cirurgia lombar falhada

Introdução: A síndrome da cirurgia lombar falhada (SCLF) caracteriza-se pela persistência ou recidiva da dor ou aparecimento de novos sintomas após discectomia, descompressão de canal estreito ou artrodese lombares. Objectivos: O objectivo deste estudo foi descrever a abordagem em fisioterapia de um caso com Síndrome da Cirurgia Lombar Falhada e avaliar os seus efeitos na funcionalidade e sintomatologia dolorosa neste indivíduo. Metodologia: A amostra foi constituída por um sujeito com 41 anos, trabalhador da construção civil, apresentando dor lombar com irradiação para o membro inferior, após ter sido submetido a discectomia lombar e artrodese, que realizou sessões de fisioterapia convencional antes e depois da cirurgia, e que apresentava sinais compatíveis com compressão radicular. A intensidade da dor foi medida através da escala visual analógica (EVA), as amplitudes com o goniómetro universal, a funcionalidade foi avaliada utilizando o Questionário de Incapacidade Roland-Morris (RMDQ), o estado psicológico foi avaliado através da “Escala de Desânimo Associado à Dor” e do “Inventário de Convicções e Percepções Relacionadas com a Dor”. Resultados: A dor era inicialmente em média de 5,5/10 EVA, sendo de 3,4/10 EVA no final do tratamento. Quanto à funcionalidade (RMDQ) esta variou de 14/24 no início para 17/24 no final. De uma forma geral, após a aplicação de técnicas para diminuir a tensão do piriforme, técnicas neuurodinâmicas e um programa de exercícios para melhoria do controlo motor, o paciente apresentou alívio das queixas de dor na nádega esquerda e anca, aumento da amplitude de rotação medial da coxo-femoral, ausência das parestesias na face plantar do pé esquerdo e melhoria das queixas de dor na face anterior e lateral da coxa. Verificamos que houve diminuição dos índices de dor e melhorias dos níveis de funcionalidade. Conclusão: Neste estudo de caso, foi salientado o processo de raciocínio clínico desenvolvido pelo fisioterapeuta: a interpretação dos dados da história e levantamento das primeiras hipóteses e a realização dos testes no exame objectivo, permitiram estabelecer um diagnóstico funcional e elaborar um plano de intervenção através do qual o utente recuperou parcialmente a sua funcionalidade e diminuiu os seus índices de dor.

User modeling and recommendation strategies for tourism

Mestrado em Engenharia Informática