The pareto-stability concept is a natural solution concept for discrete matching markets with indifferences

In a decentralized setting the game-theoretical predictions are that only strong blockings are allowed to rupture the structure of a matching. This paper argues that, under indifferences, also weak blockings should be considered when these blockings come from the grand coalition. This solution concept requires stability plus Pareto optimality. A characterization of the set of Pareto-stable matchings for the roommate and the marriage models is provided in terms of individually rational matchings whose blocking pairs, if any, are formed with unmatched agents. These matchings always exist and give an economic intuition on how blocking can be done by non-trading agents, so that the transactions need not be undone as agents reach the set of stable matchings. Some properties of the Pareto-stable matchings shared by the Marriage and Roommate models are obtained.

Mapping changes in coastline geomorphic features using Landsat TM and ETM+ imagery: examples in southeastern Brazil

Multitemporal Landsat Thematic Mapper (TM) and Enhanced Thematic Mapper Plus (ETM+) imagery was used to assess coastline morphological changes in southeastern Brazil. A spectral linear mixing approach (SLMA) was used to estimate fraction imagery representing amounts of vegetation, clean water (a proxy for shade) and soil. Fraction abundances were related to erosive and depositional features. Shoreline, sandy banks (including emerged and submerged banks) and sand spits were highlighted mainly by clean water and soil fraction imagery. To evaluate changes in the coastline geomorphic features, the fraction imagery generated for each data set was classified in a contextual approach using a segmentation technique and ISOSEG, an unsupervised classification. Evaluation of the classifications was performed visually and by an error matrix relating ground-truth data to classification results. Comparison of the classification results revealed an intense transformation in the coastline, and that erosive and depositional features are extremely dynamic and subject to change in short periods of time.

Effects of changing blood viscosity and heart rate on vena contracta width as evaluated by color Doppler flow mapping. An in vitro study with a pulsatile flow model

Background: There is only limited knowledge on how the quantification of valvular regurgitation by color Doppler is affected by changing blood viscosity. This study was designed to evaluate the effect of changing blood viscosity on the vena contracta width using an in vitro model of valvular insufficiency capable of providing ample variation in the rate and stroke volume. Methods: We constructed a pulsatile flow model filled with human blood at varying hematocrit (15%, 35%, and 55%) and corresponding blood viscosity (blood/water viscosity: 2.6, 4.8, 9.1) levels in which jets were driven through a known orifice (7 mm(2)) into a 110 mL compliant receiving chamber (compliance: 2.2 mL/mmHg) by a pulsatile pump. In addition, we used variable pump stroke volumes (5, 7.5, and 10 mL) and rates (40, 60, and 80 ppm). Vena contracta region was imaged using a 3.5 MHz transducer. Pressure and volume in the flow model were kept constant during each experimental condition, as well as ultrasound settings. Results: Blood viscosity variation in the experimental range did not induce significant changes in vena contracta dimensions. Also, vena contracta width did not change from normal to low hematocrit and viscosity levels. A very modest increase only in vena contracta dimension was observed at very high level of blood viscosity when hematocrit was set to 55% . Pump rate, in the evaluated range, did not influence vena contracta width. These results in controlled experimental settings suggest that the vena contracta is an accurate quantitative method for quantifying valvular regurgitation even when this condition is associated with anemia, a frequent finding in patients with valvular heart disease.

Sodium bicarbonate solution as an anti-erosive agent against simulated endogenous erosion

This study investigated whether sodium bicarbonate solution, applied on enamel previously exposed to a simulated intrinsic acid, can control dental erosion. Volunteers wore palatal devices containing enamel slabs, which were exposed twice daily extra-orally to hydrochloric acid (0.01 M, pH 2) for 2 min. Immediately afterwards, the palatal devices were re-inserted in the mouth and volunteers rinsed their oral cavity with a sodium bicarbonate solution or deionized water for 60 s. After the washout period, the palatal devices were refilled with a new set of specimens and participants were crossed over to receive the alternate rinse solution. The surface loss and surface microhardness (SMH) of specimens were assessed. The surface loss of eroded enamel rinsed with a sodium bicarbonate solution was significantly lower than the surface loss of eroded enamel rinsed with deionized water. There were no differences between treatments with sodium bicarbonate and deionized water for SMH measurements. Regardless of the solution used as an oral rinse, eroded enamel showed lower SMH than uneroded specimens. Rinsing with a sodium bicarbonate solution after simulated endogenous erosive challenge controlled enamel surface loss but did not alter the microhardness.

Hydraulic conductivity in response to exchangeable sodium percentage and solution salt concentration

