Intelligently deciphering unintelligible designs: Algorithmic algebraic model checking in systems biology

Research output: Contribution to journalArticle

Abstract

Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology - seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed 'algorithmic algebraic model checking', and its powers and limitations.

Original languageEnglish (US)
Pages (from-to)575-597
Number of pages23
JournalJournal of the Royal Society Interface
Volume6
Issue number36
DOIs
StatePublished - Jul 6 2009

Fingerprint

Imagination
Systems Biology
Model checking
Research Personnel
Systems science
Algebra

Keywords

  • Algorithmic algebra
  • Biomathematics
  • Model checking

ASJC Scopus subject areas

  • Biochemistry
  • Biophysics
  • Biotechnology
  • Bioengineering
  • Biomedical Engineering
  • Biomaterials
  • Medicine(all)

Cite this

@article{c50a9f18a330405ebeb7e783e635fd0a,
title = "Intelligently deciphering unintelligible designs: Algorithmic algebraic model checking in systems biology",
abstract = "Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology - seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed 'algorithmic algebraic model checking', and its powers and limitations.",
keywords = "Algorithmic algebra, Biomathematics, Model checking",
author = "Bhubaneswar Mishra",
year = "2009",
month = "7",
day = "6",
doi = "10.1098/rsif.2008.0546",
language = "English (US)",
volume = "6",
pages = "575--597",
journal = "Journal of the Royal Society Interface",
issn = "1742-5689",
publisher = "Royal Society of London",
number = "36",

}

TY - JOUR

T1 - Intelligently deciphering unintelligible designs

T2 - Algorithmic algebraic model checking in systems biology

AU - Mishra, Bhubaneswar

PY - 2009/7/6

Y1 - 2009/7/6

N2 - Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology - seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed 'algorithmic algebraic model checking', and its powers and limitations.

AB - Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology - seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed 'algorithmic algebraic model checking', and its powers and limitations.

KW - Algorithmic algebra

KW - Biomathematics

KW - Model checking

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

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

U2 - 10.1098/rsif.2008.0546

DO - 10.1098/rsif.2008.0546

M3 - Article

VL - 6

SP - 575

EP - 597

JO - Journal of the Royal Society Interface

JF - Journal of the Royal Society Interface

SN - 1742-5689

IS - 36

ER -