1526 search results - page 234 / 306 » Computer algebra in systems biology |
182
click to vote
APIN
2006
15 years 6 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
147
click to vote
FPL
2007
Springer
16 years 15 days ago
2007
Springer
A biological organism’s ability to sense and adapt to its environment is essential to its survival. Likewise, environmentally aware computing systems avail themselves to a longe...
165
click to vote
EH
2005
IEEE
15 years 12 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
269
click to vote
FASE
2011
Springer
14 years 9 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
177
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...