The Bio-chemical Information Processing Metaphor as a Programming - - PowerPoint PPT Presentation

the bio chemical information processing metaphor as a
SMART_READER_LITE
LIVE PREVIEW

The Bio-chemical Information Processing Metaphor as a Programming - - PowerPoint PPT Presentation

The Bio-chemical Information Processing Metaphor as a Programming Paradigm for Organic Computing (CHEMORG III) Gabi Escuela, Peter Kreyig, and Peter Dittrich Friedrich-Schiller-University Jena, Department of Mathematics and Computer Science,


slide-1
SLIDE 1

The Bio-chemical Information Processing Metaphor as a Programming Paradigm for Organic Computing (CHEMORG III)

Gabi Escuela, Peter Kreyßig, and Peter Dittrich Friedrich-Schiller-University Jena, Department of Mathematics and Computer Science, Bio Systems Analysis Group

  • 15. September 2011
slide-2
SLIDE 2

Overview erview

  • Summary

New Results

  • 1. Space: Reaction Flow Artificial

Chemistries

  • 2. Structured Molecules: „Embodied“

Evolution

  • 3. Theory: Decomposition Theorem and

Stochastic Organizations Outlook

  • Apoptosis

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-3
SLIDE 3

Aim im

  • Employ the (bio-)chemical principles of

information processing as a programming approach for Organic Computing.

  • How to program chemical-like systems?
  • Current state: 45% of Phase III.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-4
SLIDE 4

Mai ain n Res esult ults s

  • Organization-oriented chemical programing
  • N. Matsumaru, F. Centler, P. Speroni d. F., P. Dittrich. Chemical Organization Theory

as a Theoretical Base for Chemical Computing. Int. J. Unconv. Comput., 3(4), 285- 309, 2007

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-5
SLIDE 5

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

Org rganizations anizations for

  • r dif

ifferent ferent in inflows lows

  • N. Matsumaru, F. Centler, P. Speroni d. F., P. Dittrich.

Chemical Organization Theory as a Theoretical Base for Chemical Computing. Int. J. Unconv. Comput., 3(4), 285- 309, 2007

  • N. Matsumaru, F. Centler, P. Speroni d. F., P. Dittrich.

Chemical Organization Theory as a Theoretical Base for Chemical Computing. Int. J. Unconv. Comput., 3(4), 285- 309, 2007

slide-6
SLIDE 6

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-7
SLIDE 7

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-8
SLIDE 8

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-9
SLIDE 9

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-10
SLIDE 10

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-11
SLIDE 11

Mai ain n Res esult ults s

  • Organization-oriented chemical programing
  • N. Matsumaru, F. Centler, P. Speroni d. F., P. Dittrich. Chemical Organization Theory as a

Theoretical Base for Chemical Computing. Int. J. Unconv. Comput., 3(4), 285-309, 2007

  • Analysis

– Simulation various examples

  • N. Matsumaru, T. Hinze, P. Dittrich. Organization-Oriented Chemical Programming of

Distributed Artefacts. Int. J. Nanotechnol. Mol. Comp., 1(4), 1-19, 2009

– Compared with evolutionary design

  • Theory
  • S. Peter, P. Dittrich. On the Relation between Organizations and Limit Sets in Chemical

Reaction Systems, Adv. Complex Syst., 14(1): 77-96, 2011

  • Tools

F . Centler, C. Kaleta, P. Speroni di Fenizio, P. Dittrich. Computing Chemical Organizations in Biological Networks, Bioinformatics, 24(14), 1611 – 1618, 2008 (& 2010)

  • Concept: Emergent Control
  • P. Dittrich,P. Kreyssig. Emergent Control. In: C. Muller-Schloer, H. Schmeck, T. Ungerer

(Eds.), Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Volume 1, Part 1, 67-78, Springer, Basel, 2011

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-12
SLIDE 12

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

Archi chitecture tecture for Eme mergent rgent Control rol

macro-to-micro translator

system to be controlled feedforward controller

micro level macro level macro goals micro rules

  • r downward

causation desired macro behavior

  • P. Dittrich,P. Kreyssig. Emergent Control. In: C. Muller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing A

Paradigm Shift for Complex Systems, Autonomic Systems, Volume 1, Part 1, 67-78, Springer, Basel, 2011

  • P. Dittrich,P. Kreyssig. Emergent Control. In: C. Muller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing A

