A General Framework for the Analysis of Animal Resource Selection from Telemetry Data

We propose a general framework for the analysis of animal telemetry data through the use of weighted distributions. It is shown that several interpretations of resource selection functions arise when constructed from the ratio of a use and availability distribution. Through the proposed general framework, several popular resource selection models are shown to be special cases of the general model by making assumptions about animal movement and behavior. The weighted distribution framework is shown to be easily extended to readily account for telemetry data that are highly auto-correlated; as is typical with use of new technology such as global positioning systems animal relocations. An analysis of simulated data using several models constructed within the proposed framework is also presented to illustrate the possible gains from the flexible modeling framework. The proposed model is applied to a brown bear data set from southeast Alaska.

Patch Scale Nest-Site Selection by Marbled Murrelets (Brachyramphus marmoratus)

The Marbled Murrelet (Brachyramphus marmoratus) is a threatened alcid that nests almost exclusively in old-growth forests along the Pacific coast of North America. Nesting habitat has significant economic importance. Murrelet nests are extremely difficult and costly to find, which adds uncertainty to management and conservation planning. Models based on air photo interpretation of forest cover maps or assessments by low-level helicopter flights are currently used to rank presumed Marbled Murrelet nesting habitat quality in British Columbia. These rankings are assumed to correlate with nest usage and murrelet breeding productivity. Our goal was to find the models that best predict Marbled Murrelet nesting habitat in the ground-accessible portion of the two regions studied. We generated Resource Selection Functions (RSF) using logistic regression models of ground-based forest stand variables gathered at plots around 64 nests, located using radio-telemetry, versus 82 random habitat plots. The RSF scores are proportional to the probability of nests occurring in a forest patch. The best models differed somewhat between the two regions, but include both ground variables at the patch scale (0.2-2.0 ha), such as platform tree density, height and trunk diameter of canopy trees and canopy complexity, and landscape scale variables such as elevation, aspect, and slope. Collecting ground-based habitat selection data would not be cost-effective for widespread use in forestry management; air photo interpretation and low-level aerial surveys are much more efficient methods for ranking habitat suitability on a landscape scale. This study provides one method for ground-truthing the remote methods, an essential step made possible using the numerical RSF scores generated herein.

Evaluating Document Retrieval Methods for Resource Selection in Clustered P2P IR

Resource Selection (or Query Routing) is an important step in P2P IR. Though analogous to document retrieval in the sense of choosing a relevant subset of resources, resource selection methods have evolved independently from those for document retrieval. Among the reasons for such divergence is that document retrieval targets scenarios where underlying resources are semantically homogeneous, whereas peers would manage diverse content. We observe that semantic heterogeneity is mitigated in the clustered 2-tier P2P IR architecture resource selection layer by way of usage of clustering, and posit that this necessitates a re-look at the applicability of document retrieval methods for resource selection within such a framework. This paper empirically benchmarks document retrieval models against the state-of-the-art resource selection models for the problem of resource selection in the clustered P2P IR architecture, using classical IR evaluation metrics. Our benchmarking study illustrates that document retrieval models significantly outperform other methods for the task of resource selection in the clustered P2P IR architecture. This indicates that clustered P2P IR framework can exploit advancements in document retrieval methods to deliver corresponding improvements in resource selection, indicating potential convergence of these fields for the clustered P2P IR architecture.

Reindeer habitat selection under the risk of brown bear predation during calving season

The depredation of semi-domesticated reindeer by large carnivores reflects an important human-wildlife conflict in Fennoscandia. Recent studies have revealed that brown bears (Ursus arctos) may kill substantial numbers of reindeer calves (Rangifer tarandus tarandus) in forest areas in Sweden. Several authors have suggested that predation risk is an important driver of habitat selection in wild Rangifer populations where predation is a limiting factor, but little is known about these mechanisms in semi-domesticated populations. We examined the habitat selection of female reindeer in relation to spatial and temporal variations in brown bear predation risk on the reindeer calving grounds and evaluated the simultaneous responses of brown bears and reindeer to landscape characteristics. We used GPS data from 110 reindeer years (97 individuals) and 29 brown bear years (19 individuals), from two reindeer herding districts in the forest area of northern Sweden. Our results did not indicate that reindeer alter their behavior in response to spatiotemporal variation in brown bear predation risk, on the scale of the calving range. Instead, we suggest that spatiotemporal behavioral adjustments by brown bears were the main driver of prey-predator interactions in our study system. Contrasting responses by brown bears and reindeer to clear-cuts and young forest indicate that forestry can influence species interactions and possibly yield negative consequences for the reindeer herd. Even if clear-cuts may be beneficial in terms of calf survival, logging activity will eventually cause greater abundance of young regenerating forest, reducing available reindeer habitats and increasing habitat preferred by brown bears. Domestication may have made semi-domesticated reindeer in Fennoscandia less adapted to cope with predators. Areal restrictions, limiting the opportunity for dispersion and escape, possibly make the calves more susceptible to predation. Also, a generally higher population density in semi-domesticated herds compared to wild populations can make dispersion a less efficient strategy and the reindeer calves easier prey. Overall, the lack of ability of the reindeer females to reduce brown bear encounter risk on the scale of the calving range is probably an important reason for the high brown bear predation rates on reindeer calves documented in our study areas. 

