0%

19-letter words containing t, i, m, n

  • axiomatic semantics — (theory)   A set of assertions about properties of a system and how they are effected by program execution. The axiomatic semantics of a program could include pre- and post-conditions for operations. In particular if you view the program as a state transformer (or collection of state transformers), the axiomatic semantics is a set of invariants on the state which the state transformer satisfies. E.g. for a function with the type: sort_list :: [T] -> [T] we might give the precondition that the argument of the function is a list, and a postcondition that the return value is a list that is sorted. One interesting use of axiomatic semantics is to have a language that has a finitely computable sublanguage that is used for specifying pre and post conditions, and then have the compiler prove that the program will satisfy those conditions. See also operational semantics, denotational semantics.
  • barometric gradient — pressure gradient
  • benefit performance — a theatrical or musical performance in aid of charity
  • bernoulli's theorem — Statistics. law of averages (def 1).
  • betamethyl acrolein — crotonaldehyde.
  • binomial experiment — an experiment consisting of a fixed number of independent trials each with two possible outcomes, success and failure, and the same probability of success. The probability of a given number of successes is described by a binominal distribution
  • brand contamination — the process by which the reputation of a particular brand or product becomes tarnished by adverse publicity
  • briggsian logarithm — common logarithm.
  • brightline spectrum — the spectrum of an incandescent substance appearing on a spectrogram as one or more bright lines against a dark background.
  • brimstone butterfly — a common yellow butterfly, Gonepteryx rhamni, of N temperate regions of the Old World: family Pieridae
  • bug tracking system — (programming)   (BTS) A system for receiving and filing bugs reported against a software project, and tracking those bugs until they are fixed. Most major software projects have their own BTS, the source code of which is often available for use by other projects. Well known BTSs include GNATS, Bugzilla, and Debbugs.
  • cairngorm mountains — a mountain range of NE Scotland: part of the Grampians. Highest peak: Ben Macdui, 1309 m (4296 ft); designated a national park in 2003
  • calculating machine — calculator (sense 3)
  • canterbury pilgrims — the pilgrims whose stories are told in Chaucer's Canterbury Tales
  • cape-disappointment — Cape, a cape in SW Washington state, projecting into the Pacific Ocean on the N of the mouth of the Columbia River.
  • cask of amontillado — a short story (1846) by Edgar Allan Poe.
  • catalytic reforming — Catalytic reforming is a process that converts petroleum refinery naphthas to high-octane blending components.
  • cathodoluminescence — luminescence caused by irradiation with electrons (cathode rays)
  • celestial mechanics — the study of the motion of celestial bodies under the influence of gravitational fields
  • champagne lifestyle — a lifestyle involving the enjoyment of luxuries and expensive pleasures
  • champagne socialist — a professed socialist who enjoys an extravagant lifestyle
  • chandrasekhar limit — the upper limit to the mass of a white dwarf, equal to 1.44 solar masses. A star having a mass above this limit will continue to collapse to form a neutron star
  • chassis dynamometer — A chassis dynamometer is a piece of test equipment fitted with rollers for the wheels of a vehicle, that is capable of providing drive input and measuring output such as power and torque at the wheels.
  • chemical castration — the use of drugs to reduce libido
  • chemical weathering — any of the various weathering processes that cause exposed rock to undergo chemical decomposition, changing the chemical and mineralogical composition of the rock: Oxygen and acids are agents in chemical weathering.
  • christian democracy — the beliefs, principles, practices, or programme of a Christian Democratic party
  • christmas pantomime — pantomime (def 5).
  • cinematographically — a motion-picture projector.
  • circulating decimal — repeating decimal
  • circulation manager — the senior manager responsible for the distribution of a newspaper
  • cisco systems, inc. — (company)   Ethernet hardware manufacturers. Address: 170 West Tasman Drive, San Jose, CA 95134-1706, USA. Telephone: +1 408 526 4000, +1 800 553 6387. Fax: +1 408 526 4100.
  • city of westminster — a borough of Greater London, on the River Thames: contains the Houses of Parliament, Westminster Abbey, and Buckingham Palace. Pop: 222 000 (2003 est). Area: 22 sq km (8 sq miles)
  • claims investigator — A claims investigator is a person who is employed by an insurance company to obtain information necessary to evaluate a claim.
  • claims notification — Claims notification is the process of informing an insurance company that a loss has occurred and that the policyholder intends to ask for money as a result.
  • classroom assistant — a person whose job is to help a schoolteacher in the classroom
  • clemastine fumarate — an antihistamine, C 25 H 30 ClNO 5 , that has drying and some sedative effects, used for symptomatic relief of allergy.
  • client-server model — client-server
  • columnar epithelium — epithelium consisting of one or more layers of elongated cells of cylindrical or prismatic shape.
  • combination therapy — a therapy that combines two or more drugs, or two or more treatments
  • come into one's own — to become fulfilled
  • come into the world — to be born
  • come to sb's notice — If something comes to your notice, you become aware of it.
  • come to think of it — You use the expression come to think of it to indicate that you have suddenly realized something, often something obvious.
  • command interpreter — (operating system)   A program which reads textual commands from the user or from a file and executes them. Some commands may be executed directly within the interpreter itself (e.g. setting variables or control constructs), others may cause it to load and execute other files. When an IBM PC is booted BIOS loads and runs the MS-DOS command interpreter into memory from file COMMAND.COM found on a floppy disk or hard disk drive. The commands that COMMAND.COM recognizes (e.g. COPY, DIR, PRN) are called internal commands, in contrast to external commands which are executable files.
  • command line option — (software)   (Or "option", "flag", "switch", "option switch") An argument to a command that modifies its function rather than providing data. Options generally start with "-" in Unix or "/" in MS-DOS. This is usually followed by a single letter or occasionally a digit. More recently, GNU software adopted the --longoptionname style, usually in addition to traditional, single-character, -x style equivalents. Some commands require each option to be a separate argument, introduced by a new "-" or "/", others allow multiple option letters to be concatenated into a single argument with a single "-" or "/", e.g. "ls -al". A few Unix commands (e.g. ar, tar) allow the "-" to be omitted. Some options may or must be followed by a value, e.g. "cc prog.c -o prog", sometimes with and sometimes without an intervening space.
  • comminuted fracture — a fracture in which the bone is splintered or fragmented
  • commission merchant — a person who buys or sells goods for others on a commission basis
  • commitment ceremony — a ceremony and celebration that affirms the love and commitment between two people who cannot legally marry, typically a same-sex or transgender couple.
  • common de-nominator — Mathematics. a number that is a multiple of all the denominators of a set of fractions.
  • common iliac artery — iliac artery (def 1).
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?