0%

21-letter words containing l, y, t, i, c

  • 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.
  • glyceryl tripalmitate — palmitin.
  • homogeneous catalysis — Homogeneous catalysis is catalysis in which the catalyst takes part in the reaction that it increases.
  • host command facility — (operating system)   (HCF) Used to access IBM S/36 and AS/400 computers from a mainframe.
  • 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.
  • hypercholesterolaemia — the condition of having a high concentration of cholesterol in the blood
  • 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].
  • 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 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.
  • 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.
  • 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.
  • isopropylideneacetone — mesityl oxide.
  • laboratory technician — sb who assists in a laboratory
  • lady of the camellias — French La Dame aux Camélias. a novel (1848) and play (1852) by Alexandre Dumas fils.
  • 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)
  • linguistic philosophy — an approach to philosophical problems used especially by certain British and American philosophers, inspired by G. E. Moore, and marked by the elucidation of difficult and controversial concepts by resolving them into their elements.
  • macintosh file system — (file system)   A file on the Macintosh consists of two parts, called forks. The "data fork" contains the data which would normally be stored in the file on other operating systems. The "resource fork" contains a collection of arbitrary attribute/value pairs, including program segments, icon bitmaps, and parametric values. Yet more information regarding Macintosh files is stored by the Finder in a hidden file, called the "Desktop Database". Because of the complications in storing different parts of a Macintosh file in non-Macintosh file systems that only handle consecutive data in one part, it is common to only send the Data fork or to convert the Macintosh file into some other format before transferring it.
  • magnetic flux density — Also called magnetic flux density. a vector quantity used as a measure of a magnetic field. Symbol: B.
  • magnetic permeability — permeability (def 2).
  • magnetofluid dynamics — magnetohydrodynamics.
  • magnetoplasmadynamics — magnetohydrodynamics.
  • mechanical metallurgy — the branch of metallurgy dealing with the response of metals to applied forces.
  • mechanical solidarity — social cohesiveness that is based on shared activities, beliefs, and experiences and is characteristic of simple traditional societies.
  • metopon hydrochloride — a narcotic drug, C18H21O3N·HCl, derived from morphine, but slightly more potent: used in medicine to relieve pain
  • modulus of elasticity — the ratio of the stress applied to a body or substance to the resulting strain within the elastic limit
  • multichannel analyser — an electronic instrument, such as a pulse height analyser, that splits an input waveform into a large number of channels in accordance with a particular parameter of the input
  • 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.
  • muon-catalysed fusion — an experimental form of nuclear fusion in which hydrogen and deuterium muonic atoms are formed. Because the mass of the muon is much larger than that of the electron, the atoms are smaller, and the nuclei are close enough for fusion to occur
  • myocardial infarction — heart attack. Abbreviation: MI.
  • nitrosylsulfuric acid — a clear, straw-colored, oily, corrosive liquid, HNO 5 S, used chiefly in the manufacture of dyes.
  • north atlantic treaty — the treaty (1949) signed by 12 countries, providing for the establishment of NATO.
  • olympic national park — a national park in NW Washington. 1323 sq. mi. (3425 sq. km).
  • pacific daylight time — the version of Pacific Standard Time that is in use when daylight saving time is being observed
  • physical anthropology — the branch of anthropology dealing with the evolutionary changes in human anatomy and physiology, using mensurational and descriptive techniques.
  • picture quality scale — (graphics)   (PQS) A system for rating image quality based upon features of images that affect their perception by the human eye, rather than the traditional signal-to-noise ratio which examines differences for every single pixel.
  • piezoelectric crystal — a crystal, such as quartz, that produces a potential difference across its opposite faces when under mechanical stress
  • play with a full deck — Nautical. a floorlike surface wholly or partially occupying one level of a hull, superstructure, or deckhouse, generally cambered, and often serving as a member for strengthening the structure of a vessel. the space between such a surface and the next such surface above: Our stateroom was on B deck.
  • politically incorrect — not politically correct; potentially offensive to a particular group of people: politically incorrect jokes.
  • politically motivated — If an act of violence is politically motivated, it is carried out in the interests of a particular government or political party.
  • polygenic inheritance — the heredity of complex characters that are determined by a large number of genes, each one usually having a relatively small effect.
  • primitive dicotyledon — any living relative of early angiosperms that branched off before the evolution of monocotyledons and eudicotyledons. The group comprises about 5 per cent of the world's plants
  • public address system — loudspeaker
  • public-address system — a combination of electronic devices that makes sound audible via loudspeakers to many people, as in an auditorium or out of doors.
  • public-key encryption — (cryptography)   (PKE, Or "public-key cryptography") An encryption scheme, introduced by Diffie and Hellman in 1976, where each person gets a pair of keys, called the public key and the private key. Each person's public key is published while the private key is kept secret. Messages are encrypted using the intended recipient's public key and can only be decrypted using his private key. This is often used in conjunction with a digital signature. The need for sender and receiver to share secret information (keys) via some secure channel is eliminated: all communications involve only public keys, and no private key is ever transmitted or shared. Public-key encryption can be used for authentication, confidentiality, integrity and non-repudiation. See also knapsack problem.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?