Current research in therapies for restoring a functional form of sight to the blind includes interfacing electronic neurostimulators with some point of the visual pathway. This approach requires controlling a number of waveform parameters which might vary for every implanted patient and for every channel in an interface that may have hundred or thousands of electrodes. Therefore, the clinical, ...

The two mass model (2MM) as introduced by Ishizaka & Flanagan (1972) and simplified by Steinecke & Herzel (1995) describes many features of the vocal fold oscillation patterns [1,2]. Particularly, it was shown that a large variety of voice disorders may be explained by means of high-speed observations with subsequent interpretation by the 2MM. Laryngeal symmetry was identified as an important p...

By combining weighted distances and distances based on neighbourhood sequences, a new family of distance functions with potentially low rotational dependency is obtained. The basic theory for these distance functions, including functional form of the distance between two points, is presented for the face-centered cubic grid and the body-centered cubic grid. By minimizing an error function, the ...

We find novel bound states of NS5, D6 and D8-branes in massive type IIA string theory. As the NS gauge transformations can change the Chern class of the RR field these configurations should be thought of as nonlocal objects called gerbes. We develop a global formalism for theories that involve massive tensor fields in general, and apply it in massive type IIA supergravity. We investigate the T-...

The paper considers the problem of implementation on graphics processors of numerical integration routines for higher order finite element approximations. The design of suitable GPU kernels is investigated in the context of general purpose integration procedures, as well as particular example applications. The most important characteristic of the problem investigated is the large variation of r...

Limb apraxia comprises a wide spectrum of higher-order motor disorders that result from acquired brain disease affecting the performance of skilled, learned movements. At present, limb apraxia is primarily classified by the nature of the errors made by the patient and the pathways through which these errors are elicited, based on a two-system model for the organization of action: a conceptual s...

The UniForM Workbench is an open ended tool integration framework for developing (formal) Software Development Environments (SDE) from the basis of prefabricated oo-the-shelf development tools. The integration framework provides support for data, control and presentation integration as well as utilities for wrapping Haskell interfaces around existing development tools. Entire SDE's are then glu...

For about two decades, researchers have been constructing tools for applying graph transformations on large model transformation case studies. Instead of incrementally extending a common core, these competitive tool builders have repeatedly reconstructed mechanisms that were already supported by other tools. Not only has this been counterproductive, it has also prevented the de nition of new la...

In prior research we have developed a Curry-Howard interpretation of linear sequent calculus as session-typed processes. In this paper we uniformly integrate this computational interpretation in a functional language via a linear contextual monad that isolates session-based concurrency. Monadic values are open process expressions and are first class objects in the language, thus providing a log...

The explicit weakly-stable second-order accurate leapfrog scheme is widely used in the numerical models of weather and climate, in conjunction with the Robert-Asselin (RA) and RobertAsselin-Williams (RAW) time filters. The RA and RAW filters successfully suppress the spurious computational mode associated with the leapfrog method, but also weakly damp the physical mode and degrade the numerical...