Industrial networks: are they a new and alternative way to conduct business or just a logical consequence of a globalising economy?

Based on a report for the seminar Industrial Networks, at Goethe Universität Frankfurt am Main Dozent: Prof. Dr. Blättel-Mink, Prof. Dr. António Moniz SS 2011

Information flow analysis using data-dependent logical propositions

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

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Estimation Models for the adoption and use of information technology: internet-related technologies at firm level in the Portuguese and European context

Dissertação apresentada como requisito parcial para obtenção do grau de Doutor em Gestão de Informação

Lean management implementation: a decision making framework

Submitted to the graduate faculty Universidade Nova de Lisboa – Faculdade de Ciências e Tecnologia in partial fulfillment of the requirements for the degree of Master in Industrial Engineering

The national physics and chemistry exams and the learning of sciences

Dissertação apresentada para obtenção do Grau de Doutor em Ciências da Educação, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Sintomas somatoformes em Medicina Geral e Familiar

RESUMO: Os doentes que vão à consulta com sintomas físicos para os quais o médico não encontra uma causa orgânica, são frequentes na Medicina Geral e Familiar, embora não sejam específicos, e são o objecto de estudo do presente trabalho. Não deixar uma doença por diagnosticar (erro de tipo II) sem contudo rotular pessoas saudáveis como doentes (erro de tipo I) é um dos mais difíceis problemas da prática clínica diária e para o qual não existe uma orientação infalível e não é previsível que alguma vez venha a existir. Mas se o diagnóstico de doença ou não-doença é difícil, o tratamento dos que não tem doença, embora com sofrimento, também não é mais fácil, sobretudo, se estivermos conscientes do sofrimento que determina a medicalização e a iatrogenia. O presente trabalho está estruturado em 3 partes. Na primeira parte descrevemos a nossa visão integrada do que apreendemos da leitura da literatura publicada e à qual tivemos acesso. À semelhança do que se verifica na maioria das áreas da Medicina esta é também uma em que o conhecimento cresce a ritmo exponencial. No entanto, à falta de conceitos precisos e de definições consensuais sucede um conhecimento, por vezes, pouco consistente, tanto mais que estamos na fronteira entre a cultura leiga e a cultura erudita médica em que os significados devem, a todo o momento, ser validados. Fizemos uma revisão sobre as definições do que está em questão, sobre o que se sabe sobre a frequência dos sintomas físicos na população, quantos recorrem aos serviços de saúde e o que lhes é feito. Passámos por uma revisão da fisiologia destes sintomas e algumas explicações fisiopatológicas para terminarmos sobre o que os doentes pensam sobre os seus sintomas e os cuidados que recebem e o que os profissionais pensam sobre estes doentes. Esta parte termina com uma revisão das propostas de abordagem para este tipo de doentes. Na segunda parte, descrevemos os estudos empíricos focados no problema dos pacientes com sintomas físicos mas sem evidência de doença orgânica. Começa por uma apresentação dos aspectos processuais e metodológicos dos estudos realizados, mais especificamente, de dois estudos quantitativos e um qualitativo. No primeiro estudo pretendeu-se avaliar quais são os sintomas físicos e a sua frequência na população em geral e a frequência de pacientes que procuram (ou não) os serviços de saúde tendo como motivo este tipo de sintomas. O objectivo deste estudo é contribuir para a demonstração que este tipo de sintomas faz parte da vida do dia-a-dia e que, na maioria das vezes, só por si não significa doença, sem contudo negar que representa sofrimento, por vezes até maior do que quando há patologia orgânica. Se no primeiro estudo era demonstrar que os sintomas físicos são frequentes na população, no segundo estudo o objectivo é demonstrar que pacientes com este tipo de sintomas são igualmente frequentes e que o tipo de sintomas apresentados na consulta não difere dos referidos pela população em geral. Pretendia-se ainda saber o que é feito ou proposto pelo médico a estes doentes e se estes doentes traziam ou não, junto com os sintomas, ideias explicativas para os mesmos. Finalmente e não menos importante, é avaliar o grau de fidedignidade do diagnóstico de sintoma somatoforme, chamando assim ao sintoma físico que foi “levado” à consulta e que o médico diagnosticou como não tendo causa orgânica. O terceiro estudo parte do conhecimento adquirido que a Medicina tem muitas respostas para este problema, mas poucas que se possam considerar satisfatórias se usadas isoladamente. Que a maioria das soluções é procurada entre a cultura médica e num paradigma reducionista de separação mente-corpo. Contudo, se o sintoma é “construído” pelo doente, se o principal problema não está no sintoma mas na forma como o paciente o vê, então pareceu-nos lógico que a solução também tem que passar por integrarmos no plano de abordagem o que o doente entende ser melhor para si. Nesta sequência, entrevistaram-se alguns doentes cujo diagnóstico de sintomas somatoformes estava demonstrado pelo teste do tempo. Por isso, entrevistaram-se doentes que já tinham ido à consulta de MGF há mais de 6 meses por sintomas somatoformes e, na data da entrevista, o diagnóstico se mantinha inalterado, independentemente da sua evolução. As entrevistas visaram conhecer as ideias dos doentes sobre o que as motivou a procurarem a consulta, o que pensavam da forma como foram cuidados e que ideias tinham sobre o que os profissionais de saúde devem fazer para os ajudar a restabelecer o equilíbrio com o seu ambiente evitando a medicalização, a iatrogenia e a evolução para a cronicidade. Na terceira parte, discutem-se e integram-se os resultados encontrados no conhecimento previamente existente. Tenta-se teorizar, fazer doutrina sobre o tema e contribuir para abordagens terapêuticas mais personalizadas, abrangentes, variadas e multimodais, baseadas sempre no método clínico centrado no paciente, ou de modo menos correcto mas enfático, baseadas no método centrado na relação. Apresentam-se algumas hipóteses de trabalhos futuros sobre o tema e, sobretudo, esperamos ter contribuído para o reconhecimento da necessidade de a comunicação médico-doente ser uma aprendizagem transversal a todos os profissionais de saúde e ao longo da vida, com a ideia que é sempre possível fazer melhor, caso contrário tenderemos, inexoravelmente, a fazer cada vez pior.-----------ABSTRACT: Patients who go to consultation with physical symptoms, for which the doctor does not find an organic cause, are the subject of the present study. They are common in family medicine, although not specific. Do not let an undiagnosed disease (type II error), but without labeling healthy people as patients with disease (type I error) is one of the most difficult problems in clinical practice and for which doesn’t exist an infallible guide and it is unlikely that any since coming into existence. But, if the diagnosis of disease or non-disease is difficult, the treatment of those who do not have the disease, though suffering, it is not easy, especially if we are aware of the suffering that medicalization and iatrogenic determines. This work is structured in three parts. In the first part we describe our integrated view of what we grasp from reading the published literature and to which we had access. Similar to that found in most areas of medicine, this is also one in which knowledge grows exponentially. However, the absence of precise concepts and consensual definitions determines an inconsistent knowledge, especially because we're on the border between secular culture and medical culture where, at all times, the meaning must be validated. We did a review on the definitions of what is at issue, what is known about the frequency of physical symptoms in the population, how many use the services of health and what they receive as care. We went through a review of the physiology of these symptoms and some pathophysiological explanations, to finish on what patients think about their symptoms and how they perceived the care they received and, finally, what professionals think about these patients. This part ends with a review of the approaches proposed for such patients. In the second part, we describe the empirical studies focused on the problem of patients with physical symptoms but no evidence of organic disease. Begins with a presentation of the procedural and methodological aspects of studies, more specifically, two quantitative and one qualitative. The first study sought to assess which are the physical symptoms, their incidence in the general population and the frequency they seek (or not) health services on behalf of those symptoms. The aim behind this study was to contribute to the demonstration that this type of symptoms is part of life's day-to-day and that, in most cases, does not represent disease by itself, without denying that they represent suffering, sometimes even greater than when there are organic disease. The first study endeavor to demonstrate that the physical symptoms are common in the population. The second study aspires to demonstrate that patients with such symptoms are also common and that the type of symptoms presented in the consultation does not differ from those in the general population. The aim was also to know what is done or proposed by the physician for these patients and if these patients brought or not, along with the symptoms, explanatory ideas for them. Finally and not least, it would try to assess the degree of reliability of diagnosis of somatoform symptoms, thus drawing the physical symptom that patient presents in the consultation and that the doctor diagnosed as having no organic cause. The third study starts from the acquired knowledge that medicine has many answers to this problem, but few can be considered satisfactory if used in isolation. The most solutions are sought in the medical culture and based on a reductionist paradigm of mind-body. However, if the symptom is "built" by the patient, if the main problem is not the symptom but the way the patient sees it, then it seemed logical to us that the solution must integrate the approaches that patients believes are best for them. Subsequently, a few patients, whose diagnosis of somatoform symptoms was demonstrated by the test of time, were interviewed. Therefore, patients who were interviewed had gone to the consultation of family medicine more than 6 months before for somatoform symptoms and. at the moment of the interview, the diagnosis remained unchanged, regardless of their evolution. The interviews aimed to ascertain the patients' ideas about what motivated them to seek consultation, what they thought about the care they got and which ideas they have about what health professionals should do to help these patients to re-establish equilibrium with its environment avoiding medicalization, iatrogenic effects and the evolution to chronicity. In the third section, we discuss and integrate the results found in previously existing knowledge. Attempts to theorize on the subject and contribute to more personalized treatment, comprehensive, varied and multi-modal approaches, always based on patient-centered clinical method, with emphasis on the relationship. We presents some hypotheses for future work on the subject and,above all, defend the recognition of the importance of lifelong learning communication skills for all health professionals, with the idea that we can always do better, otherwise we tend inexorably to do worse.