Paradigm Shift for Complex Systems, Autonomic Systems, Volume 1, Part 1, 67-78, Springer, Basel, 2011

slide-13
SLIDE 13

Considering space: Reaction Flow Artificial Chemistry

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-14
SLIDE 14

Rea eacti ction

  • n Fl

Flow

  • w Art

rtific ificial ial Ch Chem emistri istries es

  • spatial distribution of molecules

given by a flow.  Get additional parameters to control and program the artificial chemistry.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-15
SLIDE 15

RFA FAC C - Exa xamp mple le

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-16
SLIDE 16

RFA FAC C – Dif ifferential erential Mod

  • del

el

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

]) [m ],..., ([m R V ), V ] ([m V 1 t ] [m

M 1 i k, i i

      

}. m ,..., {m M be species the Let

M 1

 R. R R R : ] [m so t), y, ](x, [m is species a

  • f

ion Concentrat

i i

  

V.

  • f

direction the in V ] [m

  • f

derivative l directiona the is movement to due ion concentrat molecule

  • f

change The

i 

.

reactions # i k,

R k rates reaction constant with , R terms reaction the in appears reactions the by caused change The 

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-17
SLIDE 17

RFA FAC C – Ana nalysis lysis via ia Org rganiz anizations ations

  • Chemical organizations at different spatial scales.
  • Functional units should be an organization.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-18
SLIDE 18

RFAC FAC - Co Conc nclusio lusion

  • Spatial flow dynamics adds another level

to influence the behavior

  • Potential for a new programing

mechanism for chemical information processing.

  • Spatial chemical organizations helps in

understanding spatial chemical computing.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011] [P. Kreyssig and P. Dittrich. Reaction flow artificial chemistries. In: T. Lenaerts et al. (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, p. 431-37, 2011]

slide-19
SLIDE 19

Structured Molecules

“embodied” evolution

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. In Proc. of 12th

  • Conf. on Membrane Computing, LNCS, Springer, Berlin, 2011]

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. In Proc. of 12th

  • Conf. on Membrane Computing, LNCS, Springer, Berlin, 2011]
slide-20
SLIDE 20

Str tructured uctured Mol

  • lecul

ecules es Stu tudied died

  • inspired by biology
  • of arbitrary size
  • still want to describe

and analyze it

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

κ-expression four different fraglets

  • inspired by

computer sciences

  • interesting for

implementing our algorithms

[J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana. Internal coarse-graining of molecular systems. PNAS 2009] [C. Tschudin. Fraglets-a metabolistic execution model for communication protocols. AINS 2003]

slide-21
SLIDE 21

St Stru ructu ctured red Mol

  • lecules

ecules: : Mol

  • lecular

ecular EA EA

  • Embodied evolution: Using molecules as substrate for

Evolutionary Algorithms

  • Rule-based implementation (even Selection and

Reproduction)

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. CMC 2011]

T(x~a,t!1).Trans(f!1~a,t!11~a,t!12~b,t!13~c,t,dock~p1).T(x~a,t!11).T(x~b,t!12).T(x~c,t!13) 30 T(x~b,t!1).Trans(f!1~b,t!11~d,t!12~e,t!13~f,t,dock~p1).T(x~d,t!11).T(x~e,t!12).T(x~f,t!13) 30 T(x~c,t!1).Trans(f!1~c,t!11~g,t!12~h,t,t,dock~p1).T(x~g,t!11).T(x~h,t!12) 30 T(x~d,t!1).Trans(f!1~d,t!11~i,t!12~j,t,t,dock~p1).T(x~i,t!11).T(x~j,t!12) 30 T(x~e,t!1).Trans(f!1~e,t!11~a,t,t,t,dock~p1).T(x~a,t!11) 30 T(x~f,t!1).Trans(f!1~f,t!11~d,t,t,t,dock~p1).T(x~d,t!11) 30 1 Sol(test~ok,t~a,eval!+) + T(x~a,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~a!1,eval!+).T(x~a!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~b,eval!+) + T(x~b,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~b!1,eval!+).T(x~b!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~c,eval!+) + T(x~c,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~c!1,eval!+).T(x~c!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~d,eval!+) + T(x~d,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~d!1,eval!+).T(x~d!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~e,eval!+) + T(x~e,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~e!1,eval!+).T(x~e!1,t!5).Trans(f!5,dock~p1) kFastBind # dissociate, if dock~bad 1 Sol(t!1).T(x!1,t!5).Trans(f!5,dock~bad) -> Sol(t) + T(x,t!5).Trans(f!5,dock~bad) kTDissociate # bind evaluation components: (if not bound to copyTo) 2 Sol(test~ok,eval!2).Eval(t~a,sol!2) + T(x~a,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~a!1,sol!2).T(x~a!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~b,sol!2) + T(x~b,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~b!1,sol!2).T(x~b!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~c,sol!2) + T(x~c,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~c!1,sol!2).T(x~c!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~d,sol!2) + T(x~d,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~d!1,sol!2).T(x~d!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~e,sol!2) + T(x~e,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~e!1,sol!2).T(x~e!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~f,sol!2) + T(x~f,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~f!1,sol!2).T(x~f!1,t!5).Trans(t!5,dock~p1) kFastBind # dissociate if dock~bad 2 Eval(t!1).T(x!1,t!5).Trans(t!5,dock~bad) -> Eval(t) + T(x,t!5).Trans(t!5,dock~bad) kTDissociate

