2877 search results - page 162 / 576 » Biological Computing |
AB
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
106
Voted
AB
2008
Springer
15 years 4 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
BIB
2007
14 years 10 months ago
2007
Being a relatively new addition to the ‘omics’ field, metabolomics is still evolving its own computational infrastructure and assessing its own computational needs. Due to its...
AB
2007
Springer
15 years 2 months ago
2007
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
102
Voted
ASM
2010
ASM
15 years 19 days ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...