Learn More
In fungi and mammals, the majority of meiotic recombination occurs in narrow (1–2 kb) hot spots 1–3. Human and mouse hot spots are targeted to DNA sequence motifs by the zinc finger domain protein PRDM9 (refs. 4–11). PRDM9-dependent crossovers occur mainly in intergenic regions and introns, with the lowest amount of recombination occurring in exons 9,12.(More)
Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalabil-ity is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scal-able development(More)
Whole genome duplication is a prominent feature of many highly evolved organisms, especially plants. When duplications occur within species, they yield genomes comprising multiple identical or very similar copies of each chromosome (“autopolyploids”). Such genomes face special challenges during meiosis, the specialized cellular program that underlies gamete(More)
During meiosis homologous chromosomes undergo crossover recombination. Sequence differences between homologs can locally inhibit crossovers. Despite this, nucleotide diversity and population-scaled recombination are positively correlated in eukaryote genomes. To investigate interactions between heterozygosity and recombination we crossed Arabidopsis lines(More)
Preface Product Line Engineering (PLE) is an increasingly important paradigm in software development whereby commonalities and variations among similar systems are systematically identied and exploited. PLE covers a large spectrum of activities , from domain analysis to product validation and testing. Variability is manifested throughout this spectrum in(More)
  • 1