0%

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

  • 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.
  • baader-meinhof gang — a group of left-wing West German terrorists, active in the 1970s, who were dedicated to the violent overthrow of capitalist society
  • bachelor of science — A Bachelor of Science is a first degree in a science subject. In British English, it can also mean a person with that degree. The abbreviation BSc or , BSc is also used.
  • 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
  • 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
  • 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.
  • be someone's junior — to be younger than someone
  • beauty preparations — the cosmetics, creams etc used to improve someone's beauty
  • beggar-my-neighbour — a card game in which one player tries to win all the cards of the other player
  • 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.
  • behavioral medicine — an interdisciplinary field that uses the concepts and techniques of the behavioral sciences to improve physical and emotional health.
  • behavioural science — the application of scientific methods to the study of the behaviour of organisms
  • behind closed doors — If people have talks and discussions behind closed doors, they have them in private because they want them to be kept secret.
  • 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 principle — (Or "air foil principle", after Swiss mathematician Daniel Bernoulli, 1700-1782) The law that pressure in a fluid decreases with the rate of flow. It has been applied to a class of hard disk drives. See Bernoulli Box.
  • 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.
  • big-leaved magnolia — evergreen magnolia.
  • 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.
  • 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
  • blood-brain barrier — the barrier created by the walls of the capillaries of the brain that prevents certain substances, as most proteins and drugs, from passing from the blood into the brain tissue and cerebrospinal fluid
  • blow someone's mind — (of a drug, esp LSD) to alter someone's mental state
  • 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.
  • blowing your buffer — (jargon)   Losing your train of thought. A reference to buffer overflow.
  • blue screen of life — (operating system)   (BSOL, by analogy with "Blue Screen of Death") The opening screen of Microsoft Windows NT. This screen shows the file system loading, and any problems such as conversions from FAT to NTFS or a scan of a hard drive. The Blue Screen of Life occurs in one way, as opposed to the Blue Screen of Death, which can occur in many different ways and times.
  • 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.
  • 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.
  • business accounting — the keeping of detailed accounts relating to a business or businesses
  • buy a pig in a poke — to buy, get, or agree to something without sight or knowledge of it in advance
  • california bluebell — either of two plants, Phacelia campanularia or P. minor, of southern California, having ovate leaves and bell-shaped blue or purple flowers.
  • california job case — a job case having sufficient spaces to contain both uppercase and lowercase letters and 37 additional characters of foundry type. Compare case2 (def 8).
  • california live oak — an evergreen oak, Quercus agrifolia, of the western coast of the U.S., having leathery leaves and a short, stout trunk.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?