Warning: Undefined variable $zfal in C:\Inetpub\vhosts\kidney.de\httpdocs\mlpefetch.php on line 525
Deprecated: str_replace(): Passing null to parameter #3 ($subject) of type array|string is deprecated in C:\Inetpub\vhosts\kidney.de\httpdocs\mlpefetch.php on line 525
Warning: Undefined variable $sterm in C:\Inetpub\vhosts\kidney.de\httpdocs\mlpefetch.php on line 530
free
Warning: Undefined variable $sterm in C:\Inetpub\vhosts\kidney.de\httpdocs\mlpefetch.php on line 531
free free
English Wikipedia
Nephropedia Template TP (
Twit Text
DeepDyve Pubget Overpricing |
lüll Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology Mishra BJ R Soc Interface 2009[Jul]; 6 (36): 575-97Systems 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.|*Algorithms[MESH]|*Data Interpretation, Statistical[MESH]|*Models, Biological[MESH]|Systems Biology/*methods[MESH] |