0%

21-letter words containing i, l, c

  • 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.
  • genetic amplification — an increase in the frequency of replication of a DNA segment.
  • gilt-edged securities — government securities on which interest payments will certainly be met and that will certainly be repaid at par on the due date
  • girlfriend experience — a service provided by a prostitute that includes more personal activity, such as kissing, than provided traditionally by sex workers
  • give place to someone — to make room for or be superseded by someone
  • 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".
  • 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.
  • 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.
  • hindu-arabic numerals — Arabic numeral.
  • historic places trust — (in New Zealand) the statutory body concerned with the conservation of historic buildings, esp with ancient Māori sites
  • homogeneous catalysis — Homogeneous catalysis is catalysis in which the catalyst takes part in the reaction that it increases.
  • homolosine projection — an equal-area projection of the world, distorting ocean areas in order to minimize the distortion of the continents.
  • host command facility — (operating system)   (HCF) Used to access IBM S/36 and AS/400 computers from a mainframe.
  • hubble classification — a method of classifying galaxies depending on whether they are elliptical, spiral, barred spiral, or irregular
  • humanistic psychology — an approach to psychology that emphasizes emotions and the better understanding of the self in terms of observation of oneself and one's relations with others
  • hydraulic accumulator — an apparatus in which gas, usually air, is used as a cushion or shock absorber in a hydraulic system.
  • hyperbolic paraboloid — a paraboloid that can be put into a position such that its sections parallel to one coordinate plane are hyperbolas, with its sections parallel to the other two coordinate planes being parabolas.
  • 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.”.
  • ilya ilyich mechnikov — Élie [French ey-lee] /French eɪˈli/ (Show IPA), (Ilya Ilyich Mechnikov) 1845–1916, Russian zoologist and bacteriologist in France: Nobel Prize in medicine 1908.
  • immaculate conception — the dogma of the unique privilege by which the Virgin Mary was conceived in her mother's womb without the stain of original sin through the anticipated merits of Jesus Christ. Compare virgin birth (def 1).
  • immunoelectrophoresis — a technique for the separation and identification of mixtures of proteins, consisting of electrophoresis followed by immunodiffusion.
  • immunoelectrophoretic — a technique for the separation and identification of mixtures of proteins, consisting of electrophoresis followed by immunodiffusion.
  • immunohistochemically — By means of or in regard to immunohistochemistry.
  • 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 a class of its own — unequalled; unparalleled
  • in saecula saeculorum — for ever and ever.
  • in-complete dominance — the appearance in a heterozygote of a trait that is intermediate between either of the trait's homozygous phenotypes.
  • inclusive disjunction — See under disjunction (def 2a).
  • induction loop system — a system enabling partially deaf people to hear dialogue and sound in theatres, cinemas, etc, consisting of a loop of wire placed round the perimeter of a designated area. This emits an electromagnetic signal which is picked up by a hearing aid
  • industrial misconduct — behaviour by an employee that is considered to be negligent or irregular to such an extent that disciplinary action may be taken, usually by agreement between management and the employee's representatives
  • industrial psychology — the application of psychological principles and techniques to business and industrial problems, as in the selection of personnel or development of training programs.
  • infant welfare clinic — a medical facility that specializes in the health and well-being of young babies
  • infectious ectromelia — ectromelia (def 2).
  • infiltration capacity — the maximum rate at which a soil in a given condition will absorb water.
  • 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.
  • insulin shock therapy — a former treatment for mental illness, especially schizophrenia, employing insulin-induced hypoglycemia as a method for producing convulsive seizures.
  • intellectual property — Law. property that results from original creative thought, as patents, copyright material, and trademarks.
  • intelligence quotient — an intelligence test score that is obtained by dividing mental age, which reflects the age-graded level of performance as derived from population norms, by chronological age and multiplying by 100: a score of 100 thus indicates a performance at exactly the normal level for that age group. Abbreviation: IQ.
  • intentional community — a community designed and planned around a social ideal or collective values and interests, often involving shared resources and responsibilities.
  • 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.
  • irish republican army — an underground Irish nationalist organization founded to work for Irish independence from Great Britain: declared illegal by the Irish government in 1936, but continues activity aimed at the unification of the Republic of Ireland and Northern Ireland. Abbreviation: IRA, I.R.A.
  • isopropylideneacetone — mesityl oxide.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?