0%

21-letter words containing r, e, v, a, c

  • functional imperative — a requirement for the survival of any social system, as communication, control of conflict, or socialization.
  • 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.
  • great victoria desert — a desert in SW central Australia. 125,000 sq. mi. (324,000 sq. km).
  • green river ordinance — a local ordinance banning door-to-door selling.
  • greenwich observatory — the national astronomical observatory of Great Britain, housed in a castle in E Sussex; formerly located at Greenwich.
  • have a strong stomach — not to be prone to nausea
  • have one's cards read — If you have your cards read, you have your fortune told by someone who uses playing cards or tarot cards to tell you about yourself and predict your future.
  • 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.
  • hazard warning device — an appliance fitted to a motor vehicle that operates the hazard lights
  • induced radioactivity — artificial radioactivity.
  • 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.
  • keyboard send receive — (hardware)   (KSR) Part of a designation for a hard-copy terminal, manufactured by Teletype Corporation. The KSR range were lower cost versions of the ASR models.
  • lafcadio's adventures — French Les Caves du Vatican. a novel (1914) by André Gide.
  • 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.
  • magneto-optical drive — magneto-optical disk
  • mariage de convenance — marriage entered into for a personal or family advantage, as for social, political, or economic reasons, usually without love and sometimes without the expectation of sexual relations.
  • mean time to recovery — (specification)   (MTTR) The average time that a device will take to recover from a non-terminal failure. Examples of such devices range from self-resetting fuses (where the MTTR would be very short, probably seconds), up to whole systems which have to be replaced. The MTTR would usually be part of a maintenance contract, where the user would pay more for a system whose MTTR was 24 hours, than for one of, say, 7 days. This means the supplier is guaranteeing to have the system up and running again within 24 hours (or 7 days) of being notified of the failure. Some devices have a MTTR of zero, which means that they have redundant components which can take over the instant the primary one fails, see RAID for example. See also Mean Time Between Failures.
  • motivational research — the application of the knowledge and techniques of the social sciences, especially psychology and sociology, to understanding consumer attitudes and behavior: used as a guide in advertising and marketing.
  • national park service — a division of the Department of the Interior, created in 1916, that administers national parks, monuments, historic sites, and recreational areas.
  • negative prescription — the barring of adverse claims to property, etc, after a specified period of time has elapsed, allowing the possessor to acquire title
  • 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.
  • nonrestrictive clause — a relative clause that describes or supplements but is not essential in establishing the identity of the antecedent and is usually set off by commas in English. In This year, which has been dry, is bad for crops the clause which has been dry is a nonrestrictive clause.
  • nonviolent resistance — passive resistance, peaceful protest
  • objective correlative — a completely depicted situation or chain of events that objectifies a particular emotion in such a way as to produce or evoke that emotion in the reader.
  • paper over the cracks — conceal flaws or problems
  • path coverage testing — (testing)   Testing a program by examining which lines of executable code are visited (as in code coverage testing) and also the ways of getting to each line of code and the subsequent sequence of execution. Path coverage testing is the most comprehensive type of testing that a test suite can provide. It can find more bugs, especially those that are caused by data coupling. However, path coverage is hard and usually only used for small and/or critical sections of code.
  • pressure-vacuum valve — a valve for relieving a sealed tank of any pressure or vacuum exceeding acceptable limits.
  • privacy enhanced mail —
  • professional services — (job)   A department of a supplier providing consultancy and programming manpower for the supplier's products.
  • progressive education — any of various reformist educational philosophies and methodologies since the late 1800s, applied especially to elementary schools, that reject the rote recitation and strict discipline of traditional, single-classroom teaching, favoring instead more stimulation of the individual pupil as well as group discussion, more informality in the classroom, a broader curriculum, and use of laboratories, gymnasiums, kitchens, etc., in the school.
  • protective coloration — coloration or anything likened to it that eliminates or reduces visibility or conspicuousness.
  • public health service — the agency that is responsible for the health of the general public
  • radius of convergence — a positive number so related to a given power series that the power series converges for every number whose absolute value is less than this particular number.
  • rap over the knuckles — to reprimand
  • record of achievement — a statement of the personal and educational development of each pupil
  • redevelopment company — a private corporation or a public agency that stimulates the improvement of land, as through a building project subject to certain designs and controls, by financing, selling, or leasing such real estate to interested buyers or lessees.
  • reverberation chamber — a room with walls that reflect sound. It is used to make acoustic measurements and as a source of reverberant sound to be mixed with direct sound for recording or broadcasting
  • reverberatory furnace — See at reverberatory (def 2).
  • reverse transcriptase — a retrovirus enzyme that synthesizes DNA from viral RNA, the reverse of the usual DNA-to-RNA replication: used in genetic engineering to clone genes from RNA strands.
  • royal victorian order — (in Britain) an order of chivalry founded by Queen Victoria in 1896, membership of which is conferred for special services to the sovereign
  • satisficing behaviour — the form of behaviour demonstrated by firms who seek satisfactory profits and satisfactory growth rather than maximum profits
  • saving your reverence — a form of apology for using an obscene or taboo expression
  • seventeen-year locust — a cicada, Magicicada septendecim, of the eastern U.S., having nymphs that live in the soil, usually emerging in great numbers after 17 years in the North or 13 years in the South.
  • short message service — (messaging)   (SMS) A message service offered by the GSM digital mobile telephone system. Using SMS, a short alphanumeric message (160 alphanumeric characters) can be sent to a mobile phone to be displayed there, much like in an alphanumeric pager system. The message is buffered by the GSM network until the phone becomes active.
  • surface acoustic wave — an acoustic wave generated on the surface of a piezoelectric substrate: used as a filter in electronic circuits
  • surface of revolution — a surface formed by revolving a plane curve about a given line.
  • sympathetic vibration — a vibration induced by resonance.
  • the central provinces — the Canadian provinces of Ontario and Quebec
  • the household cavalry — a group of British soldiers on horseback who have the job of protecting the king or queen and their family
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?