• No results found

Twin Support Vector Machine in Linear Programs

N/A
N/A
Protected

Academic year: 2021

Share "Twin Support Vector Machine in Linear Programs"

Copied!
9
0
0

Loading.... (view fulltext now)

Full text

(1)

Twin Support Vector Machine in

Linear Programs

Dewei Li

1

and Yingjie Tian

2

1 Information School, Renmin University of China, Beijing 100872, China

[email protected]

2 Research Center on Fictitious Economy and Data Science, Chinese Academy of Science, Beijing

100190, China [email protected]

Abstract

This paper propose a new algorithm, termed as LPTWSVM, for binary classification problem by seeking two nonparallel hyperplanes which is an improved method for TWSVM. We improve the recently proposed ITSVM and develop Generalized ITSVM. A linear function is chosen in the object function of Generalized ITSVM which leads to the primal problems of LPTWSVM. Comparing with TWSVM, a 1-norm regularization term is introduced to the objective func-tion to implement structural risk minimizafunc-tion and the quadratic programming problems are changed to linear programming problems which can be solved fast and easily. Then we do not need to compute the large inverse matrices or use any optimization trick in solving our linear programs and the dual problems are unnecessary in the paper. We can introduce kernel function directly into nonlinear case which overcome the serious drawback of TWSVM. The numerical experiments verify that our LPTWSVM is very effective.

Keywords: Twin support vector machine, Binary classification, Linear programs, Structural risk mini-mization

1

Introduction

Support vector machines(SVMs), as machine learning methods which were constructed on the VC-dimension theory and the principle of structural risk minimization, were proposed by Corinna Cortes and Vapnik in 1995 [1–3]. With the evolution of SVMs, they have shown much advantages in classification with small samples, nonlinear classification and high dimen-sional pattern recognition and also they can be applied in solving other machine learning prob-lems [4–10]. The standard support vector classification attempts to minimize generalization error by maximizing the margin between two parallel hyperplanes, which results in dealing with an optimization task involving the minimization of a convex quadratic function. But some

Corresponding author

Volume 29, 2014, Pages 1770–1778

ICCS 2014. 14th International Conference on Computational Science

1770 Selection and peer-review under responsibility of the Scientific Programme Committee of ICCS 2014

(2)

classifiers based on nonparallel hyperplanes were proposed recently. The generalized eigenvalue proximal support vector machine(GEPSVM) and twin support vector machine(TWSVM) are two typical classification methods and are also very popular. TWSVM seeks two nonparallel hyperplanes and make each hyperplane close to one class and far from the other as much as possible. However, the structural risk was not considered in TWSVM which may affect the computational efficiency and accuracy. Based on TWSVM, TBSVM and ITSVM was proposed in [11, 12] which introduces a regularization term into the objective function and their exper-iments perform better than TWSVM. The main contribution of the twin bounded support vector machine(TBSVM) is that the principle of structural risk minimization is implemented by adding the regularization term in the primal problems. And the advantages of the improved twin support vector machine(ITSVM) are that it can apply kernel trick directly in the non-linear case and it does not need to compute inverse matrices. TWSVM have been studied extensively [13–19].

In this paper, we propose a novel approach to classification problem which involves two nonparallel hyperplanes in two linear optimization problems, termed as LPTWSVM, for binary classification. Since ITSVM is a successful method as an improved version of TWSVM, we develop Generalized ITSVM which follows the idea in [20]. LPTWSVM replaces the abstract function in the objective function of Generalized ITSVM with 1-norm terms and then we convert them to linear programs which can be solved easily and quickly and inherits the advantage of ITSVM. We can implement the principle of structural minimization and avoid computing inverse matrices. Also kernel function can be introduced to nonlinear case directly as the standard SVMs usually do.

The paper is organized as follows: Section 2 briefly introduces two algorithms, the original TWSVM and ITSVM; Section 3 proposes our new method LPTWSVM; Numerical experiments are implemented in Section 4 and concluding remarks are summarized in Section 5.

2

Background

In this section, we introduce the original TWSVM and its improved algorithm ITSVM.

2.1

TWSVM

Consider the binary classification problem with the training set

T ={(x1,+1),· · · ,(xp,+1),(xp+1,−1),· · ·,(xp+q,−1)}, (2.1) wherexi ∈Rn, i= 1,· · · , p+q. LetA= (x1,· · · , xp)T∈Rp×n,B= (xp+1,· · ·, xp+q)T∈Rq×n, andl=p+q.

