Microduplication of the ICR2 Domain at Chromosome 11p15 and Familial Silver-Russell Syndrome

Silver-Russell syndrome (SRS) is characterized by severe intrauterine and postnatal growth retardation in association with a typical small triangular face and other variable features. Genetic and epigenetic disturbances are detected in about 50% of the patients. Most frequently, SRS is caused by altered gene expression on chromosome 11p15 due to hypomethylation of the telomeric imprinting center (ICR1) that is present in at least 40% of the patients. Maternally inherited duplications encompassing ICR1 and ICR2 domains at 11p15 were found in a few patients, and a microduplication restricted to ICR2 was described in a single SRS child. We report on a microduplication of the ICR2 domain encompassing the KCNQ1, KCNQ1OT1, and CDKN1C genes in a three-generation family: there were four instances of paternal transmissions of the microduplication from a single male uniformly resulting in normal offspring, and five maternal transmissions, via two clinically normal sisters, with all the children exhibiting SRS. This report provides confirmatory evidence that a microduplication restricted to the ICR2 domain results in SRS when maternally transmitted. (C) 2011 Wiley-Liss, Inc.

Linkage to chromosome 2q36.1 in autosomal dominant Dandy-Walker malformation with occipital cephalocele and evidence for genetic heterogeneity

We previously reported a Vietnamese-American family with isolated autosomal dominant occipital cephalocele. Upon further neuroimaging studies, we have recharacterized this condition as autosomal dominant Dandy-Walker with occipital cephalocele (ADDWOC). A similar ADDWOC family from Brazil was also recently described. To determine the genetic etiology of ADDWOC, we performed genome-wide linkage analysis on members of the Vietnamese-American and Brazilian pedigrees. Linkage analysis of the Vietnamese-American family identified the ADDWOC causative locus on chromosome 2q36.1 with a multipoint parametric LOD score of 3.3, while haplotype analysis refined the locus to 1.1 Mb. Sequencing of the five known genes in this locus did not identify any protein-altering mutations. However, a terminal deletion of chromosome 2 in a patient with an isolated case of Dandy-Walker malformation also encompassed the 2q36.1 chromosomal region. The Brazilian pedigree did not show linkage to this 2q36.1 region. Taken together, these results demonstrate a locus for ADDWOC on 2q36.1 and also suggest locus heterogeneity for ADDWOC.

Spindle and chromosome configurations of in vitro-matured oocytes from polycystic ovary syndrome and ovulatory infertile women: a pilot study

To evaluate the meiotic spindle and chromosomal distribution of in vitro-matured oocytes from infertile nonobese women with PCOS and male or tubal causes of infertility (controls), and to compare in vitro maturation (IVM) rates between groups. Seventy four patients (26 with PCOS and 48 controls) undergoing stimulated cycles of oocyte retrieval for ICSI were selected prospectively. Thirteen PCOS patients and 27 controls had immature oocytes retrieved submitted to IVM. After IVM, oocytes showing extrusion of the first polar body were fixed and processed for evaluation of the meiotic spindle and chromosome distribution by immunofluorescence microscopy. There were no differences between PCOS and control groups with respect to IVM rates (50.0% and 42.9%, respectively) nor the percentage of meiotic abnormalities in metaphase II oocytes (35.3% and 25%, respectively). In vitro-matured oocytes obtained from stimulated cycles of nonobese PCOS did not have an increased ratio of meiotic abnormalities.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Clonal Complex Chromosome Aberration in Non-Ossifying Fibroma

Cytogenetic information of non-ossifying fibromas (NOFs) is exceptionally limited. This fact relies, in part, on their benign nature but mainly because most cases evolve undetected or there is no need for surgical intervention. We report the case of a NOF arising in the left tibia of a 14-year-old male with an invariable clonal translocation. The karyotype was denoted as 42-46,XY,t(11;3;14)(q23;p21;p11). There are only two previous reported cases of clonally aberrant NOF. Records from additional cases will be essential to assess whether consistent karyotypic aberrations define this lesion. Pediatr Blood Cancer 2010;54:764 767. (C) 2010 Wiley-Liss, Inc.

Grade II atypical choroid plexus papilloma with normal karyotype

Cytogenetic studies of atypical choroid plexus papillomas (CPP) have been poorly described. In the present report, the cytogenetic investigation of an atypical CPP occurring in an infant is detailed. CPP chromosome preparations were analyzed by giemsa-trypsin-banding (GTG-banding) and comparative genome hybridization (CGH). Conventional karyotype analysis of tumor culture showed a normal chromosome complement. The results were confirmed by CGH, showing normal hybridization patterns for the sample. To date, the few atypical CPPs described in the literature have shown disparate cytogenetic information. This is the first report of a normal chromosome complement in atypical CPP. The heterogenic genetic features observed in these small series may reflect the diverse genetic background of choroid plexus tumors in children.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.