The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Composition and quality of harvest residues and soil organic matter under windrow residue management in young hoop pine plantations as revealed by solid-state C-13 NMR spectroscopy

Solid-state C-13 nuclear magnetic resonance (NMR) with cross-polarisation (CP) and magic-angle-spinning (MAS) was used to: (a) examine the changes in carbon (C) composition of windrowed harvest residues during the first 3 years of hoop pine plantations in subtropical Australia; (b) assess the impacts of windrowed harvest residues on soil organic matter (SOM) composition and quality in the 0-10 cm soil layer. Harvest residues were collected from 0-, 1-, 2- and 3-year-old windrows of ca. 2.5 m width (15 m apart for 0-, 1- and 2-year-old sites and 10 m apart for 3-year-old site). Soils from the 0 to 10 cm soil layer were collected from the 1-, 2- and 3-year-old sites. The 13C NMR spectra of the harvest residues indicated the presence of lignin in the hoop pine wood, foliage and newly incorporated organic matter (NIOM). Condensed tannin structures were found in the decay-resistant bark, small wood and foliage, but were absent in other residue components and SOM. The NMR spectra of small wood samples contained condensed tannin structures because the outer layer of bark was not removed. NIOM showed a shift from foliage-like structures (celluloses) to lignin-type structures, indicating an incorporation of woody residues from the decomposing harvest residues. Suberins were also present in the small wood, foliage and bark. The 13C CP NMR spectra of SOM indicated that in areas where windrows were present, SOM did not show compositional changes. However, an increase in SOM quality under the windrows in the second year after their formation as characterised by the alkyl C/O-alkyl C (A/O-A) ratio was mainly due to inputs from the decomposition of the labile, readily available components of the windrowed harvest residues. (C) 2002 Published by Elsevier Science B.V.

Genotype and environment effects on dynamics of harvest index during grain filling in sorghum

An approach based on a linear rate of increase in harvest index (141) with time after anthesis has been used as a simple means-to predict grain growth and yield in many crop simulation models. When applied to diverse situations, however, this approach has been found to introduce significant error in grain yield predictions. Accordingly, this study was undertaken to examine the stability of the HI approach for yield prediction in sorghum [Sorghum bicolor (L.) Moench]. Four field experiments were conducted under nonlimiting water. and N conditions. The experiments were sown at times that ensured a broad range in temperature and radiation conditions. Treatments consisted of two population densities and three genotypes varying in maturity. Frequent sequential harvests were used to monitor crop growth, yield, and the dynamics of 111. Experiments varied greatly in yield and final HI. There was also a tendency for lower HI with later maturity. Harvest index dynamics also varied among experiments and, to a lesser extent, among treatments within experiments. The variation was associated mostly with the linear rate of increase in HI and timing of cessation of that increase. The average rate of HI increase was 0.0198 d(-1), but this was reduced considerably (0.0147) in one experiment that matured in cool conditions. The variations found in IN dynamics could be largely explained by differences in assimilation during grain filling and remobilization of preanthesis assimilate. We concluded that this level of variation in HI dynamics limited the general applicability of the HI approach in yield prediction and suggested a potential alternative for testing.

Effect of time of harvest of budded virus on the selection of baculovirus FP mutants in cell culture

Rapid formation and selection of FP (few polyhedra) mutants occurs during serial passaging of Helicoverpa armigera nucleopolyhedrovirus (HaSNPV) in insect cell culture. The production of HaSNPV for use as biopesticides requires the passaging of the virus over a number of passages to produce enough virus inoculum for large-scale fermentation. During serial passaging in cell culture, FP mutants were rapidly selected, resulting in declined productivity and reduced potency of virus. Budded virus (BV) is usually harvested between 72 and 96 h postinfection (hpi) in order to obtain a high titer virus stock. In this study, the effect of tine of harvest (TOH) for BV on the selection rate of HaSNPV FP mutants during serial passaging was investigated. BV were harvested at different times postinfection, and each series was serially passaged for six passages. The productivity and percentage of FP mutants at each passage were determined. It was found that the selection of FP mutants can he reduced by employing an earlier TOH for BV. Serial passaging with BV harvested at 48 hpi showed a slower accumulation of FP mutants compared to that of BV harvested after 48 hpi. Higher cell specific yields were also maintained when BV were harvested at 48 hpi. When BV that were formed between 48 and 96 hpi were harvested and serially passaged, FP mutants quickly dominated the virus population. This suggests that the V formed and released between 48 and 96 hpi are most likely from FP mutant infected cells.