Hydraulic conductivity is determined in laboratory assays to estimate the flow of water in saturated soils. However, the results of this analysis, when using distilled or deionized water, may not correspond to field conditions in soils with high concentrations of soluble salts. This study therefore set out to determine the hydraulic conductivity in laboratory conditions using solutions of different electrical conductivities in six soils representative of the State of Pernambuco, with the exchangeable sodium percentage adjusted in the range of 5-30%. The results showed an increase in hydraulic conductivity with both decreasing exchangeable sodium percentage and increasing electrical conductivity in the solution. The response to the treatments was more pronounced in soils with higher proportion of more active clays. Determination of hydraulic conductivity in laboratory is routinely performed with deionized or distilled water. However, in salt affected soils, these determinations should be carried out using solutions of electrical conductivity different from 0 dS m-1, with values close to those determined in the saturation extracts.

Enthalpies of Solution of 1-Butyl-3-methylimidazolium Tetrafluoroborate in 15 Solvents at 298.15 K

Enthalpies of solution of 1-butyl-3-methylimidazolium tetra fluoroborate, [BMIm]BF4, are reported at 298.15 K in a set of 15 hydrogen bond donor and hydrogen bond acceptor solvents, chosen by their diversity, namely, water, methanol, ethanol, 1,2-ethanediol, 2-choroethanol, 2-methoxyethanol, formamide, propylene carbonate, nitromethane, acetonitrile, dimethyl sulfoxide, acetone, N,N-dimethylformamide, N,N-dimethylacetamide, and aniline. These values are shown to be largely independent of [BMIm]BF4 concentration. The obtained enthalpies of solution vary from very endothermic to quite exothermic, thus showing a very high sensitivity of the enthalpies of solution of [BMIm]BF4 to solvent properties. Solvent effects on the solution process of this IL are analyzed by a quantitative structure-property relationship methodology, using the TAKA equation and a modified equation, which significantly improves the model's predictive ability. The observed differences in the enthalpies of solution are rationalized in terms of the solvent properties found to be relevant, that is, pi* and E-T(N).

Solvent effects on solution enthalpies of adamantyl derivatives

Solution enthalpies of 1-bromoadamantane, 1-adamantanol, and 2-adamantanone in a large set of protic and aprotic solvents are reported at 298.15 K. Solvent effects on the solution processes of these solutes are analyzed in terms of a modified TAKA equation, involving delta(cav) h (s) as the cavity term. The nature and magnitude of the major interactions which influence these processes are assessed and discussed in terms of the solutes' characteristics. New insights on the solution processes under scrutiny are presented.

Geostatistical Mapping of Outfall Plume Dispersion Data gathered with an autonomous underwater vehicle

The main purpose of this study was to examine the applicability of geostatistical modeling to obtain valuable information for assessing the environmental impact of sewage outfall discharges. The data set used was obtained in a monitoring campaign to S. Jacinto outfall, located off the Portuguese west coast near Aveiro region, using an AUV. The Matheron’s classical estimator was used the compute the experimental semivariogram which was fitted to three theoretical models: spherical, exponential and gaussian. The cross-validation procedure suggested the best semivariogram model and ordinary kriging was used to obtain the predictions of salinity at unknown locations. The generated map shows clearly the plume dispersion in the studied area, indicating that the effluent does not reach the near by beaches. Our study suggests that an optimal design for the AUV sampling trajectory from a geostatistical prediction point of view, can help to compute more precise predictions and hence to quantify more accurately dilution. Moreover, since accurate measurements of plume’s dilution are rare, these studies might be very helpful in the future for validation of dispersion models.

Solution enthalpies of hydroxylic compounds

Solution enthalpies of adamantan-1-ol, 2-methyl- butan-2-ol, and 3-methylbutan-1-ol have been measured at 298.15 K, in a set of 16 protogenic and non-protogenic solvents. The identification and quantification of solvent effects on the solution processes under study were performed using quantitative-structure property relationships. The results are discussed in terms of solute-solvent-solvent interactions and also in terms of the influence of compound's size and position of its hydroxyl group.

Mapping multi-species habitat use for marine conservation planning

Tese de Doutoramento, Ciências do Mar (Biologia Marinha)

Ontology mapping evolution

