In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
This work describes a novel method for statistical analysis of multi-material components. The application scenario is industrial 3D X-ray computed tomography, emphasizing metrolog...
Within-subject analysis in fMRI relies on both (i) a detection step to localize which parts of the brain are activated by a given stimulus type, and on (ii) an estimation step to ...
This paper presents the application of Exploratory Spatial Data Analysis (ESDA) and Kriging from GIS (ArcGIS8.3) in disease mapping through the analysis of hepatitis B in China. Th...
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...