TWSVM constructs the following primal problems min w+,b+,ξ− 1 2(Aw++e+b+) T(Aw ++e+b+) +c1eT−ξ−, (2.2) s.t. (Bw++eb+) +ξ≥e, ξ0, (2.3) and min w−,b−,ξ+ 1 2(Bw−+e−b−) T(Bw +e−b−) +c2eT+ξ+, (2.4) s.t. (Aw+e+b) +ξ+≥e+, ξ+0, (2.5)

(3)

where ci, i=1,2,3,4 are the penalty parameters,e+ ande are vectors of ones,ξ+ and ξ are slack vectors,e+, ξ+∈Rp, e, ξ∈Rq. The decision function is denoted by

Class=arg min

k=−,+|(wk·x) +bk| (2.6)

where| · |is the absolute value.

2.2

ITSVM

ITSVM is the abbreviation of improved twin support vector machine which changes the form of TWSVM and construct the following primal problems in linear case

min w+,b++,ξ− 1 2c3(w+ 2+b2 +) + 1 2η T +η++c1eT−ξ−, (2.7) s.t. Aw++e+b+=η+, (2.8) (Bw++eb+) +ξ≥e, ξ0, (2.9) and min w−,b−,η−,ξ+ 1 2c4(w− 2+b2 ) +12η−Tη−+c2eT+ξ+, (2.10) s.t. Bw+eb=η, (2.11) (Aw+e+b) +ξ+ ≥e+, ξ+0, (2.12) where ci, i=1,2,3,4 are the penalty parameters,e+ ande are vectors of ones,ξ+ and ξ are slack vectors,e+, ξ+, η+∈Rp, e, ξ, η∈Rq.

The following dual problems are considered to be solved max λ,α 1 2(λ T αT) ˆQ(λT αT)T+c 3eT−α, (2.13) s.t. 0≤α≤c1e, (2.14) and max θ,γ 1 2(θ T γT) ˜Q(θT γT)T+c 4eT+γ, (2.15) s.t. 0≤γ≤c2e+, (2.16) where ˆ Q= AAT+c 3I+ ABT ABT BBT +E, (2.17) ˜ Q= BBT+c 4I− BAT BAT AAT +E, (2.18)

andI+ is thep×pidentity matrix, I is the q×qidentity matrix, E is thel×l matrix with all entries equal to one. Thus a new pointx∈Rn is predicted to the class by (2.6) where

w+=1 c3(ATλ+BTα), b+= 1 c3(eT+λ+eT−α), (2.19) w=1 c4(BTθ−ATγ), b−= 1 c4(eT−θ−eT+γ), (2.20)

(4)

For the nonlinear case, after introducing the kernel function, the two corresponding problems in the Hilbert spaceH are

min w+,b++,ξ− 1 2c3(w+ 2+b2 +) +12ηT+η++c1eT−ξ−, (2.21) s.t. Φ(A)w++e+b+=η+, (2.22) (Φ(B)w++eb+) +ξ≥e, ξ0, (2.23) and min w−,b−,η−,ξ+ 1 2c4(w− 2+b2 ) +12η−Tη−+c2eT+ξ+, (2.24) s.t. Φ(B)w+eb=η, (2.25) (Φ(A)w+e+b) +ξ+≥e+, ξ+0, (2.26) Their dual problems are constructed and can be solved directly.

3

LPTWSVM

In this section, based on ITSVM, we first develop Generalized ITSVM and then introduce our LPTWSVM which changes the 2-norm terms in the objective function of ITSVM to 1-norm terms and then get a pair of linear programs.

3.1

Generalized ITSVM

For the solution (2.19) and (2.20), letλ+=c1

3λ, α+= 1 c3α, λ−= 1 c4θ, α−= 1 c4γ,and then w+=ATλ+−BTα+, b+=eT+λ+−eTα+, (3.1) w=−BTλ+ATα, b=−eTλ+eT+α, (3.2) We introduce (3.1) and (3.2) into the primal problems (2.7)-(2.9) and (2.10)-(2.12) thus get

