We define an infinite stochastic state machine, the Battery– Discharge–Model (BDM), which simulates the behaviour of linear and jump complexity of the continued fraction expansion of multidimensional formal power series, a relevant security measure in the cryptanalysis of stream ciphers. We also obtain finite approximations to the infinite BDM, where polynomially many states suffice to approxim...

Hydraulic jump on adverse stilling basin is an unstable phenomenon which causes some complexities in controlling of the   jump. This paper considers the stability of free hydraulic jump on adverse stilling basins from a theoretical point of view. A minimum value of upstream Froude number is needed to produce the free hydraulic jump on adverse stilling basins which was presented by a theoretical...

A diagnosis technique is presented to locate seven types of single faults in scan chains, including stuck-at faults and timing faults. This technique implements the Jump Simulation, a novel parallel simulation technique, to quickly search for the upper and lower bounds of the fault. Regardless of the scan chain length, Jump Simulation packs multiple simulations into one so the simulation time i...

We characterise explicitly the decidable predicates on integers of Innnite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down , the least ordinal not the length of any eventual output of an Innnite Time Turing machine (halting or otherwise); using this the Innnite Time Turing Degrees are considered, and it is shown how the jump ope...

The aim of this study was to determine the influence of run-up speed on take-off technique in the long jump. Seventy-one jumps by an elite male long jumper were recorded in the sagittal plane by a high-speed video camera. A wide range of run-up speeds was obtained using direct intervention to set the length of the athlete's run-up. As the athlete's run-up speed increased, the jump distance and ...

[Purpose] This study aimed to investigate the effect of pelvic adjustment on vertical jump height (VJH) in female university students with functional leg length inequality (FLLI). [Subjects] Thirty female university students with FLLI were divided into a pelvic adjustment group (n = 15) and a stretching (control) group (n = 15). [Methods] VJH was measured using an OptoGait. [Results] After the ...

We consider a random walk on the support of an ergodic simple point process on R, d ≥ 2, furnished with independent energy marks. The jump rates of the random walk decay exponentially in the jump length and depend on the energy marks via a Boltzmann–type factor. This is an effective model for the phonon–induced hopping of electrons in disordered solids in the regime of strong Anderson localizat...

The critical value of the reaction rate able to sustain the propagation of an invasive front is obtained for general non-Markovian biased random walks with reactions. From the Hamilton-Jacobi equation corresponding to the mean field equation we find that the critical reaction rate depends only on the mean waiting time and on the statistical properties of the jump length probability distribution...