Assessing landscape functional connectivity in a forest carnivore using path selection functions

Context Understanding connectivity patterns in relation to habitat fragmentation is essential to landscape management. However, connectivity is often judged from expert opinion or species occurrence patterns, with very few studies considering the actual movements of individuals. Path selection functions provide a promising tool to infer functional connectivity from animal movement data, but its practical application remains scanty. Objectives We aimed to describe functional connectivity patterns in a forest carnivore using path-level analysis, and to explore how connectivity is affected by land cover patterns and road networks. Methods We radiotracked 22 common genets in a mixed forest-agricultural landscape of southern Portugal. We developed path selection functions discriminating between observed and random paths in relation to landscape variables. These functions were used together with land cover information to map conductance surfaces. Results Genets moved preferentially within forest patches and close to riparian habitats. Functional connectivity declined with increasing road density, but increased with the proximity of culverts, viaducts and bridges. Functional connectivity was favoured by large forest patches, and by the presence of riparian areas providing corridors within open agricultural land. Roads reduced connectivity by dissecting forest patches, but had less effect on riparian corridors due to the presence of crossing structures. Conclusions Genet movements were jointly affected by the spatial distribution of suitable habitats, and the presence of a road network dissecting such habitats and creating obstacles in areas otherwise permeable to animal movement. Overall, the study showed the value of path-level analysis to assess functional connectivity patterns in human-modified landscapes.

Beluga whale distribution, migration, and behavior in a changing Pacific Arctic

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

User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

Resource bounds analysis.

We present a generic analysis that infers both upper and lower bounds on the usage that a program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower- bound) cost functions for all procedures in the program. We also present an assertion language which is used to define both such resources and resource-related properties that the system can then check based on the results of the analysis. We have performed some experiments with some concrete resource-related properties such as execution steps, bits sent or received by an application, number of arithmetic operations performed, number of calls to a procedure, number of transactions, etc. presenting the resource usage functions inferred and the times taken to perform the analysis. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Towards an abstract domain for resource analysis of logic programs using sized types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Desenvolvimento de uma ferramenta de pré-selecção de recursos para empresas ágeis/virtuais

Mestrado em Engenharia Electrotécnica e de Computadores

Potential hosts number in cuckoo bees (Psithyrus subgen.) increases toward higher elevations

In severe and variable conditions, specialized resource selection strategies should be less fre‐ quent because extinction risks increase for species that depend on a single and unstable resource. Psithyrus (Bombus subgenus Psithyrus) are bumblebee parasites that usurp Bombus nests and display inter‐specific variation in the number of hosts they parasitize. Using a phylogenetic comparative frame‐ work, we show that Psithyrus species at higher elevations display a higher number of hosts species com‐ pared with species restricted to lower elevations. Species inhabiting high elevations also cover a larger temperature range, suggesting that species able to occur in colder conditions may benefit from recruit‐ ment from populations occurring in warmer conditions. Our results provide evidence for an 'altitudinal niche breadth hypothesis' in parasitic species, showing a decrease in the parasites' specialization along the elevational gradient, and also suggesting that Rapoport's rule might apply to Psithyrus.

Virtuaalisen lajittelujärjestelmän hyödyntäminen postipalveluyrityksen tuotannollisessa prosessissa

Työn tavoitteena oli kehittää toimintoperusteista kustannuslaskentaa soveltamalla laskentamalli, jonka avulla on mahdollista tutkia postipalveluyrityksen tuotannollisen prosessin kokonaistuottavuuden kannalta optimaalista tapaa hyödyntää virtuaalista lajittelujärjestelmää. Kimputuksen osalta syntyi teoreettinen laskentamalli, mutta kuljetusyksiköinnin osalta pyrittiin muodostamaan todellista prosessia mahdollisimman hyvin noudattava malli, jonka tuloksia on helppo tutkia erilaisilla kustannus- ja lähetysparametreillä. Virtuaalisen lajittelujärjestelmän tuotannollisen hyödyntämisen ohella työssä oli tarkoitus toteuttaa alustavaa analyysia siitä, millä tapaa järjestelmän avulla voidaan tuottaa myös muuta lisäarvoa postipalvelutuotannolle. Analyysissa havaittiin alustavia hyödyntämismahdollisuuksia palvelutuotannon kuormitussuunnittelun, osoitelaatusidonnaisten toimintojen sekä postiin jätön ja prosessiin ohjauksen osalta. Ottamatta kantaa hyödyntämismahdollisuuksien toteutettavuuteen analyysin keskeinen tulos oli kuitenkin se, että järjestelmän hyödyntämisen osalta tutkimattomia teitä on vielä lukuisia.