Characterisation of three ACC synthase gene family members during post-harvest-induced senescence in broccoli (Brassica oleracea L. var. italica)

We investigated the gene expression profiles of different members of the 1-aminocyclopropane-1-carboxilic acid (ACC) synthase (EC 4.4.1.14) gene family in broccoli (Brassica oleracea L. var. italica) during the post-harvest-induced senescence process. Using RT-PCR, three different cDNAs coding for ACC synthase (BROCACS1, BROCACS2 and BROCACS3) were amplified from floret tissue at the start of the senescence process. The three genes share relatively little homology, but have highly homologous sequences in Arabidopsis thaliana, and could be functionally related to these counterparts. Southern analyses suggest that BROCACS1 and BROCACS3 are present as single copy genes, while there are probably two copies of BROCACS2. All three genes showed different expression patterns: BROCACS1 is likely to be either wound - or mechanical stress-induced showing high transcript levels after harvesting, but no detectable expression afterwards. BROCACS2 shows steady expression throughout senescence, increasing at the latest stages, and BROCACS3 is almost undetectable until the final stages. Our results suggest that BROCACS1 could be required to initiate the senescence process, while BROCACS2 would be the main ACC synthase gene involved throughout the post-harvest-induced senescence. BROCACS3's expression pattern indicates that it is not directly involved in the initial stages of senescence, but in the final remobilization of cellular resources.

Development and evaluation of an automated annotation pipeline and cDNA annotation system

Manual curation has long been held to be the gold standard for functional annotation of DNA sequence. Our experience with the annotation of more than 20,000 full-length cDNA sequences revealed problems with this approach, including inaccurate and inconsistent assignment of gene names, as well as many good assignments that were difficult to reproduce using only computational methods. For the FANTOM2 annotation of more than 60,000 cDNA clones, we developed a number of methods and tools to circumvent some of these problems, including an automated annotation pipeline that provides high-quality preliminary annotation for each sequence by introducing an uninformative filter that eliminates uninformative annotations, controlled vocabularies to accurately reflect both the functional assignments and the evidence supporting them, and a highly refined, Web-based manual annotation tool that allows users to view a wide array of sequence analyses and to assign gene names and putative functions using a consistent nomenclature. The ultimate utility of our approach is reflected in the low rate of reassignment of automated assignments by manual curation. Based on these results, we propose a new standard for large-scale annotation, in which the initial automated annotations are manually investigated and then computational methods are iteratively modified and improved based on the results of manual curation.

Do harvest refuges buffer kangaroos against evolutionary responses to selective harvesting?

There is a wealth of literature documenting a directional change of body size in heavily harvested populations. Most of this work concentrates on aquatic systems, but terrestrial populations are equally at risk. This paper explores the capacity of harvest refuges to counteract potential effects of size-selective harvesting on the allele frequency,of populations. We constructed a stochastic, individual-based model parameterized with data on red kangaroos. Because we do not know which part of individual growth would change in the course of natural selection, we explored the effects of two alternative models of individual growth in which alleles affect either the growth rate or the maximum size. The model results show that size-selective harvesting can result in significantly smaller kangaroos for a given age when the entire population is subject to harvesting. In contrast, in scenarios that include dispersal from harvest refuges, the initial allele frequency remains virtually unchanged.

Automated Analysis of the Auditory Brainstem Response Using Derivative Estimation Wavelets

In this paper, we describe an algorithm that automatically detects and labels peaks I - VII of the normal, suprathreshold auditory brainstem response (ABR). The algorithm proceeds in three stages, with the option of a fourth: ( 1) all candidate peaks and troughs in the ABR waveform are identified using zero crossings of the first derivative, ( 2) peaks I - VII are identified from these candidate peaks based on their latency and morphology, ( 3) if required, peaks II and IV are identified as points of inflection using zero crossings of the second derivative and ( 4) interpeak troughs are identified before peak latencies and amplitudes are measured. The performance of the algorithm was estimated on a set of 240 normal ABR waveforms recorded using a stimulus intensity of 90 dBnHL. When compared to an expert audiologist, the algorithm correctly identified the major ABR peaks ( I, III and V) in 96 - 98% of the waveforms and the minor ABR peaks ( II, IV, VI and VII) in 45 - 83% of waveforms. Whilst peak II was correctly identified in only 83% and peak IV in 77% of waveforms, it was shown that 5% of the peak II identifications and 31% of the peak IV identifications came as a direct result of allowing these peaks to be found as points of inflection. Copyright (C) 2005 S. Karger AG, Basel.

