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.