We present a fast GPU-based real-time approximation of the ablation zone incorporating the cooling effect of liver vessels. Weighted distance fields of varying RF applicator types are derived from complex numerical simulations to allow a fast estimation of the ablation zone. Furthermore, the heat-si...

Accurate time measurement is essential to temporal analysis in sport. This study aimed to (a) develop a new method for time computation from surveyed trajectories using a high-end global navigation satellite system (GNSS), (b) validate its precision by comparing GNSS with photocells,...

Recently several minimum free energy (MFE) folding algorithms for predicting the joint structure of two interacting RNA molecules have been proposed. Their folding targets are interaction structures, that can be represented as diagrams with two backbones drawn horizontally on top of...

We examined this assumption using a psychophysiological approach. Participants were required to switch between magnitude and parity judgment tasks within a predictable task sequence while event-related potentials (ERPs) were recorded. Stimulus contrast and response stimulus interval (RSI) were manip...

We examine the flow structure and energy budget of flow through an elastic-walled tube. Specifically, we consider the case in which a background axial flow is perturbed by prescribed small-amplitude high-frequency long-wavelength oscillations of the tube wall, with a slowly growing or decaying ampli...

A novel rotate-and-fire digital spiking neuron is presented. The digital neuron is a wired system of shift registers and thus it is suited to on-chip learning unlike many other analog spiking neuron models. By adjusting the wiring pattern among the registers, the digital neuron can g...

We recorded children's eye fixation behavior in a choice reaction paradigm. As for adults the carry effect was most pronounced on the unit digits of the summands. However, children's fixation pattern differed reliably from that of adults in other important aspects. While these data suggested common...

We need to develop an arsenal of techniques that are of broader applicability. The notion of patterning created in some fashion by biological processes and properties may provide such a generalized property of biological systems no matter what the incidentals of chemistry or environmental conditions...

We also show how calculation in temporal logic for model checking can be done by means of our direct and efficient Groebner basis computation in Boolean rings. We present our experimental results in finding attractors and control strategies of Boolean networks to illustrate our theoretical arguments...