Decomposition of nitrogen-15 labeled hoop pine harvest residues in subtropical Australia

Information on decomposition of harvest residues may assist in the maintenance of soil fertility in second rotation (2R) hoop pine plantations (Araucaria cunninghamii Aiton ex A. Cunn.) of subtropical Australia. The experiment was undertaken to determine the dynamics of residue decomposition and fate of residue-derived N. We used N-15-labeled hoop pine foliage, branch, and stem material in microplots, over a 30-mo period following harvesting. We examined the decomposition of each component both singly and combined, and used C-13 cross-polarization and magic-angle spinning nuclear magnetic resonance (C-13 CPMAS NMR) to chart C transformations in decomposing foliage. Residue-derived N-15 was immobilized in the 0- to 5-cm soil layer, with approximately 40% N-15 recovery in the soil from the combined residues by the end of the 30-mo period. Total recovery of N-15 in residues and soil varied between 60 and 80% for the combined-residue microplots, with 20 to 40% of the residue N-15 apparently lost. When residues were combined within microplots the rate of foliage decomposition decreased by 30% while the rate of branch and stem decomposition increased by 50 and 40% compared with rates for these components when decomposed separately. Residue decomposition studies should include a combined-residue treatment. Based on C-15 CPMAS NMR spectra for decomposing foliage, we obtained good correlations for methoxyl C, aryl C, carbohydrate C and phenolic C with residue mass, N-15 enrichment, and total N. The ratio of carbohydrate C to methoxyl C may be useful as an indicator of harvest residue decomposition in hoop pine plantations.

Effect of harvest time and drying on supersweet sweet corn seed quality

A supersweet sweet corn hybrid, Pacific H5, was grown under field conditions in South-East Queensland to study the effects of harvest time and drying conditions on seed quality. Cobs were harvested at different times to obtain seed with two moisture percentage ranges (20-30% and 40-50%) and dried to 12% moisture under different combinations of drying temperatures (30 degrees C, 40 degrees C and 50 degrees C) and air velocities (1.25 m/s, 2.75 m/s and 4.30 m/s). Dried seed was stored at 30 degrees C with bimonthly monitoring of seed quality for 12 months. For standard as well as cold test germinations, statistical analysis yielded significant main effects for temperature, air velocity and harvest moisture content and significant interactions for drying temperature by harvest moisture and drying temperature by air velocity. Germination at the beginning of storage was unaffected by drying temperatures up to 40 degrees C regardless of harvest moisture but was lower at 50 degrees C for higher moisture. However, germination at the end of the storage period of 12 months was greatest for seed harvested at higher moisture and dried at temperatures up to 40 degrees C. Germination was not affected by air velocity for drying temperatures up to 40 degrees C but at 50 degrees C it generally decreased with increase in air velocity. To slow down seed deterioration during storage, it is recommended that sweet corn seed should be harvested at a higher moisture range (40-50%) and dried at 40 degrees C and 4.30 m/s air velocity. The drying temperature can be raised to 50 degrees C for seed harvested at a low moisture range (20-30%) provided the air velocity is kept low (1.25 m/s).

Automated layout of small lattices using layer diagrams

Good quality concept lattice drawings are required to effectively communicate logical structure in Formal Concept Analysis. Data analysis frameworks such as the Toscana System use manually arranged concept lattices to avoid the problem of automatically producing high quality lattices. This limits Toscana systems to a finite number of concept lattices that have been prepared a priori. To extend the use of formal concept analysis, automated techniques are required that can produce high quality concept lattice drawings on demand. This paper proposes and evaluates an adaption of layer diagrams to improve automated lattice drawing. © Springer-Verlag Berlin Heidelberg 2006.