Applying pure mathematics: mathematics in the natural sciences

The book of nature is written in the language of mathematics. This quotation, attributed to Galileo, seemed to hold to an unreasonable1 extent in the era of quantum mechanics.

Complete and interpretable conformance checking of business processes

This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution. Given a business process model and an event log, the method returns a set of statements in natural language describing the behavior allowed by the process model but not observed in the log and vice versa. The method relies on a unified representation of process models and event logs based on a well-known model of concurrency, namely event structures. Specifically, the problem of conformance checking is approached by folding the input event log into an event structure, unfolding the process model into another event structure, and comparing the two event structures via an error-correcting synchronized product. Each behavioral difference detected in the synchronized product is then verbalized as a natural language statement. An empirical evaluation shows that the proposed method scales up to real-life datasets while producing more concise and higher-level difference descriptions than state-of-the-art conformance checking methods.

Classical Biological Control for the Protection of Natural Ecosystems.

Of the 70 cases of classical biological control for the protection of nature found in our review, there were fewer projects against insect targets (21) than against invasive plants (49), in part, because many insect biological control projects were carried out against agricultural pests, while nearly all projects against plants targeted invasive plants in natural ecosystems. Of 21 insect projects, 81% (17) provided benefits to protection of biodiversity, while 48% (10) protected products harvested from natural systems, and 5% (1) preserved ecosystem services, with many projects contributing to more than one goal. In contrast, of the 49 projects against invasive plants, 98% (48) provided benefits to protection of biodiversity, while 47% (23) protected products, and 25% (12) preserved ecosystem services, again with many projects contributing to several goals. We classified projects into complete control (pest generally no longer important), partial control (control in some areas but not others), and "in progress," for projects in development for which outcomes do not yet exist. For insects, of the 21 projects discussed, 59% (13) achieved complete control of the target pest, 18% (4) provided partial control, and 41% (9) are still in progress. By comparison, of the 49 invasive plant projects considered, 27% (13) achieved complete control, while 33% (16) provided partial control, and 47% (24) are still in progress. For both categories of pests, some projects' success ratings were scored twice when results varied by region. We found approximately twice as many projects directed against invasive plants than insects and that protection of biodiversity was the most frequent benefit of both insect and plant projects. Ecosystem service protection was provided in the fewest cases by either insect or plant biological control agents, but was more likely to be provided by projects directed against invasive plants, likely because of the strong effects plants exert on landscapes. Rates of complete success appeared to be higher for insect than plant targets (59% vs 27%), perhaps because most often herbivores gradually weaken, rather than outright kill, their hosts, which is not the case for natural enemies directed against pest insects. For both insect and plant biological control, nearly half of all projects reviewed were listed as currently in progress, suggesting that the use of biological control for the protection of wildlands is currently very active.

Geographic and Phenotypic Variation in Heartwood and Essential-Oil Characters in Natural Populations of Santalum austrocaledonicum in Vanuatu.

Phenotypic variation in heartwood and essential-oil characters of Santalum austrocaledonicum was assessed across eleven populations on seven islands of Vanuatu Trees differed significantly in their percentage heartwood cross-sectional area and this varied independently of stem diameter The concentrations of the four major essential-oil constituents (alpha-santalol, beta-santalol. (Z)-beta-curcumen-12-ol, and cis-nuciferol) of alcohol-extracted heartwood exhibited at least tenfold and continuous tree-to-tree variation Commercially important components alpha- and beta-santalol found in individual trees ranged from 0 8-47% and 0-24 1%, respectively, across all populations, and significant (P < 0 05) differences for each were found between Individual populations. The Erromango population was unique in that the mean concentrations of its monocyclic ((Z)-beta-curcumen-12-ol and cis-nuciferol) sesquiterpenes exceeded those of Its bi- and tricyclic (alpha- and beta-santalol) sesquiterpenes Heartwood colour varied between trees and spanned 65 colour categories, but no identifiable relationships were found between heartwood colour and alpha- and beta-santalol, although a weak relationship was evident between colour saturation and total oil concentration These results indicate that the heartwood colour is not a reliable predictive trait for oil quality The results of this study highlight the knowledge gaps in fundamental understanding of heartwood biology in Santalum genus The intraspecific variation in heartwood cross-sectional area. oil concentration. and oil quality traits is of considerable importance to the domestication of sandalwood and present opportunities for the development of highly superior S austrocaledonicum cultivars that conform to the industry's International Standards used for S album.

Increased profitability through product diversification and improved sugar quality.

The proposed simplified Integrated Sugar Production Process (ISPP) using membrane technology would allow the sugar industry to produce new product streams and higher quality mill sugar with increased sugar extraction efficiency. Membrane filtration technology has proven to be a technically sound process to increase sugar quality. However commercial viability has been uncertain partly because the benefits to crystallisation and sugar quality have not outweighed the increased processing cost. This simplified ISPP produces additional value-added liquid streams to make the membrane fractionation process more financially viable and improve the profitability of sugar manufacture. An experimental study used pilot scale membrane fractionation of clarified mill juice confirmed the technical feasibility of separating inorganic salt and antioxidant rich fractions from cane juice. The paper presents details on the compositions of the liquid streams along with their potential uses, values and challenges in getting these products out to market.

