Sentence examples for are proved in appendix from inspiring English sources

which are proved in Appendix C.

The above results are proved in Appendix 1.

This conclusion has been proved in Appendix 3 and verified by simulation examples in Section 8.

The first sufficient condition is that the second-level objective function must be concave that is proved in Appendix.

The fact that the Fourier transform is actually a smooth function given by the formula (1.5) is proved in Appendix.

The solution for the above objective is given by the following proposition which is proved in Appendix A. Proposition 1.

The subtraction of them can measure the difference between the shadow regions and the non-shadow regions (the subtraction is always positive, which will be proved in Appendix).

However, an OFDM symbol converted from only even subcarriers satisfies the property that x(n)=x(n+N), which is proved in Appendix 1.

The feasibility of V n ei is proved in Appendix 2. Since the matrices V n ei are feasible for the perturbed Problem (29), the corresponding objective value obtained by solving Problem (29) is a lower bound for Problem (15).

Theorem 1 is proved in Appendix 1. From Theorem 1, we know that for an optimization problem with a fractional form objective function, there exists an equivalent objective function in subtractive form.

The Proposition 2 below can give the LMI formulations of these inequalities, which is proved in Appendix D. Using Lemma 1 and some matrix lemmas, the first two constraint inequalities in (26) can be, respectively, expressed as (27) (27).