Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Quantifying nitrous oxide emissions from sugarcane cropping systems : Optimum sampling time and frequency

Nitrous oxide (N2O) emissions from soil are often measured using the manual static chamber method. Manual gas sampling is labour intensive, so a minimal sampling frequency that maintains the accuracy of measurements would be desirable. However, the high temporal (diurnal, daily and seasonal) variabilities of N2O emissions can compromise the accuracy of measurements if not addressed adequately when formulating a sampling schedule. Assessments of sampling strategies to date have focussed on relatively low emission systems with high episodicity, where a small number of the highest emission peaks can be critically important in the measurement of whole season cumulative emissions. Using year-long, automated sub-daily N2O measurements from three fertilised sugarcane fields, we undertook an evaluation of the optimum gas sampling strategies in high emission systems with relatively long emission episodes. The results indicated that sampling in the morning between 09:00–12:00, when soil temperature was generally close to the daily average, best approximated the daily mean N2O emission within 4–7% of the ‘actual’ daily emissions measured by automated sampling. Weekly sampling with biweekly sampling for one week after >20 mm of rainfall was the recommended sampling regime. It resulted in no extreme (>20%) deviations from the ‘actuals’, had a high probability of estimating the annual cumulative emissions within 10% precision, with practicable sampling numbers in comparison to other sampling regimes. This provides robust and useful guidance for manual gas sampling in sugarcane cropping systems, although further adjustments by the operators in terms of expected measurement accuracy and resource availability are encouraged. By implementing these sampling strategies together, labour inputs and errors in measured cumulative N2O emissions can be minimised. Further research is needed to quantify the spatial variability of N2O emissions within sugarcane cropping and to develop techniques for effectively addressing both spatial and temporal variabilities simultaneously.

Protein feeding of Queensland fruit fly Bactrocera tryoni and cucumber fly Zeugodacus cucumis (Diptera: Tephritidae) on non-host vegetation: effect of plant species and bait height

Perimeter-baiting of non-crop vegetation using toxic protein baits was developed overseas as a technique for control of melon fly, Zeugodacus (Zeugodacus) cucurbitae (Coquillett) (formerly Bactrocera (Zeugodacus) cucurbitae), and evidence suggests that this technique may also be effective in Australia for control of local fruit fly species in vegetable crops. Using field cage trials and laboratory reared flies, primary data were generated to support this approach by testing fruit flies' feeding response to protein when applied to eight plant species (forage sorghum, grain sorghum, sweet corn, sugarcane, eggplant, cassava, lilly pilly and orange jessamine) and applied at three heights (1, 1.5 and 2 m). When compared across the plants, Queensland fruit fly, Bactrocera tryoni (Froggatt), most commonly fed on protein bait applied to sugarcane and cassava, whereas more cucumber fly, Zeugodacus (Austrodacus) cucumis (French) (formerly Bactrocera (Austrodacus) cucumis), fed on bait applied to sweet corn and forage sorghum. When protein bait was applied at different heights, B. tryoni responded most to bait placed in the upper part of the plants (2 m), whereas Z. cucumis preferred bait placed lower on the plants (1 and 1.5 m). These results have implications for optimal placement of protein bait for best practice control of fruit flies in vegetable crops and suggest that the two species exhibit different foraging behaviours.

Método Gráfico para establecer el campo de pendientes de una Ecuación Diferencial

Trabajo orientado en el área de ecuaciones diferenciales enfocándose en el método gráfico para establecer el campo de pendiente de una ecuación diferencial y el método de aproximaciones numéricas para aproximar la solución de una ecuación diferencial. Presenta los métodos de Euler, Runge-Kutta de cuarto orden y el método multipasos de Adams-Bashforth-Moulton. Asimismo, se explica las ecuaciones mediante el uso del software para los métodos gráficos tales como el Maple y Geogebra.

A single panmictic population of endemic red crabs, Gecarcoidea natalis, on Christmas Island with high levels of genetic diversity

