Definition, Betydelse & Synonymer | Engelska ordet FORMALIZE

Definition av FORMALIZE

1. formalisera

Exempel på hur man kan använda FORMALIZE i en mening

• The same concepts are known in more general mathematics as stochastic convergence and they formalize the idea that certain properties of a sequence of essentially random or unpredictable events can sometimes be expected to settle down into a behavior that is essentially unchanging when items far enough into the sequence are studied.
• In 145 BC Ptolemy VI Philometor, king of Egypt, marched with an army into Syria ostensibly in support of Alexander Balas, but he soon switched his support to Demetrius, perhaps after receiving an offer to formalize the Ptolemaic occupation of Coele-Syria.
• In April 2008, members of Bideford's town council visited Manteo in preparation to formalize the twinning in 2009.
• During the Han period, the familiar elements of traditional Chinese culture—the yin-yang philosophy, the theory and technology of the five elements (Wuxing), the concepts of heaven and earth, and Taoist, Buddhist and Confucian morality—were brought together to formalize the philosophical principles of Chinese medicine and divination, astrology and alchemy.
• Type systems formalize and enforce the otherwise implicit categories the programmer uses for algebraic data types, data structures, or other data types, such as "string", "array of float", "function returning boolean".
• Diplomatic relations between Great Britain and the United States on the tennis front had strengthened such that, by the mid-1890s, reciprocal tours were staged annually between players of the two nations, and an ensuing friendship between American William Larned and Irishman Harold Mahony spurred efforts to formalize an official team competition between the two nations.
• Clients who habitually return to a seller develop customs that allow for regular, sustained commerce that allows the seller to develop statistical models to optimize production processes (which change the nature or form of goods or services) and supply chains (which change the location or formalize the changes of ownership or entitlement transactions).
• Geodesists formalize mean sea level (MSL) by means of the geoid, the equipotential surface that best fits MSL.
• In 1952, Wardrop stated two principles that formalize different notions of equilibrium, and introduced the alternative behaviour postulate of the minimization of the total travel costs:.
• The body of research in reverse mathematics has established that weak subsystems of second-order arithmetic suffice to formalize almost all undergraduate-level mathematics.
• In the 1970s, Kroger became the first grocer in the United States to test an electronic scanner and the first to formalize consumer research.
• As the soft drink's first independently owned bottler, owner Sam Houston Prim was given first choice of franchises when franchising of Dr Pepper started in 1925 and, instead of a larger area, chose to formalize an existing, smaller territory, which has remained unchanged.
• They formalize the self-regulation of markets, which Keynes refuted but reiterated some of Allais's ideas.
• Haag (1958) and David Ruelle (1962) have presented the Haag–Ruelle scattering theory, which deals with asymptotic free states and thereby serves to formalize some of the assumptions needed for the LSZ reduction formula.
• A 2003 effort (Meikle and Fleuriot) to formalize the Grundlagen with a computer, though, found that some of Hilbert's proofs appear to rely on diagrams and geometric intuition, and as such revealed some potential ambiguities and omissions in his definitions.
• Before examining Baranov's financial records, Hagemeister traveled to northern California to formalize relations with the Kashia Pomo people.
• Hake worked to formalize the ties between commanders in Afghanistan and his organization as a "Commander Support Program" (CSP) with support from senior Marine officers "who had developed a good working relationship with the group in Iraq".
• That spring, following inquiries by the CRTC regarding whether the simulcast complies with broadcasting regulations, Corus filed a set of applications with the CRTC to formalize the simulcast by re-designating CFGQ as the originating station of the news/talk format under a specialty FM licence, revoking CHQR's AM licence, and repurposing the current 770 AM facility as a rebroadcaster of CFGQ.
• The availability of the books by Baedeker and Murray helped sharpen and formalize the complementary genre of the personal travelogue, which was freed from the burden of serving as a guide book.
• The Camanachd Association was founded in 1893 after a meeting in Kingussie in order to formalize a set of rules for the many shinty clubs across the British Isles.

Förberedelsen av sidan tog: 102,76 ms.