0%

21-letter words containing c, a, p, t, i

  • 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.
  • 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.
  • heliocentric parallax — the apparent displacement of an observed object due to a change in the position of the observer.
  • historic places trust — (in New Zealand) the statutory body concerned with the conservation of historic buildings, esp with ancient Māori sites
  • 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
  • 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
  • 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).
  • 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-complete dominance — the appearance in a heterozygote of a trait that is intermediate between either of the trait's homozygous phenotypes.
  • indicated horse-power — the horsepower of a reciprocating engine as shown by an indicator record. Abbreviation: ihp, IHP.
  • 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.
  • 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.
  • integer specbaseratio — SPECbase_int92
  • intellectual property — Law. property that results from original creative thought, as patents, copyright material, and trademarks.
  • isopropylideneacetone — mesityl oxide.
  • least common multiple — lowest common multiple.
  • like a pakapoo ticket — untidy; incomprehensible
  • macintosh common lisp — (language)   (MCL) Common Lisp for the Apple Macintosh. Guillaume Cartier, of the Mathematics Department at UQAM, Canada, has written some libraries.
  • magnetic permeability — permeability (def 2).
  • magneto-optical drive — magneto-optical disk
  • magnetoplasmadynamics — magnetohydrodynamics.
  • main-topsail schooner — a two-masted or three-masted schooner having square topsails on the foremast and mainmast: a jackass brig or jackass bark.
  • make one's peace with — the normal, nonwarring condition of a nation, group of nations, or the world.
  • manufacturing company — a company that manufactures goods
  • manufacturing process — chain of production
  • metabotropic receptor — an indirect receptor which initiates an intracellular biochemical cascade after it is triggered by an agonistic ligand
  • metropolitan district — any of the districts making up the metropolitan counties of England: since 1986 they have functioned as unitary authorities, forming the sole principal tier of local government. Each metropolitan district has an elected council responsible for education, social services, etc
  • microsoft corporation — (company)   The biggest supplier of operating systems and other software for IBM PC compatibles. Software products include MS-DOS, Microsoft Windows, Windows NT, Microsoft Access, LAN Manager, MS Client, SQL Server, Open Data Base Connectivity (ODBC), MS Mail, and SNA Server for Windows NT. Microsoft was founded as "Micro-soft" in 1975 by Bill Gates (now CEO) and his high school pal Paul Allen. Their first product was a version of BASIC for the new Altair computer [which one?]. In 1980, IBM chose Microsoft to supply the operating system for the IBM PC. On the UK television program "The Net" in May 1994, Bill Gates said he was betting his company on the information highway". Quarterly sales $1293M, profits $362M (Aug 1994).
  • microware corporation — Authors of OS-9. Address: Des Moines, Iowa, USA.
  • modern apprenticeship — an arrangement that allows a school leaver to gain vocational qualifications while being trained in a job
  • motion-picture camera — a sequence of consecutive pictures of objects photographed in motion by a specially designed camera (motion-picture camera) and thrown on a screen by a projector (motion-picture projector) in such rapid succession as to give the illusion of natural movement.
  • multilayer perceptron — A network composed of more than one layer of neurons, with some or all of the outputs of each layer connected to one or more of the inputs of another layer. The first layer is called the input layer, the last one is the output layer, and in between there may be one or more hidden layers.
  • multiplication factor — the ratio of the number of neutrons in a generation to the number of neutrons in the previous generation: when the multiplication factor is equal to or greater than one, a chain reaction is possible
  • municipal corporation — a city, town, village, etc., that operates under a corporate charter granted by the state.
  • national park service — a division of the Department of the Interior, created in 1916, that administers national parks, monuments, historic sites, and recreational areas.
  • national public radio — a nationwide network of nonprofit radio stations supported in part by U.S. government funds distributed by the Corporation for Public Broadcasting, often affiliated with a public television station or educational institution. Abbreviation: NPR.
  • near-death experience — A near-death experience is a strange experience that some people who have nearly died say they had when they were unconscious.
  • negative prescription — the barring of adverse claims to property, etc, after a specified period of time has elapsed, allowing the possessor to acquire title
  • non-repeating decimal — a decimal representation of any irrational number, having the property that no sequence of digits is repeated ad infinitum.
  • nonproportional cover — Nonproportional cover is reinsurance cover such as excess of loss reinsurance where the reinsurer's liability is not calculated as a proportion of the insurance.
  • north pacific current — a warm current flowing eastward across the Pacific Ocean.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?