Sentence examples for sorted term from inspiring English sources

Nitta et al. pointed out that for legal reasoning a sort-hierarchy (or a sorted term) is not sufficient to describe structural knowledge for event assertions, which express facts caused at some particular time and place.

Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy).

Up to 300 search terms were downloaded from Google Correlate for each notifiable disease (100 search terms per period analysed) and manually sorted; any term related to the queried notifiable disease was included, regardless of the nature of the potential association Suitable terms were combined with the manually identified search terms to create a list of search terms (see Additional file 1).

In this method, aerodynamic pressure data was first sorted in terms of coordinates for different regions; a feed forward back propagation neural network model was then trained for each data set to generate approximate pressure functions in terms of coordinates.

It dwarfs TaskPandas and Sorted in terms of funding: Just shy of $38m compared to £70k (~$112k) or less each for its UK counterparts.

In Figure 3, the relative CDKN1A expression for all 22 patients is presented sorted in terms of increasing magnitude of response.

We are interested in the relative positions of 1182 GO+ terms within the sorted list of 13,195 terms while ignoring other terms and how these positions change with different iterations.

We calculated the difference in the AUC scores between SLAN and SW for each GO term, sorted GO terms in order of increasing difference, and examined those GO terms with the largest AUC differences.

In this paper, many-sorted first-order term rewriting is extended with automatic tree traversal by adding two primitive tree traversal strategies and complementing them with three types of traversals.

In Phase-II, set of the sensitive itemsets, corresponding victim item and sorted list (in terms of length) of sensitive transactions are provided as input to the mapper.

Each sorted list was termed a classifier.