We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
Experimental time courses often reveal a nonlinear behaviour. Analysing these nonlinearities is even more challenging when the observed phenomenon is cyclic or oscillatory. This me...
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...
In region-based image segmentation, two models dominate the field: the Mumford-Shah functional and statistical approaches based on Bayesian inference. Whereas the latter allow for...
Computer aided tests replace traditional written answers on paper sheets with electronic records. For subjective tests, computers are not able to do all grading jobs, due to limit...