880 resultados para TCTL (timed computation tree logic)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study evaluated a novel presynchronization method, using Ovsynch prior to the Ovsynch-timed AI protocol (Double-Ovsynch) compared to Presynch-Ovsynch. Lactating Holstein (n = 337) cows, were assigned to two treatment groups: (1) Presynch (n = 180), two injections of PGF 14 d apart, followed by the Ovsynch-timed AI protocol 12 d later; (2) Double-Ovsynch (n = 157), received GnRH, PGF 7 d later, and GnRH 3 d later, followed by the Ovsynch-timed AI protocol 7 d later. All cows received the same Ovsynch-timed AI protocol: GnRH (G1) at 68 +/- 3 DIM (mean +/- SEM), PGF 7 d later, GnRH (G2) 56 h after PGF, and AI 16 to 20 h later. Pregnancy was diagnosed 39-45 d after timed AI. Double-Ovsynch increased the pregnancies per AI (P/AI) compared to Presynch-Ovsynch (49.7% vs 41.7%, P = 0.03). Surprisingly, Double-Ovsynch increased P/AI only in primiparous (65.2% vs 45.2%; P = 0.02) and not multiparous (37.5% vs 39.3%) cows. In a subset of 87 cows, ovarian ultrasonography and progesterone (P4) measurements were performed at G1 and 7 d later. Double-Ovsynch decreased the percentage of cows with low P4 (<1 ng/mL) at G1 (9.4% vs 33.3%) and increased the percentage of cows with high P4 (>= 3 ng/mL) at PGF (78.1% vs 52.3%). Thus, presynchronization of cows with Double-Ovsynch increased fertility in primiparous cows compared to a standard Presynch protocol, perhaps due to induction of ovulation in non-cycling cows and improved synchronization of cycling cows. Future studies are needed, with a larger number of cows, to further test the hypothesis of higher fertility with Double-Ovsynch, and to elucidate the physiological mechanisms that underlie apparent changes in fertility with this protocol. (C) 2008 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

