Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

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

Technology market transfer plan launch of DELIVES to E.U. Market©

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Biotecnologia

Health care marketing: the theory of planned behavior applied to patients' choise between private and public providers in the portuguese health care system.

Dissertation submitted in partial fulfillment of the requirements for degree of Master in Statistics and Information Management.

Transverse Vibrations in Beams Supported by a Piece-Wise Homogeneous Visco- Elastic Foundation

Transversal vibrations induced by a load moving uniformly along an infinite beam resting on a piece-wise homogeneous visco-elastic foundation are studied. Special attention is paid to the additional vibrations, conventionally referred to as transition radiations, which arise as the point load traverses the place of foundation discontinuity. The governing equations of the problem are solved by the normalmode analysis. The solution is expressed in a form of infinite sum of orthogonal natural modes multiplied by the generalized coordinate of displacement. The natural frequencies are obtained numerically exploiting the concept of the global dynamic stiffness matrix. This ensures that the frequencies obtained are exact. The methodology has restrictions neither on velocity nor on damping. The approach looks simple, though, the numerical expression of the results is not straightforward. A general procedure for numerical implementation is presented and verified. To illustrate the utility of the methodology parametric optimization is presented and influence of the load mass is studied. The results obtained have direct application in analysis of railway track vibrations induced by high-speed trains when passing regions with significantly different foundation stiffness.

Explosion of smoothness from a point to everywhere for conjugacies between Markov families

For uniformly asymptotically affine (uaa) Markov maps on train tracks, we prove the following type of rigidity result: if a topological conjugacy between them is (uaa) at a point in the train track then the conjugacy is (uaa) everywhere. In particular, our methods apply to the case in which the domains of the Markov maps are Canter sets. We also present similar statements for (uaa:) and C-r Markov families. These results generalize the similar ones of Sullivan and de Faria for C-r expanding circle maps with r > 1 and have useful applications to hyperbolic dynamics on surfaces and laminations.

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

Retrospective study of malaria prevalence and Anopheles genus in the area of influence of the binational Itaipu reservoir

The importance of hydroelectric dams beside the human interchange in the maintenance of malarious foci and the occurrence of the Anopheles genus on the Binational Itaipu Reservoir were the main points of this retrospective study. Data were collected from existing registrations at National, State and Municipal Health Departments and literature systematic overview, from January 1984 to December 2003. The occurrence of some outbreak of malaria, mainly by Plasmodium vivax, and the prevalence of species of the Anopheles genus different from Anopheles darlingi in the region are discussed. The malaria in the left bank of Paraná River is a focal problem, which must be approached locally through health, educational and social actions to prevent the continuity of outbreaks in the area. Concomitantly, it is necessary to plan and apply effective surveillance measures in the influence area of the Itaipu Reservoir.

Cirurgia de Ressecção dos Tumores do Pâncreas Localmente Invasivos. Apresentação de uma Nova Técnica de Revascularização

A cirurgia dos tumores do pâncreas continua a ser marcada pela pobreza dos resultados obtidos. No caso dos tumores localmente invasivos, os doentes são habitualmente sujeitos a uma mera cirurgia de derivação, com escassa sobrevivência e má qualidade de vida. Os autores operaram sete doentes com tumores do pâncreas localmente invasivos, sujeitos a cirurgia de ressecção radical, com bons resultados. É apresentada uma técnica original de reconstrução da circulação arterial hepática.

Autoconsumo: Um Elemento de Eficiência Energética

