0%

14-letter words containing c, o, d, l

  • model checking — (theory, algorithm, testing)   To algorithmically check whether a program (the model) satisfies a specification. The model is usually expressed as a directed graph consisting of nodes (or vertices) and edges. A set of atomic propositions is associated with each node. The nodes represents states of a program, the edges represent possible executions which alters the state, while the atomic propositions represent the basic properties that hold at a point of execution. A specification language, usually some kind of temporal logic, is used to express properties. The problem can be expressed mathematically as: given a temporal logic formula p and a model M with initial state s, decide if M,s \models p.
  • modelling clay — mouldable substance fixed in a kiln
  • monocotyledons — Plural form of monocotyledon.
  • monoglycerides — Plural form of monoglyceride.
  • mononucleotide — (genetics) A single nucleotide.
  • mounted police — police who patrol on horseback
  • multiconductor — having or involving several electrical conductors
  • multielectrode — having or involving several electrodes
  • municipal bond — a bond issued by a state, county, city, or town, or by a state authority or agency to finance projects.
  • mushroom cloud — mushroom (def 4).
  • musical comedy — musical (def 5).
  • nacreous cloud — a rarely seen, luminous, iridescent cloud shaped like a cirrus or altocumulus, approximately 15 miles (24 km) above the earth, and of unknown composition.
  • naval dockyard — a place where a Navy's ships are kept
  • new caledonian — of, from, or relating to New Caledonia
  • nile crocodile — the common African crocodile, Crocodylus niloticus, sometimes growing to a length of 20 feet (6.1 meter): in some areas it is greatly reduced in number and now rare.
  • non-accidental — happening by chance or accident; not planned; unexpected: an accidental meeting.
  • non-classified — arranged or distributed in classes or according to class: We plan to review all the classified specimens in the laboratory.
  • non-corrodible — to eat or wear away gradually as if by gnawing, especially by chemical action.
  • non-cultivated — prepared and used for raising crops; tilled: cultivated land.
  • non-disclosure — the act or an instance of disclosing; exposure; revelation.
  • non-indictable — liable to being indicted, as a person.
  • non-nucleoside — any of various antiviral drugs that bind directly to reverse transcriptase and prevent RNA conversion to DNA, used in combination with other drugs to treat HIV infection.
  • non-occidental — (usually initial capital letter) of, relating to, or characteristic of the Occident or its natives and inhabitants.
  • nonclandestine — not clandestine or secret; open
  • noncomplicated — (esp of a medical condition or procedure) not involving complications
  • noncondensable — lacking the ability to be condensed
  • nondeclarative — serving to declare, make known, or explain: a declarative statement.
  • nondirectional — functioning equally well in all directions; omnidirectional.
  • noneducational — not educational or related to education
  • nonideological — Unaffiliated with or unrelated to ideology.
  • nonpalindromic — Not palindromic.
  • nonpredictable — Not predictable.
  • nonprejudicial — causing prejudice or disadvantage; detrimental.
  • notched collar — a collar forming a notch with the lapels of a garment at the seam where collar and lapels join.
  • novemdecillion — a cardinal number represented in the U.S. by 1 followed by 60 zeros, and in Great Britain by 1 followed by 114 zeros.
  • occluded front — a composite front formed when a cold front overtakes a warm front and forces it aloft.
  • octodecillions — Plural form of octodecillion.
  • old franconian — the Franconian language before 1100; Frankish.
  • old school tie — a necktie striped in the colors of a specific English public school, especially as worn by a graduate to indicate his educational background.
  • old-field colt — catch-colt (def 2).
  • old-man cactus — a Mexican cactus, Cephalocereus senilis, having a columnar body from 30 to 40 feet (9 to 12 meters) high with thatchlike, long, white hairs on the top, and red flowers with white centers.
  • old-time dance — a formal or formation dance, such as the lancers
  • orchard oriole — a North American oriole, Icterus spurius, the male of which is chestnut and black.
  • overcontrolled — to exercise restraint or direction over; dominate; command: The car is difficult to control at high speeds. That zone is controlled by enemy troops.
  • overindulgence — excessive indulgence
  • oversocialized — to make social; make fit for life in companionship with others.
  • palacio valdes — Armando [ahr-mahn-daw] /ɑrˈmɑn dɔ/ (Show IPA), 1853–1938, Spanish novelist and critic.
  • paradoxicality — having the nature of a paradox; self-contradictory.
  • parti-coloured — having different colours in different parts; variegated
  • particle board — any of various composition boards formed from small particles of wood, as flakes or shavings, tightly compressed and bonded together with a resin.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?