0%

21-letter words containing r, e, g, n, a, t

  • general court-martial — a court-martial having the authority to try any offense against military law and to impose a sentence of dishonorable discharge or of death when provided by law.
  • general of the armies — a special rank held by John J. Pershing, equivalent to general of the army.
  • generic type variable — (programming)   (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type expression may be instantiated to different types. Thus, in the expression let id x = x in (id True, id 1) id's type is (for all a: a -> a). The universal quantifier "for all a:" means that a is a generic type variable. For the two uses of id, a is instantiated to Bool and Int. Compare this with let id x = x in let f g = (g True, g 1) in f id This looks similar but f has no legal Hindley-Milner type. If we say f :: (a -> b) -> (b, b) this would permit g's type to be any instance of (a -> b) rather than requiring it to be at least as general as (a -> b). Furthermore, it constrains both instances of g to have the same result type whereas they do not. The type variables a and b in the above are implicitly quantified at the top level: f :: for all a: for all b: (a -> b) -> (b, b) so instantiating them (removing the quantifiers) can only be done once, at the top level. To correctly describe the type of f requires that they be locally quantified: f :: ((for all a: a) -> (for all b: b)) -> (c, d) which means that each time g is applied, a and b may be instantiated differently. f's actual argument must have a type at least as general as ((for all a: a) -> (for all b: b)), and may not be some less general instance of this type. Type variables c and d are still implicitly quantified at the top level and, now that g's result type is a generic type variable, any types chosen for c and d are guaranteed to be instances of it. This type for f does not express the fact that b only needs to be at least as general as the types c and d. For example, if c and d were both Bool then any function of type (for all a: a -> Bool) would be a suitable argument to f but it would not match the above type for f.
  • gentleman of the road — a highwayman.
  • gentleman's agreement — unwritten rule or agreement
  • gentlemen's agreement — an agreement that, although unenforceable at law, is binding as a matter of personal honor.
  • get in someone's hair — any of the numerous fine, usually cylindrical, keratinous filaments growing from the skin of humans and animals; a pilus.
  • get one's breath back — When you get your breath back after doing something energetic, you start breathing normally again.
  • gideons international — an interdenominational lay society organized in 1899 to place Bibles in hotel rooms.
  • give sb a green light — If someone in authority gives you a green light, they give you permission to do something.
  • give sb the runaround — If someone gives you the runaround, they deliberately do not give you all the information or help that you want, and send you to another person or place to get it.
  • glacier national park — a national park in NW Montana: glaciers; lakes; forest reserve. 1534 sq. mi. (3970 sq. km).
  • glen of imaal terrier — a strongly-built medium-sized variety of terrier with a medium-length coat and short forelegs
  • go down the wrong way — (of food) to pass into the windpipe instead of the gullet
  • goldbach's conjecture — the conjecture that every even number greater than two is the sum of two prime numbers
  • got what one deserved — If you say that someone got what they deserved, you mean that they deserved the bad thing that happened to them, and you have no sympathy for them.
  • government department — a sector of a national or state government that deals with a particular area of interest
  • government in waiting — a political group which is hoping to be elected to govern in the near future
  • grammatical inference — Deducing a grammar from given examples. Also known as "inductive inference" and recently as "computational learning".
  • great smoky mountains — the W part of the Appalachians, in W North Carolina and E Tennessee. Highest peak: Clingman's Dome, 2024 m (6642 ft)
  • great st bernard pass — St. Bernard, Great.
  • greater sunda islands — a group of islands in the W Malay Archipelago, forming the larger part of the Sunda Islands: consists of Borneo, Sumatra, Java, and Sulawesi
  • greenwich observatory — the national astronomical observatory of Great Britain, housed in a castle in E Sussex; formerly located at Greenwich.
  • gretna green marriage — marriage without parental consent; elopement.
  • ground-effect machine — ACV (def 2).
  • guaranteed scheduling — (algorithm)   A scheduling algorithm used in multitasking operating systems that guarantees fairness by monitoring the amount of CPU time spent by each user and allocating resources accordingly.
  • have a strong stomach — not to be prone to nausea
  • henry steele commager — Henry Steele, 1902–98, U.S. historian, author, and teacher.
  • highest common factor — greatest common divisor. Abbreviation: H.C.F.
  • hysterosalpingography — (medicine) X-ray examination of the uterus and oviducts following injection of a radiopaque substance.
  • in good circumstances — (of a person) in a good financial situation
  • indigenous australian — another name for Aboriginal and Torres Strait Islander
  • information gathering — the process of collecting information about something
  • inner spring mattress — a mattress with a system of wire coils or springs inside for buoyancy or comfort purposes
  • instrumental learning — a method of training in which the reinforcement is made contingent on the occurrence of the response
  • integer specbaseratio — SPECbase_int92
  • internal jugular vein — Anatomy. a jugular vein.
  • international brigade — a military force that fought on the Republican side in the Spanish Civil War, consisting of volunteers (predominantly socialists and communists) from many countries
  • intravenous drug user — a drug addict who injects drugs (esp heroin) intravenously
  • japanese stranglehold — a wrestling hold in which an opponent's wrists are pulled to cross his or her arms in front of his or her own neck and exert pressure on the windpipe
  • joseph bonaparte gulf — an inlet of the Timor Sea in N Australia. Width: 360 km (225 miles)
  • keep the ball rolling — a spherical or approximately spherical body or shape; sphere: He rolled the piece of paper into a ball.
  • lactate dehydrogenase — an enzyme that catalyzes the interconversion of pyruvate and lactate, an important step in carbohydrate metabolism: elevated serum levels indicate injury to kidney, skeletal muscle, or heart muscle. Abbreviation: LDH.
  • language-based editor — language-sensitive editor
  • lateral magnification — the ratio of the height of the image to the height of the object in a lens or other optical system.
  • leaning tower of pisa — a round, marble campanile in Pisa, Italy, begun in 1174 and now 17 feet (5.2 meters) out of the perpendicular in its height of 179 feet (54 meters).
  • learning difficulties — difficulty experienced in reaching the average standard of people of the same age group as regards intellectual and cognitive skills and performance
  • liability engineering — the practice by a company of taking steps to avoid liability for any fraudulent dealings with it, such as making a credit-card owner responsible for any abuses of the card by a third party
  • linear graph notation — (LGN) A linearised representation of TCOL trees.
  • liquefied natural gas — a mixture of various gases, esp methane, liquefied under pressure for transportation and used as an engine fuel
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?