Provisioning Strategies of Antarctic Fur Seals and Chinstrap Penguins Produce Different Responses to Distribution of Common Prey and Habitat

Central-place foragers that must return to a breeding site to deliver food to offspring are faced with trade-offs between prey patch quality and distance from the colony. Among colonial animals, pinnipeds and seabirds may have different provisioning strategies, due to differences in their ability to travel and store energy. We compared the foraging areas of lactating Antarctic fur seals and chinstrap penguins breeding at Seal Island, Antarctica, to investigate whether they responded differently to the distribution of their prey (Antarctic krill and myctophid fish) and spatial heterogeneity in their habitat. Dense krill concentrations occurred in the shelf region near the colony. However, only brooding penguins, which are expected to be time-minimizers because they must return frequently with whole food for their chicks, foraged mainly in this proximal shelf region. Lactating fur seals and incubating penguins, which can make longer trips to increase energy gain per trip, and so are expected to be energy-maximizers, foraged in the more distant (>20 km from the island) slope and oceanic regions. The shelf region was characterized by more abundant, but lower-energy-content immature krill, whereas the slope and oceanic regions had less abundant but higher-energy-content gravid krill, as well as high-energy-content myctophids. Furthermore, krill in the shelf region undertook diurnal vertical migration, whereas those in the slope and oceanic regions stayed near the surface throughout the day, which may enhance the capture rate for visual predators. Therefore, we sug- gest that the energy-maximizers foraged in distant, but potentially more profitable feeding regions, while the time-minimizers foraged in closer, but potentially less profitable regions. Thus, time and energy constraints derived from different provisioning strategies may result in sympatric colonial predator species using different foraging areas, and as a result, some central-place foragers use sub- optimal foraging habitats, in terms of the quality or quantity of available prey.

Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.