We define the concept of crossing numbers for simultaneous graphs by extending the crossing number problem of traditional graphs. We discuss differences to the traditional crossin...
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
This research aims to create an MECE (Mutually Exclusive, Collectively Exhaustive) categorisation method for typing errors. The research is grounded in theory by gathering typing ...
Abstract. Scatterer detection in medical ultrasound imaging can be formulated as an inverse problem concerning a linear system model based on point scatterers. The applicability of...
Abstract. We present a method to improve the quality of common sinogram restoration algorithms, which are used for metal-artifact reduction in X-ray CT. The presented approach is b...