Nos últimos anos assistiu-se ao crescente aumento do custo da Energia Elétrica (EE), com grande impacto após o ano 2012 devido à alteração no escalão da taxa de IVA aplicável. Por outro lado tem-se ainda vindo a verificar o aumento do défice tarifário devido a um conjunto de medidas e decisões estratégicas que atualmente estão a ser pagas por todos os consumidores de energia. A introdução dos programas da microprodução seguida da miniprodução, por parte da Direção Geral de Energia e Geologia (DGEG), permitiu aos pequenos e grandes consumidores de EE, efetuar localmente produção de EE por intermedio de fontes renováveis. Contudo, segundo as “limitações” por parte destes programas, apenas era permitido aos novos pequenos produtores injetar toda a eletricidade produzida na rede elétrica, não proporcionando qualquer benefício ao nível do consumo de energia local. Ano após ano, tem-se verificado uma revisão negativa, por parte da DGEG, sobre as tarifas de remuneração da energia produzida por estes sistemas, o que abalou significativamente um setor que até aqui tinha vindo a crescer a passos largos. Tendo em conta esta nova realidade surge a necessidade de procurar alternativas mais viáveis. A alternativa proposta, não é nada mais do que uma “revisão eficiente” dos atuais sistemas em vigor, permitindo assim aos pequenos produtores, atenuar os consumos energéticos e injetar na rede os excedentes de energia. O Autoconsumo revoluciona assim os atuais mecanismos existentes, garantindo deste modo que os consumidores de EE possam reduzir a sua fatura de eletricidade através da geração local de energia.

A 63-Year-Old Woman Presenting with a Synovial Sarcoma of the Hand: a Case Report

INTRODUCTION: Synovial sarcoma is a high-grade, soft-tissue sarcoma that most frequently is located in the vicinity of joints, tendons or bursae, although it can also be found in extra-articular locations. Most patients with synovial sarcoma of the hand are young and have a poor prognosis, as these tumors are locally aggressive and are associated with a relatively high metastasis rate. According to the literature, local recurrence and/or metastatic disease is found in nearly 80% of patients. Current therapy comprises surgery, systemic and limb perfusion chemotherapy, and radiotherapy. However, the 5-year survival rate is estimated to be only around 27% to 55%. Moreover, most authors agree that synovial sarcoma is one of the most commonly misdiagnosed malignancies of soft tissues because of their slow growing pattern, benign radiographic appearance, ability to change size, and the fact that they may elicit pain similar to that caused by common trauma. CASE PRESENTATION: We describe an unusual case of a large synovial sarcoma of the hand in a 63-year-old Caucasian woman followed for 12 years by a multidisciplinary team. In addition, a literature review of the most pertinent aspects of the epidemiology, diagnosis, treatment and prognosis of these patients is presented. CONCLUSION: Awareness of this rare tumor by anyone dealing with hand pathology can hasten diagnosis, and this, in turn, can potentially increase survival. Therefore, a high index of suspicion for this disease should be kept in mind, particularly when evaluating young people, as they are the most commonly affected group.

On an acute case of Chagas disease in a region under vector control in the state of São Paulo, Brazil

No vector transmitted cases of Chagas disease had been notified in the state of São Paulo since the 1970s. However, in March, 2006, the death of a six-year-old boy from the municipality of Itaporanga was notified to the Center for Epidemiological Survey of the São Paulo State Health Secretariat: an autochthonous case of acute Chagas disease. The postmortem histopathological examination performed in the Hospital das Clínicas of the Botucatu School of Medicine confirmed the diagnosis. Reference to hospital records, consultation with the health professionals involved in the case and interviews with members of the patient's family supplied the basis for this study. We investigated parasite route of transmission, probable local reservoirs and vectors. No further human cases of acute Chagas disease were diagnosed. No locally captured vectors or reservoirs were found infected with Trypanosoma cruzi. Alternative transmission hypotheses - such as the possible ingestion of foods contaminated with vector excreta - are discussed, as well as the need to keep previously endemic regions and infested houses under close surveillance. Clinicians should give due attention to such signs as uni- or bilateral palpebral edema, cardiac failure, myocarditis, pericarditis, anasarca and atypical signs of nephrotic syndrome or nephritis and consider the diagnostic hypothesis of Chagas disease.

Biological predictors of survival in limphoma and mechanisms underlying follicular lymphoma transformaion into diffuse large B cell lymphoma (vol I e II)