min λ+++,ξ− 1 2c3(λ T +αT+)Q+(λT+ α+T)T+ 1 2η T +η++c1eT−ξ−, (3.3) s.t. (AAT+e+eT+)λ+(ABT+e+eT)α+=η+, (3.4) (BAT+eeT+)λ++ (BBT+eeT)α++ξ ≥e, (3.5) α+0, ξ0, (3.6) and min λ−,α−,η−,ξ+ 1 2c4(λ T αT)Q−(λT αT)T+12ηT−η−+c2eT+ξ+, (3.7) s.t. (BBT+eeT)λ+ (BAT+eeT+)α =η, (3.8) (ABT+e+eT)λ+ (AAT+e+eT+)α+ξ+≥e+, (3.9) α0, ξ+ 0, (3.10) where Q+= AAT+e+eT + −ABT−e+eT −BATeeT + BBT+e−eT , (3.11)

(5)

Q= BBT+e −eT −BAT−e−eT+ −ABTe +eT AAT+e+eT+ , (3.12)

We state mathematical programs by replacing the first term in the object function with abstract functionf, gas follows: min λ+++,ξ− f(λ+, α+) +1 2η T +η++c1eT−ξ−, (3.13) s.t. (AAT+e+eT+)λ+(ABT+e+eT)α+=η+, (3.14) (BAT+eeT+)λ++ (BBT+eeT)α++ξ ≥e, (3.15) α+0, ξ0, (3.16) and min λ−,α−,η−,ξ+ g(λ, α) +1 2η T −η−+c2eT+ξ+, (3.17) s.t. (BBT+eeT)λ+ (BAT+eeT+)α=η, (3.18) (ABT+e+eT)λ+ (AAT+e+eT+)α+ξ+≥e+, (3.19) α0, ξ+0, (3.20)

wheref, g are some convex functions onRp×Rq.

3.2

Linear Programming ITSVM(LPTWSVM)

In this section, we consider using linear function f, gin the objective function generated from the mathematical program (3.13)-(3.20) thus leading to linear programs. We chose 1-norm λ+, α+, λ, α for f, g and change the η term to 1-norm form which leads to the following primal problems: min λ+++,ξ− c3(λ++α+) +η++c1eTξ, (3.21) s.t. (AAT+e+eT+)λ+(ABT+e+eT)α+=η+, (3.22) (BAT+eeT+)λ++ (BBT+eeT)α++ξ ≥e, (3.23) α+, ξ 0, (3.24) and min λ−,α−,η−,ξ+ c4(λ+α) +η+c2eT+ξ+, (3.25) s.t. (BBT+eeT)λ+ (BAT+eeT+)α=η, (3.26) (ABT+e+eT)λ+ (AAT+e+eT+)α+ξ+≥e+, (3.27) α, ξ+0, (3.28)

where · denote 1-norm,ci, i=1,2,3,4 are the penalty parameters.

We introduce the variables s+ = (s+,1, s+,2,· · · , s+,p)T, t+ = (t+,1, t+,2,· · · , t+,p)T, s = (s,1, s,2,· · · , s,q)T, t = (t,1, t,2,· · ·, t,q)T, then we can convert the primal problems

(6)

(3.21)-(3.24) and (3.25)-(3.28) to linear programming formulation: min λ++,s+,t+,ξ− c3(eT+s++eTα+) +eT+t++c1eTξ, (3.29) s.t. −t+(AAT+e+eT+)λ+(ABT+e+eT)α+≤t+, (3.30) (BAT+eeT+)λ++ (BBT+eeT)α++ξ≥e, (3.31) −s+≤λ+≤s+, (3.32) s+, t+, α+, ξ0, (3.33) and min λ−,α−,s−,t−,ξ+ c4(eTs+eT+α) +eTt+c2eT+ξ+, (3.34) s.t. −t≤ −(BBT+eeT)λ+ (BAT+eeT+)α≤t, (3.35) (ABT+e+eT)λ+ (AAT+e+eT+)α+ξ+≥e+, (3.36) −s≤λ ≤s, (3.37) s, t, α, ξ+0, (3.38)

Then an unknown point is predicted to the class by (2.6) where w+, b+, w, b are same as (3.1) and (3.2).

In nonlinear case, we introduce the transformation x = Φ(x) and the corresponding kernel functionK(x, x) = (Φ(x)·Φ(x)) where x∈H, His the Hilbert space. So the training set (2.1) becomes

˜

T ={(x1,+1),· · · ,(xp,+1),(xp+1,−1),· · ·,(xp+q,−1)}, (3.39) Then we construct the following primal problems

