1000 resultados para 080299 Computation Theory and Mathematics not elsewhere classified
Resumo:
This paper constructs a reduction sequence model for north Australian points from the eastern Victoria River region, and identifies a single continuum linking unifacial and bifacial point forms, with some divergence from this single reduction trajectory dependent upon artefact size. Chronological changes in reduction intensity between 5,000BP and the present are found to coincide with typological variation in points as well as changing emphasis on the extendibility of point reduction. It is suggested that changes in the extendibility of point reduction can be linked to intensified ENSO-driven climatic variability in the late Holocene that likely increased economic risk and warranted a substantial technological response, including the use of retouched toolkits with potential for longer use-lives.
Resumo:
In this paper, it is shown that for any pair of integers (m, n) with 4 ≤ m ≤ n, if there exists an m-cycle system of order n, then there exists an irreducible 2-fold m-cycle system of order n, except when (m, n) = (5,5). A similar result has already been established for the case of 3-cycles. © 2005 Wiley Periodicals, Inc.
Resumo:
We have isolated 16 polymorphic microsatellite markers for the green-eyed tree frog, Litoria genimaculata, from genomic libraries enriched for (AAGG)(n) and (AAAG)(n) repetitive elements. The number of alleles ranges from four to 14 per locus with the observed heterozygosity ranging from 0.36 to 1.00. These markers will be useful for analysis of questions concerning population genetic structure and speciation.
Resumo:
We have isolated 18 polymorphic microsatellite loci for Cophixalus ornatus from genomic libraries enriched for (AAAG)(n), (AACC)(n) and (AAGG)(n) repetitive elements. The number of alleles ranges from five to 22 per locus with the observed heterozygosity ranging from 0.10 to 0.92. These markers will be useful for the analysis of population structure in C. ornatus and testing alternative models of speciation.
Resumo:
Designer peptides have recently been developed as building blocks for novel self-assembled materials with stimuli-responsive properties. To date, such materials have been based on self-assembly in bulk aqueous solution or at solid-fluid interfaces. We have designed a 21-residue peptide, AM1, as a stimuli-responsive surfactant that switches molecular architectures at a fluid-fluid interface in response to changes in bulk aqueous solution composition. In the presence of divalent zinc at neutral pH, the peptide forms a mechanically strong 'film state'. In the absence of metal ions or at acid pH, the peptide adsorbs to form a mobile 'detergent state'. The two interfacial states can be actively and reversibly switched. Switching between the two states by a change in pH or the addition of a chelating agent leads to rapid emulsion coalescence or foam collapse. This work introduces a new class of surfactants that offer an environmentally friendly approach to control the stability of interfaces in foams, emulsions and fluid-fluid interfaces more generally.
Resumo:
Predatory insects and spiders are key elements of integrated pest management (IPM) programmes in agricultural crops such as cotton. Management decisions in IPM programmes should to be based on a reliable and efficient method for counting both predators and pests. Knowledge of the temporal constraints that influence sampling is required because arthropod abundance estimates are likely to vary over a growing season and within a day. Few studies have adequately quantified this effect using the beat sheet, a potentially important sampling method. We compared the commonly used methods of suction and visual sampling to the beat sheet, with reference to an absolute cage clamp method for determining the abundance of various arthropod taxa over 5 weeks. There were significantly more entomophagous arthropods recorded using the beat sheet and cage clamp methods than by using suction or visual sampling, and these differences were more pronounced as the plants grew. In a second trial, relative estimates of entomophagous and phytophagous arthropod abundance were made using beat sheet samples collected over a day. Beat sheet estimates of the abundance of only eight of the 43 taxa examined were found to vary significantly over a day. Beat sheet sampling is recommended in further studies of arthropod abundance in cotton, but researchers and pest management advisors should bear in mind the time of season and time of day effects.
Resumo:
Many recombinant proteins are often over-expressed in host cells, such as Escherichia coli, and are found as insoluble and inactive protein aggregates known as inclusion bodies (IBs). Recently, a novel process for IB extraction and solubilisation, based on chemical extraction, has been reported. While this method has the potential to radically intensify traditional IB processing, the process economics of the new technique have yet to be reported. This study focuses on the evaluation of process economics for several IB processing schemes based on chemical extraction and/or traditional techniques. Simulations and economic analysis were conducted at various processing conditions using granulocyte macrophage-colony stimulating factor, expressed as IBs in E. coli, as a model protein. In most cases, IB processing schemes based on chemical extraction having a shorter downstream cascade demonstrated a competitive economic edge over the conventional route, validating the new process as an economically more viable alternative for IB processing.
Resumo:
In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.
Resumo:
The circulant graph Sn, where S ⊆ Zn \ {0}, has vertex set Zn and edge set {{x, x + s}|x ∈ Zn, s ∈ S}. It is shown that there is a Hamilton cycle decomposition of every 6-regular circulant graph Sn in which S has an element of order n.
Resumo:
While there is sufficient evidence to suggest that physical activity is inversely related to lifestyle diseases, researchers are far from being certain that this evidence extends to children. Nevertheless, the school physical education curriculum has been targeted as an institutional agency that could have a significant impact on health during childhood and later during adulthood if individuals could be habituated to assume a physically active lifestyle. The purpose of this article is to examine the recontextualization of biomedical knowledge into an ideology of healthism in which health is conceived as a controllable certainty and used as a pedagogical construction to transform school physical education. Using a Foucauldian perspective, we explore how the atomized biomedical model of chemical and physical relationships is constructed, reproduced, and perpetuated to service and empower the discourse and the practices of researchers and scholars. In this process the sociological or cultural aspects of public health are marginalized or ignored. As a result of this examination, alternative approaches are proposed that engage the limitations of the biomedical model and openly consider the insights that are available from the social sciences regarding what participation in physical activity means to individuals.
Resumo:
This paper argues that we need to bring government back into discussions about network governance, via the concept of metagovernance which uses water reform in an Australian state as an example. Metagovernance is defined as the government of governance, and is a vital but under researched and under theorised problem because it is difficult and contentious. The paper identifies a range of metagovernance failures in this case and suggests that the lessons learnt by the Australian authorities from the experience have led to some rethinking about the benefits and desirable scope of network governance.