Equilibrium studies of ammonium exchange with Australian natural zeolites

This paper is concerned with the study of the equilibrium exchange of ammonium ions with two natural zeolite samples sourced in Australia from Castle Mountain Zeolites and Zeolite Australia. A range of sorption models including Langmuir Vageler, Competitive Langmuir, Freundlich, Temkin, Dubinin Astakhov and Brouers–Sotolongo were applied in order to gain an insight as to the exchange process. In contrast to most previous studies, non-linear regression was used in all instances to determine the best fit of the experimental data. Castle Mountain natural zeolite was found to exhibit higher ammonium capacity than Zeolite Australia material when in the freshly received state, and this behavior was related to the greater amount of sodium ions present relative to calcium ions on the zeolite exchange sites. The zeolite capacity for ammonium ions was also found to be dependent on the solution normality, with 35–60% increase inuptake noted when increasing the ammonium concentration from 250 to 1000 mg/L. The optimal fit ofthe equilibrium data was achieved by the Freundlich expression as confirmed by use of Akaikes Information Criteria. It was emphasized that the bottle-point method chosen influenced the isotherm profile in several ways, and could lead to misleading interpretation of experiments, especially if the constant zeolite mass approach was followed. Pre-treatment of natural zeolite with acid and subsequently sodium hydroxide promoted the uptake of ammonium species by at least 90%. This paper highlighted the factors which should be taken into account when investigating ammonium ion exchange with natural zeolites.

Wastewater remediation options for prawn farms - Aquaculture Industry Development Initiative 2002-04.

There are many potential bioremediation approaches that may be suitable for prawn farms in Queensland. Although most share generally accepted bioremediation principles, advocacy for different methods tends to vary widely. This diversity of approach is particularly driven by the availability and knowledge of functional species at different localities around the world. In Australia, little is known about the abilities of many native species in this regard, and translocation and biosecurity issues prevent the use of exotic species that have shown potential in other countries. Species selected must be tolerant of eutrophic conditions and ecological shifts, because prawn pond nutrient levels and pathways can vary with different assemblages of autotrophic and heterotrophic organisms. Generally, they would be included in a constructed ecosystem because of their functional contributions to nutrient cycling and uptake, and to create nutrient sinks in forms of harvestable biomass. Wide salinity, temperature and water quality tolerances are also valuable attributes for selected species due to the sometimes-pronounced effects of environmental extremes, and to provide over-wintering options and adequate safety margins in avoiding mass mortalities. To practically achieve these bioremediation polycultures on a large scale, and in concert with the operations of a prawn farm, methods involving seed production, stock management, and a range of other farm engineering and product handling systems need to be reliably achievable and economically viable. Research funding provided by the Queensland Government through the Aquaculture Industry Development Initiative (AIDI) 2002-04 has enabled a number of technical studies into biological systems to treat prawn farm effluent for recirculation and improved environmental sustainability. AIDI bioremediation research in southern Queensland was based at the Bribie Island Aquaculture Research Centre (BIARC), and was conducted in conjunction with AIDI genetics and selection research, and a Natural Heritage Trust (NHT) funded program (Coast and Clean Seas Project No.717757). This report compilation provides a summary of some of the work conducted within these programs.

Axial heat conduction effects in natural convection along a vertical cylinder