Introdução Hoje em dia, o conceito de ontologia (Especificação explícita de uma conceptualização [Gruber, 1993]) é um conceito chave em sistemas baseados em conhecimento em geral e na Web Semântica em particular. Entretanto, os agentes de software nem sempre concordam com a mesma conceptualização, justificando assim a existência de diversas ontologias, mesmo que tratando o mesmo domínio de discurso. Para resolver/minimizar o problema de interoperabilidade entre estes agentes, o mapeamento de ontologias provou ser uma boa solução. O mapeamento de ontologias é o processo onde são especificadas relações semânticas entre entidades da ontologia origem e destino ao nível conceptual, e que por sua vez podem ser utilizados para transformar instâncias baseadas na ontologia origem em instâncias baseadas na ontologia destino. Motivação Num ambiente dinâmico como a Web Semântica, os agentes alteram não só os seus dados mas também a sua estrutura e semântica (ontologias). Este processo, denominado evolução de ontologias, pode ser definido como uma adaptação temporal da ontologia através de alterações que surgem no domínio ou nos objectivos da própria ontologia, e da gestão consistente dessas alterações [Stojanovic, 2004], podendo por vezes deixar o documento de mapeamento inconsistente. Em ambientes heterogéneos onde a interoperabilidade entre sistemas depende do documento de mapeamento, este deve reflectir as alterações efectuadas nas ontologias, existindo neste caso duas soluções: (i) gerar um novo documento de mapeamento (processo exigente em termos de tempo e recursos computacionais) ou (ii) adaptar o documento de mapeamento, corrigindo relações semânticas inválidas e criar novas relações se forem necessárias (processo menos existente em termos de tempo e recursos computacionais, mas muito dependente da informação sobre as alterações efectuadas). O principal objectivo deste trabalho é a análise, especificação e desenvolvimento do processo de evolução do documento de mapeamento de forma a reflectir as alterações efectuadas durante o processo de evolução de ontologias. Contexto Este trabalho foi desenvolvido no contexto do MAFRA Toolkit1. O MAFRA (MApping FRAmework) Toolkit é uma aplicação desenvolvida no GECAD2 que permite a especificação declarativa de relações semânticas entre entidades de uma ontologia origem e outra de destino, utilizando os seguintes componentes principais: Concept Bridge – Representa uma relação semântica entre um conceito de origem e um de destino; Property Bridge – Representa uma relação semântica entre uma ou mais propriedades de origem e uma ou mais propriedades de destino; Service – São aplicados às Semantic Bridges (Property e Concept Bridges) definindo como as instâncias origem devem ser transformadas em instâncias de destino. Estes conceitos estão especificados na ontologia SBO (Semantic Bridge Ontology) [Silva, 2004]. No contexto deste trabalho, um documento de mapeamento é uma instanciação do SBO, contendo relações semânticas entre entidades da ontologia de origem e da ontologia de destino. Processo de evolução do mapeamento O processo de evolução de mapeamento é o processo onde as entidades do documento de mapeamento são adaptadas, reflectindo eventuais alterações nas ontologias mapeadas, tentando o quanto possível preservar a semântica das relações semântica especificadas. Se as ontologias origem e/ou destino sofrerem alterações, algumas relações semânticas podem tornar-se inválidas, ou novas relações serão necessárias, sendo por isso este processo composto por dois sub-processos: (i) correcção de relações semânticas e (ii) processamento de novas entidades das ontologias. O processamento de novas entidades das ontologias requer a descoberta e cálculo de semelhanças entre entidades e a especificação de relações de acordo com a ontologia/linguagem SBO. Estas fases (“similarity measure” e “semantic bridging”) são implementadas no MAFRA Toolkit, sendo o processo (semi-) automático de mapeamento de ontologias descrito em [Silva, 2004].O processo de correcção de entidades SBO inválidas requer um bom conhecimento da ontologia/linguagem SBO, das suas entidades e relações, e de todas as suas restrições, i.e. da sua estrutura e semântica. Este procedimento consiste em (i) identificar as entidades SBO inválidas, (ii) a causa da sua invalidez e (iii) corrigi-las da melhor forma possível. Nesta fase foi utilizada informação vinda do processo de evolução das ontologias com o objectivo de melhorar a qualidade de todo o processo. Conclusões Para além do processo de evolução do mapeamento desenvolvido, um dos pontos mais importantes deste trabalho foi a aquisição de um conhecimento mais profundo sobre ontologias, processo de evolução de ontologias, mapeamento etc., expansão dos horizontes de conhecimento, adquirindo ainda mais a consciência da complexidade do problema em questão, o que permite antever e perspectivar novos desafios para o futuro.

Optimising and adapting the QoS of a dynamic set of inter-dependent tasks

Due to the growing complexity and adaptability requirements of real-time systems, which often exhibit unrestricted Quality of Service (QoS) inter-dependencies among supported services and user-imposed quality constraints, it is increasingly difficult to optimise the level of service of a dynamic task set within an useful and bounded time. This is even more difficult when intending to benefit from the full potential of an open distributed cooperating environment, where service characteristics are not known beforehand and tasks may be inter-dependent. This paper focuses on optimising a dynamic local set of inter-dependent tasks that can be executed at varying levels of QoS to achieve an efficient resource usage that is constantly adapted to the specific constraints of devices and users, nature of executing tasks and dynamically changing system conditions. Extensive simulations demonstrate that the proposed anytime algorithms are able to quickly find a good initial solution and effectively optimise the rate at which the quality of the current solution improves as the algorithms are given more time to run, with a minimum overhead when compared against their traditional versions.

Human-robot teamwork: a knowledge-based solution

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Solution enthalpies of hydroxylic compounds

Solution enthalpies of adamantan-1-ol, 2-methyl- butan-2-ol, and 3-methylbutan-1-ol have been measured at 298.15 K, in a set of 16 protogenic and non-protogenic solvents. The identification and quantification of solvent effects on the solution processes under study were performed using quantitative-structure property relationships. The results are discussed in terms of solute-solvent-solvent interactions and also in terms of the influence of compound's size and position of its hydroxyl group.

LADAR based mapping and obstacle detection system for service robots

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 Electrotécnica e de Computadores