2178 search results - page 187 / 436 » Evolution of Biological Complexity |
128
click to vote
DNA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
135
click to vote
BVAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we analyze the influence of the frequency of sensor data readings on the behaviours of a Robotic System (RS). This is done in the framework of behaviour based archit...
123
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
124
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
162
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...