9204 search results - page 71 / 1841 » Modelling the dynamics of biosystems |
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We have developed an agent-based simulation model based on a real case study in the Sekhukhune district of the Limpopo province in South Africa. The work reported here is part of ...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— We propose a dynamics model of galvanotaxis (locomotor response to electrical stimulus) of the protozoan Paramecium. Our purpose is to utilize microorganisms as microrobots by ...
109
click to vote
GLVLSI
2000
IEEE
15 years 4 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
100
click to vote
ICMCS
1996
IEEE
15 years 4 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
DAC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...