Search results for "Tree"
showing 10 items of 1841 documents
Evolution and genetic structure of the great tit (Parus major) complex
2003
The great tit complex is divided into four groups, each containing several subspecies. Even though the groups are known to differ markedly on morphological, vocal and behavioural characters, some hybridization occurs in the regions where they meet. The great tit has often been referred to as an example of a ring species, although this has later been questioned. Here, we have studied the genetic structure and phylogenetic relationships of the subspecies groups to clarify the evolutionary history of the complex using control region sequences of the mitochondrial DNA. The subspecies groups were found to be monophyletic and clearly distinct in mitochondrial haplotypes, and therefore must have h…
Reliability of mitochondrial DNA in an acanthocephalan: The problem of pseudogenes
2006
The utility of mitochondrial DNA as a molecular marker for evolutionary studies is well recognized. However, several problems can arise when using mitochondrial DNA, one of which is the presence of nuclear mitochondrial pseudogenes, or Numts. Pseudogenes of cytochrome oxidase I were preferentially amplified from Acanthocephalus lucii (Acanthocephala) using a universal PCR approach. To verify the presence and abundance of pseudogenes, length heterogeneity analysis of the PCR fragments was performed. PCR products obtained with universal primers often contained fragments of different sizes. Cloned sequences from universal PCR products nearly always contained sequence abnormalities such as inde…
Phylogenetic analysis of Sicilian goats reveals a new mtDNA lineage.
2006
The mitochondrial hypervariable region 1 (HVR1) sequence of 67 goats belonging to the Girgentana, Maltese and Derivata di Siria breeds was partially sequenced in order to present the first phylogenetic characterization of Sicilian goat breeds. These sequences were compared with published sequences of Indian and Pakistani domestic goats and wild goats. Mitochondrial lineage A was observed in most of the Sicilian goats. However, three Girgentana haplotypes were highly divergent from the Capra hircus clade, indicating that a new mtDNA lineage in domestic goats was found.
The complete mitochondrial genome of Bactrocera biguttula (Bezzi) (Diptera: Tephritidae) and phylogenetic relationships with other Dacini
2018
Bactrocera biguttula is an African olive fruit fly that does not attack cultivated olives but rather develops in the fruits of wild species of Olea and Noronhia. The complete mitochondrial genome of an individual specimen was characterized in comparison to other Bactrocera. The phylogenetic relationships of B. biguttula with other Dacini were investigated, with special focus on B. oleae, an agricultural pest known to attack cultivated and wild olives. The sequence had a total length of 15,829 bp, and included the typical features of insect mitogenomes, similarly to the other Bactrocera analysed. Start codons included ATG, ATC, ATT, and TCG (in COI). The majority of stop codons (TAA) were fu…
Phylogeny of the Drosophila obscura species group deduced from mitochondrial DNA sequences
1994
Approximately 2 kb corresponding to different regions of the mtDNA of 14 different species of the obscura group of Drosophila have been sequenced. In spite of the uncertainties arising in the phylogenetic reconstruction due to a restrictive selection toward a high mtDNA A+T content, all the phylogenetic analysis carried out clearly indicate that the obscura group is formed by, at least, four well-defined lineages that would have appeared as the consequence of a rapid phyletic radiation. Two of the lineages correspond to monophyletic subgroups (i.e., affinis and pseudoobscura), whereas the obscura subgroup remains heterogeneous assemblage that could be reasonably subdivided into at least two…
Platyzoan mitochondrial genomes.
2012
Platyzoa is a putative lophotrochozoan (spiralian) subtaxon within the protostome clade of Metazoa, comprising a range of biologically diverse, mostly small worm-shaped animals. The monophyly of Platyzoa, the relationships between the putative subgroups Platyhelminthes, Gastrotricha and Gnathifera (the latter comprising at least Gnathostomulida, "Rotifera" and Acanthocephala) as well as some aspects of the internal phylogenies of these subgroups are highly debated. Here we review how complete mitochondrial (mt) genome data contribute to these debates. We highlight special features of the mt genomes and discuss problems in mtDNA phylogenies of the clade. Mitochondrial genome data seem to be …
Statistical Validation of the Identification of Tuna Species: Bootstrap Analysis of Mitochondrial DNA Sequences
2002
Sequencing of the mitochondrial cytochrome b gene has been used to differentiate three tuna species: Thunnus albacares (yellowfin tuna), Thunnus obesus (bigeye tuna), and Katsuwonus pelamis (skipjack). A PCR amplified 528 bp fragment from 30 frozen samples and a 171 bp fragment from 26 canned samples of the three species were analyzed to determine the intraspecific variation and the positions with diagnostic value. Polymorphic sites between the species that did not present intraspecific variation were given a diagnostic value. The genetic distance between the sequences was calculated, and a phylogenetic tree was constructed, showing that the sequences belonging to the same species clustered…
Mitochondrial genome sequence and gene order of Sipunculus nudus give additional support for an inclusion of Sipuncula into Annelida.
2010
Abstract Background Mitochondrial genomes are a valuable source of data for analysing phylogenetic relationships. Besides sequence information, mitochondrial gene order may add phylogenetically useful information, too. Sipuncula are unsegmented marine worms, traditionally placed in their own phylum. Recent molecular and morphological findings suggest a close affinity to the segmented Annelida. Results The first complete mitochondrial genome of a member of Sipuncula, Sipunculus nudus, is presented. All 37 genes characteristic for metazoan mtDNA were detected and are encoded on the same strand. The mitochondrial gene order (protein-coding and ribosomal RNA genes) resembles that of annelids, b…
Building a new CTL model checker using Web services
2013
This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…