After providing some brief background on Dendrolagus species in Australia, two consecutive surveys of Brisbane’s residents are used to assess public knowledge of tree-kangaroos and the stated degree of support for their conservation in Australia. The responses of participants in Survey I are based on their pre-survey knowledge of wildlife. The same additional set of participants completed Survey II after being provided with information on all the wildlife species mentioned in Survey I. Changes in the attitudes of respondents and their degree of support for the protection and conservation of Australia’s tree-kangaroos are measured, including changes in their contingent valuations and stated willingness to provide financial support for such conservation. Reasons for wanting to protect tree-kangaroos are specified and analyzed. Furthermore, changes that occur in the relative importance of these reasons with increased knowledge are also examined. Support for the conservation of tree-kangaroos is found to increase with the additional knowledge supplied. Furthermore, support for the conservation of Australia’s less well-known tropical mammals is shown to increase relative to better known mammals (icons) present in temperate areas, such as koalas and red kangaroos with this increased knowledge. Possible implications of the results for government conservation policies in Australia are examined.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A frequently desired outcome when rehabilitating Zn toxic sites in Australia is to establish a self-sustaining native ecosystem. Hence, it is important to understand the tolerance of Australian native plants to high concentrations of Zn. Very little is known about the responses of Australian native plants, and trees in particular, to toxic concentrations of Zn. Acacia holosericea, Eucalyptus camaldulensis and Melaleuca leucadendra plants were grown in dilute solution culture for 10 weeks. The seedlings (42 days old) were exposed to six Zn treatments viz., 0.5, 5, 10, 25, 50 and 100 muM. The order of tolerance to toxic concentrations of Zn was E. camaldulensis > A. holosericea > M. leucadendra, the critical external concentrations being approximately 20, 12 and 1.5 muM, respectively. Tissue Zn concentrations increased as solution Zn increased for all species. Root tissue concentrations were higher than shoot tissue concentrations at all solution Zn concentrations. The critical tissue Zn concentrations were approximately 85 and 110 mug g(-1) DM for M. leucadendra, 115 and 155 mug g(-1) DM for A. holosericea and 415 and 370 mug g(-1) DM for E. camaldulensis for the youngest fully expanded leaf and total shoots, respectively. The results from this paper provide the first comprehensive combination of growth responses, critical external concentrations, critical tissue concentrations and plant toxicity symptoms for three important Australian genera, viz., Eucalyptus, Acacia and Melaleuca, for use in the rehabilitation of potentially Zn toxic sites.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The design of open-access elliptical cross-section magnet systems has recently come under consideration. Obtaining values for the forces generated within these unusual magnets is important to progress the designs towards feasible instruments. This paper presents a novel and flexible method for the rapid computation of forces within elliptical magnets. The method is demonstrated by the analysis of a clinical magnetic resonance imaging magnet of elliptical cross-section and open design. The analysis reveals the non-symmetric nature of the generated Maxwell forces, which are an important consideration, particularly in the design of superconducting systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Free-ranging koalas (Phascolarctos cinereus) were monitored by means of radio-relocation in the area of Blair Athol Coal Mine and surrounding properties. Daytime tree use, home range and diet of these koalas was determined in spring and autumn, as was the leaf moisture composition of potential fodder species. Koalas used on average 93 (male koalas) and 56 (female koalas) trees during the period of observation, occupying home ranges of 135 and 101 ha respectively. Mean sightings per tree were 1.19 for both males and females and home-range sizes were not significantly different between sexes or seasons. Koalas were observed returning to previously used daytime roosting trees infrequently (

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Read-only-memory-based (ROM-based) quantum computation (QC) is an alternative to oracle-based QC. It has the advantages of being less magical, and being more suited to implementing space-efficient computation (i.e., computation using the minimum number of writable qubits). Here we consider a number of small (one- and two-qubit) quantum algorithms illustrating different aspects of ROM-based QC. They are: (a) a one-qubit algorithm to solve the Deutsch problem; (b) a one-qubit binary multiplication algorithm; (c) a two-qubit controlled binary multiplication algorithm; and (d) a two-qubit ROM-based version of the Deutsch-Jozsa algorithm. For each algorithm we present experimental verification using nuclear magnetic resonance ensemble QC. The average fidelities for the implementation were in the ranges 0.9-0.97 for the one-qubit algorithms, and 0.84-0.94 for the two-qubit algorithms. We conclude with a discussion of future prospects for ROM-based quantum computation. We propose a four-qubit algorithm, using Grover's iterate, for solving a miniature real-world problem relating to the lengths of paths in a network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A finite-element method is used to study the elastic properties of random three-dimensional porous materials with highly interconnected pores. We show that Young's modulus, E, is practically independent of Poisson's ratio of the solid phase, nu(s), over the entire solid fraction range, and Poisson's ratio, nu, becomes independent of nu(s) as the percolation threshold is approached. We represent this behaviour of nu in a flow diagram. This interesting but approximate behaviour is very similar to the exactly known behaviour in two-dimensional porous materials. In addition, the behaviour of nu versus nu(s) appears to imply that information in the dilute porosity limit can affect behaviour in the percolation threshold limit. We summarize the finite-element results in terms of simple structure-property relations, instead of tables of data, to make it easier to apply the computational results. Without using accurate numerical computations, one is limited to various effective medium theories and rigorous approximations like bounds and expansions. The accuracy of these equations is unknown for general porous media. To verify a particular theory it is important to check that it predicts both isotropic elastic moduli, i.e. prediction of Young's modulus alone is necessary but not sufficient. The subtleties of Poisson's ratio behaviour actually provide a very effective method for showing differences between the theories and demonstrating their ranges of validity. We find that for moderate- to high-porosity materials, none of the analytical theories is accurate and, at present, numerical techniques must be relied upon.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? We provide an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling n-qubit Hamiltonian and local unitary operations. It follows that universal quantum computation can be performed using any entangling interaction and local unitary operations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? Dodd [Phys. Rev. A 65, 040301(R) (2002)] provided a partial solution to this problem in the form of an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling N-qubit Hamiltonian, and local unitaries. We extend this result to the case where the component systems are qudits, that is, have D dimensions. As a consequence we explain how universal quantum computation can be performed with any fixed two-body entangling N-qudit Hamiltonian, and local unitaries.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.