Research Article | Open Access
Extracting Information about the Rotator Cuff from Magnetic Resonance Images Using Deterministic and Random Techniques
We consider some methods to extract information about the rotator cuff based on magnetic resonance images; the study aims to define an alternative method of display that might facilitate the detection of partial tears in the supraspinatus tendon. Specifically, we are going to use families of ellipsoidal triangular patches to cover the humerus head near the affected area. These patches are going to be textured and displayed with the information of the magnetic resonance images using the trilinear interpolation technique. For the generation of points to texture each patch, we propose a new method that guarantees the uniform distribution of its points using a random statistical method. Its computational cost, defined as the average computing time to generate a fixed number of points, is significantly lower as compared with deterministic and other standard statistical techniques.
1. Introduction and Preliminaries
The rotator cuff is a group of muscles and tendons connected to the humerus head whose function is the mobility and stability of the shoulder. The anatomy and physiology of the rotator cuff is complex and it is interconnected to other muscle groups in the shoulder. These muscle groups perform multiple functions and are often stressed during various activities. Disease of the rotator cuff is the most common cause of shoulder pain and dysfunction in adults; see [1, 2].
A rotator cuff tear is a tear of one or more of the tendons of the four rotator cuff muscles; these can be classified according to their depth into full thickness and partial thickness tears; see [1, 2]. Magnetic resonance imaging plays a major role in helping to identify rotator cuff affections. In fact many surgeons rely on magnetic resonance images to assist in decision making and presurgical planning for patients with rotator cuff pain; see .
In this research, we explore methodologies to extract information about the rotator cuff from magnetic resonance images; particularly we emphasize on the detection of supraspinatus tendon partial tears. We consider special domains on ellipsoids and in particular triangular Bézier patches to cover the humerus head close to the affected area; these patches are textured with the information of the magnetic resonance images using the trilinear interpolation technique; see . To texture the patch two techniques are considered: a deterministic method and a random method. The random generation methodology can be chosen in a way that it ensures a uniform distribution of points and hence it avoids the systematic accumulation in specific areas. Therefore, we define families of special ellipsoidal patches, and we present an algorithm for the random generation of points uniformly distributed on the patch (see ). The computational efficiency of this algorithm, measured as the average computing time to generate a fixed number of points, is compared with other nonrandom generating techniques, namely, the classical de Casteljau algorithm and the Bernstein polynomial evaluation of triangular Bézier patches; see [6–11].
The paper is organized as follows. In Section 2, we describe a statistical technique to generate uniformly distributed points on patches, focusing on the case of the upper half of an ellipsoid. In Section 3, we center our discussion on the sphere and the ellipsoid of revolution, and we compare them with the case of the general ellipsoid. Finally, in Section 5 we present the comparison of the computational costs.
2. Random Evaluation of Uniformly Distributed Points
In this section, we review the problem of sampling uniformly distributed points on a parametric surface that lies on the upper half of an ellipsoid centered at the origin with semiaxes . Let us denote this surface by . Namely, is defined as the graph of the function on the domain : where and , . We want to generate uniformly distributed points in the image of the domain . This allows us to guarantee that the generated points will not accumulate; this feature is very important for the visualization.
That is to say, we will generate values of a random vector such that is uniformly distributed on . This condition means that, given in and denoting by the Lebesgue measure of dimension for the surface, the probability of must be equal to ; see [5, 12]. Taking into account the fact that is continuously differentiable, according to  the uniformity implies that
The expression (2) implies that must have density with respect to the Lebesgue measure of dimension , given by if and otherwise.
In this sense, if we compute the partial derivatives of with respect to and and let , , and , the density function for can be written as and, given that , we have . Namely, to satisfy the uniformity condition, it is necessary to generate the random vector with distribution given by (4).
The strategy to generate consists in making a change of variables to transform into a rectangle. Let be a variable change such that its inverse is
The mapping is one-to-one and continuously differentiable so, using the change of variables theorem, we find that the density of the vector with respect to the Lebesgue measure is for , and ; see .
Note that the problem of generating can be solved by generating the random vector and then pulling back by .
Next, to generate the random vector for a spherical patch or for a patch of an ellipsoid of revolution, we will consider a simplified technique. This is what we will do in the next section and we will compare it with the general ellipsoid.
3. Patch Evaluation: Sphere and Ellipsoid
In the case of a sphere we have and ; hence the joint density of on is In this case the function can be written as the product of its two marginal functions and ; therefore the random variables and are independent.
The independence condition allows for the generation of using the inverse transform method; see . We consider inverse images of the accumulated distributions of and , namely, and , respectively. To generate , we take into account the fact that if are uniformly distributed in the interval , then is distributed with density . Explicitly, we compute
3.2. Ellipsoid of Revolution
For an ellipsoid of revolution we have and ; hence the joint density of on is Let us note that the random variables whose marginal distributions we denote by and , respectively, are statistically independent; therefore it is again possible to use the inverse transform method to generate the random vector .
Namely, to generate , we generate the vector of independent components and uniformly distributed and then we compute the vector . Specifically, where The function is strictly monotone on the interval , so its inverse function exists, and it is also strictly monotone.
The function has no closed analytic expression but it can be approximated numerically. We would like the approximation to be independent of the shape parameter . Consider the random variable . It has accumulated distribution: and it is defined on the interval , where . Let be the distribution in the special case that the interval is . In the literature is referred to as the semicircular distribution; see . In accordance with , it is possible to sample from the inverse function : for and as above. In this sense, to generate , we could draw a random number with uniform density on the interval and then evaluate .
3.2.1. Approximation of
To generate the random variable , we approximate the function with a cubic spline. More precisely, let be a partition of , we compute for , and we do monotone piecewise cubic Hermite interpolation of the data set according to the method described in . There, the authors derive the necessary and sufficient conditions for a cubic Hermite interpolator to be piecewise monotone and develop an algorithm to build it for a monotone data set. In MATLAB, for example, we can do monotone interpolation with the function pchip.
For the sake of completeness, next we review two general methods to sample random variables with arbitrary distributions. We will compare these with the special techniques presented here for the ellipsoid of revolution.
3.2.2. Acceptance-Rejection Method
The acceptance-rejection method is one of the most useful general methods for sampling from general distributions. It can be applied to both discrete and continuous distributions and even to multidimensional distributions although its efficiency rapidly decreases as the dimension increases .
We want to simulate a random variable with density given by . Let us suppose that we have a method to sample a random variable with density . In addition, let us assume that it is possible to bound the ratio by a constant ; .
The acceptance-rejection method is based on the following algorithm .(1)Generate with density .(2)Generate with uniform density on the interval .(3)If output ; else return to step (2).
This is to say, generate with density and accept it with probability ; else reject and try again. The efficiency of the acceptance-rejection method is defined as , and it is ; see .
Specifically, to simulate the random variable whose density we have denoted by , we could use the acceptance-rejection algorithm taking and . Namely, the random variable will be sampled uniformly on the interval .
To determine the constant in the algorithm, let us note that the maximum of the function which will be denoted by is if or otherwise. Choosing and taking into account the fact that on the interval , it is clear that .
3.2.3. Hastings Algorithm
The Hastings algorithm is a popular technique to simulate random variables with densities difficult to handle. Given a particular probability density defined on a region and an arbitrary probability density that depends on , a sketch of Hastings’ algorithm (see ) is as follows.(1)Select an initial point .(2)On the iteration do the following.(a)Generate of the density .(b)Compute (c)Take (3)Repeat step (2) until equilibrium is reached.
In other words, in the iteration , the Hastings sampler chooses a sample of the instrumental density ; this density could depend on the last sampled variable . The algorithm decides to accept the new random variable according to (15).
The Hastings algorithm induces a Markov chain whose stationary distribution has density , regardless of the choice of the instrumental density . In practice, is chosen as being easy to sample and close to the density .
3.3. General Ellipsoid
We can apply Hastings or acceptance-rejection method to each of the components of a vector but this leads to the computation of elliptic integrals which is computationally very expensive.
Alternatively using Hastings on the random vector is less costly but exceeds by a factor much greater the deterministic evaluation using the classical methods of de Casteljau and Bézier.
4. Surfaces in Medical Visualization
Medical imaging is the set of techniques and procedures used to create digital images of parts of the human body for clinical purposes or medical research. Digital images are composed of individual pixels, to which discrete brightness or color values are assigned. They can be efficiently processed, objectively evaluated, and made available at many places at the same time by means of appropriate communication networks and protocols, such as Picture Archiving and Communication Systems (PACS) and the Digital Imaging and Communications in Medicine (DICOM) protocol, respectively.
In fact, DICOM is a standard for handling, storing, printing, and transmitting information in medical imaging; see .
Since the discovery of X-rays by Wilhelm Conrad Rötgen in 1895, medical images have become a major component of diagnostics, treatment planning and procedures, and follow-up studies; therein lies its importance in healthcare. Medical images are acquired using a variety of techniques and devices, including conventional radiography, computed tomography (CT), magnetic resonance imaging (MRI), ultrasound, and nuclear medicine. As stated in the preliminaries we will focus on rotator cuff MRI.
The usual technique for the visualization of rotator cuff tears is by inspection of a sequence of parallel sections. We propose an alternative technique. We look at a curved surface along the humerus near the suspected area of the tear. This exhibits the full tear extension in a single view which is positioned in a natural way with respect to the humerus head. We choose the curved surface fitting the humerus head to be a patch of sphere or ellipsoid of revolution. These are estimated using standard least squares techniques.
For the visualization of the tear we need to texturize it with the MRI data, that is, to evaluate (To evaluate the patch means to find the coordinates of all its points.) the patch and assign a gray level to each point.
In the next section we look at various evaluation techniques, deterministic and random, and present comparison tables of their relative central processing unit (CPU) performance.
5. Comparison of Various Surface Evaluation Techniques
To generate the points of the patch we have several options. For the sake of comparison we will consider both a sphere octant and an ellipsoid of revolution octant. As mentioned in the introduction the patch evaluation methods are of two types: deterministic and random.
In the case of a patch on the sphere a uniform distribution of points can be generated using the inverse transform method. On the other hand, if the surface is an ellipsoid of revolution we generate its points by combining the method of inverse transform in one dimension with methods such as the method based on the approximation of , acceptance and rejection, and Hastings algorithm.
From the deterministic point of view, we will use the representation of the octant as a triangular Bézier patch; see .
A triangular Bézier patch of degree with control network and associated weights is a parametric surface . The parameter represents the barycentric coordinates of a point in a triangular patch and the multi-index is related with a particular location in a triangular array of degree . The triangular Bézier patch can be evaluated by means of either the de Casteljau algorithm or the Bernstein representation.
The de Casteljau algorithm is a recursive procedure to compute a point on the triangular patch as follows (see ): where , , and are the unit canonical vectors: Then is the position of the point corresponding to .
The second deterministic method uses homogeneous Bernstein polynomials (see ): where are the control points and are the weights.
De Casteljau and Bézier patch evaluation are the two standard techniques to compute points of a triangular patch. The Bézier evaluation is given by an analytic formula and the algorithm of de Casteljau is iterative but has some potentially useful side products such as the computation of the surface curvature. Nevertheless, none of these deterministic algorithms guarantees a uniform distribution of points on the patch.
The random technique is based on methodologies that provide asymptotically uniform distribution of points on the patch. In practical terms this means that as the resolution is increased the information is retrieved more faithfully on the whole patch.
Table 1 illustrates the CPU performance of the algorithms in a standard personal computer (PC) for the generation of points on an octant of a sphere (The sphere octant is realized in a rational Bézier patch of degree 4.). Our experiments show that, regardless of the number of points generated, the algorithm based on the inverse transform technique is faster than the deterministic algorithms. Further, the efficiency ratio for the random method with respect to the deterministic methods increases as the number of points generated increases.
For the ellipsoid, the comparison is given in Table 2. Our results suggest that, regardless of the number of points generated, the algorithm based on an approximation of the inverse transform technique is faster than the other algorithms both deterministic and random. In addition, the efficiency ratio for the discussed method with respect to the other methods increases as the number of points generated increases.
Visualization of medical data along curved surface patches is potentially a useful tool in medical research and clinical praxis. We consider the specific application in the case of the rotator cuff. We propose a family of patches fitted to the humerus head and texturing methods which are highly competitive with the standard Bernstein-de Casteljau deterministic algorithms.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors would like to thank Colciencias, Programa de Jóvenes Investigadores e Innovadores, and Universidad Nacional de Colombia, Sede Medellín, for financial support for this work.
In the video, we can visualize a sequence of spherical surface patches with common center and whose radius is variable in the time. The patches are shaded with information of a particular magnetic resonance of the rotator cuff.
- O. Opsha, A. Malik, R. Baltazar et al., “MRI of the rotator cuff and internal derangement,” European Journal of Radiology, vol. 68, no. 1, pp. 36–56, 2008.
- American Academy of Orthopaedic Surgeons, Rotator Cuff Tears: Surgical Treatment Options, 2013.
- M. J. Tuite, “Magnetic resonance imaging of rotator cuff disease and external impingement,” Magnetic Resonance Imaging Clinics of North America, vol. 20, no. 2, pp. 187–200, 2012.
- D. A. Rajon and W. E. Bolch, “Marching cube algorithm: review and trilinear interpolation adaptation for image-based dosimetric models,” Computerized Medical Imaging and Graphics, vol. 27, no. 5, pp. 411–435, 2003.
- D. P. Kroese, T. Taimre, and Z. I. Botev, Handbook of Monte Carlo Methods, John Wiley & Sons, Hoboken, NJ, USA, 2011.
- G. Farin, Curves and Surfaces for CAGD: A Practical Guide, Academic Press, 2002.
- H. Prautzsch, W. Boehm, and M. Paluszny, Bezier and B-Spline Techniques, Springer, 2002.
- W. Boehm and A. Müller, “On de Casteljau's algorithm,” Computer Aided Geometric Design, vol. 16, no. 7, pp. 587–605, 1999.
- H. Pottmann, “Rational curves and surfaces with rational offsets,” Computer Aided Geometric Design, vol. 12, no. 2, pp. 175–192, 1995.
- R. T. Farouki, “The Bernstein polynomial basis: a centennial retrospective,” Computer Aided Geometric Design, vol. 29, no. 6, pp. 379–419, 2012.
- G. Farin, B. Piper, and A. J. Worsey, “The octant of a sphere as a nondegenerate triangular Bézier patch,” Computer Aided Geometric Design, vol. 4, no. 4, pp. 329–332, 1987.
- R. L. Smith, “Efficient Monte Carlo procedures for generating points uniformly distributed over bounded regions,” Operations Research, vol. 32, no. 6, pp. 1296–1308, 1984.
- M. Taylor, Measure Theory and Integration, Americal Mathematical Society, 2006.
- P. Billingsley, Probability and Measure, John Wiley & Sons, New York, NY, USA, 1995.
- R. Hogg, A. Craig, and J. McKean, Introduction to Mathematical Statistics, Pearson Education, 2005.
- S. Nadarajah and S. Kotz, “Programs for computing truncated distributions,” Journal of Statistical Software, vol. 16, pp. 1–8, 2006.
- F. N. Fritsch and R. E. Carlson, “Monotone piecewise cubic interpolation,” SIAM Journal on Numerical Analysis, vol. 17, no. 2, pp. 238–246, 1980.
- R. A. Levine, Z. Yu, W. G. Hanley, and J. J. Nitao, “Implementing componentwise Hastings algorithms,” Computational Statistics & Data Analysis, vol. 48, no. 2, pp. 363–389, 2005.
- T. M. Deserno, Ed., Biomedical Image Processing, Springer, 2011.
Copyright © 2015 F. A. De Los Ríos and M. Paluszny. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.