Modelling and segmentation of the vocal tract during speech production by using deformable models in magnetic resonance images

The first and second authors would like to thank the support of the PhD grants with references SFRH/BD/28817/2006 and SFRH/PROTEC/49517/2009, respectively, from Fundação para a Ciência e Tecnol ogia (FCT). This work was partially done in the scope of the project “Methodologies to Analyze Organs from Complex Medical Images – Applications to Fema le Pelvic Cavity”, wi th reference PTDC/EEA- CRO/103320/2008, financially supported by FCT.

Application of integer and fractional models in electrochemical systems

This paper describes the use of integer and fractional electrical elements, for modelling two electrochemical systems. A first type of system consists of botanical elements and a second type is implemented by electrolyte processes with fractal electrodes. Experimental results are analyzed in the frequency domain, and the pros and cons of adopting fractional-order electrical components for modelling these systems are compared.

Assessment of the ensembles regional climate models in the representation of precipitation variability and extremes over Portugal

A new data set of daily gridded observations of precipitation, computed from over 400 stations in Portugal, is used to assess the performance of 12 regional climate models at 25 km resolution, from the ENSEMBLES set, all forced by ERA-40 boundary conditions, for the 1961-2000 period. Standard point error statistics, calculated from grid point and basin aggregated data, and precipitation related climate indices are used to analyze the performance of the different models in representing the main spatial and temporal features of the regional climate, and its extreme events. As a whole, the ENSEMBLES models are found to achieve a good representation of those features, with good spatial correlations with observations. There is a small but relevant negative bias in precipitation, especially in the driest months, leading to systematic errors in related climate indices. The underprediction of precipitation occurs in most percentiles, although this deficiency is partially corrected at the basin level. Interestingly, some of the conclusions concerning the performance of the models are different of what has been found for the contiguous territory of Spain; in particular, ENSEMBLES models appear too dry over Portugal and too wet over Spain. Finally, models behave quite differently in the simulation of some important aspects of local climate, from the mean climatology to high precipitation regimes in localized mountain ranges and in the subsequent drier regions.

Persistence of Vectobac WDG and Metoprag S-2G against Aedes aegypti larvae using a semi-field bioassay in Rio de Janeiro, Brazil

Persistence of Bacillus thuringiensis var. israelensis (Vectobac WDG) and methoprene (Metoprag S-2G) was evaluated against Aedes aegypti late third instar larvae of the Rockefeller strain in a semi-field bioassay. Tests were performed in Rio de Janeiro, using containers made of plastic, iron, concrete and asbestos, placed in a shaded area. The formulations used were 0.2 g of Vectobac-WDG and 1g of Metoprag S-2G per 100 liters of water in house storage containers. Vectobac WDG was tested twice, in March and in April/May, 2002. In March (temperature ranging from 21.5 to 39.3 ºC), 70-100% mortality was observed by the 7th day and declined abruptly thereafter. No significant differences were observed among the container types. In April/May (18.6 to 34.8 ºC) mortality was higher than 70% to 30-36 days in all cases, except in the iron container (40% mortality on the 12th day). Metoprag S-2G was evaluated in April/May, 2002, and induced mortality higher than 70% up to 15 days in the plastic and iron containers and only seven days in the concrete container. In the asbestos container, maximal mortality was achieved on day one post-treatment (66%). Our results point to a low persistence of both formulations in the weather conditions of Rio de Janeiro.

Maturity models in the hospital information systems management initial research

Os modelos de maturidade são instrumentos facilitadores da gestão das organizações, incluindo a gestão da sua função sistemas de informação, não sendo exceção as organizações hospitalares. Neste artigo apresenta-se uma investigação inicial que visa o desenvolvimento de um abrangente modelo de maturidade para a gestão dos sistemas de informação hospitalares. O desenvolvimento deste modelo justifica-se porque os modelos de maturidade atuais no domínio da gestão dos sistemas informação hospitalares ainda se encontram numa fase embrionária de desenvolvimento, sobretudo porque são pouco detalhados, não disponibilizam ferramentas para determinação da maturidade e não apresentam as características dos estágios de maturidade estruturadas por diferentes fatores de influência.

