Sentence examples for manually converted in from inspiring English sources

Policies (7 ) to (11 ) are manually converted in predicate logic as shown in Step 1. Next M2 is translated into Prover9 theorem software for validation as shown in Step 1. M2 implemented policies results are as follows:   ≫ ACCESS RESULTS.

For instance, in [28] the floating-point model is manually converted into a hybrid code model by defining fixed-point word widths at some "important" locations; the remaining floating-point values are then interpolated by analytical means.

Trees for illustrations were exported in a NEXUS format, manually converted to Newick trees, visualized and annotated using Dendroscope V 2.2.2.

Since TA Instruments use a positive sign for an exothermic reaction, which is opposite to the conventional presentation used by MicroCal (GE), we manually converted the measured raw data that are presented in all figures.

Questionnaires returned by post were manually converted to a Word document, double checked and processed in the same was as the digitally returned questionnaires by the first author (EMH).

The chemical structures contained within these images were manually converted to SMILES strings, chiefly by redrawing the structure using ChemDraw 12.0 and exporting the structure as SMILES or by manual conversion in the case of simple structures, which were recorded in an index of the corpus.

In order to perform a comparison between the dataset and the guideline, the textual guideline was manually converted to computer-processable format.

In order to process a comparison between the dataset and the guideline, the textual guideline was manually converted to computer-processable format.

MIRU-VNTR allele number was manually converted according to amplicon size.

Then gene symbols were converted to Entrez Gene IDs by IDConverter [ 64] (a few genes not transferred by IDConverter were manually converted).

We organized these data by manually converting different identifiers in publications to the unique National Center for Biotechnology Information (NCBI) Entrez/Gene ID.