Type-Aware Programming Models for Distributed Applications

Thesis (Ph.D.)--University of Washington, 2016-08

Integrating functional connectivity and climate change in the design of protected area networks

Le rapide déclin actuel de la biodiversité est inquiétant et les activités humaines en sont la cause directe. De nombreuses aires protégées ont été mises en place pour contrer cette perte de biodiversité. Afin de maximiser leur efficacité, l’amélioration de la connectivité fonctionnelle entre elles est requise. Les changements climatiques perturbent actuellement les conditions environnementales de façon globale. C’est une menace pour la biodiversité qui n’a pas souvent été intégrée lors de la mise en place des aires protégées, jusqu’à récemment. Le mouvement des espèces, et donc la connectivité fonctionnelle du paysage, est impacté par les changements climatiques et des études ont montré qu’améliorer la connectivité fonctionnelle entre les aires protégées aiderait les espèces à faire face aux impacts des changements climatiques. Ma thèse présente une méthode pour concevoir des réseaux d’aires protégées tout en tenant compte des changements climatiques et de la connectivité fonctionnelle. Mon aire d’étude est la région de la Gaspésie au Québec (Canada). La population en voie de disparition de caribou de la Gaspésie-Atlantique (Rangifer tarandus caribou) a été utilisée comme espèce focale pour définir la connectivité fonctionnelle. Cette petite population subit un déclin continu dû à la prédation et la modification de son habitat, et les changements climatiques pourraient devenir une menace supplémentaire. J’ai d’abord construit un modèle individu-centré spatialement explicite pour expliquer et simuler le mouvement du caribou. J’ai utilisé les données VHF éparses de la population de caribou et une stratégie de modélisation patron-orienté pour paramétrer et sélectionner la meilleure hypothèse de mouvement. Mon meilleur modèle a reproduit la plupart des patrons de mouvement définis avec les données observées. Ce modèle fournit une meilleure compréhension des moteurs du mouvement du caribou de la Gaspésie-Atlantique, ainsi qu’une estimation spatiale de son utilisation du paysage dans la région. J’ai conclu que les données éparses étaient suffisantes pour ajuster un modèle individu-centré lorsqu’utilisé avec une modélisation patron-orienté. Ensuite, j’ai estimé l’impact des changements climatiques et de différentes actions de conservation sur le potentiel de mouvement du caribou. J’ai utilisé le modèle individu-centré pour simuler le mouvement du caribou dans des paysages hypothétiques représentant différents scénarios de changements climatiques et d’actions de conservation. Les actions de conservation représentaient la mise en place de nouvelles aires protégées en Gaspésie, comme définies par le scénario proposé par le gouvernement du Québec, ainsi que la restauration de routes secondaires à l’intérieur des aires protégées. Les impacts des changements climatiques sur la végétation, comme définis dans mes scénarios, ont réduit le potentiel de mouvement du caribou. La restauration des routes était capable d’atténuer ces effets négatifs, contrairement à la mise en place des nouvelles aires protégées. Enfin, j’ai présenté une méthode pour concevoir des réseaux d’aires protégées efficaces et j’ai proposé des nouvelles aires protégées à mettre en place en Gaspésie afin de protéger la biodiversité sur le long terme. J’ai créé de nombreux scénarios de réseaux d’aires protégées en étendant le réseau actuel pour protéger 12% du territoire. J’ai calculé la représentativité écologique et deux mesures de connectivité fonctionnelle sur le long terme pour chaque réseau. Les mesures de connectivité fonctionnelle représentaient l’accès général aux aires protégées pour le caribou de la Gaspésie-Atlantique ainsi que son potentiel de mouvement à l’intérieur. J’ai utilisé les estimations de potentiel de mouvement pour la période de temps actuelle ainsi que pour le futur sous différents scénarios de changements climatiques pour représenter la connectivité fonctionnelle sur le long terme. Le réseau d’aires protégées que j’ai proposé était le scénario qui maximisait le compromis entre les trois caractéristiques de réseau calculées. Dans cette thèse, j’ai expliqué et prédit le mouvement du caribou de la Gaspésie-Atlantique sous différentes conditions environnementales, notamment des paysages impactés par les changements climatiques. Ces résultats m’ont aidée à définir un réseau d’aires protégées à mettre en place en Gaspésie pour protéger le caribou au cours du temps. Je crois que cette thèse apporte de nouvelles connaissances sur le comportement de mouvement du caribou de la Gaspésie-Atlantique, ainsi que sur les actions de conservation qui peuvent être prises en Gaspésie afin d’améliorer la protection du caribou et de celle d’autres espèces. Je crois que la méthode présentée peut être applicable à d’autres écosystèmes aux caractéristiques et besoins similaires.

