5981 search results - page 79 / 1197 » time 2006 |
ESWA
2007
13 years 11 months ago
2007
Forecasting airborne pollen concentrations is one of the most studied topics in aerobiology, due to its crucial application to allergology. The most used tools for this problem ar...
FUIN
2007
13 years 11 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
ENTCS
2006
13 years 11 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
IJON
2006
13 years 11 months ago
2006
GABAergic inhibition via local interneurons may play a role in enhancing spike timing precision in principal cells, since it tends to eliminate the influence of initial conditions...
JSCIC
2006
13 years 11 months ago
2006
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...