min λ++,s+,t+,ξ− c3(eT+s++eTα+) +eT+t++c1eTξ, (3.40) s.t. −t+(K(A, AT) +e+eT+)λ+(K(A, BT) +e+eT)α+≤t+, (3.41) (K(B, AT) +eeT+)λ++ (K(B, BT) +eeT)α++ξ≥e, (3.42) −s+≤λ+≤s+, (3.43) s+, t+, α+, ξ0, (3.44) and min λ−,α−,s−,t−,ξ+ c4(eTs+eT+α) +eTt+c2eT+ξ+, (3.45) s.t. −t≤ −(K(B, BT) +eeT)λ+ (K(B, AT) +ee+T)α≤t, (3.46) (K(A, BT) +e+eT)λ+ (K(A, AT) +e+eT+)α+ξ+≥e+, (3.47) −s≤λ ≤s, (3.48) s, t, α, ξ+0, (3.49)

Then an unknown point is predicted to the class by Class=arg min

k=−,+|fk(x)|, (3.50)

where

f+(x) =K(x, AT)λ+−K(x, BT)α++eT+λ+−eTα+ (3.51) f(x) =−K(x, BT)λ+K(x, AT)α−eTλ+eT+α (3.52)

(7)

4

Numerical Experiments

In this section, we have made numerical experiments to show the advantages of our algorithm. In order to get more objective results, some datasets were partially selected from the primary datasets to get balanced datasets. All the optimal parameters are selected through searching the set {102,· · ·,102}. The best accuracy of each dataset is obtained by three-fold cross validation method.

We performed the experiments in linear case and nonlinear case respectively. All experiments were implemented in MATLAB 2012a on a PC with a Intel Core 2 processor with 2GB RAM and all datasets were come from the UCI machine learning Repository. All samples were scaled to the interval [0,1] before training to improve the computational efficiency. For all the methods, we applied the RBF kernelK(x, x) =exp(−μx−x2) to nonlinear case. The ”Accuracy” used to evaluate methods is defined same as [12]. Accuracy=(TP+TN)/(TP+FP+TN+FN), where TP, FP, TN and FN is the number of true positive, false positive, true negative and false negative, respectively. The experiments results are listed in Table 1 and Table 2. The best accuracy is signed by bold-face.

In Table 1, we compare our LPTWSVM with SVC, TWSVM and ITSVM in linear case, the classification accuracy and the optimal parameters are listed. In fact, for ITSVM, the choice of c3 and c4 affects the results significantly which shows that there are only two parameters to be tuned in practice [12]. For LPTWSVM, there are four parameters need to be tuned and every parameter can affect the results markedly. But it is observed that, in most cases, the best accuracy is got whenc1=c2 andc3=c4 which can save much training time in practice. We have more space to adjust the parameters which leads to higher classification accuracy. We compare LPTWSVM with SVC, TWSVM and ITSVM in nonlinear case in Table 2. All methods can get better accuracy since the kernel function is introduced. Our LPTWSVM have achieved the best accuracy in seven datasets.

In summary, we can see that LPTWSVM has got higher accuracy than the other methods on most datasets which demonstrate the effectiveness of our LPTWSVM in binary classification.

5

Conclusion

In this paper, based on TWSVM and ITSVM, we have proposed another improved method for binary classification, terms as LPTWSVM. Instead of solving a large sized programming problems in standard SVMS , we solve two linear optimization problems of a smaller size in LPTWSVM similar as ITSVM. ITSVM has been developed to Generalized ITSVM and we get our primal problems by using a linear function in the objective function of Generalized ITSVM. In contrast to the original TWSVM, our LPTWSVM introduced 1-norm regularization term to the objective function which contribute to the structural risk minimization. The primal problems of LPTWSVM can be converted to linear programs easily and the weights between the regularization term and empirical risk can be adjusted freely. Furthermore, we do not need to calculate the inversion of matrices which can affect the computational accuracy. Numerical experiments have been made on ten datasets and the results show that our LPTWSVM per-forms better on most datasets, namely, we have higher generalization ability. The idea can be extended to regression machine, knowledge-based learning in future work.

Acknowledgements

This work has been partially supported by grants from National Natural Science Foundation of China (No.11271361, No.71331005), Major International (Ragional) Joint Research Project

(8)