Discrete-event Simulation and Optimization to Improve the Performance of a Healthcare System

Thesis (Ph.D.)--University of Washington, 2016-08

La manipulation des ressources alimentaires et du risque de prédation afin d’augmenter la vulnérabilité du cerf de Virginie à la chasse

L’utilisation de l’espace par une proie herbivore est souvent modulée par le compromis entre l’acquisition de fourrage et l’évitement de la prédation. Nous avons testé l’effet de la manipulation de la disponibilité de fourrage et du ratio couvert forestier/ouverture sur l’utilisation de l’espace par le cerf de Virginie (Odocoileus virginianus) et sa vulnérabilité à la chasse sportive sur l’île d’Anticosti. Nos résultats ont démontré que l’utilisation de l’espace par le cerf et sa vulnérabilité à la chasse peuvent être modifiées par différentes composantes structurales de l’habitat. L’augmentation de la disponibilité de fourrage a entrainé une plus grande utilisation des prairies fertilisées par le cerf, tandis que la diminution du ratio couvert forestier/ouverture a augmenté sa vulnérabilité à la chasse. Ces résultats procurent des pistes de solutions pour les gestionnaires fauniques qui doivent à la fois réduire les dommages causés par les hautes densités de cerfs et satisfaire les chasseurs en maintenant un nombre élevé d’observation de cerfs.

Effects of age and body mass on development of diving capabilities of gray seal pups: costs and benefits of the postweaning fast

Development of adequate diving capabilities is crucial for survival of seal pups and may depend on age and body size. We tracked the diving behavior of 20 gray seal pups during their first 3 mo at sea using satellite relay data loggers. We employed quantile analysis to track upper limits of dive duration and percentage time spent diving, and lower limits of surface intervals. When pups first left the breeding colony, extreme (ninety-fifth percentile) dive duration and percentage time spent diving were positively correlated with age, but not mass, at departure. Extreme dive durations and percentage time spent diving peaked at [Formula: see text] d of age at values comparable with those of adults, but were not sustained. Greater peaks in extreme percentage time spent diving occurred in pups that had higher initial values, were older at their peak, and were heavier at departure. Pups that were smaller and less capable divers when they left the colony improved extreme dive durations and percentage time spent diving more rapidly, once they were at sea. Minimum survival time correlated positively with departure mass. Pups that were heavier at weaning thus benefitted from being both larger and older at departure, but smaller pups faced a trade-off. While age at departure had a positive effect on early dive performance, departure mass impacted on peak percentage time spent diving and longer-term survival. We speculate that once small pups have attained a minimum degree of physiological development to support diving, they would benefit by leaving the colony when younger but larger to maximize limited fuel reserves, rather than undergoing further maturation on land away from potential food resources, because poor divers may be able to "catch up" once at sea.

A assimetria na volatilidade das rendibilidades do preço do crude

Dissertação de Mestrado em Contabilidade e Análise Financeira

Capital structure of Finnish firms – Estimating the effects of firm characteristics on capital structure