slide-22
SLIDE 22

St Stru ructu ctured red Mol

  • lecules

ecules: : Mol

  • lecular

ecular EA EA

  • Embodied evolution: Using molecules as substrate for

Evolutionary Algorithms

  • Rule-based implementation (even Selection and

Reproduction)

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. CMC 2011]

T(x~a,t!1).Trans(f!1~a,t!11~a,t!12~b,t!13~c,t,dock~p1).T(x~a,t!11).T(x~b,t!12).T(x~c,t!13) 30 T(x~b,t!1).Trans(f!1~b,t!11~d,t!12~e,t!13~f,t,dock~p1).T(x~d,t!11).T(x~e,t!12).T(x~f,t!13) 30 T(x~c,t!1).Trans(f!1~c,t!11~g,t!12~h,t,t,dock~p1).T(x~g,t!11).T(x~h,t!12) 30 T(x~d,t!1).Trans(f!1~d,t!11~i,t!12~j,t,t,dock~p1).T(x~i,t!11).T(x~j,t!12) 30 T(x~e,t!1).Trans(f!1~e,t!11~a,t,t,t,dock~p1).T(x~a,t!11) 30 T(x~f,t!1).Trans(f!1~f,t!11~d,t,t,t,dock~p1).T(x~d,t!11) 30 1 Sol(test~ok,t~a,eval!+) + T(x~a,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~a!1,eval!+).T(x~a!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~b,eval!+) + T(x~b,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~b!1,eval!+).T(x~b!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~c,eval!+) + T(x~c,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~c!1,eval!+).T(x~c!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~d,eval!+) + T(x~d,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~d!1,eval!+).T(x~d!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~e,eval!+) + T(x~e,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~e!1,eval!+).T(x~e!1,t!5).Trans(f!5,dock~p1) kFastBind # dissociate, if dock~bad 1 Sol(t!1).T(x!1,t!5).Trans(f!5,dock~bad) -> Sol(t) + T(x,t!5).Trans(f!5,dock~bad) kTDissociate # bind evaluation components: (if not bound to copyTo) 2 Sol(test~ok,eval!2).Eval(t~a,sol!2) + T(x~a,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~a!1,sol!2).T(x~a!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~b,sol!2) + T(x~b,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~b!1,sol!2).T(x~b!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~c,sol!2) + T(x~c,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~c!1,sol!2).T(x~c!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~d,sol!2) + T(x~d,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~d!1,sol!2).T(x~d!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~e,sol!2) + T(x~e,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~e!1,sol!2).T(x~e!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~f,sol!2) + T(x~f,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~f!1,sol!2).T(x~f!1,t!5).Trans(t!5,dock~p1) kFastBind # dissociate if dock~bad 2 Eval(t!1).T(x!1,t!5).Trans(t!5,dock~bad) -> Eval(t) + T(x,t!5).Trans(t!5,dock~bad) kTDissociate

slide-23
SLIDE 23

Str tructured uctured Mol

  • lecul

ecules es - EAs

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. CMC 2011]

PHE c b d a e GEN C B A T-a T-d

Copier trans

a d A T-A T-a T-d PHE c b d a e GEN C B A T-a T-d T-A T-A

trans

c d e C T-C T-c T-d T-e

trans

a b B T-a T-b T-B

slide-24
SLIDE 24

Str tructured uctured Mol

  • lecul

ecules es - EAs

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. CMC 2011]

Medium mutation rate Extremely high mutation rate Low mutation rate Zero mutation rate