Table 1: Average accuracy in linear case of binary classification

SVM TWSVM ITSVM LPTWSVM

Dataset Accuracy Accuracy Accuracy Accuracy

inst. ×attr. C c1/c2 c1/c2/c3/c4 c1/c2/c3/c4 WDBC 0.9498 0.9348 0.9597 0.9597 (200×30) 100 1/1 0.1/0.1/0.1/0.1 1/1/0.01/0.1 votes 0.9300 0.9433 0.9400 0.9500 (300×16) 1 1/0.1 0.1/0.1/0.01/0.01 1/1/1/1 hepatitis 0.8096 0.8260 0.8516 0.8393 (155×19) 0.1 10/1 10/100/100/100 1/1/0.1/0.1 Heart-statlog 0.8333 0.8259 0.8407 0.8593 (270×13) 1 0.1/0.1 0.01/0.01/1/1 1/0.1/10/10 Heart-c 0.8299 0.8301 0.8351/1.22 0.8630 (200×13) 0.1 0.1/0.1 0.1/0.1/0.1/0.1 10/10/10/10 Ionosphere 0.8405 0.8902 0.8601 0.8904 (200×34) 10 100/1 1/1/0.01/0.01 100/1/0.01/0.01 sonar 0.7932 0.7787 0.8027 0.8027 (208×60) 1 10/1 10/10/10/10 10/100/10/1 bupa 0.6841 0.6957 0.6986 0.6696 (345×6) 100 0.01/0.01 0.01/0.01/0.01/0.01 1/1/0.01/0.01 hungarian 0.8305 0.8400 0.8454 0.8549 (200×13) 10 100/100 100/100/1/1 100/100/0.01/0.01 blood 0.6733 0.6800 0.6800 0.6867 (300×4) 1 1/1 0.1/0.1/1/1 1/1/0.01/0.01

Table 2: Average accuracy in nonlinear case of binary classification

SVM TWSVM ITSVM LPTWSVM

Dataset Accuracy Accuracy Accuracy Accuracy

inst. ×attr. C/g c1/c2/μ c1/c2/c3/c4/μ c1/c2/c3/c4/μ WDBC 0.9477 0.9599 0.9548 0.9599 (200×30) 1/1 0.1/0.1/0.01 1/1/0.1/0.1/0.1 100/100/0.1/0.1/0.1 votes 0.9400 0.9467 0.9500 0.9533 (300×16) 10/1 0.1/0.1/0.1 1/1/1/1/1 100/100/0.1/0.1/0.1 hepatitis 0.8262 0.8260 0.8323 0.8323 (155×19) 1/0.1 0.1/0.01/0.01 1/1/0.1/0.1/0.01 10/10/10/10/0.01 Heart-statlog 0.8370 0.8333 0.8333 0.8370 (270×13) 100/0.01 0.01/0.1/0.01 10/10/1/1/0.01 1/1/1/1/0.1 Heart-c 0.8399 0.8354 0.8400 0.8549 (200×13) 100/0.1 0.1/10/0.01 10/10/10/10/0.01 1/1/0.1/0.1/0.1 Ionosphere 0.9309 0.9104 0.9360 0.9204 (200×34) 100/1 0.01/0.1/0.01 1/1/0.01/0.01/1 1/1/0.1/0.1/0.1 sonar 0.8749 0.8509 0.8846 0.8414 (208×60) 10/1 1/1/1 10/10/0.01/0.01/1 1/1/0.01/0.01/0.1 bupa 0.7275 0.7333 0.7420 0.7478 (345×6) 10/1 1/1/0.1 1/1/0.1/0.1/1 10/10/0.01/0.01/0.1 hungarian 0.8304 0.8457 0.8504 0.8351 (200×13) 100/0.1 0.01/0.1/0.01 10/10/100/100/0.1 100/100/0.1/0.1/0.1 blood 0.6900 0.6833 0.6833 0.6967 (300×4) 10/1 1/1/0.1 1/1/0.01/0.01/1 10/0.1/10/0.1/0.01

(9)

(No.71110107026), the Ministry of water resources’ special funds for scientific research on public causes(No.201301094).

References

[1] C.Cortes and V.N.Vapnik. Support-vector network. Machine Learning, 20(3):273–297, 1995. [2] V.N.Vapnik. The nature of statistical learning theory. Springer, New York, 1996.

