Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
We consider channels with action-dependent states: Given the message to be communicated, the transmitter chooses an action sequence that affects the formation of the channel state...
Abstract--In this paper we consider the capacity of the cognitive radio (CR) channel in a fading environment under a "low interference regime". This capacity depends crit...
We present a novel boundary handling scheme for incompressible fluids based on Smoothed Particle Hydrodynamics (SPH). In combination with the predictive-corrective incompressible ...
Markus Ihmsen, Nadir Akinci, Marc Gissler, Matthia...