{"id":120,"date":"2012-07-09T17:53:27","date_gmt":"2012-07-09T16:53:27","guid":{"rendered":"http:\/\/sites.google.com\/feeds\/content\/site\/tcsunica\/7880949890447142812"},"modified":"2013-11-22T15:37:24","modified_gmt":"2013-11-22T14:37:24","slug":"seminar-formal-models-in-systems-biology","status":"publish","type":"post","link":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/2012\/07\/09\/seminar-formal-models-in-systems-biology\/","title":{"rendered":"Seminar: Formal Models in Systems Biology"},"content":{"rendered":"
\n\n\n\n
\n
\n
\n
\n
Upcoming Seminar<\/span>
<\/font><\/div>\n<\/div>\n

Formal Models in Systems Biology<\/b><\/p>\n

July 10, <\/font>16.00<\/font>-18.00 Aula Magna Matematica,
<\/font>July 12, <\/font>16.00<\/font>-18.00<\/font> Aula C,
Palazzo delle Scienze – Cagliari
<\/font><\/div>\n<\/div>\n


<\/span><\/font><\/p>\n
Andrea Bracciali
<\/span><\/b><\/font><\/div>\n<\/div>\n
SICSA Lecturer – University of Stirling (UK)<\/font><\/p>\n

<\/font><\/p>\n

Abstract<\/b>. <\/font>Papers
\n like "Protein molecules as computational elements in living cells"
\n[Bray, Nature 1995] and "Cells as computation" [Regev and Shapiro,
\nNature 2002] have put forward the idea that many aspects of living
\nsystems have a computational nature. Specifically, the complex network
\nof interaction and information exchange that occurs within the
\nbiochemistry at the inter and intra cellular level, can be assimilated
\nto the functioning of a distributed, interactive computational system.
\nIn the words of Bray, proteins are "functionally linked … into
\nbiochemical 'circuits' that perform a variety of simple computational
\ntasks including amplification, integration and information storage".<\/p>\n

<\/font><\/p>\n

Under
\n this perspective, it has appeared natural to employ the techniques used
\n to model and analyse interactive computational systems to the realm of
\nliving organisms. Such a research trend aims at further developments
\nwithin Systems Biology, the research area that approaches the study of
\nthe living organisms at a systemic level (see "Systems Biology: a brief
\noverview" [Kitano, Science 2002]). Computationally inspired formal
\nmodels and analysis techniques are being used to carry out "in silico"
\nexperiments, which may often represent a cheaper, faster, more ethical,
\nmore easily measurable, and less constrained complement to the more
\ntraditional "in vitro\/vivo" investigation.<\/p>\n

<\/font><\/div>\n

This
\n extended-seminar will briefly survey some of the formal techniques,
\nparticularly those originated from concurrency theory, which have been
\nadopted, adapted and further developed for the research in Systems
\nBiology. Starting from a historical perspective, the main ideas of the
\napproach will be discussed and a few small examples discussed.<\/p>\n

<\/font>The course has been funded by the Autonomous Region of Sardinia through the Visiting Professor Program 2011-12.<\/span><\/font><\/div>\n<\/div>\n<\/div>\n


<\/font><\/div>\n


<\/font><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n","protected":false},"excerpt":{"rendered":"\n\n\n
\n
\n
\n
\n
Upcoming Seminar<\/span><\/div>\n<\/div>\n
Formal Models in Systems Biology<\/b><\/p>\n

July 10, 16.00-18.00 Aula Magna Matematica,
July 12, 16.00-18.00 Aula C,
Palazzo delle Scienze – Cagliari<\/div>\n<\/div>\n


<\/span><\/p>\n
Andrea Bracciali
<\/span><\/b><\/div>\n<\/div>\n
SICSA Lecturer – University of Stirling (UK)<\/p>\n
Abstract<\/b>. Papers
\n like “Protein molecules as computational elements in living cells”
\n[Bray, Nature 1995] and “Cells as computation” [Regev and Shapiro,
\nNature 2002] have put forward the idea that many aspects of living
\nsystems have a computational nature. Specifically, the complex network
\nof interaction and information exchange that occurs within the
\nbiochemistry at the inter and intra cellular level, can be assimilated
\nto the functioning of a distributed, interactive computational system.
\nIn the words of Bray, proteins are “functionally linked … into
\nbiochemical ‘circuits’ that perform a variety of simple computational
\ntasks including amplification, integration and information storage”.<\/p>\n
Under
\n this perspective, it has appeared natural to employ the techniques used
\n to model and analyse interactive computational systems to the realm of
\nliving organisms. Such a research trend aims at further developments
\nwithin Systems Biology, the research area that approaches the study of
\nthe living organisms at a systemic level (see “Systems Biology: a brief
\noverview” [Kitano, Science 2002]). Computationally inspired formal
\nmodels and analysis techniques are being used to carry out “in silico”
\nexperiments, which may often represent a cheaper, faster, more ethical,
\nmore easily measurable, and less constrained complement to the more
\ntraditional “in vitro\/vivo” investigation.<\/p>\n<\/div>\n
This
\n extended-seminar will briefly survey some of the formal techniques,
\nparticularly those originated from concurrency theory, which have been
\nadopted, adapted and further developed for the research in Systems
\nBiology. Starting from a historical perspective, the main ideas of the
\napproach will be discussed and a few small examples discussed.<\/p>\n

The course has been funded by the Autonomous Region of Sardinia through the Visiting Professor Program 2011-12.<\/span><\/div>\n<\/div>\n<\/div>\n

<\/div>\n

<\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"author":1325,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10,13],"tags":[],"class_list":["post-120","post","type-post","status-publish","format-standard","hentry","category-events","category-httpschemas-google-comsites2008announcement","category-10-id","category-13-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/120","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/users\/1325"}],"replies":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/comments?post=120"}],"version-history":[{"count":1,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/120\/revisions"}],"predecessor-version":[{"id":139,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/120\/revisions\/139"}],"wp:attachment":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/media?parent=120"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/categories?post=120"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/tags?post=120"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}