Background: Microarray technology has become very popular for globally evaluating gene expression in biological samples. However, non-linear variation associated with the technolo...
Carl R. Pelz, Molly Kulesz-Martin, Grover Bagby, R...
Improvements to a local modification-based anisotropic mesh adaptation procedure are presented. The first improvement focuses on control of the local operations that modify the mes...
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
This note reports on the number of s-partitions of a natural number n. In an s-partition of n each cell has the form 2k - 1 for some integer k. Such partitions have potential appl...
William M. Y. Goh, Pawel Hitczenko, Ali Shokoufand...
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...