Inferring parameters in genetic regulatory networks Camilo La Rota 1 - - PowerPoint PPT Presentation

inferring parameters in genetic regulatory networks
SMART_READER_LITE
LIVE PREVIEW

Inferring parameters in genetic regulatory networks Camilo La Rota 1 - - PowerPoint PPT Presentation

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inferring parameters in genetic regulatory networks Camilo La Rota 1 Fabien Tarissan 2 Leo Liberti 2 1 Complex Systems Institute (IXXI) Ecole Normale


slide-1
SLIDE 1

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary

Inferring parameters in genetic regulatory networks

Camilo La Rota1 Fabien Tarissan2 Leo Liberti2

1Complex Systems Institute (IXXI)

Ecole Normale Superieure - CNRS, Lyon, France

2LIX (Computer science laboratory)

Ecole Polytechnique, Palaiseau, France

ARS Workshop, LIX-Polytechnique, Palaiseau, October 31 2008

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-2
SLIDE 2

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-3
SLIDE 3

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inverse Problems in Biological Complex Systems Biological Context

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-4
SLIDE 4

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inverse Problems in Biological Complex Systems Biological Context

European Morphex Project

Biological Problem Solving: Gene regulatory networks and cell interactions in morphogenesis. Models and protocols for parameter inference. Complex Systems: Meta-model and associated concepts for designing tools and protocols. Simulation Platform: Generic pre and post simulation tools and generic protocols.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-5
SLIDE 5

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inverse Problems in Biological Complex Systems Biological Context

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-6
SLIDE 6

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inverse Problems in Biological Complex Systems Biological Context

Genetic regulatory networks (GRN) and morphogenesis

Developmental stages of Arabidopsis Thaliana

Arabidopsis Flower Development

GRN dynamics + other factors : morphogenesis, structure, tissue diversity Continuous development Discrete stages

Genetic Control of Morphogenesis

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-7
SLIDE 7

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Inverse Problems in Biological Complex Systems Biological Context

GRN Subnetworks’ Stability

Mutants stable states ∼ Unstable states at wild-type stages.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-8
SLIDE 8

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-9
SLIDE 9

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Expression, regions and tissues

Expression data mRNA spatiotemporal distribution Qualitative Imprecise Time-discrete Exploiting the data Superposition of expression patterns reveals regions. Data is difficult to analyze, multiple interpretations are possible. Tentative subdivisions in homogeneous regions are proposed.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-10
SLIDE 10

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Cell or tissue lineage

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-11
SLIDE 11

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-12
SLIDE 12

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Interaction Network

Interaction data Molecular evidence Genetic evidence Exploiting the Data Uncertain Conflicting interpretations Error prone Prior Interaction Network

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-13
SLIDE 13

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-14
SLIDE 14

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network models

Gene transcription mechanisms, mass action kinetics: the Shea-Ackers model

Quantitative activity of gene i

d([xi](t)) dt

= fi([P],[x1],...,[xm])−λi[xi]

fi([P],[x1],...,[xm]) = ∑

s∈Si

ν(s)P(si = s) P(si = s) =

KB(s)[P]αs [x1]α1

s ...[xm]αm s

1+ ∑

z∈Si

KB(z)[P]αz [x1]α1

z ...[xm]αm z

Exemples of regulatory phenomena

Activation fi([P],[xa]) =

[P](νpKp+νapKap[xa]) 1+Kp[P]+Ka[xa]+Kap[xa][P]

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-15
SLIDE 15

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network models

Gene transcription mechanisms, mass action kinetics: the Shea-Ackers model

Quantitative activity of gene i

d([xi](t)) dt

= fi([P],[x1],...,[xm])−λi[xi]

fi([P],[x1],...,[xm]) = ∑

s∈Si

ν(s)P(si = s) P(si = s) =

KB(s)[P]αs [x1]α1

s ...[xm]αm s

1+ ∑

z∈Si

KB(z)[P]αz [x1]α1

z ...[xm]αm z

Exemples of regulatory phenomena

Activation fi([P],[xa]) =

[P](νpKp+νapKap[xa]) 1+Kp[P]+Ka[xa]+Kap[xa][P]

