896 resultados para Automated proof


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Includes bibliographical references.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Adult diamondback moths (DBM), Plutella xylostella L. (Lepidoptera: Plutellidae), inoculated with the fungus Zoophthora radicans, were released within a large field cage containing DBM-infested potted broccoli plants. Larvae and pupae on exposed and caged control plants were examined on five occasions over the next 48 days for evidence of Z. radicans infection. Infected larvae were first detected on exposed plants 4 days after the initial release of adults, and after 48 days the infection level reached 79%. Aerially borne conidia were a factor in transmission of the fungus. Infection had no effect on possible losses of larval and adult cadavers due to scavengers in field crops. In a trial to measure the influence of infection on dispersal, twice as many non-infected as infected males were recaptured in pheromone traps, although the difference in cumulative catch only became significant 3 days after release of the males. In a separate experiment, when adult moths were inoculated with Beauveria bassiana conidia and released into the field cage, DBM larvae collected from 37 of 96 plants sampled 4 days later subsequently died from B. bassiana infection. The distribution of plants from which the infected larvae were collected was random, but the distribution of infected larvae was clustered within the cage. These findings suggest that the auto-dissemination of fungal pathogens may be a feasible strategy for DBM control, provided that epizootics can be established and maintained when DBM population densities are low.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Arguably the deepest fact known about the von Neumann entropy, the strong subadditivity inequality is a potent hammer in the quantum information theorist's toolkit. This short tutorial describes a simple proof of strong subadditivity due to Petz [Rep. on Math. Phys. 23 (1), 57-65 (1986)]. It assumes only knowledge of elementary linear algebra and quantum mechanics.