Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Criação de um negócio de comércio electrónico com base em marketing de rede

Projeto de Mestrado apresentado ao Instituto Superior de Contabilidade e Administração do Porto, para obtenção do Grau de Mestre em Empreendedorismo e Internacionalização, sob orientação da Professora Doutora Ana Azevedo

Farm 2.0 Using Wordpress to Manage Geocontent and Promote Regional Food Products

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Revealing fungal activity in the presence of ionic liquids

Dissertation presented to obtain the Ph.D degree in Biochemistry

Drivers and barriers to value creation in mobile service delivery

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

Service-oriented infrastructure to support the control, monitoring and management of a shop floor system

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

Retenção do dimetoato e sua relação com pH e teores de argila e matéria orgânica nos sedimentos da zona não-saturada de uma microbacia no nordeste paraense

Na agricultura familiar na Amazônia oriental, em particular no nordeste do Pará, são comuns os cultivos semi-perenes com pesada aplicação de agrotóxicos. Em virtude da ampla utilização desses produtos, principalmente o dimetoato, na microbacia hidrográfica do igarapé Cumaru, município de Igarapé-Açu (PA), foi avaliada a retenção dessa substância em amostras da zona não-saturada em laboratório, verificando-se também a influência do pH e dos teores de argila e de matéria orgânica nesse processo. Entre os diversos agrotóxicos utilizados na área, o dimetoato foi selecionado por apresentar maior potencial de lixiviação, segundo o índice GUS (Groundwater Ubiquity Score). Para a quantificação da retenção do dimetoato nos sedimentos da zona não-saturada foi realizado um experimento de sorção. Este último mostrou que, em termos percentuais, a sorção do dimetoato variou de 2.5% a 36.2% (concentração inicial 20 mg.-1) e de 6.20% a 31.0 % (concentração inicial 10 mg.-1). Esses dados comprovam o elevado potencial de contaminação da água subterrânea por essa substância, devido, principalmente, à sua mobilidade e baixa retenção. Devido ao caráter hidrofóbico do dimetoato, que aumenta a sua afinidade com a matéria orgânica, a quantidade sorvida dessa substância se mostrou diretamente proporcional à de matéria orgânica presente nos sedimentos. O pH exerce efeito contrário a este, ou seja, quanto mais elevado o seu valor, menor é a quantidade de dimetoato sorvida. Em relação à variação do teor e ao tipo de argila, foi observado que esses fatores não influenciam na retenção do dimetoato, sendo esse resultado atribuído ao comportamento não iônico desse agrotóxico.

Pervasive patient timeline

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A new page on the road book of inorganic mercury in fish body - tissue distribution and elimination following waterborne exposure and post-exposure periods

prova tipográfica / uncorrected proof

Contributos dos ambientes digitais online para a aprendizagem em contexto de atividades de apoio extraescolar

Dissertação de mestrado em Ciências da Educação (área de especialização em Tecnologia Educativa)

Current situation on the occurrence of mycotoxins and toxigenic fungi in Portugal

Mycotoxins are secondary metabolites produced by filamentous fungi that are toxic for humans and animals in small amounts and that are found worldwide in a large number of agricultural commodities. They are usually ingested involuntarily, when contaminated plant products are consumed, and represent a great risk for public health. Therefore, governments throughout the world have imposed strict legal limits for their levels in food and feed products in order to reduce potential health risks for consumers. Despite of its ubiquity, the mycotoxin problem is mainly dependent on regional factors, such as the mycotoxigenic characteristics of the local mycoflora, the local climate conditions, and the local agricultural practices. For this reason, a constant vigilance from local governmental food safety agencies and from the local researcher community is needed. This communication will review the current situation on the occurrence of mycotoxigenic fungi in some Portuguese cultures, such as wine grapes, corn and dried fruits. Particular attention will be given to the incidence of mycotoxigenic Aspergillus strains in those cultures and to the levels of ochratoxin A, aflatoxins, cyclopiazonic acid and fumonisin B2 produced. Data will be discussed taking into account the geographical origin of the isolates and the particular climate conditions of each sampling region. An updated review on the levels of the main mycotoxins found in local products and in imported commodities will also be presented.

Dieta da torda-mergulheira, Alca torda, capturada acidentalmente em Portugal Continental

Dissertação de mestrado em Ecologia

Towards a pervasive data mining engine: architecture overview

Current data mining engines are difficult to use, requiring optimizations by data mining experts in order to provide optimal results. To solve this problem a new concept was devised, by maintaining the functionality of current data mining tools and adding pervasive characteristics such as invisibility and ubiquity which focus on their users, providing better ease of use and usefulness, by providing autonomous and intelligent data mining processes. This article introduces an architecture to implement a data mining engine, composed by four major components: database; Middleware (control); Middleware (processing); and interface. These components are interlinked but provide independent scaling, allowing for a system that adapts to the user’s needs. A prototype has been developed in order to test the architecture. The results are very promising and showed their functionality and the need for further improvements.

Isolation of fungi from nature in the region of Botucatu, state of São Paulo, Brazil, an endemic area of paracoccidioidomycosis

In an attempt to isolate Paracoccidioides brasiliensis from nature 887 samples of soil from Botucatu, SP, Brazil, were collected cultured in brain heart infusion agar supplemented with dextrose, in potato dextrose agar and in yeast extract starch dextrose agar, all with antibiotics, at 25º and 37ºC. Five thermo-dependent dimorphic fungi morphologically resembling P. brasiliensis were isolated; two from armadillo holes; further studies of the biology, antigenicity and genetic features of the five dimorphic fungi are necessary to clarify their taxonomy and their possible relation to P. brasiliensis. In addition, 98 dematiaceous fungi and 581 different species of Aspergillus spp. were also isolated. Our findings emphasize that armadillos and their environment are associated with thermo-dimorphic fungi and confirm the ubiquity of pathogenic dematiaceous fungi and Aspergillus spp.

Local-scale spatial variation in diversity of social wasps in an Amazonian rain forest in Caxiuanã, Pará, Brazil (Hymenoptera, Vespidae, Polistinae)

Polistine wasps are important in Neotropical ecosystems due to their ubiquity and diversity. Inventories have not adequately considered spatial attributes of collected specimens. Spatial data on biodiversity are important for study and mitigation of anthropogenic impacts over natural ecosystems and for protecting species. We described and analyzed local-scale spatial patterns of collecting records of wasp species, as well as spatial variation of diversity descriptors in a 2500-hectare area of an Amazon forest in Brazil. Rare species comprised the largest fraction of the fauna. Close range spatial effects were detected for most of the more common species, with clustering of presence-data at short distances. Larger spatial lag effects could also be identified in some species, constituting probably cases of exogenous autocorrelation and candidates for explanations based on environmental factors. In a few cases, significant or near significant correlations were found between five species (of Agelaia, Angiopolybia, and Mischocyttarus) and three studied environmental variables: distance to nearest stream, terrain altitude, and the type of forest canopy. However, association between these factors and biodiversity variables were generally low. When used as predictors of polistine richness in a linear multiple regression, only the coefficient for the forest canopy variable resulted significant. Some level of prediction of wasp diversity variables can be attained based on environmental variables, especially vegetation structure. Large-scale landscape and regional studies should be scheduled to address this issue.