For example, there are persons who are in physical science, in the field of mineralogy, trained in crystallography, who use only X-rays, applying only the powder technique of X-ray diffraction, to clay minerals only, and who have spent the last fifteen years concentrating on the montmorillonites ; ;

The outstanding example was in Garibaldi And The Thousand, where he made use of unpublished papers of Lord John Russell and English consular materials to reveal the motives which led the British government to permit Garibaldi to cross the Straits of Messina.

Easily the best known of these three novels is The Space Merchants, a good example of a science-fiction dystopia which extrapolates much more than the impact of science on human life, though its most important warning is in this area, namely as to the use to which discoveries in the behavioral sciences may be put.

One effect of the spirited give-and-take of these discussions was to focus attention on practical applications and the necessity of being armed with the facts: knowledge of the destructive force of even the tiniest `` tactical '' atomic weapon would have a bearing on judgments as to the advisability of its use -- to defend Berlin, for example ; ;

Another example is the recent cancellation of the F-108, a long-range interceptor with a speed three times as great as the speed of sound, which was designed for use against manned bombers in the period of the mid-1960's.

But the use of stress in comparison and contrast, for example, can undermine distinctions such as these.

For the reason just suggested, I shall assume the use of the first subtype of fully distributed cost apportionment in the following simplified example.

Another example is his very infrequent use of the large amount of data from surveys designed to discover what and how people actually do feel and think on a broad range of topics: he cites such survey-type findings just three times.

The final example of the failure to use available evidence, though evidence of a different kind from that which has so far been considered, comes from Fromm's treatment of some other writers who have dealt with the same themes.

In New Jersey, for example, the Administrative Office of the Court has promulgated a form of notice of appeal for use by appellants, though using this exact form is not mandatory and the failure to use it is not a jurisdictional defect provided that all pertinent information is set forth in whatever form of notice of appeal is used.

An example of a digital remote telescope operation for public use via the Internet is the The Bareket Observatory.

Architecture is often included as one of the visual arts ; however, like the decorative arts, it creates objects where the practical considerations of use are essential — in a way that they are usually not for a painting, for example.

The main use of metallic arsenic is for strengthening alloys of copper and especially lead ( for example, in car batteries ).

Bioethics, for example, is concerned with identifying the correct approach to matters such as euthanasia, or the allocation of scarce health resources, or the use of human embryos in research.

For an example of its use, analysis of the concentration of elements is important in managing a nuclear reactor, so nuclear scientists will analyze neutron activation to develop discrete measurements within vast samples.

For example, automobile wheels made of an aluminium alloy are commonly referred to as simply " alloy wheels ", although in point of fact steels and most other metals in practical use are also alloys.

Black sign language speakers prefer to use two hands opposed to one, for example: remember.

Typically, young children will make an ASL sign in the correct location and use the correct hand motion, but may be able only to approximate the hand shape, for example, using one finger instead of three in signing water.

In adjectival use, it is generally understood to mean " of or relating to the United States "; for example, " Elvis Presley was an American singer " or " the American President gave a speech today ".

For example, psychologists use anagram-oriented tests, often called " anagram solution tasks ", to assess the implicit memory of young adults and adults alike.

Finally, the prologue to Britten's Serenade for Tenor, Horn and Strings, played on horn without the use of valves but equally suited to the alphorn, is a beautiful, inspired example of the lyric possibilities of natural harmonics.

Agate is one of the most common materials used in the art of hardstone carving, and has been recovered at a number of ancient sites, indicating its widespread use in the ancient world ; for example, archaeological recovery at the Knossos site on Crete illustrates its role in Bronze Age Minoan culture.

One such example is the common use of western broccoli ( xīlán, 西蘭 ) instead of Chinese broccoli ( jie lan, 芥蘭 jièlán ) in American Chinese cuisine.

Thus for example Heraclitus ' The Allegorist ' quoted fr. 326 and part of fr. 6, about ships in a storm, in his study on Homer's use of allegory.

A major example of this is the Curry – Howard correspondence, which gives a correspondence between different systems of typed lambda calculus and systems of formal logic.

For example, the lambda term representing the identity < tt > λx. x </ tt > has no free variables, but the constant function < tt > λx. y </ tt > has a single free variable, < tt > y </ tt >.

For example, switching back to our correct notion of substitution, in the lambda abstraction can be renamed with a fresh variable, to obtain, and the meaning of the function is preserved by substitution.

The repressor found in the phage lambda is a notable example of the level of control possible over gene expression by a very simple system.

A classic example is the lambda calculus.

In this example, the lambda expression appears within the function.

For example, a λ DNA-HindIII Digest: a common lambda DNA ladder that has band sizes ( in base pairs ) of 23, 130 ; 9, 416 ; 6, 557 ; 4, 361 ; 2, 322 ; 2, 027 ; 564 ; and 125 bp

This example is similar to the Scheme expression "(( lambda ( x )( x x )) ( lambda ( x )( x x )))", which is expanded to itself by beta reduction, and so its evaluation loops indefinitely despite the lack of explicit looping constructs.

For example the dependently typed lambda calculus with a type of all types ( Type: Type ) is not normalizing due to Girard's paradox.

A prototypical example of the use of type rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.

For example, the " L " key had an " L " and a two-way arrow on the top, and the Greek letter lambda (" Λ ") on the front.

For example, Alonzo Church was able to express the lambda calculus in a formulaic way.

An example of a very simple template can be found at Template: Lambda, which places the lambda symbol, λ. Click the " Edit " tab on that template page to see the template code ( its wikitext ).

For example, type "< code > The 11th letter of the Greek alphabet is the lambda (< nowiki ></ nowiki >)</ code >" and you will see " The 11th letter of the Greek alphabet is the lambda ()".

As a concrete example, consider the lambda scheme shown above.

The three axes of the cube correspond to three different augmentations of the simply typed lambda calculus: the addition of dependent types, the addition of polymorphism, and the addition of higher kinded type constructors ( functions from types to types, for example ).

It is the canonical and simplest example of a typed lambda calculus.

For example, < tt >( s11 '( lambda ( x y ) (+ x y )) 3 )</ tt > evaluates to < tt >( lambda ( g42 ) (( lambda ( x y ) (+ x y )) 3 g42 ))</ tt >.

For example, the lambda expression below implements a tree data structure when supplied with parameters for a < tt > leftSubTree </ tt > and < tt > rightSubTree </ tt >.