One of the most disputable matters in the theory of finance has been the theory of capital structure. The seminal contributions of Modigliani and Miller (1958, 1963) gave rise to a multitude of studies and debates. Since the initial spark, the financial literature has offered two competing theories of financing decision: the trade-off theory and the pecking order theory. The trade-off theory suggests that firms have an optimal capital structure balancing the benefits and costs of debt. The pecking order theory approaches the firm capital structure from information asymmetry perspective and assumes a hierarchy of financing, with firms using first internal funds, followed by debt and as a last resort equity. This thesis analyses the trade-off and pecking order theories and their predictions on a panel data consisting 78 Finnish firms listed on the OMX Helsinki stock exchange. Estimations are performed for the period 2003–2012. The data is collected from Datastream system and consists of financial statement data. A number of capital structure characteristics are identified: firm size, profitability, firm growth opportunities, risk, asset tangibility and taxes, speed of adjustment and financial deficit. A regression analysis is used to examine the effects of the firm characteristics on capitals structure. The regression models were formed based on the relevant theories. The general capital structure model is estimated with fixed effects estimator. Additionally, dynamic models play an important role in several areas of corporate finance, but with the combination of fixed effects and lagged dependent variables the model estimation is more complicated. A dynamic partial adjustment model is estimated using Arellano and Bond (1991) first-differencing generalized method of moments, the ordinary least squares and fixed effects estimators. The results for Finnish listed firms show support for the predictions of profitability, firm size and non-debt tax shields. However, no conclusive support for the pecking-order theory is found. However, the effect of pecking order cannot be fully ignored and it is concluded that instead of being substitutes the trade-off and pecking order theory appear to complement each other. For the partial adjustment model the results show that Finnish listed firms adjust towards their target capital structure with a speed of 29% a year using book debt ratio.

A stylized software model to explore the free market equality/efficiency tradeoff

This paper provides an agent-based software exploration of the wellknown free market efficiency/equality trade-off. Our study simulates the interaction of agents producing, trading and consuming goods in the presence of different market structures, and looks at how efficient the producers/consumers mapping turn out to be as well as the resulting distribution of welfare among agents at the end of an arbitrarily large number of iterations. Two market mechanisms are compared: the competitive market (a double auction market in which agents outbid each other in order to buy and sell products) and the random one (in which products are allocated randomly). Our results confirm that the superior efficiency of the competitive market (an effective and never stopping producers/consumers mapping and a superior aggregative welfare) comes at a very high price in terms of inequality (above all when severe budget constraints are in play).

Amplificador de RF Doherty assimétrico de 2-vias

Os atuais esquemas de modulação e acesso ao meio, tais como o Wide- Band Code-Division Multiple Access (WCDMA) ou Orthogonal Frequency- Division Multiple Access (OFDMA), que são otimizados para a gestão eficiente do espetro electromagnético e elevada taxa de transmissão, originam sinais de elevado Peak-to-Average Power Ratio (PAPR) e requisitos de linearidade rigorosos. As arquiteturas de amplificação tradicionais, i.e. baseadas no operação em modo de corrente do dispositivo ativo, são incapazes de satisfazer estes requisitos em simultâneo. Assim, o amplificador de potência (do inglês, Power Ampli_er (PA)) incorre numa degradação significativa de rendimento energético em favor de maior linearidade, aumentando simultaneamente os custos de operação das estacões base para os operadores de telecomunicações móveis e o impacte ambiental. Este trabalho foca-se no estudo da arquitetura Doherty, a principal solução encontrada para melhorar o compromisso linearidade/rendimento para aplicações em estações-base de comunicações móveis. Para tal, são expostos os princípios básicos de amplificadores de rádio frequência assim como a análise teórica do tradicional PA Doherty (do inglês, Doherty Power Amplifier (DhPA)) de duas vias e suas variantes. O estudo _e complementado com o projeto e implementação de um PA excitador, em classe-AB, e de um DhPA de elevada potência, colocando-se em prática a teoria e técnicas de projeto estudadas ao longo deste trabalho, aliadas aos desafios da implementação com dispositivos reais de elevada potência.

The pre-reproductive period in a tropical bird: parental care, dispersal, survival, and avian life histories

