This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
We give direct constructions of pseudorandom function (PRF) families based on conjectured hard lattice problems and learning problems. Our constructions are asymptotically effici...
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
Abstract--This paper proposes a novel method for generating arbitrary stereoscopic view from multiple omnidirectional image sequences. Although conventional methods for arbitrary v...
■ The antisaccade task has proven highly useful in basic and clinical neuroscience, and the neural structures involved are well documented. However, the specific neurocognitive ...
Benedikt Reuter, Christian Kaufmann, Julia Bender,...