The analysis of the formalized design is achieved using existing tool support for the formal methods, which leverages a large body of work in the research community.
For example, all results to queries that we list in Table 2 are the result of a formal proof across the combination of biomedical ontologies and the formalized models in our knowledge base.
He compares the formalized rigid figures of Egyptian art, unchanged for 3,000 years, with the buff athletic torsos worshiped by the ancient Greeks.
The formalized paths had been marked with brightly colored plastic medallions nailed to nearby tree trunks, which, King noted with dismay, pedestrians like to pilfer as mementos.
Instead of enjoying the formalized beauty of a fighting discipline, we see a lot of flailing movement and bodies hitting the floor like grain sacks.
Ballet movement, in classical ballet, any of the formalized actions of a dancer that follow specific rules regarding the positions of the arms, feet, and body.
He freed us up with his use of vernacular -- the way people converse in real life as opposed to Otto Harbach and the formalized lyric, the syntax that's reversed.
In "Casting JonBenet," Green relies on the formalized settings of on-camera auditions to interview a batch of largely nonprofessional, mainly inexperienced actors about the unsolved killing of JonBenét Ramsey.
Ezequiel is referring to an underground resistance movement protesting the formalized stratification of society, but the sentiment may well summarize the feelings of many conservatives who believe that the impoverished are victims of nothing but their own indolence.
Because of the formalized rules of Egyptian art, the lotus (Nymphaea), sacred to the goddess Isis, and papyrus, both of which were easily conventionalized, were the plant materials depicted almost exclusively for 2,000 years.
This is exactly the formalized version of Löb's theorem mentioned in Section 1.
