Built amidst a blazing row where Bank of Ireland was responsible for a weekend demolition of these Georgian houses, the bank as stands today is now regarded as an excellent example of Miesian architecture, and among the purest contemporary corporate architectural forms built in Dublin.

The first house was a duo of " Miesian " patio villas ( 1985 – 1988 ) inserted in a dike in Rotterdam.

More structures were added over the ensuing decades, outside the periphery of the original site – as they were not part of Mies's master plan for the Centre – but still located close enough, and in such locations, as to visually impact the sense of space within areas of the centre, forming Miesian western and southern walls to the lawn, and a tall eastern flank to the plaza.

Written in prose but much closer to the high-level language of a computer program, the following is the more formal coding of the algorithm in pseudocode or pidgin code:

Atomic orbitals may be defined more precisely in formal quantum mechanical language.

One of his examples: mathematicians enjoy simple proofs with a short description in their formal language.

However, an ADT may be implemented by specific data types or data structures, in many ways and in many programming languages ; or described in a formal specification language.

* Metamath-a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems ; while the Metamath language is not accompanied with an automated theorem prover, it can be regarded as important because the formal language behind it allows development of such a software ; as of March, 2012, there is no " widely " known such software, so it is not a subject of " automated theorem proving " ( it can become such a subject ), but it is a proof assistant.

Euskara Batua was created so that Basque language could be used — and easily understood by all Basque speakers — in formal situations ( education, mass media, literature ), and this is its main use nowadays.

Using programs or proofs of bounded lengths, it is possible to construct an analogue of the Berry expression in a formal mathematical language, as has been done by Gregory Chaitin.

Using terms from formal language theory, the precise mathematical definition of this concept is as follows: Let S and T be two finite sets, called the source and target alphabets, respectively.

* Semantics encoding of formal language A in formal language B is a method of representing all terms ( e. g. programs or descriptions ) of language A using language B.

A formal neurological examination runs through a precisely delineated series of tests, beginning with tests for basic sensorimotor reflexes, and culminating with tests for sophisticated use of language.

The establishment of funding for the Gaelic College of Celtic Arts and Crafts and formal Gaelic language courses in public schools are intended to address the near-loss of this culture to English assimilation.

A formal grammar defines ( or generates ) a formal language, which is a ( usually infinite ) set of finite-length sequences of symbols ( i. e. strings ) that may be constructed by applying production rules to another sequence of symbols which initially contains just the start symbol.

Such a grammar defines the formal language: all words consisting solely of terminal symbols which can be reached by a derivation from the start symbol.

Later still, abstraction was manifest in more purely formal terms, such as color, freedom from objective context, and a reduction of form to basic geometric designs.

Pope encouraged the Delaneys to develop a garden in a style then becoming popular in England-moving away from the very formal, geometric layout that was common.

Many fragments of these have outlived the buildings that they decorated and demonstrate a wealth of formal border designs of geometric scrolls, overlapping patterns and foliate motifs.

* Pishtaq is the formal gateway to the iwan, usually the main prayer hall of a mosque, a vaulted hall or space, walled on three sides, with one end entirely open ; a Persian term for a portal projecting from the facade of a building, usually decorated with calligraphy bands, glazed tilework, and geometric designs.

As the terminology reflects, this is significantly more technical than the intuitive geometric picture, similar to how a formal definition of intersection number requires sophisticated algebra.

This difference gives formal groups a rich geometric theory in positive and mixed characteristic, with connections to the Steenrod algebra, p-divisible groups, Dieudonné theory, and Galois representations.

Designs can be geometric and formal or imaginative.

He justified the technique by a formal, Euclidean-style geometric proof.

A French garden or Garden à la française, is a specific kind of formal garden, laid out in the manner of André Le Nôtre ; it is centered on the façade of a building, with radiating avenues and paths of gravel, lawns, parterres and pools ( bassins ) of reflective water enclosed in geometric shapes by stone coping, with fountains and sculpture.

The simplest formal garden would be a box-trimmed hedge lining or enclosing a carefully laid out flowerbed or garden bed of simple geometric shape, such as a knot garden.

