For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...
In this paper we formulate a power loading problem for the spatial subchannels (parallel channels) of a single-carrier MIMO-SVD system. The power loading solution is designed to mi...
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
In this paper an iterative learning control design method is depicted, leading to a feedforward controller minimizing tracking error of repetitive trajectories. The approach is ex...
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...