[3] V.N.Vapnik. Statistical learning theory. Wiley-Interscience, New York, 1998.

[4] Naiyang Deng, Yingjie Tian, and Chunhua Zhang. Support Vector Machine-theories, algorithms and extensions. Science Press, Beijing, 2009.

[5] Ji Zhu, Saharon Rosset, Trevor Hastie, and Rob Tibshirani. 1-norm support vector machines. Neural Information Processing Systems, page 16, 2003.

[6] O.L.Mangasarian. Exact 1-norm support vector machines via unconstrained convex differentiable minimization. Machine Learning Research, 7:1517–1530, 2006.

[7] Yingjie Tian, Yong Shi, and Xiaohui Liu. Recent advances on support vector machines research. Technological and Economic Development of Economy, 18(1):5–33, 2012.

[8] P.S.Bradley and O.L.Mangasarian. Feature selection via concave minimization and support vector machines.Machine Learning Proceedings of the Fifteenth International Conference, 98:82–90, 1998. [9] Chuanhua Zhang, Dewei Li, and Junyan Tan. The support vector regression with adaptive norms.

Procedia Computer Science, 18:1730–1736, 2013.

[10] Chuanhua Zhang, Xiaojian Shao, and Dewei Li. Knowledge-based support vector classification based on c-svc. Procedia Computer Science, 17:1083–1090, 2013.

[11] Yingjie Tian, Xuchan Ju, Zhiquan Qi, and Yong Shi. Improved twin support vector machine. Science China Mathematics, 2013.

[12] Yanhai Shao, Chuanhua Zhang, Xiaobo Wang, and Naiyang Deng. Improvements on twin support vector machines. IEEE Trans. neural netw., 22(6):962–968, 2011.

[13] R.K.Jayadeva, J.R.Khemchandani, and S.Chandra. Twin support vector machines for pattern classification. IEEE Trans. Pattern Anal. Mach. Intell., 29(5):905–910, 2007.

[14] Zhiquan Qi, Yingjie Tian, and Yongshi. Robust twin support vector machine for pattern classifi-cation. Pattern Recognition, 46(1):305–316, 2013.

[15] Zhiquan Qi, Yingjie Tian, and Yongshi. Laplacian twin support vector machine for semi-supervised classification. Neural Networks, 35:46–53, 2012.

[16] Zhiquan Qi, Yingjie Tian, and Yongshi. Twin support vector machine with universum data.Neural Networks, 36:112–119, 2012.

[17] M.A. Kumar and M.Gopal. Application of smoothing technique on twin support vector machines. Pattern Recognition Letters, 29:1842–1848, 2008.

[18] M.A. Kumar and M.Gopal. Least squares twin support vector machines for pattern classification. Expert Systems with Applications, 36:7535–7543, 2009.

[19] J.R.Khemchandani, R.K.Jayadeva, and S.Chandra. Optimal kernel selection in twin support vector machines. Optimization Letters, 3:77–88, 2009.

[20] O.L.Mangasarian. Generalized support vector machines. Advances in Large Margin Classifiers, pages 135–146, 1998.

Figure

Table 2: Average accuracy in nonlinear case of binary classification

References

Related documents

Yellow nail syndrome (YNS) is an uncommon condition characterized by a triad of yellow nail coloration, lymphedema and respiratory tract involvement.. This syndrome typically

The improvement in sensitivity in the quad ring configuration of the MAMMI PET leads to a substantial increase in the number of counts registered at a given

Meantime, overexpression of miR-124 dramatically inhibits the motility of ovarian cancer cells in vitro and substantially suppresses the protein expression of SphK1, reported as

Physician Assistant in Family Practice; Flatbush Medical Group, Brooklyn, N.Y.. Practiced family medicine with a split between urgent visit patients and a panel of patients

Within the new wards at Hopewood Park whilsy we will see a reduction in the number of beds from the current status of 24 to 18 we will see an increase an increase in the ratio

Section 4 presents Meta-Blue our tool for visualising Bluetooth Low Energy advertising packets; along with a case study to determine the prevalence of IoT devices

interrogate a key historical source, the 1641 Depositions, in ways not currently possible, by exploiting effective language technology developed by IBM LanguageWare. images ©

Under the heavy textured Matopos soil, water content did not increase significantly at mulching rates greater than 4 t ha 1 under ripper and conventional tillage practices whereas