0%

11-letter words containing p, o, m, a, d, e

  • pompadoured — styled in a pompadour
  • powerdomain — (theory)   The powerdomain of a domain D is a domain containing some of the subsets of D. Due to the asymmetry condition in the definition of a partial order (and therefore of a domain) the powerdomain cannot contain all the subsets of D. This is because there may be different sets X and Y such that X <= Y and Y <= X which, by the asymmetry condition would have to be considered equal. There are at least three possible orderings of the subsets of a powerdomain: Egli-Milner: X <= Y iff for all x in X, exists y in Y: x <= y and for all y in Y, exists x in X: x <= y ("The other domain always contains a related element"). Hoare or Partial Correctness or Safety: X <= Y iff for all x in X, exists y in Y: x <= y ("The bigger domain always contains a bigger element"). Smyth or Total Correctness or Liveness: X <= Y iff for all y in Y, exists x in X: x <= y ("The smaller domain always contains a smaller element"). If a powerdomain represents the result of an abstract interpretation in which a bigger value is a safe approximation to a smaller value then the Hoare powerdomain is appropriate because the safe approximation Y to the powerdomain X contains a safe approximation to each point in X. ("<=" is written in LaTeX as \sqsubseteq).
  • pre-diploma — a document given by an educational institution conferring a degree on a person or certifying that the person has satisfactorily completed a course of study.
  • preadmonish — to admonish or warn beforehand
  • predominant — having ascendancy, power, authority, or influence over others; preeminent.
  • predominate — to be the stronger or leading element or force.
  • proctodaeum — proctodeum.
  • promenading — a stroll or walk, especially in a public place, as for pleasure or display.
  • promulgated — to make known by open declaration; publish; proclaim formally or put into operation (a law, decree of a court, etc.).
  • pseudoedema — effusion of serous fluid into the interstices of cells in tissue spaces or into body cavities.
  • pseudomonad — any of various bacteria of the genus Pseudomonas
  • pseudomonas — any of several rod-shaped bacteria of the genus Pseudomonas, certain species of which are pathogenic for plants and animals.
  • teapot dome — a federal oil reserve in Wyoming, leased to private producer Harry F. Sinclair by Secretary of the Interior Albert B. Fall in 1922, leading to a major government scandal and the tarnishing of the reputation of President Warren G. Harding's administration (1921–23).
  • uncompacted — not compacted
  • uncompanied — unaccompanied
  • windom peak — a mountain in SW Colorado, in the San Juan Mountains. 14,082 feet (4292 meters).
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?