Sentence examples for in enumerating the from inspiring English sources

The explanation consists in enumerating the relevant boundary conditions and then adducing the appropriate "covering" laws in this case, that water expands as it freezes and the tensile strength of iron makes it too brittle to expand as much as the water does.

In this paper, we introduce a new problem, called Top-k SAT, that consists in enumerating the Top-k models of a propositional formula.

This approach can help in enumerating the number of users of a specific machine, presence of a NAT mechanism and number of clients behind a NAT, etc. Fig. 1 Identification and enumeration of HTTPS clients behind NAT.

In enumerating the reasons for the complete Axis victory in Greece, the following factors were of greatest significance: Germany superiority in ground forces and equipment; The bulk of the Greek army was occupied fighting the Italians on the Albanian front.

The new rules from the Office of Federal Contract Compliance regarding the federal contractor workforce, and guidance from OSHA, the Office of Safety and Health Administration, have been very clear and forceful in enumerating the rights of trans employees to basic human dignity.

In the past several years, a great deal of progress has been made in enumerating the different pattern recognition receptors (PRRs) that recognize sets of pathogen-associated molecular patterns (PAMPs) [2], [3].

In his distinctive Turkish accent, Cetin (pronounced CHET-in) enumerated the many kinds of valet services and personal assistance that constituted his job.

Such critics are at liberty to count up the faults, if it gives them pleasure, but are certainly pursuing an unfruitful occupation in enumerating these rather than the excellences.

The difficulty in enumerating all the phenotype-related system components lies in dealing with the enormous number of system components (or features) that could easily reach thousands or even hundreds of thousands.

Academic studies, combined with those from the Treasury and the Bank of England, make a powerful case for staying in by enumerating the long-term benefits of membership on trade, finance, labour market size and technology transfer.

The sub-procedure (SP1) consists in enumerating all the formulas ⊢-deducible, starting from the axioms and inferring other theorems with the help of the inference rules.