0%

21-letter words containing r, i, c, e, 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.
  • 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.
  • glacier national park — a national park in NW Montana: glaciers; lakes; forest reserve. 1534 sq. mi. (3970 sq. km).
  • glyceryl tripalmitate — palmitin.
  • gram-molecular weight — gram molecule. Abbreviation: GMW.
  • grammatical inference — Deducing a grammar from given examples. Also known as "inductive inference" and recently as "computational learning".
  • great victoria desert — a desert in SW central Australia. 125,000 sq. mi. (324,000 sq. km).
  • greenwich observatory — the national astronomical observatory of Great Britain, housed in a castle in E Sussex; formerly located at Greenwich.
  • 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.
  • harriet beecher stowe — Harriet (Elizabeth) Beecher, 1811–96, U.S. abolitionist and novelist.
  • have the inside track — If you say that someone has the inside track, you mean that they have an advantage, for example special knowledge about something.
  • heliocentric parallax — the apparent displacement of an observed object due to a change in the position of the observer.
  • hierarchical database — (database)   A kind of database management system that links records together like a family tree such that each record type has only one owner, e.g. an order is owned by only one customer. Hierarchical structures were widely used in the first mainframe database management systems. However, due to their restrictions, they often cannot be used to relate structures that exist in the real world.
  • highest common factor — greatest common divisor. Abbreviation: H.C.F.
  • historic places trust — (in New Zealand) the statutory body concerned with the conservation of historic buildings, esp with ancient Māori sites
  • hypercholesterolaemia — the condition of having a high concentration of cholesterol in the blood
  • identical proposition — a proposition in which the subject and predicate have the same meaning, as, “That which is mortal is not immortal.”.
  • identification papers — documents that serve to establish someone's identity
  • identification parade — a group of persons including one suspected of having committed a crime assembled for the purpose of discovering whether a witness can identify the suspect
  • imprecise probability — (probability)   A probability that is represented as an interval (as opposed to a single number) included in [0,1].
  • in (or out of) place — in (or out of) the customary, proper, or assigned place
  • in good circumstances — (of a person) in a good financial situation
  • in no uncertain terms — If you say that someone tells a person something in no uncertain terms, you are emphasizing that they say it strongly and clearly so that there is no doubt about what they mean.
  • in the first instance — You say in the first instance to mention something that is the first step in a series of actions.
  • indicated horse-power — the horsepower of a reciprocating engine as shown by an indicator record. Abbreviation: ihp, IHP.
  • induced radioactivity — artificial radioactivity.
  • infant welfare clinic — a medical facility that specializes in the health and well-being of young babies
  • infectious ectromelia — ectromelia (def 2).
  • information appliance — (hardware)   (IA) A consumer device that performs only a few targeted tasks and is controlled by a simple touch-screen interface or push buttons on the device's enclosure.
  • information scientist — someone who works in information science
  • insulin shock therapy — a former treatment for mental illness, especially schizophrenia, employing insulin-induced hypoglycemia as a method for producing convulsive seizures.
  • insurance certificate — a certificate that shows that a person or organization has insurance
  • insurance underwriter — sb who assesses eligibility for insurance policies
  • integer specbaseratio — SPECbase_int92
  • intellectual property — Law. property that results from original creative thought, as patents, copyright material, and trademarks.
  • internal iliac artery — iliac artery (def 3).
  • intracoastal waterway — a mostly inland water route, partly natural and partly artificial, extending 1550 miles (2500 km) along the Atlantic coast from Boston to Florida Bay (Atlantic Intracoastal Waterway) and 1116 miles (1800 km) along the Gulf coast from Carrabelle, Fla., to Brownsville, Tex. (Gulf Intracoastal Waterway) constructed to protect small craft from the hazards of the open sea.
  • isopropylideneacetone — mesityl oxide.
  • java native interface — (programming)   (JNI) A native programming interface for Java that allows Java code running inside a Java Virtual Machine to interoperate with applications and libraries written in other programming languages such as C, C++ and assembly language.
  • laboratory technician — sb who assists in a laboratory
  • lafcadio's adventures — French Les Caves du Vatican. a novel (1914) by André Gide.
  • lateral magnification — the ratio of the height of the image to the height of the object in a lens or other optical system.
  • law of thermodynamics — any of three principles variously stated in equivalent forms, being the principle that the change of energy of a thermodynamic system is equal to the heat transferred minus the work done (first law of thermodynamics) the principle that no cyclic process is possible in which heat is absorbed from a reservoir at a single temperature and converted completely into mechanical work (second law of thermodynamics) and the principle that it is impossible to reduce the temperature of a system to absolute zero in a finite number of operations (third law of thermodynamics)
  • learning difficulties — difficulty experienced in reaching the average standard of people of the same age group as regards intellectual and cognitive skills and performance
  • leave sb in the lurch — If someone leaves you in the lurch, they go away or stop helping you at a very difficult time.
  • light armored vehicle — an eight-wheeled armored reconnaissance car with a 25mm cannon, in service with the U.S. Army and Marine Corps in the 1980s.
  • magnesium trisilicate — a white, fine, odorless and tasteless powder, Mg 2 O 8 Si 3 ⋅nH 2 O, used industrially to absorb odors and decolorize and pharmaceutically as an antacid.
  • magnetic permeability — permeability (def 2).
  • magneto-optical drive — magneto-optical disk
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?