Participatory Surveillance and Mathematical Models in Epidemiologic Research: Successes and Challenges

Theoretical epidemiology aims to understand the dynamics of diseases in populations and communities. Biological and behavioral processes are abstracted into mathematical formulations which aim to reproduce epidemiological observations. In this thesis a new system for the self-reporting of syndromic data — Influenzanet — is introduced and assessed. The system is currently being extended to address greater challenges of monitoring the health and well-being of tropical communities.(...)

Mathematical and numerical methods for inverse problems using fundamental solutions techniques

Fundação para a Ciência e a Tecnologia - SFRH/BD/27914/2006

Managing innovation complexity: About the co-existence of innovation types

The purpose of this study is to contribute to the changing innovation management literature by providing an overview of different innovation types and organizational complexity factors. Aiming at a better understanding of effective innovation management, innovation and complexity are related to the formulation of an innovation strategy and interaction between different innovation types is further explored. The chosen approach in this study is to review the existing literature on different innovation types and organizational complexity factors in order to design a survey which allows for statistical measurement of their interactions and relationships to innovation strategy formulation. The findings demonstrate interaction between individual innovation types. Additionally, organizational complexity factors and different innovation types are significantly related to innovation strategy formulation. In particular, more closed innovation and incremental innovation positively influence the likelihood of innovation strategy formulation. Organizational complexity factors have an overall negative influence on innovation strategy formulation. In order to define best practices for innovation management and to guide managerial decision making, organizations need to be aware of the co-existence of different innovation types and formulate an innovation strategy to more closely align their innovation objectives.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

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.

Análise configuracional dos grandes conjuntos urbanos na Região de Lisboa (1945-1974) : contributos da sintaxe espacial para a história de arte como história da cidade

A presente investigação debruça-se sobre o estudo dos grandes conjuntos urbanos, tendo como referência a área de Lisboa no período entre 1945 e 1974. O seu objetivo principal é compreender o padrão espacial e respetivas variantes destas formas urbanas relativamente recentes bem como avaliar o seu impato na estrutura global da cidade e da sociedade. Tomando como ponto de partida a história de arte como história da cidade, a tese toma como objeto o grande conjunto urbano e aponta a hipótese do estudo da relação forma-fundo como meio de obter informações relevantes que relacionem o uso e função com respeito ao desenho do espaço aberto. Como diferentes arranjos entre espaços abertos e fechados implicam tipos espaciais distintos (Medeiros 2013), o estudo da relação entre a forma (cheio) e o fundo (vazio) dos grandes conjuntos urbanos e respetivas variações, pode fornecer-nos informação espacial relevante, que nos permitem compreender melhor estas formas urbanas recentes. Usando a abordagem própria da teoria da sintaxe espacial (Hillier e Hanson 1984), do tipo configuracional, determinam-se as relações entre os vários elementos constituintes dos sistemas espaciais formados nestas urbanizações. Essas relações são depois analisadas através de medidas e variáveis topológicas que nos permitem identificar qualidades e valores espaciais para a sociedade. Os resultados obtidos a partir dessas variáveis e medidas permitem-nos, depois, avaliar os graus de ‘formalidade’ e ‘urbanidade’ em cada sistema (Holanda 2002). Consequentemente, a avaliação qualitativa das características espaciais que se pretendem obter nesta investigação, tem como base a avaliação quantitativa, permitindo assim comparar mais facilmente os diversos casos de estudo. De entre o conjunto de casos analisados, o estudo revela uma série de características comuns, que nos permitem identificar um padrão específico de urbanismo modernista que reflete claramente um conjunto de ideologias associadas a uma visão reformista da sociedade através do espaço. Mas por outro lado, existem também um conjunto de características particulares de cada caso, que reportam para a estrutura morfológica da cidade tradicional. No que reporta à hipótese de estudo levantada nesta investigação sobre a relação forma-fundo, verifica-se através da amostra que esta relação aparece invertida. Esta diferenciação deve-se ao abandono dos tradicionais sistemas de rua e de quarteirão, ainda presentes nas urbanizações de Alvalade e do Areeiro e a sua substituição pelo bloco livre em espaço aberto como nos casos de Alfragide, Portela e Olivais. Tal facto, como prova a teoria da Sintaxe Espacial ou Lógica Social do Espaço, traduziu-se necessariamente em diferentes modos de vida pública e privada e consequentemente de vida espacial e social. Assim concluímos, através da análise dos casos de estudo apresentados, que embora fazendo parte duma mesma ideologia urbana com características comuns (genótipo modernista), os mesmos apresentam resultados espaciais totalmente diferenciados o que justifica a dificuldade da sua análise comparativa.