Repression fi([P],[xr]) =

[P]νpKp 1+Kp[P]+Kr [xr ]+Krp[xr ][P]

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-16
SLIDE 16

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network models

Gene transcription mechanisms, mass action kinetics: the Shea-Ackers model

Quantitative activity of gene i

d([xi](t)) dt

= fi([P],[x1],...,[xm])−λi[xi]

fi([P],[x1],...,[xm]) = ∑

s∈Si

ν(s)P(si = s) P(si = s) =

KB(s)[P]αs [x1]α1

s ...[xm]αm s

1+ ∑

z∈Si

KB(z)[P]αz [x1]α1

z ...[xm]αm z

Exemples of regulatory phenomena

Activation fi([P],[xa]) =

[P](νpKp+νapKap[xa]) 1+Kp[P]+Ka[xa]+Kap[xa][P]

Repression fi([P],[xr]) =

[P]νpKp 1+Kp[P]+Kr [xr ]+Krp[xr ][P]

Competition/Synergy fi([P],[x1],...,[xm]) =

[P](νpKp+ ∑

i∈{1,...,m}

νipKip[xi])

1+Kp[P]+

i∈{1,...,m}

Ki[xi]+Kip[xi][P]

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-17
SLIDE 17

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network models

Quantitative Piecewise Differential and Qualitative Generalized Logical models

Quantitative activity of gene i

d(xi(t)) dt

= fi(x1,...,xm)−λixi(t)

fi(

  • x(t)) = ∑

j∈1,...,m

(ν0i +νjiHαji(xj(t),σji))

xi(t) = Fi(

  • x0)

λi

−( Fi(

  • x0)

λi

− x0

i )e−λit

σji: threshold of interaction. νji: induced transcription rate. αij : Kind of interaction (-1, +1) Remarks Lost: transitory dynamics, interaction crosstalk (constant thresholds).

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-18
SLIDE 18

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network models

Quantitative Piecewise Differential and Qualitative Generalized Logical models

Quantitative activity of gene i

d(xi(t)) dt

= fi(x1,...,xm)−λixi(t)

fi(

  • x(t)) = ∑

j∈1,...,m

(ν0i +νjiHαji(xj(t),σji))

xi(t) = Fi(

  • x0)

λi

−( Fi(

  • x0)

λi

− x0

i )e−λit

σji: threshold of interaction. νji: induced transcription rate. αij : Kind of interaction (-1, +1) Qualitative activity of gene i

qi(n) = ∆(xi(tn),{σji}j)

ψi(n) = ∆(fi(

  • x(tn))/λi,{σji}j)

ψi(n) = FL(q1(n),...,qm(n))

qi(n + 1) → ψi(n)

∆: Discretization operator. ψ: Image of state

q. FL : Multivalued function.

Remarks Lost: transitory dynamics, interaction crosstalk (constant thresholds).

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-19
SLIDE 19

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

Gene Regulatory Network model

Weighted sum and threshold boolean network paradigm

Qualitative activity of gene i

qi(n) = H(xi(tn),σi)

ψi(n) = H( fi(

  • x(tn))

λi

,σi)

qi(n + 1) = ψi(n)

fi(

  • x(tn))

λi

= ∑

j∈1,...,m

( ν0i

λi + νji λi Hαji(xj(t),σj))

qn+1

i

= H m ∑

j=1

αijwijqn

j −θi

  • θi: threshold of activation.

wij: interaction strength

  • (inducedproduction)

decay

  • .

αij : Kind of the interaction (−1,+1) Remarks No explicit update scheduling (transitory dynamics parameters lost).

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-20
SLIDE 20

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-21
SLIDE 21

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem (I): defining the GRN

Solve steady state equations, no time evolution

Gene Regulatory Network (GRN): (G,T,α,w,x,θ) Sets and Graph: V: vertexes (genes) A: arcs (interactions) G = (V,A) Evolution rules Functions:

α : A → {+1,−1}

arc sign; w : A → R+ arc weight; x : V → {0,1} gene state; y : V → {0,1} state image;

θ : V → R

threshold, y(v)

