Help


[permalink] [id link]
+
Page "Lambda calculus" ¶ 10
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Using and these
Using these formulas, the area of any polygon can be found by dividing the polygon into triangles.
Using Nevado Mismi, which in 2001 was labeled by the National Geographic Society as the Amazon's source, these scientists made new calculations of the Amazon's length.
Using these inhibitors it was discovered that cells can die while displaying a morphology similar to apoptosis without caspase activation.
Using these tools, one can write a more complex text editor, and a simple compiler for a higher-level language and so on, until one can have a graphical IDE and an extremely high-level programming language.
Using the rules of double entry, these journal summaries are then transferred to their respective accounts in the ledger, or book of accounts.
Using Flynn's taxonomy, these two schemes of dealing with data are generally referred to as SIMD ( single instruction, multiple data ) and SISD ( single instruction, single data ), respectively.
Using the extension of the code, the encoded string 0011001011 can be grouped into codewords as 0 – 011 – 0 – 01 – 011, and these in turn can be decoded to the sequence of source symbols acabc.
Using these coordinates, the motion along the path is viewed as a succession of circular paths of ever-changing center, and at each position s constitutes non-uniform circular motion at that position with radius ρ.
Using ClearType on these display configurations will actually reduce the display quality.
Using these modelling techniques, Malthus ' population principle of growth was later transformed into a model known as the logistic equation:
Using transforms it is possible to convert these continuous time frequency responses to ones that are implemented in discrete time, for use in digital IIR filters.
Using these definitions, examples of specific episcopal churches include:
Using these definitions it can be proven that in any ring a prime must be irreducible.
Using these samplers, the band members are able to recreate, in real-time, the sounds of non-traditional instruments, accompaniments, vocal harmonies, and other sound " events " that are familiar to those who have heard Rush songs from their albums.
Using these he instructed Davy in the rudiments of experimental science.
Using inputs such as input voltage, output voltage, output current, frequency, ambient temperature, and inductance these calculators can predict the losses of the inductors core and AC / DC based on the operating condition of the circuit being used.
Using an example of " 75 % effective ", an article in American Family Physician explains the effectiveness calculation thus: ... these numbers do not translate into a pregnancy rate of 25 percent.
Using these tables, often calculated out to 16 decimal places or more for some functions, one could look up values to plug into the formulas given and achieve very good numerical estimates of some functions.
Using their new foreknowledge of these events, the present Janeway and Tuvok create a hologram of Kes at the time who reminds her future self about her affection for the crew and how much they had cared for her, thus showing Kes how irrational her hatred is.
Using these new tactics and the support of authors, the Company petitioned Parliament again in both 1707 and 1709 to introduce a bill providing for copyright.
Using sensing technologies such as EEG electrodes or accelerometers, these alarm clocks are supposed to wake people only from light sleep.
Using the Greek numerical prefixes, these would be as follows for series with between two and ten entries:
Using an extensive network of cities and settlements in the province of Mawarannahr ( a name given the region after the Arab conquest ) in Uzbekistan and farther east in what is today China's Xinjiang Uygur Autonomous Region, the Soghdian intermediaries became the wealthiest of these Iranian merchants.
Using these patents as a part of WI coder implementation requires licensing from all IPR holders.

Using and two
Using the F-distribution is a natural candidate because the test statistic is the ratio of two scaled sums of squares each of which follows a scaled chi-squared distribution.
Using two anchors set approximately 45 ° apart, or wider angles up to 90 °, from the bow is a strong mooring for facing into strong winds.
Using space exploration as a symbol of national prestige, he warned of a " missile gap " between the two nations, pledging to make the U. S. not " first but, first and, first if, but first period.
Using modern full capacity firearms, a shooter can fire more shots with greater accuracy using a single gun in a two-handed grip than two guns with one-handed grips.
Using the same prefixes to mean two different things within the same industry has caused some confusion.
Using the techniques of modern biotechnology, one or two genes ( Smartstax from Monsanto in collaboration with Dow AgroSciences will use 8, starting in 2010 ) may be transferred to a highly developed crop variety to impart a new character that would increase its yield.
Using terms from formal language theory, the precise mathematical definition of this concept is as follows: Let S and T be two finite sets, called the source and target alphabets, respectively.
Using the Doctor V64 involved the solution of two problems: how to boot a game and how to save.
Using two pegs and a rope, this procedure is traditionally used by gardeners to outline an elliptical flower bed ; thus it is called the gardener's ellipse.
Using himself as the sole subject in his experiment, he memorized lists of three letter nonsense syllable words — two consonants and one vowel in the middle.
Using two sets of rollers that travelled at different speeds, it was later used in the first cotton spinning mill.
Using the two additional pins ( read and write signals ), it was possible to assemble simple microprocessor devices very easily.
Using a spare Jupiter-C, the two organizations then launched America ’ s first satellite, Explorer 1, on February 1, 1958.
Using repair replication, Kleppe duplicated and then quadrupled a small synthetic molecule with the help of two primers and DNA-polymerase.
Using the thoroughbred racing convention of one length equaling one-fifth of a second to calculate Sham ’ s time, he also finished in under two minutes.
Using the ‘ gas-jet ’ method, the first two steps can be eliminated.
Using a memetic approach, Robertson deconstructed two attempts to privilege religiously held spirituality in scientific discourse.
Using two hundred riot vans, three Leopard MBTs, three armoured personnel carriers, a helicopter, twelve hundred policemen, and seven hundred fifty members of the armed forces, they evicted the squatters and demolished the block, while clouding the entire area in teargas and CS gas.
Using the classical channel, the two bits are sent from A to B.
Using three Klingon vessels, Valdore attacks Coalition of Planets allies hoping to weaken or destroy two enemies of the Romulan Star Empire by provoking a war.
Using a dissimilar metal to complete the circuit creates a circuit in which the two legs generate different voltages, leaving a small difference in voltage available for measurement.
Using his two canes, Alvin makes his way to the door.

0.176 seconds.