A technology diffusion perspective of Enterprise Resource Planning across European Small and Medium Enterprises: from determinants to Use to Value

Tese apresentada como requisito parcial para obtenção do grau de Doutor em Gestão de Informação

Lightweight robust behavior industrial agent methodology

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Terrorismo

This thesis’ goal is to study the relationship between the Islamic State and Al-Qaeda, notably the hypotheses that the Islamic State derives from Al-Qaeda. The topic to be developed in the following pages is based in reliable sources so that we can obtain the most accurate possible conclusions. In preparation of this report, several quotes were used in order to present correct settings and make logical deductions based on documents. It aims to be a modest contribution to a reflection on the theme, which is addressed in a very general way. Concepts of terrorism and Islamic fundamentalism are addressed in the thesis. Al-Qaeda, the Islamic State and the response to terrorism are presented, with the aim of understanding the degree of complexity underlying the Islamic State.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

Chitosan-based magnetic nanoparticles for osteosarcoma theranostic

Cancer is a well-known disease with a significant impact in society not only due to its incidence, more evident in more developed countries, but also due to the expenses related to medical treat-ments. Cancer research is considered an increasingly logical science with great potential for the development of new treatment options. Advances in nanomedicine have resulted in rapid devel-opment of nanomaterials with considerable potential in cancer diagnostics and treatment. The combination of diagnosis and treatment in a single nano-platform is named theranostic. In this PhD thesis a theranostic system for osteosarcoma was proposed, composed by a magnetic core, a polymeric coating, and a chemotherapeutic drug. The presence of a specific targeting agent, in this case a monoclonal antibody, provides high specificity to the proposed theranostic system. For the core of the proposed theranostic system, stable aqueous suspensions of superparamagnetic iron oxide nanoparticles with an average diameter of 9 nm were produced. Chitosan-based poly-meric nanoparticles with a hydrodynamic diameter around 150 nm were successfully produced. Incorporation of iron oxide nanoparticles into the polymeric ones increased their hydrodynamic diameter to at least 250 nm. A monoclonal antibody specific for a transmembranar protein (car-bonic anhydrase IX) present in solid tumors was developed by hybridoma technology. Functional hybridomas producing the desired monoclonal antibodies were obtained. The proposed theranostic system functionality was evaluated in separated parts of its components. Uncoated and coated iron oxide nanoparticles with chitosan-based polymers generated heat under the application of an external alternating magnetic field. Uncoated iron oxide nanoparticles sta-bilized with oleic acid were able to enhance contrast in magnetic resonance imaging. Drug deliv-ery studies were conducted in chitosan-based polymeric nanoparticles without and with the in-corporation of iron oxide nanoparticles, demonstrating to be an effective drug delivery platform for doxorubicin. The theranostic system proposed in this PhD thesis is very promising for cancer theranostic, demonstrating to be applicable in solid tumors such as osteosarcoma.