Brisbane Airport: An alluvial landscape veiled by marine sediments

At Brisbane Airport, the construction of a diversion channel for Kedron Brook exposed a former beach, low cliff and sand spit, which, with their associated sediments and acid sulfate soils, demonstrate a postglacial high sea-level 1.3 - 1.4 m above present mean sea-level. The beach appears to date from 4000 to 5000 y BP. It varies in level where it lies above soft ground; these variations, and sag depressions that follow buried streamlines, indicate sediment consolidation since withdrawal of the sea from the former shore. Most of the area consists of former estuarine deposits, mangrove and saline marshes, and stranded tidal flats on which acid sulfate soils are widely developed. The modern landforms mostly reproduce subsurface features, to the extent that the surface relief replicates the landscape transgressed by the sea 7000 years ago. A small rise of sea-level possibly to +0.65 m occurred about 2000-3000 years ago. Foredunes near the present shore that are related to a slightly lower level 1000 - 500 years ago (-0.25 m) are currently subject to wave erosion.

Verification of floating point programs

In this thesis we present an approach to automated verification of floating point programs. Existing techniques for automated generation of correctness theorems are extended to produce proof obligations for accuracy guarantees and absence of floating point exceptions. A prototype automated real number theorem prover is presented, demonstrating a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The prototype is tested on correctness theorems for two simple yet nontrivial programs, proving exception freedom and tight accuracy guarantees automatically. The prover demonstrates a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The experiments show how function intervals can be used to combat the information loss problems that limit the applicability of traditional interval arithmetic in the context of hard real number theorem proving.

The relationships between a developing regional airport and local commerce and industry

This thesis describes an investigation into a Local Authority's desire to use its airport to aid regional economic growth. Short studies on air freight. the impact of an airport on the local economy, incoming tourism. and the factors influencing airlines in their use of airports, show that this desire is valid. but only in so far as the airport enables air services to be provided. A survey of airlines. conducted to remedy some deficiencies in the documented knowledge on airline decision-making criteria. indicates that there is cause for concern about the methods used to develop air services. A comparison with the West German network suggests that Birmingham is underprovided with international scheduled flights, and reinforces the survey conclusion that an airport authority must become actively involved in the development of air services. Participation in the licence applications of two airlines to use Birmingham Airport confirms the need for involvement but without showing the extent of the influence which an airport authority may exert. The conclusion is reached that in order to fulfill its development potential, an airport must be marketed to both the general public and the air transport industry. There is also a need for a national air services plan.

Stuart v London City Airport 2012

Case law report - online

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

The Shapley value for airport and irrigation games

In this paper cost sharing problems are considered. We focus on problems given by rooted trees, we call these problems cost-tree problems, and on the induced transferable utility cooperative games, called irrigation games. A formal notion of irrigation games is introduced, and the characterization of the class of these games is provided. The well-known class of airport games Littlechild and Thompson (1977) is a subclass of irrigation games. The Shapley value Shapley (1953) is probably the most popular solution concept for transferable utility cooperative games. Dubey (1982) and Moulin and Shenker (1992) show respectively, that Shapley's Shapley (1953) and Young (1985)'s axiomatizations of the Shapley value are valid on the class of airport games. In this paper we show that Dubey (1982)'s and Moulin and Shenker (1992)'s results can be proved by applying Shapley (1953)'s and Young (1985)'s proofs, that is those results are direct consequences of Shapley (1953)'s and Young (1985)'s results. Furthermore, we extend Dubey (1982)'s and Moulin and Shenker (1992)'s results to the class of irrigation games, that is we provide two characterizations of the Shapley value for cost sharing problems given by rooted trees. We also note that for irrigation games the Shapley value is always stable, that is it is always in the core Gillies (1959).

The impact of airport shopping environments and dwell time on consumer spending

This article provides new insight into how the ambience and design of shopping environments impact onspending behaviour. Environmental cues in a retail area influence emotional states of by-passers, which in turn influence spending levels. Past research suggested that this effect only applies to shops with moderate arousal level. Also, several studies failed to confirm a relationship between emotions and spending levels. This is surprising, since high arousal environments (e.g., amusement parks, sports stadiums and airports) often feature a wide range of retail outlets. Based on survey data collected in a live airport shopping area, this study finds a relationship between pleasure emotions associated with the retail area and recalled consumer spending, but also the time available for shopping (which in an airport is constrained). Also, visitors’ emotional state was influenced by the ambience (e.g., cleanliness, noise levels, lighting) as well as the design (e.g., easy wayfinding, seating areas) of the retail area. Shopper’s arousal levels did not explain variations in spending level. Implications for researchers and managers are discussed as well as suggestions for future research.

Defining the role of floating periphyton mats in shaping food-web dynamics in the Florida Everglades

Expansive periphyton mats are a striking characteristic of the Florida Everglades. Floating periphyton mats are home to a diverse macroinvertebrate community dominated by chironomid and ceratopogonid larvae and amphipods that use the mat as both a food resource and refuge from predation. While this periphyton complex functions as a self-organizing system, it also serves as a base for trophic interactions with larger organisms. The purpose of my research was to quantify variation in the macroinvertebrate community inhabiting floating periphyton mats, describe the role of mats in shaping food-web dynamics, and describe how these trophic interactions change with eutrophication. ^ I characterized the macroinvertebrate community inhabiting periphyton through a wet-season by describing spatial variation on scales from 0.2 m to 3 km. Floating periphyton mats contained a diverse macroinvertebrate community, with greater taxonomic richness and higher densities of many taxa than adjacent microhabitats. Macroinvertebrate density increased through the wet season as periphyton mats developed. While some variation was noted among sites, spatial patterns were not observed on smaller scales. I also sampled ten sites representing gradients of hydroperiod and nutrient (P) levels. The density of macroinvertebrates inhabiting periphyton mats increased with increasing P availability; however, short-hydroperiod P-enriched sites had the highest macroinvertebrate density. This pattern suggests a synergistic interaction of top-down and bottom-up effects. In contrast, macroinvertebrate density was lower in benthic floc, where it was negatively correlated with hydroperiod. ^ I used two types of mesocosms (field cages and tanks) to manipulate large consumers (fish and grass shrimp) with inclusion/exclusion cages over an experimental P gradient. In most cases, periphyton mats served as an effective predation refuge. Macroinvertebrates were consumed more frequently in P-enriched treatments, where mats were also heavily grazed. Macroinvertebrate densities decreased with increasing P in benthic floc, but increased with enrichment in periphyton mats until levels were reached that caused disassociation of the mat. ^ This research documents several indirect trophic interactions that can occur in complex habitats, and emphasizes the need to characterize dynamics of all microhabitats to fully describe the dynamics of an ecosystem. ^