= 1

if

u∈δ −(v)

α(u,v)w(u,v)x(u) ≥ θ(v)

  • therwise,

where δ −(v) = {u ∈ V | (u,v) ∈ A} for all v ∈ V.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-22
SLIDE 22

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse probleme: defining the problem

Finding network parameters for simultaneous stable subnetworks

Given (G,α)

S := {1..Smax}: set of stages and/or mutants. U = {Us}s∈S;Us ⊆ V: nodes of Gs, the (induced) subnetworks of G. R = {Rs}s∈S;Rs := {1..Rmaxs} : regions of homogeneous expression.

Φ = {φs,r,u}s∈S,r∈Rs,u∈Us;φs,r,u : V → {0,1}: expression data. Find

w,θ such that all (Gs,α,w, xs,r,θ) satisfy the steadiness constraints and collectively minimize the total DH(

  • x,

φ).

DH : hamming distance from steady state (fixed point) to data.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-23
SLIDE 23

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Outline

1

Introduction Inverse Problems in Biological Complex Systems Biological Context

2

Modelling the Biological Problem Gene Expression, regions and tissues Gene Interaction Network Gene Regulatory Network models

3

GRN Inference Modelling the inverse problem

Defining the GRN Defining the inverse problem

Mathematical Programming Formulation

Definitions Objective Function and Constraints Objective Function and Constraints Reformulation and linearization

4

Ongoing work

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-24
SLIDE 24

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Mathematical Programming Formulation

minx f(x) subject to g(x)

0,

  • x: decision variables, f: objective function, g : constraints

Sets V, A, S, R (genes, interactions, stages, regions) Variables x : V × R → {0,1}, w : A → R+, θ : A → R Parameters α : A → {−1,+1},bounds: θ L,θ U,wL,wU

φv,r, (observed gene expression.)

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-25
SLIDE 25

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Objective Function and Constraints

Objective function

s∈S,r∈Rs ∑ u∈Us

|xs,u,r −ρs,u,r|

State image rules

u∈Us:(u,v)∈A

αu,vwu,vxs,r,u ≥ θvys,r,v −V(1− ys,r,v)

u∈Us:(u,v)∈A

αu,vwu,vxs,r,u ≤ (θv −ε)(1− ys,r,v)+Vys,r,v Steadiness conditions

∀s ∈ S,r ∈ Rs,u ∈ Us

ys,u,r = xs,u,r

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-26
SLIDE 26

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Cell or tissue lineage:

Knowledge on steady states AND initial conditions

Which transitory dynamics ? Which update scheduling ?

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-27
SLIDE 27

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse probleme(II): defining the GRN

Find fixed points from initial conditions

Gene Regulatory Network (GRN): (G,T,α,w,x,ι,θ) Sets and Graph: V: vertexes (genes) A: arcs (interactions) T : ={1,2,..} ⊂ N G = (V,A) Evolution rules Functions:

α : A → {+1,−1}

arc sign; w : A → R+ arc weight; x : V × T → {0,1} gene activation;

ι : V → {0,1}

initial configuration;

θ : V → R

threshold, x(v,1)

= ι(v)

x(v,t)

= 1

if

u∈δ −(v)

α(u,v)w(u,v)x(u,t − 1) ≥ θ(v)

  • therwise,

where δ −(v) = {u ∈ V | (u,v) ∈ A} for all v ∈ V.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-28
SLIDE 28

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem: defining the problem

Finding network parameters for simultaneous stable subnetworks,using initial condition data

Given (G,T,α)

S := {1..Smax}: set of stages and/or mutants. U = {Us}s∈S;Us ⊆ V: nodes of Gs, the (induced) subnetworks of G. R = {Rs}s∈S;Rs := {1..Rmaxs} : regions of homogeneous expression. I = {ιs,r,u}s∈S,r∈Rs,u∈Us;ιs,r,u : V → {0,1}: initial conditions.

Φ = {φs,r,u}s∈S,r∈Rs,u∈Us;φs,r,u : V → {0,1}: expression data. Find

w,θ such that ∀

ιs,r, (Gs,T,α,w,

xs,r,

ιs,r,θ) satisfies the evolution

