Table 5 Shorthand symbols can be assigned to each subformula of the property to verify Formula Symbol a 0 b 1 ¬c 2 a∨b 3 F (a∨b) 4 ¬c∨(F (a∨b)) 5 G (¬c∨(F (a∨b))) 6.
To verify gene symbols and gene descriptions, we downloaded the "gene_info.gz" file from the NCBI ftp site [ 38].
We verified that pilot symbols that are employed in wireless OFDM systems for channel estimation purpose can be extended to perform PAPR reduction as well.
The entire Entrez gene ID and their respective Symbols were verified from NCBI's Gene webpage (http://www.ncbi.nlm.nih.gov/gene).nih.gov/gene
In fact, only the UniProt identifier for these proteins is necessary to execute SeedServer - gene symbols were verified in the NCBI Gene database and converted to the corresponding geneID, and the desired identifiers were obtained afterwards from the UniProt database.
It is easy to verify that a symbol s belonging to a regular 4 L -QAM can be expressed as the superposition of L QPSK symbols, s = ∑ n = 0 L - 1 2 - n x n, which is easily derived by the definition of M-QAM modulated signals presented in [27].
Asymptotic results in the "Asymptotic analysis of an interference-unaware detector" section, in particular (34) using QPSK for the signal-symbol modulation are verified in Figure2.
Assumption A.2 is true for cyclostationary interferences with symbol period T. Finally A.3 is verified in particular for a useful propagation channel with no delay spread.