Only local rules  Asynchronous  Dynamic optimisation

 Large populations  Space

slide-25
SLIDE 25

Theory

  • Decomposition theorem of

chemical organizations

  • Stochastic systems

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]

[C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ] [C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ]

slide-26
SLIDE 26

Dec ecomp

  • mposition
  • sition Theo

heorem rem - Exa xample mple

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

A = N + E + F + C1 + C2 + … + Cl

  • 1. Non-reactive molecules

N = { n }

  • 2. (pure) Catalysts

E = { e }

  • 3. Overproduced molecules

F = { o }

  • 4. (pure) Cycle molecules C

C = M – (E+F+N) = { x, y , w, z } C = C1 + C2 + … + Cl = {x, y} + {w, z}

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]
slide-27
SLIDE 27

Decompo composit sitio ion The heorem

  • rem - Con
  • ncl

clusio usion  better algorithms  better understanding

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]

[T. Veloz, B. Reynaert, D. Rojas-Camaggi and P. Dittrich. A Decomposition Theorem in Chemical

  • Organizations. T. Lenaerts et al (Eds.), Proc. of ECAL 2011, MIT Press, Boston, MA, 2011]
slide-28
SLIDE 28

The heory

  • ry II:

: Sto tochas chastic tic Org rganiz anizations ations

  • Link discrete stochastic dynamic models of

(artificial) chemical systems to the theory

  • f organizations.
  • Markov chain

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ] [C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ]

slide-29
SLIDE 29

Sto tochas chastic tic Org rganizations anizations - Exa xample mple

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

} B,B {A R {A,B} M     

  • Organizational part :=

set of strongly connected states such that no transition leaves the set from inside.

[C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ] [C. Wozar, S. Peter, P. Kreyssig and P. Dittrich. Chemical Organization Theory in Discrete Systems. (in preparation) ]

slide-30
SLIDE 30

Outlook Artificial Apoptosis

slide-31
SLIDE 31

Apoptosis

  • ptosis vs

vs Gra raceful ceful Deg egradation radation

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-32
SLIDE 32

Apoptosis

  • ptosis - Bio

iology logy

  • Apoptosis denotes the programmed cell death unlike the

premature death of cells (necrosis).

  • Can already be found in colonies of cells (not only in

multi-cellular organisms) and in plants.

  • Three functional units:

– Signaling pathways which can be activated from the inside or via receptors from the outside by other cells to induce the cell death. – Apoptosis mechanism which breaks down the cell in small chunks (controlled demolition) without an inflammation (unlike necrosis). – Notification of other cells of own death.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-33
SLIDE 33

Apoptosis

  • ptosis vs

vs Gra raceful ceful Deg egradation radation

  • First purposes of apoptosis is protection from further

damage if cell is dysfunctional or could spread diseases.

  • Different from graceful degradation which is prevalent in

most technical systems.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-34
SLIDE 34

Apoptosis

  • ptosis for
  • r Mor
  • rphogenesi

phogenesis

  • Second purposes of apoptosis is the shaping of

an organism (morphogenesis).

  • Artificial development uses it for homeostasis

rather than for giving form to the organism.

  • Olsen et.al. showed the importance of the

feedback (notification) before cell death in cancer growth simulations.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich

[M.M. Olsen, N. Siegelmann-Danieli, H.T. Siegelmann. Dynamic Computational Model Suggests that Cellular Citizenship is Fundamental for Selective Tumor Apoptosis. PLoS One 2010]

slide-35
SLIDE 35

Apoptosis

  • ptosis in

in AIS

  • Artificial Immune Systems (AIS) for Wireless

Sensor Networks use apoptosis.

  • Switch-off nodes which are malicious and

disturbing other nodes.

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-36
SLIDE 36

Art rtificial ificial Apopt

  • ptosi
  • sis

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-37
SLIDE 37

Art rtificial ificial Apopt

  • ptosi
  • sis

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-38
SLIDE 38

Art rtificial ificial Apopt

  • ptosi
  • sis

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich
slide-39
SLIDE 39

Ack cknowl nowledgemen edgements ts

  • Naoki Matsumaru
  • Pietro Speroni di Fenizio
  • Stephan Peter
  • Tomas Veloz
  • Christoph Kaleta

Funding: DFG, SPP Organic Computing

15.09.2011 Nürnberg, OC

  • G. Escuela, P. Kreyssig, P. Dittrich