RESUMO: Os biomarcadores tumorais permitem identificar os doentes com maior risco de recorrência da doença, predizer a resposta tumoral à terapêutica e, finalmente, definir candidatos a novos alvos terapêuticos. Novos biomarcadores são especialmente necessários na abordagem clínica dos linfomas. Actualmente, esses tumores são diagnosticados através de uma combinação de características morfológicas, fenotípicas e moleculares, mas o prognóstico e o planeamento terapêutico estão quase exclusivamente dependentes de características clínicas. Estes factores clínicos são, na maioria dos linfomas, insuficientes numa proporção significativa dos doentes, em particular, aqueles com pior prognóstico. O linfoma folicular (LF) é, globalmente, o segundo subtipo mais comum de linfoma. É tipicamente uma doença indolente com uma sobrevida média entre os 8 e 12 anos, mas é geralmente fatal quando se transforma num linfoma agressivo de alto grau, habitualmente o linfoma difuso de grandes células B (LDGCB). Morfologicamente e funcionalmente, as células do LF recapitulam as células normais do centro germinativo na sua dependência de sobrevivência do microambiente não-tumoral, especialmente das células do sistema imunológico. Biomarcadores preditivos de transformação não existem pelo que um melhor conhecimento da biologia intrínseca de progressão do LF poderá revelar novos candidatos. Nesta tese descrevo duas abordagens distintas para a descoberta de novos biomarcadores. A primeira, o estudo da expressão global de genes ('genomics') obtidos por técnicas de alto rendimento que analisam todo o genoma humano sequenciado, permitindo identificar novas anomalias genéticas que possam representar mecanismos biológicos importantes de transformação. São descritos novos genes e alterações genómicas associados à transformação do LF, sendo especialmente relevantes as relacionadas com os eventos iniciais de transformação em LDGCB. A segunda, baseou-se em várias hipóteses centradas no microambiente do LF, rico em vários tipos de células nãomalignas. Os estudos imunoarquitectural de macrófagos, células T regulatórias e densidade de microvasos efectuado em biopsias de diagnóstico de doentes com LF tratados uniformemente correlacionaram-se significativamente, e independentemente dos critérios clínicos, com a evolução clínica e, mais importante, com o risco de transformação em LDGCB. Nesta tese, foram preferencialmente utilizadas (e optimizadas) técnicas que permitam o uso de amostras fixadas em parafina e formalina (FFPET). Estas são facilmente acessíveis a partir das biopsias de diagnóstico de rotina presentes nos arquivos de todos os departamentos de patologia, facilitando uma transição rápida dos novos marcadores para a prática clínica. Embora o FL fosse o tema principal da tese, os novos achados permitiram estender facilmente hipóteses semelhantes a outros subtipos de linfoma. Assim, são propostos e validados vários biomarcadores promissores e relacionados com o microambiente não tumoral, sobretudo dependentes das células do sistema imunológico, como contribuintes importantes para a biologia dos linfomas. Estes sugerem novas opções para a abordagem clínica destas doenças e, eventualmente, novos alvos terapêuticos.------------- ABSTRACT: Cancer biomarkers provide an opportunity to identify those patients most at risk for disease recurrence, predict which tumours will respond to different therapeutic approaches and ultimately define candidate biomarkers that may serve as targets for personalized therapy. New biomarkers are especially needed in the management of lymphoid cancers. At present, these tumours are diagnosed using a combination of morphologic, phenotypic and molecular features but prognosis and overall survival are mostly dependent on clinical characteristics. In most lymphoma types, these imprecisely assess a significant proportion of patients, in particular, those with very poor outcomes. Follicular lymphoma (FL) is the second most common lymphoma subtype worldwide. It is typically an indolent disease with current median survivals in the range of 8-12 years, but is usually fatal when it transforms into an aggressive high-grade lymphoma, characteristically Diffuse Large B Cell Lymphoma (DLBCL). Morphologically and functionally it recapitulates the normal cells of the germinal center with its survival dependency on non-malignant immune and immunerelated cells. Informative markers of transformation related to the intrinsic biology of FL progression are needed. Within this thesis two separate approaches to biomarker discovery were employed. The first was to study the global expression of genes (‘genomics’) obtained using high-throughput, wholegenome-wide approaches that offered the possibility for discovery of new genetic abnormalities that might represent the important biological mechanisms of transformation. Gene signatures associated with early events of transformation were found. Another approach relied on hypothesis-driven concepts focusing upon the microenvironment, rich in several non-malignant cell types. The immunoarchitectural studies of macrophages, regulatory T cells and microvessel density on diagnostic biopsies of uniformly treated FL patients significantly predicted clinical outcome and, importantly, also informed on the risk of transformation. Techniques that enabled the use of routine formalin fixed paraffin embedded diagnostic specimens from the pathology department archives were preferentially used in this thesis with the goal of fulfilling a rapid bench-to-beside” translation for these new findings. Although FL was the main subject of the thesis the new findings and hypotheses allowed easy transition into other lymphoma types. Several promising biomarkers were proposed and validated including the implication of several non-neoplastic immune cells as important contributors to lymphoma biology, opening new options for better treatment planning and eventually new therapeutic targets and candidate therapeutics.

