Fast and TReX tools are designed to analyse systems with infinite state spaces. They both implement algorithms computing the set of reachable states of such systems. Since the state space may be infinite, acceleration techniques are used . In this paper, we study the differences between Fast and TReX acceleration techniques and show that although Fast remains in Presburger logics while accelera...

In this paper the problem of reliable along-track velocity estimation is addressed. It is known that the neglection of across-track accelerations can bias the estimates of along-track velocities, but up to now it is unknown which vehicle accelerations appear in real traffic scenarios. On this account an experiment to measure accelerations was conducted. The measurement results, which are presen...

in this paper we present a developed method for improving the results of numerical integration by using accelerations on Simpson rule 3/8 to obtain better and about twice faster than rule. It is very useful reduce error rate facilitate access more accurate results.

Background: Little kinematic or kinetic information is available to understand risks associated with water skier falls. The present study assessed accelerations during low-speed falls and then contrasted these data against information obtained from automotive crash tests to better delineate risk of injury. The goal was to establish baseline impact information for low-speed falls during water sk...

The interaction between gravitropism and phototropism was analyzed for sporangiophores of Phycomyces blakesleeanus. Fluence rate-response curves for phototropism were generated under three different conditions: (a) for stationary sporangiophores, which reached photogravitropic equilibrium; (b) for sporangiophores, which were clinostated head-over during phototropic stimulation; and (c) for spor...