The red crab, Gecarcoidea natalis, is endemic to Christmas Island in the Indian Ocean and largely responsible for shaping the unique ecosystem found throughout the island's rainforests. However, the introduction and establishment of supercolonies of the highly invasive yellow crazy ant, Anoplolepis gracilipes, has decimated red crab numbers over the last several decades. This poses a significant risk to the future conservation of G. natalis and consequently threatens the integrity of the unique island ecosystem. Here we undertook a population genetic analysis of G. natalis using a combination of 11 microsatellite markers and sequencing of the mitochondrial cytochrome oxidase subunit I gene from samples collected on Christmas Island as well as a single location from North Keeling Island (located approximately 900 km west of Christmas Island). The genetic results indicate that G. natalis is a single panmictic population on Christmas Island, with no spatial genetic structure or restricted gene flow apparent between sampled locations. Further, G. natalis from North Keeling Island are not genetically distinct and are recent immigrants from Christmas Island. The effective population size of G. natalis has likely remained large and stable on Christmas Island throughout its evolutionary history with relatively moderate to high levels of genetic diversity in microsatellite loci and mitochondrial haplotypes assessed in this study. For management purposes G. natalis can be considered a single panmictic population, which should simplify conservation efforts for the genetic management of this iconic island species. © 2014 Springer Science+Business Media Dordrecht.

Somewhat saved : a captive breeding programme for two endemic Christmas Island lizard species, now extinct in the wild

As with many islands, Christmas Island in the Indian Ocean has suffered severe biodiversity loss. Its terrestrial lizard fauna comprised five native species, of which four were endemic. These were abundant until at least the late 1970s, but four species declined rapidly thereafter and were last reported in the wild between 2009 and 2013. In response to the decline, a captive breeding programme was established in August 2009. This attempt came too late for the Christmas Island forest skink Emoia nativitatis, whose last known individual died in captivity in 2014, and for the non-endemic coastal skink Emoia atrocostata. However, two captive populations are now established for Lister's gecko Lepidodactylus listeri and the blue-tailed skink Cryptoblepharus egeriae. The conservation future for these two species is challenging: reintroduction will not be possible until the main threats are identified and controlled.

Utilisation d’arbres de faible vigueur provenant de forêts feuillues tempérées comme matière première pour la fabrication de granules de bois

La présente étude avait pour objectif de contribuer à une meilleure compréhension de la granulation des bois feuillus par l’évaluation de la possibilité technique de transformer des bois feuillus de faible vigueur (l’érable à sucre et le bouleau jaune) en granules conventionnels et granules de haute qualité, un type prometteur de transport énergétique. Trois études individuelles ont été réalisées et présentées dans cette thèse. La première étude visait à déterminer s’il y a des changements de teneur en extractibles, cendres, et lignine du bois entre les classes de vigueur des arbres. Les teneurs plus élevées en extractibles et en lignine dans les arbres peu vigoureux ont suggéré que ces derniers sont plus appropriés par rapport aux arbres vigoureux pour la conversion en biocombustibles solides. La deuxième étude visait à optimiser des procédés de granulation des bois feuillus. L’étude a porté sur l’influence des paramètres du procédé (la température et la force de compression) et des caractéristiques de la matière première (la taille des particules et la teneur en humidité) sur les propriétés physiques et mécaniques des granules de bois. Le procédé de granulation doit être effectué à une température d’environ 100 °C pour minimiser la force de friction dans le granulateur et à une teneur en humidité d’environ 11,2% pour maximiser la masse volumique et la résistance mécanique des granules produites. Cette étude a également confirmé que les arbres de faible qualité sont plus appropriés pour la fabrication de granules de bois que les arbres vigoureux. La troisième étude visait l’élaboration de granules de haute qualité. L’eau chaude à température élevée a été utilisée pour modifier les propriétés de la matière première avant granulation. Les caractéristiques de granulation du matériau traité ont été significativement améliorées. Les granules produites ont montré des propriétés améliorées incluant une plus faible teneur en cendres, une plus haute densité énergétique, une meilleure résistance à l’eau, et une meilleure résistance mécanique. Les résultats obtenus de toutes ces études ont démontré la nécessité de bien connaître les fondements de la granulation des bois feuillus et les solutions pratiques pour l’utilisation d’arbres feuillus de faible qualité, le premier peut être applicable pour le développement de procédés de granulation et le dernier peut contribuer à long terme à la restauration des forêts feuillues dégradées en termes de santé des forêts et de leur valeur.