The period between offspring birth and recruitment into the breeding population is considered one of the least understood components of animal life histories. Yet, examining this period is essential for studies of parental care, dispersal, demography, and life histories. Studies of the pre-reproductive period are particularly few in tropical regions, where the organization of life histories are predicted to differ compared to northern hemisphere species. For my dissertation I used radio-telemetry, mark-resighting, and field observations to study the pre-reproductive period in a Neotropical bird, the western slaty-antshrike (Thamnophilus atrinucha), in Panama. First, I found that parental care after offspring left the nest (the post-fledging period) was greater than care during the nestling period. Prolonged care resulted in a clear trade-off for parents as they did not nest again until fledglings from the first brood were independent. Parents fed offspring for a prolonged duration during the post-fledging period and higher post-fledging survival was observed compared to many northern hemisphere species. Second, I observed that offspring that remained with parents for longer periods on the natal territory had higher survival both while on the natal territory and after dispersal compared to those dispersing earlier. Parental aggression towards offspring increased with offspring age and offspring dispersed earlier when parents renested. Contrary to other family living species, only a small proportion of antshrike offspring remained on the natal territory until the following year and all dispersed to float. Floating is when juveniles wander within other breeding pairs’ territories. These results suggest that the benefits of delayed dispersal declined with offspring age and with renesting by parents. Third, I observed that survival during the dependent period and first year was greater in slaty antshrikes compared to that of northern hemisphere species. Pre-reproductive survival relative to adult survival was equal or greater than that observed in northern hemisphere species. The date offspring left the nest, mass, and age at dispersal influenced offspring survival, whereas offspring sex and year did not. Relatively high survival during the pre-reproductive period coupled with comparatively low annual productivity clarifies how many tropical species achieve replacement. High juvenile survival appears to obtain from extended post-fledging parental care, delayed dispersal, low costs of dispersal, and a less seasonal environment. Lastly, I experimentally manipulated begging at the nest to examine changes in parental behavior. Under elevated begging, parents increased provisioning rates and reduced the time between arrival to the nest and feeding of nestlings, potentially to reduce begging sounds. Furthermore, parents switched to preferentially feed the closest offspring during the begging treatment. This suggests parents either allowed sibling competition to influence feeding decisions, or feeding the closer nestling increased the efficiency of provisioning. In summary, I found that slaty antshrikes have delayed age at reproduction, higher post-fledging and first year survival, extended post-fledging parental care, equal or greater pre-reproductive survival relative to adult survival, and delayed dispersal compared to many northern hemisphere passerines. These results suggest that this tropical species has a strategy of high investment into few offspring. Furthermore, reproductive effort is equal or greater at least in slaty antshrikes compared to northern hemisphere species, suggesting that the latitudinal gradient in clutch size is not explained by a gradient in reproductive effort.

Privacy in data publishing for tailored recommendation scenarios

Personal information is increasingly gathered and used for providing services tailored to user preferences, but the datasets used to provide such functionality can represent serious privacy threats if not appropriately protected. Work in privacy-preserving data publishing targeted privacy guarantees that protect against record re-identification, by making records indistinguishable, or sensitive attribute value disclosure, by introducing diversity or noise in the sensitive values. However, most approaches fail in the high-dimensional case, and the ones that don’t introduce a utility cost incompatible with tailored recommendation scenarios. This paper aims at a sensible trade-off between privacy and the benefits of tailored recommendations, in the context of privacy-preserving data publishing. We empirically demonstrate that significant privacy improvements can be achieved at a utility cost compatible with tailored recommendation scenarios, using a simple partition-based sanitization method.

Optimal Controller Designs for Rotating Machines - Penalising the Rate of Change of Control Forcing

In the context of active control of rotating machines, standard optimal controller methods enable a trade-off to be made between (weighted) mean-square vibrations and (weighted) mean-square currents injected into magnetic bearings. One shortcoming of such controllers is that no concern is devoted to the voltages required. In practice, the voltage available imposes a strict limitation on the maximum possible rate of change of control force (force slew rate). This paper removes the aforementioned existing shortcomings of traditional optimal control.

Effect of sugarcane cropping systems on herbicide losses in surface runoff

