Reactive hybrid knowledge bases

Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.

Gestão sustentável dos ecossistemas costeiros de Torres Vedras, como estratégia de desenvolvimento local. Bases para a criação de uma reserva natural marinha

O litoral, espaço geográfico de interface entre o meio marinho e terrestre, reúne múltiplos recursos que têm vindo a ser explorados ao longo dos tempos de uma forma cada vez mais intensa. As zonas costeiras são os locais mais acessíveis do ambiente marinho, oferecendo inúmeras oportunidades para a descoberta de uma grande variedade de espécies. A exploração descontrolada dos recursos naturais aliada a fatores de origem natural, aumentam a dificuldade na gestão, levando a uma degradação progressiva. O litoral analisado, do Município de Torres Vedras, tem aproximadamente 20 quilómetros de costa e carateriza-se como uma zona complexa, com elevados valores naturais. Dada a qualidade paisagística e diversidade ecológica é considerado como uma zona bastante atrativa, o que permite o desenvolvimento de atividades de cariz económico, social e ambiental. O procedimento adotado foi sobretudo as visitas ao terreno e a revisão bibliográfica, elementos fundamentais para uma avaliação do território eficaz e ajustada à realidade atual com base nas tendências evolutivas. A dissertação foi desenvolvida em estreita colaboração com o Município de Torres Vedras e pretende contribuir para a elaboração de uma estratégia de utilização sustentável dos recursos costeiros e marinhos. Pretende igualmente equacionar a possibilidade de criação de uma área marinha protegida de âmbito local. Foi assim que se definiu o objetivo, criar uma estratégia assente em dois pilares fundamentais, a conservação e valorização dos recursos naturais. Só desta forma foi possível conciliar as políticas que interferem na gestão da zona costeira e apresentar um projeto fundamental para a região de Torres Vedras. Este trabalho foi desenvolvido tendo em conta as principais necessidades, não só do território como também das populações, com a realização de uma sessão de participação pública e um inquérito. Os resultados obtidos foram bastante interessantes, pois existe uma preocupação efetiva na proteção dos recursos naturais por parte da população local (das “Ações para valorizar o litoral” perguntadas aos inquiridos, a maior percentagem obtida foi de 19% na opção “Conservação dos Recursos Naturais”), fator fundamental para a definição de uma estratégia de valorização do território. Mostrando desta forma a boa relação da comunidade local à conservação do património natural, e vontade de fortalecer a identidade local. A criação de uma Reserva Natural Marinha foi a opção encontrada tendo em conta a estratégia definida e o território analisado. A implementação desta proposta depende de um processo burocrático e de participação pública, que pode ser um pouco moroso até à sua concretização.

Information provision improvement with a geofencing event-bases system

Nowadays there is a big percentage of the population, specially young users, which are smartphone users and there is a lot of information to be provided within the applications, information provision should be done carefully and should be accurate, otherwise an overload of information will be produced, and the user will discard the app which is providing the information. Mobile devices are becoming smarter and provide many ways to filter information. However, there are alternatives to improve information provision from the side of the application. Some examples are, taking into account the local time, considering the battery level before doing an action and checking the user location to send personalized information attached to that location. SmartCampus and SmartCities are becoming a reality and they have more and more data integrated every day. With all this amount of data it is crucial to decide when and where is the user going to receive a notification with new information. Geofencing is a technique which allows applications to deliver information in a more useful way, in the right time and in the right place. It consists of geofences, physical regions delimited by boundaries, and devices that are eligible to receive the information assigned to the geofence. When devices cross one of these geofences an alert is pushed to the mobile device with the information.

Bases del coaching en la práctica docente: su posible aplicación en una clase de ELE de la Enseñanza Básica portuguesa

