Now showing items 21-30 of 291
Run-time analysis of time-critical systems.
Comparison of digital elevation models over Australia and external validation using ERS-1 satellite radar altimetry.
(Taylor & Francis, 2003-04-01)
A compositional framework for hardware/software co-design
(Springer Verlag, 2002-01-01)
Density based problem space search for the capacitated clustering p-median problem
(Springer Verlag, 2004-10-01)
A hierarchical completeness proof for propositional Interval Temporal Logic with finite time
(Springer Verlag, 2004-05-01)
Allosteric control model of bone remodelling containing periodical modes.
To help to understand the modelling process that occurs when a scaffold is implanted it is vital to understand the rather complex bone remodelling process prevalent in native bone. We have formulated a mathematical model ...
ConSUS: a light-weight program conditioner
Collateral sonics: fictive membrane