constraints and have fixed points that collectively minimize DH(

ρ, φ).

DH(

ρ, φ) : total hamming distance from model fixed points to data.

fixed points (

ρ) : If

xt = xt−1 =

ρ then

xt′ = xt for all t′ > t.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-29
SLIDE 29

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem: ilustrating the problem

Finding network parameters for simulaneous stable subnetworks

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-30
SLIDE 30

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem: ilustrating the problem

Finding network parameters for simulaneous stable subnetworks

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-31
SLIDE 31

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem: ilustrating the problem

Finding network parameters for simulaneous stable subnetworks

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-32
SLIDE 32

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Modelling the inverse problem: ilustrating the problem

Finding network parameters for simulaneous stable subnetworks

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-33
SLIDE 33

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Mathematical Programming Formulation

minx f(x) subject to g(x)

0,

  • x: decision variables, f: objective function, g : constraints

Sets V, A, T, S, R (genes, interactions, time steps, stages,

regions)

Variables x : V × R × T → {0,1}, w : A → R+, θ : A → R Parameters α : A → {−1,+1},bounds: θ L,θ U,wL,wU

φv,r,ιv,r (observed gene expression and initial cond.)

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-34
SLIDE 34

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Objective Function and Constraints

Objective function

s∈S,r∈Rs ∑ t∈T\1

(σ t−1

s,r −σ t s,r) ∑ u∈Us

  • xt

s,u,r −ρs,u,r

  • Evolution rules

u∈Us:(u,v)∈A

αu,vwu,vxt−1

s,r,u

≥ θvxt

s,r,v −V(1− xt s,r,v)

u∈Us:(u,v)∈A

αu,vwu,vxt−1

s,r,u

≤ (θv −ε)(1− xt

s,r,v)+Vxt s,r,v

Fixed point conditions

u∈Us

|xt

s,u,r − xt−1 s,u,r|

≤ Usσ t

s,r

u∈Us

|xt

s,u,r − xt−1 s,u,r|

≥ σ t

s,r

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-35
SLIDE 35

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Modelling the inverse problem Mathematical Programming Formulation

Reformulation, Linearization and Solution

Nonconvex Mixed-Integer Nonlinear Program (MINLP). Reformulated exactly to a MILP. yx terms (y,x: binary) z ≥ 0 z ≤ y z ≤ x z ≥ x + y − 1

θx terms

(θ: real, x: binary)

ζ ≥ θ Lx ζ ≤ θ +(|θ L|+|θ U|)(1− x) ζ ≤ θ Ux ζ ≥ θ −(|θ L|+|θ U|)(1− x)

Absolute values and distances. Auxiliary decision variables for fixed point conditions. We use AMPL to write the model of the problem, and use CPLEX 11.0.1 to solve efficiently to optimality the MILP problem.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-36
SLIDE 36

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary

Ongoing work: transitory dynamics

Deterministic vs Stochastic Deterministic: Asynchronouse vs synchronous Biological interpretation Asynchronous parameters x(piτ+qi+1)

i

= Fi(x(piτ+qi))

pi: period qi: delay Biologically based

τx0

i = λilog(

1 1−di(x0

i )/Di(x0 i )))

λi : gene product degradation

Di : distance to state image di : distance to threshold

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-37
SLIDE 37

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-38
SLIDE 38

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary

Figure: WUS mutant Figure: Wild-type Stage 2 Figure: Wild-type Stage 3

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks

slide-39
SLIDE 39

Introduction Modelling the Biological Problem GRN Inference Ongoing work Results Summary

Summary

Static modelling of a dynamic system. Generic modeling approach for the inference of biological regulatory networks. Easier to test different models than simulation approaches. Perspectives

“Flexibilize” the “hard” constraint on the prior network (find signs, new interactions) Introduce theoretical results on regulatory networks. Multiobjective problems ? Reintroduce transitory dynamics (Is it possible using mathematical programming ?). Study more complicated qualitative models of GRN.

Camilo La Rota, Fabien Tarissan, Leo Liberti Inferring parameters in genetic regulatory networks