ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • C++  (1)
  • Key words: Homoplasy — Microsatellites — Microsatellite evolution — Allele evolution — Apodemus  (1)
  • Springer  (2)
  • American Chemical Society
  • American Institute of Physics (AIP)
  • Society of Economic Geologists (SEG)
  • Springer Nature
  • 2000-2004  (2)
Collection
Publisher
  • Springer  (2)
  • American Chemical Society
  • American Institute of Physics (AIP)
  • Society of Economic Geologists (SEG)
  • Springer Nature
Years
  • 2000-2004  (2)
Year
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Journal of molecular evolution 51 (2000), S. 166-172 
    ISSN: 1432-1432
    Keywords: Key words: Homoplasy — Microsatellites — Microsatellite evolution — Allele evolution — Apodemus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract. Microsatellite length variation was investigated at a highly variable microsatellite locus in four species of Apodemus. Information obtained from microsatellite allele sequences was contrasted with allele sizes, which included 18 electromorphs. Additional analysis of a 400-bp unique sequence in the flanking region identified 26 different haplotype sequences or ``true'' alleles in the sample. Three molecular mechanisms, namely, (1) addition/deletion of repeats, (2) substitutions and indels in the flanking region, and (3) mutations interrupting the repeat, contributed to the generation of allelic variation. Size homoplasy can be inferred for alleles within populations, from different populations of the same species, and from different species. We propose that microsatellite flanking sequences may be informative markers for investigating mutation processes in microsatellite repeats as well as phylogenetic relationships among alleles, populations, and species.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Automated software engineering 7 (2000), S. 315-343 
    ISSN: 1573-7535
    Keywords: formal specification ; model-based specification ; precondition ; postcondition ; executable specification ; concurrent constraint programming ; C++
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We have implemented a technique for execution of formal, model-based specifications. The specifications we can execute are written at a level of abstraction that is close to that used in nonexecutable specifications. The specification abstractions supported by our execution technique include using quantified assertions to directly construct post-state values, and indirect definitions of post-state values (definitions that do not use equality). Our approach is based on translating specifications to the concurrent constraint programming language AKL. While there are, of course, expressible assertions that are not executable, our technique is amenable to any formal specification language based on a finite number of intrinsic types and pre- and postcondition assertions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...