De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods

Michele Ceccarelli, Luigi Cerulo, Antonella Santone

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

Reverse engineering of gene regulatory relationships from genomics data is a crucial task to dissect the complex underlying regulatory mechanism occurring in a cell. From a computational point of view the reconstruction of gene regulatory networks is an undetermined problem as the large number of possible solutions is typically high in contrast to the number of available independent data points. Many possible solutions can fit the available data, explaining the data equally well, but only one of them can be the biologically true solution. Several strategies have been proposed in literature to reduce the search space and/or extend the amount of independent information.In this paper we propose a novel algorithm based on formal methods, mathematically rigorous techniques widely adopted in engineering to specify and verify complex software and hardware systems. Starting with a formal specification of gene regulatory hypotheses we are able to mathematically prove whether a time course experiment belongs or not to the formal specification, determining in fact whether a gene regulation exists or not. The method is able to detect both direction and sign (inhibition/activation) of regulations whereas most of literature methods are limited to undirected and/or unsigned relationships.We empirically evaluated the approach on experimental and synthetic datasets in terms of precision and recall. In most cases we observed high levels of accuracy outperforming the current state of art, despite the computational cost increases exponentially with the size of the network.We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it.

Original languageEnglish
Pages (from-to)298-305
Number of pages8
JournalMethods
Volume69
Issue number3
DOIs
Publication statusPublished - 1 Oct 2014
Externally publishedYes

Fingerprint

Formal methods
Gene Regulatory Networks
Time series
Genes
Regulator Genes
Reverse engineering
Bioinformatics
Genomics
Computational Biology
Gene expression
Software
Chemical activation
Hardware
Costs and Cost Analysis
Costs
Experiments
Formal specification

Keywords

  • Formal methods
  • Gene regulatory network
  • Reverse engineering

ASJC Scopus subject areas

  • Molecular Biology
  • Biochemistry, Genetics and Molecular Biology(all)

Cite this

De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods. / Ceccarelli, Michele; Cerulo, Luigi; Santone, Antonella.

In: Methods, Vol. 69, No. 3, 01.10.2014, p. 298-305.

Research output: Contribution to journalArticle

@article{2fefa3d4f7134cbeb53493704c20b81a,
title = "De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods",
abstract = "Reverse engineering of gene regulatory relationships from genomics data is a crucial task to dissect the complex underlying regulatory mechanism occurring in a cell. From a computational point of view the reconstruction of gene regulatory networks is an undetermined problem as the large number of possible solutions is typically high in contrast to the number of available independent data points. Many possible solutions can fit the available data, explaining the data equally well, but only one of them can be the biologically true solution. Several strategies have been proposed in literature to reduce the search space and/or extend the amount of independent information.In this paper we propose a novel algorithm based on formal methods, mathematically rigorous techniques widely adopted in engineering to specify and verify complex software and hardware systems. Starting with a formal specification of gene regulatory hypotheses we are able to mathematically prove whether a time course experiment belongs or not to the formal specification, determining in fact whether a gene regulation exists or not. The method is able to detect both direction and sign (inhibition/activation) of regulations whereas most of literature methods are limited to undirected and/or unsigned relationships.We empirically evaluated the approach on experimental and synthetic datasets in terms of precision and recall. In most cases we observed high levels of accuracy outperforming the current state of art, despite the computational cost increases exponentially with the size of the network.We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it.",
keywords = "Formal methods, Gene regulatory network, Reverse engineering",
author = "Michele Ceccarelli and Luigi Cerulo and Antonella Santone",
year = "2014",
month = "10",
day = "1",
doi = "10.1016/j.ymeth.2014.06.005",
language = "English",
volume = "69",
pages = "298--305",
journal = "Methods",
issn = "1046-2023",
publisher = "Academic Press Inc.",
number = "3",

}

TY - JOUR

T1 - De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods

AU - Ceccarelli, Michele

AU - Cerulo, Luigi

AU - Santone, Antonella

PY - 2014/10/1

Y1 - 2014/10/1

N2 - Reverse engineering of gene regulatory relationships from genomics data is a crucial task to dissect the complex underlying regulatory mechanism occurring in a cell. From a computational point of view the reconstruction of gene regulatory networks is an undetermined problem as the large number of possible solutions is typically high in contrast to the number of available independent data points. Many possible solutions can fit the available data, explaining the data equally well, but only one of them can be the biologically true solution. Several strategies have been proposed in literature to reduce the search space and/or extend the amount of independent information.In this paper we propose a novel algorithm based on formal methods, mathematically rigorous techniques widely adopted in engineering to specify and verify complex software and hardware systems. Starting with a formal specification of gene regulatory hypotheses we are able to mathematically prove whether a time course experiment belongs or not to the formal specification, determining in fact whether a gene regulation exists or not. The method is able to detect both direction and sign (inhibition/activation) of regulations whereas most of literature methods are limited to undirected and/or unsigned relationships.We empirically evaluated the approach on experimental and synthetic datasets in terms of precision and recall. In most cases we observed high levels of accuracy outperforming the current state of art, despite the computational cost increases exponentially with the size of the network.We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it.

AB - Reverse engineering of gene regulatory relationships from genomics data is a crucial task to dissect the complex underlying regulatory mechanism occurring in a cell. From a computational point of view the reconstruction of gene regulatory networks is an undetermined problem as the large number of possible solutions is typically high in contrast to the number of available independent data points. Many possible solutions can fit the available data, explaining the data equally well, but only one of them can be the biologically true solution. Several strategies have been proposed in literature to reduce the search space and/or extend the amount of independent information.In this paper we propose a novel algorithm based on formal methods, mathematically rigorous techniques widely adopted in engineering to specify and verify complex software and hardware systems. Starting with a formal specification of gene regulatory hypotheses we are able to mathematically prove whether a time course experiment belongs or not to the formal specification, determining in fact whether a gene regulation exists or not. The method is able to detect both direction and sign (inhibition/activation) of regulations whereas most of literature methods are limited to undirected and/or unsigned relationships.We empirically evaluated the approach on experimental and synthetic datasets in terms of precision and recall. In most cases we observed high levels of accuracy outperforming the current state of art, despite the computational cost increases exponentially with the size of the network.We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it.

KW - Formal methods

KW - Gene regulatory network

KW - Reverse engineering

UR - http://www.scopus.com/inward/record.url?scp=84927158722&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84927158722&partnerID=8YFLogxK

U2 - 10.1016/j.ymeth.2014.06.005

DO - 10.1016/j.ymeth.2014.06.005

M3 - Article

VL - 69

SP - 298

EP - 305

JO - Methods

JF - Methods

SN - 1046-2023

IS - 3

ER -