Produção de biodiesel a partir de pastas de gordura e resíduo de glicerol

O principal objectivo deste trabalho consistiu na produção de biodiesel a partir de resíduos fornecidos pela Empresa SOCIPOLE, S.A. Esta, forneceu, pastas de gordura (depósito formado nos óleos usados), só aproveitadas pela empresa para a produção de sabões, e resíduo de glicerol proveniente da produção de biodiesel. Com as pastas de gordura, foi feito um estudo onde se variaram alguns parâmetros, tais como: o tipo de reactor, catalisador, temperatura, agitação, tempo de reacção, razão molar gordura:metanol e condições de secagem. O estudo mais pormenorizado foi efectuado com o NaOH, como catalisador. Foram feitos vários ensaios para os tempos de reacção de 30minutos, 1hora e 2horas, a 65ºC e razão molar gordura:metanol 1:6, tendo-se obtido respectivamente 86,7; 88,1 e 87,5% para o teor de ésteres. No caso da resina catiónica forte como catalisador, aparentemente não houve reacção ao fim de 12h, enquanto no ensaio que utilizou o ácido sulfúrico, o teor de ésteres foi de 82,6%, ao fim de 12h com razão molar gordura:metanol igual a 1:11. Quanto à produção de biodiesel a partir do resíduo de ácidos gordos resultante da purificação do resíduo de glicerol, foi feito um estudo preliminar usando diferentes catalisadores, uma resina catiónica forte, ácido sulfúrico e zircónia sulfatada. Este resíduo continha cerca de 60% de ácidos gordos e aproximadamente 39% de ésteres metílicos. Dos três catalisadores usados, o que permitiu obter maior teor de ésteres foi a zircónia sulfatada, tendo-se obtido 82,9% trabalhando a 60ºC durante 18horas com agitação de 230rpm e razão molar ácidos gordos:metanol de 1:12 . O ensaio em que se obteve menor percentagem de ésteres (56,4%) foi com resina catiónica. Com as duas matérias-primas obteve-se sempre um teor de ésteres, no produto final, abaixo dos 96,5% estabelecidos pela Norma Europeia EN 14103. Estes resultados reflectem provavelmente a composição complexa das matérias-primas. As pastas de gordura podem conter compostos não esterificáveis, solúveis no biodiesel, ou mais dificilmente esterificáveis nas condições operacionais usadas. Já o resíduo de ácidos gordos apresenta uma cor escura o que indica a existência de compostos corados, talvez polímeros. Portanto, para se tirar conclusões fundamentadas é necessário fazer análises mais completas das pastas de gordura e do resíduo de ácidos gordos, assim como ao biodiesel produzido de forma a identificar as possíveis contaminações existentes nos produtos com esta proveniência.

Municipalização da educação?: O programa APROXIMAR

