Standards Research Data

The file named "2011bench-110certain" is the basic data. The file named "ontology-cloud-uncertainy" is the modified uncertain ontologies. The file named "MerggingResult" is the experimental results of ontology merging.

PCA was then used in each group of variables to construct specific features for the CTT and GT. All extracted components are listed in the appendix.

All primes can be indexed by $k$, as primes must be in the form of

$6k+1$ or $6k-1$. In this paper, we explore for what $k$ such that

either $6k+1$ or $6k-1$ is not a prime. The results can sieve primes

and especially twin primes.

$k \in S_{l} \Rightarrow 6k-1 \not \in \mathbb{P}$, $k \in S_{r}

\Rightarrow 6k+1 \not \in \mathbb{P},$ where $S_{l} = [-I]_{6I+1} =

[I]_{6I-1} \backslash \min([I]_{6I-1}), I \in \mathbb{N},$ and

$S_{r} = [-I]_{6I-1} \cup [I]_{6I+1} \backslash \min([I]_{6I+1}), I

\in \mathbb{N}.$ That is,

We have labeled 683 images and 2015 bounding boxes in total for now. We used 80% of the dataset which are 546 images for training and the rest of 20% which are 137 images for evaluation, and all images in the dataset have the same resolution at 1920*1080. Table.I summaries the statistics of the dataset, the category of floating leaves region has the most bounding box labels and the category of floating weeds region has the largest average size of bounding boxes.