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...

We present a novel framework for evaluating recommendation algorithms in terms of the ‘jumps’ that they make to connect people to artifacts. This approach emphasizes reachability via an algorithm within the implicit graph structure underlying a recommender dataset, and serves as a complement to evaluation in terms of predictive accuracy. The framework allows us to consider questions relating al...

We consider a random walk on a homogeneous Poisson point process with energy marks. The jump rates decay exponentially in the α-power of the jump length and depend on the energy marks via a Boltzmann–like factor. The case α = 1 corresponds to the phonon-induced Mott variable range hopping in disordered solids in the regime of strong Anderson localization. We prove that for almost every realizat...

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...

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...

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 ...

Background. Several researchers have studied the effects of type of feedback on learning motor skills, but there are few studies on the interaction between personality traits and the type of feedback. Objectives. This study aimed at investigating the effect of type of feedback on intrinsic motivation and learning volleyball jump serve in students with neuroticism. Methods. A total of 59 femal...

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...