Herbicide runoff from cropping fields has been identified as a threat to the Great Barrier Reef ecosystem. A field investigation was carried out to monitor the changes in runoff water quality resulting from four different sugarcane cropping systems that included different herbicides and contrasting tillage and trash management practices. These include (i) Conventional - Tillage (beds and inter-rows) with residual herbicides used; (ii) Improved - only the beds were tilled (zonal) with reduced residual herbicides used; (iii) Aspirational - minimum tillage (one pass of a single tine ripper before planting) with trash mulch, no residual herbicides and a legume intercrop after cane establishment; and (iv) New Farming System (NFS) - minimum tillage as in Aspirational practice with a grain legume rotation and a combination of residual and knockdown herbicides. Results suggest soil and trash management had a larger effect on the herbicide losses in runoff than the physico-chemical properties of herbicides. Improved practices with 30% lower atrazine application rates than used in conventional systems produced reduced runoff volumes by 40% and atrazine loss by 62%. There were a 2-fold variation in atrazine and >10-fold variation in metribuzin loads in runoff water between reduced tillage systems differing in soil disturbance and surface residue cover from the previous rotation crops, despite the same herbicide application rates. The elevated risk of offsite losses from herbicides was illustrated by the high concentrations of diuron (14mugL-1) recorded in runoff that occurred >2.5months after herbicide application in a 1st ratoon crop. A cropping system employing less persistent non-selective herbicides and an inter-row soybean mulch resulted in no residual herbicide contamination in runoff water, but recorded 12.3% lower yield compared to Conventional practice. These findings reveal a trade-off between achieving good water quality with minimal herbicide contamination and maintaining farm profitability with good weed control.

Restoration ecology of coastal lagoons: new methods for the prediction of ecological trajectories and economic valuation

Conservation of the seven lagoons of the Palavas complex (southern France) has been severely impaired by nutrient over-enrichment during at least four decades. The effluents of the Montpellier wastewater treatment plant (WWTP) represented the main nutrient input. To improve the water quality of these lagoons, this WWTP was renovated and upgraded and, since the end of 2005, its effluents have been discharged 11 km offshore into the Mediterranean (total investment €150 M). Possibilities of ecosystem restoration as part of a conservation programme were explored by a focus group of experts. Their tasks were: (i) to evaluate the impact of the reduction of the nutrient input; (ii) if necessary, to design additional measures for an active restoration programme; and (iii) to predict ecosystem trajectories for the different cases. Extension of Magnoliophyta meadows can be taken as a proxy for ecosystem restoration as they favour the increase of several fish (seahorse) and bird (ducks, swans, herons) species, albeit they represent a trade-off for greater flamingos. Additional measures for active ecosystem restoration were only recommended for the most impaired lagoon Méjean, while the least impaired lagoon Ingril is already on a trajectory of spontaneous recovery. A multiple contingent valuation considering four different management options for the Méjean lagoon was used in a pilot study based on face-to-face interviews with 159 respondents. Three levels of ecosystem restoration were expressed in terms of recovery of Magnoliophyta meadows, including their impact on emblematic fish and avifauna. These were combined with different options for access (status quo, increasing access, increasing access with measures to reduce disturbance). The results show a willingness of local populations to pay per year about €25 for the highest level of ecological restoration, while they were only willing to allocate about €5 for additional footpaths and hides.

Sorghum Crop Modeling and Its Utility in Agronomy and Breeding

Crop models are simplified mathematical representations of the interacting biological and environmental components of the dynamic soil–plant–environment system. Sorghum crop modeling has evolved in parallel with crop modeling capability in general, since its origins in the 1960s and 1970s. Here we briefly review the trajectory in sorghum crop modeling leading to the development of advanced models. We then (i) overview the structure and function of the sorghum model in the Agricultural Production System sIMulator (APSIM) to exemplify advanced modeling concepts that suit both agronomic and breeding applications, (ii) review an example of use of sorghum modeling in supporting agronomic management decisions, (iii) review an example of the use of sorghum modeling in plant breeding, and (iv) consider implications for future roles of sorghum crop modeling. Modeling and simulation provide an avenue to explore consequences of crop management decision options in situations confronted with risks associated with seasonal climate uncertainties. Here we consider the possibility of manipulating planting configuration and density in sorghum as a means to manipulate the productivity–risk trade-off. A simulation analysis of decision options is presented and avenues for its use with decision-makers discussed. Modeling and simulation also provide opportunities to improve breeding efficiency by either dissecting complex traits to more amenable targets for genetics and breeding, or by trait evaluation via phenotypic prediction in target production regions to help prioritize effort and assess breeding strategies. Here we consider studies on the stay-green trait in sorghum, which confers yield advantage in water-limited situations, to exemplify both aspects. The possible future roles of sorghum modeling in agronomy and breeding are discussed as are opportunities related to their synergistic interaction. The potential to add significant value to the revolution in plant breeding associated with genomic technologies is identified as the new modeling frontier.