0%

19-letter words containing t, i, o, n

  • axiomatic semantics — (theory)   A set of assertions about properties of a system and how they are effected by program execution. The axiomatic semantics of a program could include pre- and post-conditions for operations. In particular if you view the program as a state transformer (or collection of state transformers), the axiomatic semantics is a set of invariants on the state which the state transformer satisfies. E.g. for a function with the type: sort_list :: [T] -> [T] we might give the precondition that the argument of the function is a list, and a postcondition that the return value is a list that is sorted. One interesting use of axiomatic semantics is to have a language that has a finitely computable sublanguage that is used for specifying pre and post conditions, and then have the compiler prove that the program will satisfy those conditions. See also operational semantics, denotational semantics.
  • balfour declaration — the statement made by Arthur Balfour in 1917 of British support for the setting up of a national home for the Jews in Palestine, provided that the rights of "existing non-Jewish communities" in Palestine could be safeguarded
  • balloon angioplasty — angioplasty in which a balloon catheter is moved to a blocked area of a blood vessel where the balloon is inflated to expand or force open the vessel
  • ballot-box stuffing — the act of illegally submitting more than one vote in a ballot in which only one vote is permitted
  • banff national park — a national reserve, 2585 sq. mi. (6695 sq. km), in the Rocky Mountains, in SW Alberta, Canada.
  • bank reconciliation — A bank reconciliation is the process of adjusting a bank statement to show transactions that have occurred since the date of issue, or a document showing this.
  • bankruptcy petition — an official request for protection under bankruptcy laws, which initiates bankruptcy proceedings
  • bargaining position — the position of a person, group, or organization in a negotiation, with respect to their ability to achieve a deal which is favourable to themselves
  • barometric gradient — pressure gradient
  • bbc networking club — (body)   A bulletin board run by the British Broadcasting Corporation Education department from April 1994 to 30 Nov 1995.
  • be burnt to a crisp — If something is burnt to a crisp, it is completely burnt.
  • beauty preparations — the cosmetics, creams etc used to improve someone's beauty
  • beginning inventory — A beginning inventory is all of the goods, services, or materials that a business has available for use or sale at the start of a new accounting period.
  • behavioral genetics — an interdisciplinary field studying the effects of genetics and hereditary factors on animal and human behavior.
  • benedict's solution — a chemical solution used to detect the presence of glucose and other reducing sugars. Medically, it is used to test the urine of diabetics
  • benefit performance — a theatrical or musical performance in aid of charity
  • benzylidene acetone — a colorless, crystalline, water-insoluble solid, C 10 H 10 O, having a vanillalike odor, used chiefly as a scent in the manufacture of perfume.
  • bernoulli's theorem — Statistics. law of averages (def 1).
  • bernstein condition — (parallel)   Processes cannot execute in parallel if one effects values used by the other. Nor can they execute in parallel if any subsequent process uses data effected by both, i.e. whose value might depend on the order of execution.
  • beside the question — not related to the subject under discussion
  • betamethyl acrolein — crotonaldehyde.
  • bicarbonate of soda — Bicarbonate of soda is a white powder which is used in baking to make cakes rise, and also as a medicine for your stomach.
  • bilingual education — schooling in which those not fluent in the standard or national language are taught in their own language.
  • binary large object — (database)   (BLOB) A large block of data stored in a database, such as an image or sound file. A BLOB has no structure which can be interpreted by the database management system but is known only by its size and location.
  • binding arbitration — dispute resolution
  • binocular disparity — the small differences in the positions of the parts of the images falling on each eye that results when each eye views the scene from a slightly different position; these differences make stereoscopic vision possible
  • binomial experiment — an experiment consisting of a fixed number of independent trials each with two possible outcomes, success and failure, and the same probability of success. The probability of a given number of successes is described by a binominal distribution
  • bloodstock industry — the breeding and training of racehorses
  • blow the whistle on — to make a clear musical sound, a series of such sounds, or a high-pitched, warbling sound by the forcible expulsion of the breath through a small opening formed by contracting the lips, or through the teeth, with the aid of the tongue.
  • blue-ringed octopus — a highly venomous octopus, Octopus maculosus, of E Australia which exhibits blue bands on its tentacles when disturbed
  • blue-tongued lizard — a large Australian lizard, Tiliqua scincoides, characterized by having a cobalt-blue tongue.
  • board certification — the process of certifying that a physician has passed an examination and met the standards of a professional organization representing a particular medical specialty.
  • board of trade unit — a unit of electrical energy equal to 1 kilowatt-hour
  • booker t washington — Booker T(aliaferro) [boo k-er tol-uh-ver] /ˈbʊk ər ˈtɒl ə vər/ (Show IPA), 1856–1915, U.S. reformer, educator, author, and lecturer.
  • bordering countries — countries that share a border with a particular country
  • bracket abstraction — (compiler)   An algorithm which turns a term into a function of some variable. The result of using bracket abstraction on T with respect to variable v, written as [v]T, is a term containing no occurrences of v and denoting a function f such that f v = T. This defines the function f = (\ v . T). Using bracket abstraction and currying we can define a language without bound variables in which the only operation is monadic function application. See combinator.
  • brand contamination — the process by which the reputation of a particular brand or product becomes tarnished by adverse publicity
  • briggsian logarithm — common logarithm.
  • bright young things — young, fun-loving, fashionable upper-class people, esp of the 1920s
  • brimstone butterfly — a common yellow butterfly, Gonepteryx rhamni, of N temperate regions of the Old World: family Pieridae
  • bring into the open — to make evident or public
  • brokered convention — a party convention in which many delegates are pledged to favorite sons who use their blocs of votes to bargain with leading candidates who lack a majority of delegate support.
  • building contractor — an individual or company that contracts for the construction of houses, etc
  • business accounting — the keeping of detailed accounts relating to a business or businesses
  • cairngorm mountains — a mountain range of NE Scotland: part of the Grampians. Highest peak: Ben Macdui, 1309 m (4296 ft); designated a national park in 2003
  • capacitive coupling — the connection of two or more circuits by means of a capacitor.
  • cape-disappointment — Cape, a cape in SW Washington state, projecting into the Pacific Ocean on the N of the mouth of the Columbia River.
  • captain abstraction — The champion of the principles of abstraction and modularity, who protects unwary students on MIT's course 6.001 from the nefarious designs of Sergeant Spaghetticode and his vile concrete programming practices. See also spaghetti code.
  • captain of industry — You can refer to the owners or senior managers of industrial companies as captains of industry.
  • captains courageous — a novel (1897) by Rudyard Kipling.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?