A contemporaneidade exige que nos tornemos cada vez mais capazes de responder eficazmente às necessidades de mudança, exige que localmente sejamos capazes de responder aos problemas que a sociedade nos coloca e deve, essa mesma sociedade, ser parte da solução para o problema. É urgente aproximar as respostas das pessoas para que as respostas possam ser contextualizadas. A municipalização da Educação ocupa um lugar importante no fenómeno da descentralização e desconcentração de poder. Contudo há muitos receios neste processo que está muito dependente das vontades políticas dos intervenientes. Ao longo do projeto procurou-se perceber qual o envolvimento das partes no processo da municipalização da Educação, mais propriamente, no concelho de Matosinhos, com o Programa APROXIMAR. Aproximar o Ministério da Educação, o Município de Matosinhos e os Agrupamentos de Escolas. Houve a preocupação de se proceder a uma análise de modo a identificar os meios como o programa é operacionalizado pela autarquia, os recursos que envolve e a perceção que tinham os entrevistados. Entendeu-se com a realização das entrevistas que um dos entraves à plena realização do Programa APROXIMAR está na matriz de responsabilidades mas antecede-lhe a ausência de diálogo que se traduza em reais compromissos de trabalho conjunto em prol do bem comum que é a educação. É precisamente na criação de uma rede de comunicação entre os intervenientes que se investe neste projeto com o intuito de posteriormente se discutir a matriz de responsabilidades e só depois decidir os caminhos a seguir nas lógicas de atuação da educação.

Desenvolvimento de um serviço local de Saúde Mental em Famalicão

RESUMO: O desenvolvimento de serviços locais adequados deve ser baseado numa avaliação sistemática das necessidades e resultados obtidos nos cuidados a uma população de indivíduos identificados como apresentando uma doença mental na área de referenciação do serviço. Neste sentido foram utilizados os seguintes métodos: dados epidemiológicos acerca das necessidades locais e taxas de utilização de serviços a nível nacional e local, este último com base no case-register. Os diagnósticos de maior prevalência em ambulatório são as perturbações de humor e as perturbações neuróticas de stress ou somatoformes, com uma preponderância de doenças mentais comuns (depressão e ansiedade) em serviços de psiquiatria. Constatam-se baixas taxas de abandono da consulta (12%). A idade, a doença e a escolaridade estão correlacionados com o risco de drop-out, mas utilizada a regressão logística, a idade e a escolaridade perdem o seu significado estatístico. Encontram-se taxas reduzidas de drop-out dos indivíduos com psicose ou perturbações bipolares, em virtude da intervenção activa da equipa. Os custos de transporte, a distância ao local de consulta e o tempo de espera para a primeira consulta são barreiras no acesso aos cuidados a nível local. Os cuidadores não se sentem apoiados pela rede de suporte social e queixam-se sobretudo da acessibilidade, mas exibem elevadas taxas de satisfação com os serviços prestados. Decidiu-se apostar numa organização do serviço baseada na comunidade, com intervenções baseadas na evidência, dando prioridade ao doente mental grave e à qualidade dos cuidados.----------- ABSTRACT: The development of appropriate local services should be based on a systematic assessment of the needs and outcomes of the population of individuals identified as mentally ill within the service’s catchment area. A number of methods may be used as proxies in assessing local needs for services, such as service utilization rates found nationally and locally, by case-register. The most prevalent diagnoses in ambulatory care are mood disorders and neurotic, stress and somatoform disorders, with a majority of common mental disorders (depression and anxiety) in psychiatric services. Low dropout rates (12%) are found in ambulatory care. Age, disease and education are correlated with the risk of drop-out, but after using logistic regression, age and education lose their statistical significance. Low drop-out rates are found in individuals with psychosis or bipolar disorders, because the active intervention from the team. The costs of transportation, distance and the waiting time for the first consultation are barriers in access of care locally. Carers do not feel supported by the network of social support and complain primarily of accessibility, but exhibit high levels of satisfaction with the services provided. It was decided to invest in a service organization based in the community with evidence-based interventions, giving priority to severe mental illness and quality of care.