Sentence examples for module defined by from inspiring English sources

A new logic module defined by a user is translated and compiled with the proof engine to produce a specialized theorem prover for that logic.

Note: In the algebra case, a closely related structure to that of 2-crossed module is that of a quadratic module, defined by Baues [13].

Using the dual decomposition technique (in the figure we start with μ 0 = 0), the successive updates move along this line (the orientation and module defined by the subgradient) until the optimal solution is achieved.

The module completion ratio was calculated by counting the number of genes assigned to KO identifiers constructing each module defined by a Boolean algebra-like equation.

The figure shows that the Gleason score values are inversely correlated with the expression levels of the module, defined by the first node of the hierarchical tree (red line on the figure), just like the four other regulators.

Both R genes and mammalian NODs are composed of effector domains such as the CAspase Recruitment Domain (CARD) or the PYrin Domain (PYD, protein module defined by Bertin et al. [ 22] found in proteins that are thought to function in apoptotic and inflammatory signaling pathways), and of a carboxy-terminal leucine-rich repeat domain (LRRs) used in pathogen recognition.

It has recently been reported that only about 30% of the modules defined by GO terms and 57% of the modules defined by KEGG pathways display an internal correlation higher than the expected by chance [14].

These results are essentially gene signatures and co-expression modules defined by the database curators or directly by the authors of the papers.

As the first step, the community landscape is divided into hills (corresponding to network modules) defined by the local maxima of the community landscape described above.

Untargeted approaches do not depend on externally defined modules or modules defined by clustering of a reference data set.

Only around 30% of the modules defined by GO terms and 57% of the modules defined by KEGG pathways display an internal correlation higher than the expected by chance.