MANY TRANSPORprTo cesses occur in nature and in industrial applications in which the transfer of heat is governed by the process of natural convection. Natural convection arises in fluids when the temperature changes cause density variations leading to buoyancy forces. An excellent review of natural convection flows has been given by Ede [I]. Recently, Minkowycz and Sparrow [2, 31, Cebeci [4], and Aziz and Na [S] have studied the steady, laminar, incompressible, natural convection flow over a vertical cylinder using a local nonsimilarity method, a finite-difference scheme, and an improved perturbation method, respectively. However, they did not take into account the effect ofaxial heat conduction for small Prandtl number. It is known that the axial heat conductioneffect becomesimportant for low-Prandtl-number fluids such as a liquid metal.

Natural Preservation Technologies for Tropical Fruits

The project intends to establish a cross DEEDI industry-leveraged project for tropical fruit convenience products.

Methanotrophs from natural ecosystems for ruminant methane mitigation

Enteric fermentation of methane by ruminant animals represents a major source of anthropogenic methane production. Methane produced in this manner is released to the atmosphere where it is highly efficient at absorbing thermal radiation, which consequently increases the global surface temperature. Although many different strategies to control ruminant methane emissions have been considered, few are currently considered viable. Obligate and acultative methane oxidising bacteria (MOB) and anaerobic methane oxidising archaea (ANME) play a fundamental role in the carbon cycle by metabolising methane before it is released into the atmosphere. Because of this, methanotrophic microorganisms represent a novel biological control agent in mitigating ruminant methane emissions. This project aims to characterise methanotrophic microorganisms from a range of environments, and to subsequently determine the metabolic activity of these microorganisms under in vitro rumen-like conditions.

Development of a Gulf community based natural resource monitoring program.

Development of a Gulf community based natural resource monitoring program, with sawfish as an initial focus.

Product-library-derived specification parameters in building information models augmentation

This paper conceptualizes a framework for bridging the BIM (building information modelling)-specifications divide through augmenting objects within BIM with specification parameters derived from a product library. We demonstrate how model information, enriched with data at various LODs (levels of development), can evolve simultaneously with design and construction using different representation of a window object embedded in a wall as lifecycle phase exemplars at different levels of granularity. The conceptual standpoint is informed by the need for exploring a methodological approach which extends beyond current limitations of current modelling platforms in enhancing the information content of BIM models. Therefore, this work demonstrates that BIM objects can be augmented with construction specification parameters leveraging product libraries.

Representation and properties of para-Bose oscillator operators. II. Coherent states and the minimum uncertainty states

The energy, position, and momentum eigenstates of a para-Bose oscillator system were considered in paper I. Here we consider the Bargmann or the analytic function description of the para-Bose system. This brings in, in a natural way, the coherent states ||z;alpha> defined as the eigenstates of the annihilation operator ?. The transformation functions relating this description to the energy, position, and momentum eigenstates are explicitly obtained. Possible resolution of the identity operator using coherent states is examined. A particular resolution contains two integrals, one containing the diagonal basis ||z;alpha><−z;alpha||. We briefly consider the normal and antinormal ordering of the operators and their diagonal and discrete diagonal coherent state approximations. The problem of constructing states with a minimum value of the product of the position and momentum uncertainties and the possible alpha dependence of this minimum value is considered. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Development of regulatory T cells in the human thymus

The role of the immune system is to protect an organism against pathogens while maintaining tolerance against self. T cells are an essential component of the immune system and they develop in the thymus. The AIRE (autoimmune regulator) gene product plays an important role in T cell development, as it promotes expression of peripheral tissue antigens in the thymus. Developing T cells, thymocytes, which recognize self-antigens with high affinity are deleted. However, this deletion process is not perfect and not all autoreactive T cells are destroyed. When the distinction between self and non-self fails, tolerance breaks and the immune system attacks the host s own tissues. This results in autoimmunity. Regulatory T cells contribute to the maintenance of self-tolerance. They can actively suppress the function of autoreactive cells. Several populations of cells with regulatory properties have been described, but the best characterized population is the natural regulatory T cells (Treg cells), which develop in the thymus and express the transcription factor FOXP3. The thymic development of Treg cells in humans is the subject of this thesis. Thymocytes at different developmental stages were analyzed using flow cytometry. The CD4-CD8- double-negative (DN) thymocytes are the earliest T cell precursors in the T cell lineage. My results show that the Treg cell marker FOXP3 is up-regulated already in a subset of these DN thymocytes. FOXP3+ cells were also found among the more mature CD4+CD8+ double-positive (DP) cells and among the CD4+ and CD8+ single-positive (SP) thymocytes. The different developmental stages of the FOXP3+ thymocytes were isolated and their gene expression examined by quantitative PCR. T cell receptor (TCR) repertoire analysis was used to compare these different thymocyte populations. My data show that in humans commitment to the Treg cell lineage is an early event and suggest that the development of Treg cells follows a linear developmental pathway, FOXP3+ DN precursors evolving through the DP stage to become mature CD4+ Treg cells. Most T cells have only one kind of TCR on their cell surface, but a small fraction of cells expresses two different TCRs. My results show that the expression of two different TCRs is enriched among Treg cells. Furthermore, both receptors were capable of transmitting signals when bound by a ligand. By extrapolating flow cytometric data, it was estimated that the majority of peripheral blood Treg cells are indeed dual-specific. The high frequency of dual-specific cells among human Treg cells suggests that dual-specificity has a role in directing these cells to the Treg cell lineage. It is known that both genetic predisposition and environmental factors influence the development of autoimmunity. It is also known that the dysfunction or absence of Treg cells leads to the development of autoimmune manifestations. APECED (autoimmune polyendocrinopathy-candidiasis-ectodermal dystrophy) is a rare monogenic autoimmune disease, caused by mutations in the AIRE gene. In the absence of AIRE gene product, deletion of self-specific T cells is presumably disturbed and autoreactive T cells escape to the periphery. I examined whether Treg cells are also affected in APECED. I found that the frequency of FOXP3+ Treg cells and the level of FOXP3 expression were significantly lower in APECED patients than in controls. Additionally, when studied in cell cultures, the suppressive capacity of the patients' Treg cells was impaired. Additionally, repertoire analysis showed that the TCR repertoire of Treg cells was altered. These results suggest that AIRE contributes to the development of Treg cells in humans and the selection of Treg cells is impaired in APECED patients. In conclusion, my thesis elucidates the developmental pathway of Treg cells in humans. The differentiation of Tregs begins early during thymic development and both the cells dual-specificity and AIRE probably affect the final commitment of Treg cells.