0%

17-letter words containing o, n, l, i, e, a

  • many-valued logic — the study of logical systems in which the truth-values that a proposition may have are not restricted to two, representing only truth and falsity
  • margaret hamilton — (person)   (born 1936-08-17) A computer scientist, systems engineer and business owner, credited with coining the term software engineering. Margaret Hamilton published over 130 papers, proceedings and reports about the 60 projects and six major programs in which she has been involved. In 1965 she became Director of Software Programming at MIT's Charles Stark Draper Laboratory and Director of the Software Engineering Division of the MIT Instrumentation Laboratory, which developed on-board flight software for the Apollo space program. At NASA, Hamilton pioneered the Apollo on-board guidance software that navigated to and landed on the Moon and formed the basis for software used in later missions. At the time, programming was a hands-on, engineering descipline; computer science and software engineering barely existed. Hamilton produced innovations in system design and software development, enterprise and process modelling, development paradigms, formal systems modelling languages, system-oriented objects for systems modelling and development, automated life-cycle environments, software reliability, software reuse, domain analysis, correctness by built-in language properties, open architecture techniques for robust systems, full life-cycle automation, quality assurance, seamless integration, error detection and recovery, man-machine interface systems, operating systems, end-to-end testing and life-cycle management. She developed concepts of asynchronous software, priority scheduling and Human-in-the-loop decision capability, which became the foundation for modern, ultra-reliable software design. The Apollo 11 moon landing would have aborted when spurious data threatened to overload the computer, but thanks to the innovative asynchronous, priority based scheduling, it eliminated the unnecessary processing and completed the landing successfully. In 1986, she founded Hamilton Technologies, Inc., developed around the Universal Systems Language and her systems and software design paradigm of Development Before the Fact (DBTF).
  • marital relations — a euphemistic term for sexual intercourse between married partners
  • maxwell equations — equations developed by James Clerk Maxwell (1831–79) upon which classical electromagnetic theory is based
  • mean proportional — (between two numbers a and b) a number x for which a/x = x/b : The number 3 is a mean proportional between 1 and 9.
  • mechanoelectrical — Describing the production of electricity by mechanical motion; especially in a transducer.
  • meissen porcelain — Dresden china.
  • melissopalynology — The study of honey and its composition.
  • mensural notation — a system of musical notation of the 13th to the late 16th centuries, marked by the use of note symbols such as the longa and brevis, the absence of bar lines and ties, and the equivalence in value of one note to either two or three of the next smaller degree.
  • metalloproteinase — (enzyme) Any of several proteinases that have a metal atom (often zinc) at their active centre.
  • methemoglobinemia — (medicine) A form of toxic anemia characterized by the presence of methemoglobin in the blood.
  • methyl isocyanate — Chemistry. a highly toxic, flammable, colorless liquid, CH 3 NCO, used as an intermediate in the manufacture of pesticides: in 1984, the accidental release of a cloud of this gas in Bhopal, India, killed more than 1700 people and injured over 200,000.
  • microencapsulated — Encapsulated using microencapsulation.
  • microevolutionary — Of or pertaining to microevolution.
  • micropaleontology — the branch of paleontology dealing with the study of microscopic fossils.
  • middle low german — Low German of the period c1100–c1500.
  • mileage allowance — the number of miles allowed to be travelled on a rented vehicle such as a car during the period it is rented or leased
  • mileage indicator — a device on a vehicle such as a car, plane, etc which indicates the number of miles travelled
  • military covenant — the supposed understanding that members of the armed forces and their families will be supported by the state in the event of injury or death in the course of duty
  • military governor — the military officer in command of a military government.
  • mineralocorticoid — Biochemistry. any of a group of corticosteroid hormones, synthesized by the adrenal cortex, that regulate the excretion or reabsorption of sodium and potassium by the kidneys, salivary glands, and sweat glands.
  • minimal free form — the smallest unit of language that can make sense on its own
  • minion of the law — a policeman.
  • miscellaneousness — Quality of being miscellaneous.
  • miss lonelyhearts — a novel (1933) by Nathanael West.
  • modeling language — modelling language
  • mont-saint-michel — a rocky islet near the coast of NW France, in an inlet of the Gulf of St. Malo: famous abbey and fortress.
  • monumentalization — to establish an enduring memorial or record of.
  • motorcycle racing — sport: competing on motorcycles
  • mounted policeman — policemen who patrol on horseback
  • multi-directional — extending or operating in several directions at the same time; functioning or going in more than one direction: a multidirectional stereo speaker system.
  • multi-millionaire — a person who possesses a fortune that amounts to many millions of dollars, francs, etc.
  • multicollinearity — (statistics) A phenomenon in which two or more predictor variables in a multiple regression model are highly correlated, so that the coefficient estimates may change erratically in response to small changes in the model or data.
  • multigenerational — of or relating to several generations, as of a family, or society: a multigenerational novel covering 300 years.
  • multimillionaires — Plural form of multimillionaire.
  • multipotentiality — The capacity to develop in multiple ways; the state of having multiple potentialities.
  • muscae volitantes — floater (def 6).
  • nanotechnological — Of, pertaining to, or by means of nanotechnology.
  • national assembly — the body constituted by the French Third Estate in June 1789 after the calling of the Estates General. It was dissolved in Sept 1791 to be replaced by the new Legislative Assembly
  • national cemetery — a cemetery, maintained by the U.S. government, for persons who have served honorably in the armed forces.
  • national covenant — an agreement (1638) among Scottish Presbyterians to uphold their faith in Scotland.
  • national heritage — country's cultural legacy
  • national identity — characteristics of a given nationality
  • national monument — a monument, as a historic site or geographical area, owned and maintained in the public interest by the federal government.
  • national seashore — an area of seacoast set aside and maintained by the U.S. government for purposes of recreation or wildlife study.
  • national security — defence of a country
  • natural deduction — (logic)   A set of rules expressing how valid proofs may be constructed in predicate logic. In the traditional notation, a horizontal line separates premises (above) from conclusions (below). Vertical ellipsis (dots) stand for a series of applications of the rules. "T" is the constant "true" and "F" is the constant "false" (sometimes written with a LaTeX \perp). "^" is the AND (conjunction) operator, "v" is the inclusive OR (disjunction) operator and "/" is NOT (negation or complement, normally written with a LaTeX \neg). P, Q, P1, P2, etc. stand for propositions such as "Socrates was a man". P[x] is a proposition possibly containing instances of the variable x, e.g. "x can fly". A proof (a sequence of applications of the rules) may be enclosed in a box. A boxed proof produces conclusions that are only valid given the assumptions made inside the box, however, the proof demonstrates certain relationships which are valid outside the box. For example, the box below labelled "Implication introduction" starts by assuming P, which need not be a true proposition so long as it can be used to derive Q. Truth introduction: - T (Truth is free). Binary AND introduction: ----------- | . | . | | . | . | | Q1 | Q2 | ----------- Q1 ^ Q2 (If we can derive both Q1 and Q2 then Q1^Q2 is true). N-ary AND introduction: ---------------- | . | .. | . | | . | .. | . | | Q1 | .. | Qn | ---------------- Q1^..^Qi^..^Qn Other n-ary rules follow the binary versions similarly. Quantified AND introduction: --------- | x . | | . | | Q[x] | --------- For all x . Q[x] (If we can prove Q for arbitrary x then Q is true for all x). Falsity elimination: F - Q (Falsity opens the floodgates). OR elimination: P1 v P2 ----------- | P1 | P2 | | . | . | | . | . | | Q | Q | ----------- Q (Given P1 v P2, if Q follows from both then Q is true). Exists elimination: Exists x . P[x] ----------- | x P[x] | | . | | . | | Q | ----------- Q (If Q follows from P[x] for arbitrary x and such an x exists then Q is true). OR introduction 1: P1 ------- P1 v P2 (If P1 is true then P1 OR anything is true). OR introduction 2: P2 ------- P1 v P2 (If P2 is true then anything OR P2 is true). Similar symmetries apply to ^ rules. Exists introduction: P[a] ------------- Exists x.P[x] (If P is true for "a" then it is true for all x). AND elimination 1: P1 ^ P2 ------- P1 (If P1 and P2 are true then P1 is true). For all elimination: For all x . P[x] ---------------- P[a] (If P is true for all x then it is true for "a"). For all implication introduction: ----------- | x P[x] | | . | | . | | Q[x] | ----------- For all x . P[x] -> Q[x] (If Q follows from P for arbitrary x then Q follows from P for all x). Implication introduction: ----- | P | | . | | . | | Q | ----- P -> Q (If Q follows from P then P implies Q). NOT introduction: ----- | P | | . | | . | | F | ----- / P (If falsity follows from P then P is false). NOT-NOT: //P --- P (If it is not the case that P is not true then P is true). For all implies exists: P[a] For all x . P[x] -> Q[x] ------------------------------- Q[a] (If P is true for given "a" and P implies Q for all x then Q is true for a). Implication elimination, modus ponens: P P -> Q ---------- Q (If P and P implies Q then Q). NOT elimination, contradiction: P /P ------ F (If P is true and P is not true then false is true).
  • natural selection — the process by which forms of life having traits that better enable them to adapt to specific environmental pressures, as predators, changes in climate, or competition for food or mates, will tend to survive and reproduce in greater numbers than others of their kind, thus ensuring the perpetuation of those favorable traits in succeeding generations.
  • negative polarity — the grammatical character of a word or phrase, such as ever or any, that may normally be used only in a semantically or syntactically negative or interrogative context
  • negative theology — a theological approach or tradition in which the nature of God is thought to be unknowable and is only understood through negative statements. See also apophasis (def 2).
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?