11-letter words containing d, i, a, m, o
- mishallowed — falsely hallowed or revered
- modal logic — (logic) An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A. "It is necessarily true that A" means that things being as they are, A must be true, e.g. "It is necessarily true that x=x" is TRUE while "It is necessarily true that x=y" is FALSE even though "x=y" might be TRUE. Adding modal operators [F] and [P], meaning, respectively, henceforth and hitherto leads to a "temporal logic". Flavours of modal logics include: Propositional Dynamic Logic (PDL), Propositional Linear Temporal Logic (PLTL), Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Hennessy-Milner Logic, S1-S5, T. C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods (Boolean algebras with operators) to prove the decidability of Lewis' S2 and S4 in 1941. Saul Kripke developed the relational semantics for modal logics (1959, 1963). Vaughan Pratt introduced dynamic logic in 1976. Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977.
- moderations — the quality of being moderate; restraint; avoidance of extremes or excesses; temperance.
- modularised — to form or organize into modules, as for flexibility.
- modularized — having been made modular or relating to the use of modular concepts or forms
- modulations — Plural form of modulation.
- mogen david — Star of David.
- mohammed ii — ("the Conqueror") 1430–81, sultan of Turkey 1451–81: conqueror of Constantinople 1453.
- moldability — a hollow form or matrix for giving a particular shape to something in a molten or plastic state.
- molendinary — a mill
- monadically — Biology. any simple, single-celled organism. any of various small, flagellate, colorless ameboids with one to three flagella, especially of the genus Monas.
- monocardian — a creature that has only one heart
- montbéliard — an industrial town in E France: former capital of the duchy of Burgundy. Pop: 27 570 (1999)
- mortal mind — the illusion that mind and life arise from matter and are subject to death. Compare mind (def 19).
- mosaic gold — Chemistry. stannic sulfide.
- mpls domain — (networking) A portion of a network that contains devices that understand MPLS.
- multi-nodal — pertaining to or of the nature of a node.
- multicoated — having more than one coating of a substance
- multidomain — of, relating to, or affecting several domains
- mustachioed — a mustache.
- mustard oil — oil expressed from the seed of mustard, used chiefly in making soap.
- myocarditis — inflammation of the myocardium.
- myrmidonian — comprising or resembling myrmidons
- nematocidal — Acting as a nematocide; fatal to nematodes.
- nematocides — Plural form of nematocide.
- nematodirus — any parasitic nematode worm of the genus Nematodirus
- nomadically — of, relating to, or characteristic of nomads.
- nominalised — Simple past tense and past participle of nominalise.
- nominalized — to convert (another part of speech) into a noun, as in changing the adjective lowly into the lowly or the verb legalize into legalization.
- non-dualism — the state of being dual or consisting of two parts; division into two.
- non-medical — of or relating to the science or practice of medicine: medical history; medical treatment.
- nonacademic — of or relating to a college, academy, school, or other educational institution, especially one for higher education: academic requirements.
- nondogmatic — not related to dogma, esp in religion
- nondominant — ruling, governing, or controlling; having or exerting authority or influence: dominant in the chain of command.
- nondramatic — Not dramatic; not exciting; mundane.
- nonhumanoid — Not humanoid.
- nostradamic — of or pertaining to Nostradamus or resembling his work; prophetic
- officialdom — the class or entire body of officials; officials as a whole.
- old-maidish — characteristic of or resembling an old maid.
- ophidiarium — an enclosure for snakes, adapted to their normal living conditions
- ordainments — Plural form of ordainment.
- palindromic — a word, line, verse, number, sentence, etc., reading the same backward as forward, as Madam, I'm Adam or Poor Dan is in a droop.
- pandemonian — a noisy and disorderly person
- pandemonium — wild uproar or unrestrained disorder; tumult or chaos.
- paramastoid — of or relating to the part of the skull next to the mastoid process
- parlourmaid — In former times, a parlourmaid was a female servant in a private house whose job involved serving people at table.
- parodontium — periodontium.
- pedobaptism — the baptism of infants.
- pentastomid — tongue worm.
- 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).