Developing Topology Discovery in Event-B

We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and is the problem of each node in a network discovering and maintaining information on the network topology. One of the key challenges is specifying the problem itself. Our specification includes both safety properties, formalizing invariants that should hold in all system states, and liveness properties that characterize when the system reaches stable states. We establish these by appropriately combining proofs of invariant preservation, event refinement, event convergence, and deadlock freedom. The combination of these features is novel and should be useful for formalizing and developing other kinds of semi-reactive systems, which are systems that react to, but do not modify, their environment

Effectivity of play-based interventions in children with autism spectrum disorder and their parents: a systematic review

Education and Child Studie

Fast colon centreline calculation using optimised 3D topological thinning

Topological thinning can be used to accurately identify the central path through a computer model of the colon generated using computed tomography colonography. The central path can subsequently be used to simplify the task of navigation within the colon model. Unfortunately standard topological thinning is an extremely inefficient process. We present an optimised version of topological thinning that significantly improves the performance of centreline calculation without compromising the accuracy of the result. This is achieved by using lookup tables to reduce the computational burden associated with the thinning process

Performance of BRCA1/2 mutation prediction models in male breast cancer patients

To establish whether existing mutation prediction models can identify which male breast cancer (MBC) patients should be offered BRCA1 and BRCA2 diagnostic DNA screening, we compared the performance of BOADICEA (Breast and Ovarian Analysis of Disease Incidence and Carrier Estimation Algorithm), BRCAPRO (BRCA probability) and the Myriad prevalence table ("Myriad"). These models were evaluated using the family data of 307 Dutch MBC probands tested for BRCA1/2, 58 (19%) of whom were carriers. We compared the numbers of observed vs predicted carriers and assessed the Area Under the Receiver Operating Characteristic (ROC) Curve (AUC) for each model. BOADICEA predicted the total number of BRCA1/2 mutation carriers quite accurately (observed/predicted ratio: 0.94). When a cut-off of 10% and 20% prior probability was used, BRCAPRO showed a non-significant better performance (observed/predicted ratio BOADICEA: 0.81, 95% confidence interval [CI]: [0.60-1.09] and 0.79, 95% CI: [0.57-1.09], vs. BRCAPRO: 1.02, 95% CI: [0.75-1.38] and 0.94, 95% CI: [0.68-1.31], respectively). Myriad underestimated the number of carriers in up to 69% of the cases. BRCAPRO showed a non-significant, higher AUC than BOADICEA (0.798 vs 0.776). Myriad showed a significantly lower AUC (0.671). BRCAPRO and BOADICEA can efficiently identify MBC patients as BRCA1/2 mutation carriers. Besides their general applicability, these tools will be of particular value in countries with limited healthcare resources

A high-quality human reference panel reveals the complexity and distribution of genomic structural variants

Structural variation (SV) represents a major source of differences between individual human genomes and has been linked to disease phenotypes. However, the majority of studies provide neither a global view of the full spectrum of these variants nor integrate them into reference panels of genetic variation. Here, we analyse whole genome sequencing data of 769 individuals from 250 Dutch families, and provide a haplotype-resolved map of 1.9 million genome variants across 9 different variant classes, including novel forms of complex indels, and retrotransposition-mediated insertions of mobile elements and processed RNAs. A large proportion are previously under reported variants sized between 21 and 100 bp. We detect 4 megabases of novel sequence, encoding 11 new transcripts. Finally, we show 191 known, trait-associated SNPs to be in strong linkage disequilibrium with SVs and demonstrate that our panel facilitates accurate imputation of SVs in unrelated individuals

The Genome of the Netherlands: Design, and project goals

Within the Netherlands a national network of biobanks has been established (Biobanking and Biomolecular Research Infrastructure-Netherlands (BBMRI-NL)) as a national node of the European BBMRI. One of the aims of BBMRI-NL is to enrich biobanks with different types of molecular and phenotype data. Here, we describe the Genome of the Netherlands (GoNL), one of the projects within BBMRI-NL. GoNL is a whole-genome-sequencing project in a representative sample consisting of 250 trio-families from all provinces in the Netherlands, which aims to characterize DNA sequence variation in the Dutch population. The parent-offspring trios include adult individuals ranging in age from 19 to 87 years (mean=53 years; SD=16 years) from birth cohorts 1910-1994. Sequencing was done on blood-derived DNA from uncultured cells and accomplished coverage was 14-15x. The family-based design represents a unique resource to assess the frequency of regional variants, accurately reconstruct haplotypes by family-based phasing, characterize short indels and complex structural variants, and establish the rate of de novo mutational events. GoNL will also serve as a reference panel for imputation in the available genome-wide association studies in Dutch and other cohorts to refine association signals and uncover population-specific variants. GoNL will create a catalog of human genetic variation in this sample that is uniquely characterized with respect to micro-geographic location and a wide range of phenotypes. The resource will be made available to the research and medical community to guide the interpretation of sequencing projects. The present paper summarizes the global characteristics of the project

WGS-based telomere length analysis in Dutch family trios implicates stronger maternal inheritance and a role for RRM1 gene

Telomere length (TL) regulation is an important factor in ageing, reproduction and cancer development. Genetic, hereditary and environmental factors regulating TL are currently widely investigated, however, their relative contribution to TL variability is still understudied. We have used whole genome sequencing data of 250 family trios from the Genome of the Netherlands project to perform computational measurement of TL and a series of regression and genome-wide association analyses to reveal TL inheritance patterns and associated genetic factors. Our results confirm that TL is a largely heritable trait, primarily with mother’s, and, to a lesser extent, with father’s TL having the strongest influence on the offspring. In this cohort, mother’s, but not father’s age at conception was positively linked to offspring TL. Age-related TL attrition of 40 bp/year had relatively small influence on TL variability. Finally, we have identified TL-associated variations in ribonuclease reductase catalytic subunit M1 (RRM1 gene), which is known to regulate telomere maintenance in yeast. We also highlight the importance of multivariate approach and the limitations of existing tools for the analysis of TL as a polygenic heritable quantitative trait