The sculpture is an attempt to move between the formal Victorian design of the park seen in the remnants of the formal bedding and local buildings, and the geometric patterns of natural forms discovered on closer inspection i. e. the double helix of the centre of a daisy.

He added a 15th century style gatehouse to the castle's medieval structures, as well as a formal garden and a residential wing which featured the " brittle, thin walls and grids of windows " that were to become the hallmark of Elizabethan architecture in later decades.

Cité Soleil, Haiti, 2002Since construction is informal and unguided by urban planning, there is a near total absence of formal street grids, numbered streets, sewage network, electricity, or telephones.

Fires are a particular danger for shanty towns not only for the lack of fire fighting stations and the difficulty fire trucks have traversing the absence of formal street grids, but also because of the high density of buildings and flammability of materials used in construction A sweeping fire on the hills of Shek Kip Mei, Hong Kong, in late 1953 left 53, 000 squatter dwellers homeless, prompting the colonial government to institute a resettlement estate system.

Only one of ten Honduran workers was securely employed in the formal sector in 1991.

Although this form of address is employed at formal occasions it is rarely used by the media.

There were also those such as Steina and Woody Vasulka who were interested in the formal qualities of video and employed video synthesizers to create abstract works.

* Casual Friday ( also called Dress-down Friday or Aloha Friday ) is a relaxation of the formal dress code employed by some corporations for that one day of the week.

Square capitals were employed for more formal texts based on stone inscriptional letters while rustic capitals freer, compressed, and efficient.

Informal economies include garment workers working from their homes, as well as informally employed personnel of formal enterprises.

A colloquialism is a word, phrase, or paralanguage that is employed in conversational or informal language but not in formal speech or formal writing.

Although he was not employed by the club, he was given a job by a member of the Sheffield Wednesday board that had no formal duties.

Are there criteria employed by organizational members to differentiate between " legitimate " ( i. e., endorsed by the formal organizational structure ) and " illegitimate " ( i. e., opposed by or unknown to the formal power structure ) behaviors?

Most of Rideau Hall is used for state affairs, only 500 m < sup > 2 </ sup > ( 5, 400 sq ft ) of its area being dedicated to private living quarters, while additional areas serve as the offices of the Canadian Heraldic Authority and the principal workplace of the governor general and his or her staff either the term Rideau Hall, as a metonym, or the formal idiom Government House is employed to refer to this bureaucratic branch.

All three of his lawyers declined to be in court to hear the reading of the formal charges because " We fear that the haste which has been employed to open the hearings is inspired, not by judicial preoccupations, but motivated by political considerations.

When he was introduced to the Post production systems of Emil Post and their capacity to generate language-like formal systems, he employed them as a notation for presentation of immediate-constituent analysis.

Runyon was known for the unique dialect he employed in his stories, mixing highly formal language and slang.

Like all the Hebrew poets of the Hebrew Golden Age, he employed the formal patterns of Arabic poetry, both the classical monorhymed patterns and the recently-invented strophic patterns.

As of 2007, about 55 % of the population over the age of twelve is employed either in the formal or informal economy, with most of these between the ages of 35 and 39.

As of 2000, over 98 % of the working population was employed in either the formal or informal economies.

Cook casts doubt on this incident but concedes that German factory records show a Karl Hahn was indeed employed by the Essen plant during this time and a plant fire brigade was in formal operation.

These excerpts relate to the distinction in metalogic between the object language, the formal language of the logical system under discussion, and the metalanguage, a language ( often a natural language ) distinct from the object language, employed to exposit and discuss the object language.

GURPS International Super Teams, the 1991 worldbook for the " house campaign " for the GURPS Supers rules, uses " metahuman " as the formal scientific / academic term employed within the setting for a human with super-powers.

* Thomas Thynne, 1st Marquess of Bath ( 1734 – 1796 ) employed Capability Brown who replaced the formal gardens with a landscaped park and dramatic drives and entrance roads.

While the Clarion Fund's founders apparently worked formerly with Aish HaTorah, and evidently hatched the idea for the Fund and the films while employed at Aish HaTorah, both organizations have denied any formal links.

He was simultaneously employed as the Chief of Construction, effectively holding two formal careers.