Derivation and consistency checking of models in early software product line engineering

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

Business models in the portuguese football clubs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Vitamin A Deficiency and Training to Farmers: Evidence from a Field Experiment in Mozambique

Vitamin A deficiency is a widespread public health problem in Sub-Saharan Africa. This paper analyzes the impact of a food-based intervention to fight vitamin A deficiency using orange-fleshed sweet potato (OFSP). We conducted a randomized evaluation of OFSP-related training to female farmers in Mozambique, in which the treatment group was taught basic concepts of nutrition, and OFSP-planting and cooking skills. We found encouraging evidence of changes in behavior and attitudes towards OFSP consumption and planting, and considerable increases in nutrition-related knowledge, as well as knowledge on cooking and planting OFSP.

Vitamin A deficiency and training to farmers: Evidence from a field experiment in Mozambique

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

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.(...)

Occurrence of Triatoma costalimai (Hemiptera: Reduviidae) in different environments and climatic seasons: a field study in the Brazilian savanna

INTRODUCTION: Trypanosoma cruzi-infected specimens of Triatoma costalimai have been detected in domiciliary units of Central Brazil, thereby maintaining the potential risk of vectorial transmission of Chagas disease. The aim of this study was to determine the occurrence and natural infection of T. costalimai in different environments (gallery forest, dry forest and peridomicile) and climatic seasons (wet and dry), in the municipality of Mambaí, State of Goiás, Brazil. METHODS: Triatomines were captured in October 2010 and in June 2011, employing two different methods (manual capture and mouse-baited adhesive traps). The insects were later separated by sex and nymphal stage, counted and examined parasitologically by abdominal compression and microscopic analysis of feces. RESULTS: Triatoma costalimai was found in three environments and in the two seasons studied. Overall, capture success of 900 traps and 60 blocks of rocks inspected was 5.8% and 11.7%, respectively. The occurrence of T. costalimai was higher among rocks in the peridomicile, where 97% of the 131 specimens were captured. The proportion of nymphs (98%) was much higher than that of adults, which were only detected in peridomicile. Most (95%) insects were captured during the wet season, with predominance of early-stage nymphs. None of the 43 specimens examined were infected by trypanosomatids. CONCLUSIONS: The results indicate a greater occurrence of T. costalimai in peridomiciliary environments and during the wet season in Mambaí, Goiás, highlighting the synanthropic behavior of this triatomine species in one area of the Brazilian savanna and the importance of entomological surveillance.

Aedes aegypti eggs oviposited on water surface collected from field ovitraps in Nova Iguaçu City, Brazil

ABSTRACT INTRODUCTION: Aedes aegypti eggs can be collected from the water surface. METHODS: Aedes aegypti oviposition from 97 field ovitraps was studied. RESULTS: Of the 16,016 eggs collected, 11,439 were obtained from paddles in ovitraps and 4,577 from water. Further, 89 (91.8%) traps contained eggs on water and 22 (22.7%) traps contained eggs only on water. CONCLUSIONS: In field traps, Aedes aegypti females usually oviposit some eggs on water surface suggesting that they might also oviposit on water of some natural breeding, and this possibility needs to be investigated. Eggs oviposited on water need to be considered for collecting trap data.

The characteristics of social entrepreneurship business models in Portugal

This work project is based on the MIES (Map of Innovation and Social Entrepreneurship in Portugal) database and it aims to understand the characteristics of social business models in the context of the portuguese market, by determining whether they follow the proposed characteristics by John Elkington and Pamela Hartigan, and then adding to their matrix. Furthermore, it tries to determine success patterns by comparing a group of successful social ventures with a group of less successful ones, with the objective of increasing the knowledge of social entrepreneurship as it applies to Portugal and provide a framework for future study.

Implementation of integral viscoelastic constitutive models in OpenFOAM® computational library

This work reports the implementation and verification of a new so lver in OpenFOAM® open source computational library, able to cope with integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with analytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.