0%

13-letter words containing a, r, m, h, o

  • domain theory — (theory)   A branch of mathematics introduced by Dana Scott in 1970 as a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. A domain is a mathematical structure consisting of a set of values (or "points") and an ordering relation, <= on those values. Domain theory is the study of such structures. ("<=" is written in LaTeX as \subseteq) Different domains correspond to the different types of object with which a program deals. In a language containing functions, we might have a domain X -> Y which is the set of functions from domain X to domain Y with the ordering f <= g iff for all x in X, f x <= g x. In the pure lambda-calculus all objects are functions or applications of functions to other functions. To represent the meaning of such programs, we must solve the recursive equation over domains, D = D -> D which states that domain D is (isomorphic to) some function space from D to itself. I.e. it is a fixed point D = F(D) for some operator F that takes a domain D to D -> D. The equivalent equation has no non-trivial solution in set theory. There are many definitions of domains, with different properties and suitable for different purposes. One commonly used definition is that of Scott domains, often simply called domains, which are omega-algebraic, consistently complete CPOs. There are domain-theoretic computational models in other branches of mathematics including dynamical systems, fractals, measure theory, integration theory, probability theory, and stochastic processes. See also abstract interpretation, bottom, pointed domain.
  • draughtswoman — Alternative spelling of draftswoman.
  • dual monarchy — the kingdom of Austria-Hungary 1867–1918.
  • dysmenorrheal — painful menstruation.
  • dysmenorrhoea — painful menstruation.
  • elasmobranchs — Plural form of elasmobranch.
  • enantiomorphs — Plural form of enantiomorph.
  • enantiomorphy — the state of being enantiomorphic
  • encephalogram — An image, trace, or other record of the structure or electrical activity of the brain.
  • enchondromata — Plural form of enchondroma.
  • encroachments — Plural form of encroachment.
  • ergatomorphic — pertaining to an ergatomorph
  • erythematosus — (pathology) An eruption of red lesions.
  • fashionmonger — (derogatory) One who slavishly follows the latest fashions.
  • filmographies — Plural form of filmography.
  • flame-thrower — an implement that kills weeds by scorching them with a directed flow of flaming gas.
  • flamethrowers — Plural form of flamethrower.
  • float chamber — Automotive. the bowl-shaped section of a carburetor in which a reserve of fuel is maintained, the fuel level being regulated by a float.
  • forearm smash — a blow like a punch delivered with the forearm in certain types of wrestling
  • formal theory — an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system
  • franche-comte — a former province in E France: once a part of Burgundy.
  • freedom march — an organized march protesting a government's restriction of or lack of support for civil rights, especially such a march in support of racial integration in the U.S. in the 1960s.
  • gallop rhythm — an abnormal heart rhythm characterized by three clear sounds in each beat, resembling the sound of a horse's gallop.
  • gallows humor — humor that treats serious, frightening, or painful subject matter in a light or satirical way.
  • grain sorghum — any of several varieties of sorghum, as durra or milo, having starchy seeds, grown for grain and forage.
  • gram's method — a method of staining and distinguishing bacteria, in which a fixed bacterial smear is stained with crystal violet, treated with Gram's solution, decolorized with alcohol, counterstained with safranine, and washed with water.
  • grandmotherly — of or characteristic of a grandmother.
  • grass sorghum — any of several varieties of sorghum, as Sudan grass, grown for pasturage and hay.
  • growth market — a rapidly expanding market
  • gynandromorph — an individual exhibiting morphological characteristics of both sexes.
  • habit-forming — tending to cause or encourage addiction, especially through physiological dependence: habit-forming drugs.
  • hacker humour — A distinctive style of shared intellectual humour found among hackers, having the following marked characteristics: 1. Fascination with form-vs.-content jokes, paradoxes, and humour having to do with confusion of metalevels (see meta). One way to make a hacker laugh: hold a red index card in front of him/her with "GREEN" written on it, or vice-versa (note, however, that this is funny only the first time). 2. Elaborate deadpan parodies of large intellectual constructs, such as specifications (see write-only memory), standards documents, language descriptions (see INTERCAL), and even entire scientific theories (see quantum bogodynamics, computron). 3. Jokes that involve screwily precise reasoning from bizarre, ludicrous, or just grossly counter-intuitive premises. 4. Fascination with puns and wordplay. 5. A fondness for apparently mindless humour with subversive currents of intelligence in it - for example, old Warner Brothers and Rocky & Bullwinkle cartoons, the Marx brothers, the early B-52s, and Monty Python's Flying Circus. Humour that combines this trait with elements of high camp and slapstick is especially favoured. 6. References to the symbol-object antinomies and associated ideas in Zen Buddhism and (less often) Taoism. See has the X nature, Discordianism, zen, ha ha only serious, AI koan. See also filk and retrocomputing. If you have an itchy feeling that all 6 of these traits are really aspects of one thing that is incredibly difficult to talk about exactly, you are (a) correct and (b) responding like a hacker. These traits are also recognizable (though in a less marked form) throughout science-fiction fandom.
  • haemarthrosis — Alternative form of hemarthrosis.
  • haemodialyzer — a piece of equipment used in haemodialysis to screen the blood to remove unwanted substances
  • haemorrhaging — Present participle of haemorrhage.
  • half mourning — a mourning garb less somber than deep mourning, usually following a period of deep mourning.
  • half-marathon — running: 13-mile footrace
  • half-mourning — a mourning garb less somber than deep mourning, usually following a period of deep mourning.
  • hall of famer — a person who has been accepted into a Hall of Fame.
  • halobacterium — Any of various extremophiles, of genus Halobacterium, found in water saturated or nearly saturated with salt.
  • hammond organ — an electric organ with two keyboards, electronic tone generation, and a wide variety of tone colours: invented in 1934
  • hampton roads — a channel in SE Virginia between the mouth of the James River and Chesapeake Bay: battle between the Monitor and the Virginia 1862.
  • harbor master — an official who supervises operations in a harbor area and administers its rules.
  • harbourmaster — (British, Canada, nautical) An official responsible for the enforcement of regulations in a port.
  • harmonic mean — the mean obtained by taking the reciprocal of the arithmetic mean of the reciprocals of a set of nonzero numbers.
  • harmonic tone — a tone produced by suppressing the fundamental tone and bringing into prominence one of its overtones.
  • harmonisation — (British spelling) alternative spelling of harmonization.
  • harmonization — to bring into harmony, accord, or agreement: to harmonize one's views with the new situation.
  • harvest mouse — an Old World field mouse, Micromys minutus, that builds a spherical nest among the stems of grains and other plants.
  • hatemongering — The behaviour of a hatemonger; the spreading of hatred.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?