El presente informe tiene como propósito definir las bases esenciales del coaching y su posible adecuación al campo educativo, en una época en la que el alumnado parece un poco «desconectado» de la Escuela, no entendiendo a priori su importancia para su propio crecimiento personal y enriquecimiento profesional en el futuro. En el primer capítulo, empezaremos por la definición del concepto de coaching, su origen y principios fundamentales. En el segundo, el foco se centrará en la importancia de la aplicación de las bases del coaching en el proceso enseñanza-aprendizaje, el papel fundamental del profesor coach y sus competencias. En el tercero capítulo se dará cuenta de algunas herramientas internas (asociadas a la propia capacidad del profesor coach) y externas (aquellas que puede utilizar el docente al echar mano de recursos externos a él mismo) importantes en un proceso de coaching. En el cuarto capítulo, se procederá a la experiencia práctica de la metodología en clase, mencionando algunas limitaciones a su adaptación a la realidad, aún en este capítulo se pondrá en destaque la importancia de generar empatía desde las primeras clases; por último, se trazará la experiencia en una clase ELE (la que fue objeto de estudio en la Práctica de la Enseñanza Supervisionada) de acuerdo con el Modelo Grow, la técnica más frecuente en coaching, describiendo el perfil de la reality y el plan de acción a llevar a la práctica a lo largo del curso según los objetivos planteados, culminando en la análisis de los resultados obtenidos y su evaluación con respecto a la efectiva prosecución de la metodología aplicada. Al final, se procederá a una reflexión generalizada sobre el coaching en la educación y sus supuestos beneficios, no solo en el espacio restricto del aula, sino en el espacio más alargado del Colegio, en una perspectiva de crear alumnos más motivados y responsables, involucrados en «aprender a aprender», «aprender a hacer», «aprender a vivir» y «aprender a ser» - aspectos fundamentales en la creación de una Escuela de futuro.

How can clusters help in the product type choice? The case of a specialized retail store

This work project (WP) is a study about a clustering strategy for Sport Zone. The general cluster study’s objective is to create groups such that within each group the individuals are similar to each other, but should be different among groups. The clusters creation is a mix of common sense, trial and error and some statistical supporting techniques. Our particular objective is to support category managers to better define the product type to be displayed in the stores’ shelves by doing store clusters. This research was carried out for Sport Zone, and comprises an objective definition, a literature review, the clustering activity itself, some factor analysis and a discriminant analysis to better frame our work. Together with this quantitative part, a survey addressed to category managers to better understand their key drivers, for choosing the type of product of each store, was carried out. Based in a non-random sample of 65 stores with data referring to 2013, the final result was the choice of 6 store clusters (Figure 1) which were individually characterized as the main outcome of this work. In what relates to our selected variables, all were important for the distinction between clusters, which proves the adequacy of their choice. The interpretation of the results gives category managers a tool to understand which products best fit the clustered stores. Furthermore, as a side finding thanks to the clusterization, a STP (Segmentation, Targeting and Positioning) was initiated, being this WP the first steps of a continuous process.

Non-gyrator type active inductors

