Sentence examples for order sorted from inspiring English sources

They are listed in alphabetical order sorted by implementation name.

The servers guarantee that for each directory the files are sent in order, sorted by name.

Here, the pixels are displayed in ascending order sorted by luminance.

There are design elements that seem simple and obvious but were difficult to get just right, like fine-tuning the splash page to have the stars' direction controlled by the mouse, getting the chronological order sorted correctly, & the incredibly effective "search".

There are design elements that seem simple and obvious but were difficult to get just right, like fine-tuning the splash page to have the stars' direction controlled by the mouse, getting the chronological order sorted correctly, and the incredibly effective "search". What was the most difficult challenge you had to overcome in launching this project?

This is supported by the observation that the protein order sorted by immunoassay concentrations or mass spectrometry relative abundances was rather constant (Fig 1B).

Our order-sorted logic contains types (rigid sorts), non-rigid sorts, and unary predicates that distinctly express essential sorts, non-essential sorts, and non-sortal properties.

We extend order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols.

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).

We formalize the order-sorted Horn-clause calculus for such properties in a single knowledge base.

We prove that regular expression order-sorted (REOS) unification is of type infinitary and decidable.