title: Constraint-based analysis of gene interactions using restricted boolean networks and time-series data.
abstract: BACKGROUND
  A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the Boolean network model and time-series data. Actually, the Boolean network is restricted in the sense that only a subset of all possible Boolean functions are considered. We explore some mathematical properties of the restricted Boolean networks in order to avoid the full search approach. The problem is modeled as a Constraint Satisfaction Problem (CSP) and CSP techniques are used to solve it.
  
  
  RESULTS
  We applied the proposed algorithm in two data sets. First, we used an artificial dataset obtained from a model for the budding yeast cell cycle. The second data set is derived from experiments performed using HeLa cells. The results show that some interactions can be fully or, at least, partially determined under the Boolean model considered.
  
  
  CONCLUSIONS
  The algorithm proposed can be used as a first step for detection of gene/protein interactions. It is able to infer gene relationships from time-series data of gene expression, and this inference process can be aided by a priori knowledge available.
authors.affiliation: Institute of Mathematics and Statistics, University of Sao Paulo, Rua do Matao 1010, 05508-090, Sao Paulo - SP, Brazil. ronaldo@ime.usp.br.
authors.forename: Carlos Ha
authors.initials: CH
authors.lastname: Higa
authors.forename: Vitor Hp
authors.initials: VH
authors.lastname: Louzada
authors.forename: Tales P
authors.initials: TP
authors.lastname: Andrade
authors.forename: Ronaldo F
authors.initials: RF
authors.lastname: Hashimoto