Modern CMOS radio frequency (RF) Receivers have enabled efficient and increasing applications. The main requirement is to have system in a single chip, in order to minimize area and cost. For the purpose it is required the development of inductorless circuits for the key blocks of an RF receiver. Examples of this key blocks are RC oscillators, RF band pass filters, and Low Noise Amplifiers. The present dissertation presents an inductorless wideband MOSFET-only RF Non-Gyrator Type of Active Inductors with low area, low cost, and very low power, capable of covering the whole WMTS, and ISM, band and intended for biomedical applications. The proposed circuit is based on a floating capacitor connected between two controlled current sources. The first current source, which is controlled by the circuit input voltage, has two objectives: supply current to the capacitor (

Study of Helium II heat transport phenomena in superconducting rutherford type cables

This thesis is a study of how heat is transported in non-steady-state conditions from a superconducting Rutherford cable to a bath of superfluid helium (He II). The same type of superconducting cable is used in the dipole magnets of the Large Hadron Collider (LHC). The dipole magnets of the LHC are immersed in a bath of He II at 1.9 K. At this temperature helium has an extremely high thermal conductivity. During operation, heat needs to be efficiently extracted from the dipole magnets to keep their superconducting state. The thermal stability of the magnets is crucial for the operation of the LHC, therefore it is necessary to understand how heat is transported from the superconducting cables to the He II bath. In He II the heat transfer can be described by the Landau regime or by the Gorter-Mellink regime, depending on the heat flux. In this thesis both measurements and numerical simulation have been performed to study the heat transfer in the two regimes. A temperature increase of 8 2 mK of the superconducting cables was successfully measured experimentally. A new numerical model that covers the two heat transfer regimes has been developed. The numerical model has been validated by comparison with existing experimental data. A comparison is made between the measurements and the numerical results obtained with the developed model.

Evaluation of long term persistence of Diabetes Mellitus Type II treatment newly diagnosed patients in Lisbon and Tagus health administration region : a three year follow up study

RESUMO: Raional: A persistência à terapêutica é o tempo em qualquer antidiabético oral, desde o seu início até à descontinuação de todas as medicações ou até ao fim do período do estudo. Os objetivos deste estudo foi a análise da persistência à terapêutica no segundo e terceiro anos após início do tratamento em doentes adultos diagnosticados na região de Lisboa e Vale do Tejo e determinar o efeito de determinadas variáveis na persistência a longo prazo. Métodos: Um estudo retrospetivo não interventivo foi desenhado com base nos dados a obter do SIARS (prescrições e aquisições na farmácia) e Pordata. A persistência foi quantificada como a percentagem de doentes que continuam a adquirir pelo menos um antidiabético oral ao segundo e terceiro anos após a compra da primeira receita. A associação entre a persistência e o segundo e terceiro anos com cada uma das co-variáveis foi aferido pelo teste qui-quadrado e os odd ratios foram calculados com recurso a um modelo de regressão logística. Resultados: A persistência à terapêutica obtida foi de 80% e 62% para o segundo e terceiro anos após início da terapêutica. Odd ratios para primeiro e segundo ano: número de grupos farmacoterapêuticos diferentes (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); idade (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); sexo (OR = 1.163, 0.983 – 1.377, p = 0.079); número de diferentes prescritores (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); instituição de prescrição (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); grupo farmacoterapêutico (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relação com o médico (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) e custo médio mensal por grupo farmacoterapêutico (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusões: O valor da persistência à terapêutica no segundo ano é ligeiramente acima do que é mencionado na literatura e não existem dados para comparar os resultados do terceiro ano. Relativamente ao efeito das co-variáveis no segundo e terceiro anos após o início do tratamento, os resultados são sobreponíveis, sendo que o sexo não está associado à persistência ao terceiro ano.----------------------------------ABSTRACT: Background: Therapy persistence is the time on any antidiabetic medication, from initiation of therapy to discontinuation of all medications or the end of the study period. The aim of the study was to analyse the therapy persistence in the second and third years after treatment initiation in newly diagnosed adult patients in the Lisbon and Tagus Valley region and to determine the effect of several co-variables in the long term persistence. Methods: A retrospective non-interventional study based on SIARS data (drug prescriptions and acquisitions) and Pordata was designed. Persistence was quantified as the percentage of patients that continued to purchase at least one type of antidiabetic at year 2 and 3 after the date of first prescription acquisition. Association between persistence at second and third years with each of the other co-variables were verified by using the Chi-Square test and odds ratio were calculated using a regression logistic model. Results: Therapy persistence obtained was 80% and 62% for the second and third years after treatment initiation. Odd ratios for second and third years: number of different pharmacotherapeutic groups (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); age (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); gender (OR = 1.163, 0.983 – 1.377, p = 0.079); number of different prescribers (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); institution of prescription (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); pharmacotherapeutic group (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relationship with the physician (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) and average cost per month and per pharmacotherapeutic group (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusions: Second year therapy persistence value is slightly above of what is referenced in literature and no data was found to compare the third year value. Regarding the effect of the co-variables analysed at second and third years after treatment initiation, the results were overlapping with gender being not associated with persistence at the third year.

Factors that determine the level of care children and adolescents experiencing mental disorders receive

RESUMO: Resumo Uma prestação de serviços de saúde mental para crianças e adolescentes (CAMHS) oportuna, eficaz e baseada na evidência pode evitar incapacidade a longo prazo. No entanto, estes serviços são criticamente sub-financiados em todo o mundo. É um imperativo garantir que este precioso recurso não seja desperdiçado. Os governos e outras partes interessadas relevantes na área da saúde mental precisam de conhecer o estado de saúde mental da população, quais os recursos disponíveis e como melhor utilizar os recursos disponíveis para orientar uma política e decisões efectivas sobre os níveis de serviços. Objetivo: O objetivo deste artigo é explorar o papel da acuidade, gravidade e complexidade na determinação dos cuidados em saúde mental especializados recebidos por crianças e adolescentes que sofrem perturbações mentais. Métodos: Este estudo é exploratório envolvendo uma revisão sistemática da literatura. Foi realizada uma pesquisa com palavras-chave utilizando bases de dados PsychINFO, EMBASE, PubMed e MEDLINE. A literatura cinzenta também foi investigada com um enfoque nas abordagens sistémicas, organizacionais e políticas para a organização e comissionamento de CAMHS. Foram selecionados apenas documentos escritos em Inglês. Três países, Bélgica, Reino Unido e Estados Unidos, todos eles com modelos muito diferentes de organização de CAMHS, foram revistos para investigar de que forma os conceitos de acuidade, gravidade e complexidade foram utilizados na sua concepção de serviços para determinar o nível da assistência prestada. Resultados: Nem a Bélgica, nem o modelo norte-americano de CAMHS organização de serviço parecem estar alinhados com os principais conceitos na determinação do nível de prestação de serviços. O sistema de serviços do Reino Unido de CAMHS está mais estreitamente alinhado com esses conceitos e tem uma alocação de recursos mais equilibrada entre o hospital e a comunidade. O seu ponto fraco está na falta de flexibilidade entre os níveis de serviço e na falta de apoio para com o sector dos cuidados de saúde primários. Conclusões: A variabilidade na alocação de recursos a diferentes níveis especializados de CAMHS (em regime de internamento, ambulatório, e na comunidade) e o modelo diferente de estrutura de serviços entre os países estudados indica uma inconsistência na forma como as crianças e adolescentes que apresentam aos CAMHS são referenciados para os cuidados que recebem. Isto põe em questão se as crianças e adolescentes com perturbações mentais estão a receber o nível e tipo de cuidados concordantes com as suas necessidades. A concepção e o comissionamento de sistemas de CAMHS levam-nos à discussão de uma série de princípios fundamentais que devem ser considerados. O sistema perfeito no entanto, ainda está para ser encontrado. -------------------------------- ABSTRACT: Provision of timely, effective, evidence based mental health services to children and adolescents can prevent long term impairment, but they are critically underfunded across the globe. There is an imperative to ensure this precious resource is not wasted. Governments and other relevant mental health stakeholders need to know the mental health status of the population, what resources are available and how best to use the resources available to guide effective policy and decisions about service levels. Aim: The aim of this paper is to explore the role of acuity, severity and complexity in determining the specialist mental health care that children and adolescents experiencing mental disorders receive. Methods: This study is exploratory involving a systematic scan of the literature. A key word search was conducted using databases PSYCHINFO, EMBASE, PUBMED and MEDLINE. Grey literature was also searched to focus on systemic, organisational and policy approaches to the organisation and commissioning of CAMHS. Only documents written in English were selected. Three countries Belgium, UK and the US all with very different models of service organisation for CAMHS were reviewed to investigate how well the concepts of acuity, severity and complexity were used to determine the level of care delivered in their service design. Findings: Neither the Belgium nor the US model of CAMHS service organisation appear to align with the key concepts driving intensity of level of service provision. The UK CAMHS service system most closely aligns with the concepts. It has a more balanced resource allocation between hospital and community. Its downfall is in its lack of flexibility between service levels and its lack of support for the primary care sector. Conclusions: The variability in resource allocation to different service levels (inpatient, outpatient, community) within specialist CAMHS and the differing model of service structure across countries indicates an inconsistency in how children and adolescents presenting to CAMHS are allocated to the care they receive. This puts into question whether children and adolescent with mental disorders are receiving a level and type of care commensurate with their needs. In commissioning and designing CAMHS systems a number of key principles that should be considered are discussed. The perfect system however, is yet to be found.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.