Formalisering

De USSF is gewoon een formalisering van het geheime ruimteprogramma dat al jaren bestaat.

Vaak wordt er een probleem gemaakt rond de formalisering van deze afscheiding.

Die is namelijk niet meer dan een formalisering van de huidige situatie.

De christelijke vakbond ACV noemt de aankondiging van Benteler een formalisering van een beslissing in het kader van de wet-Renault.

Er zijn dan ook geen geschreven gedragsregels, dat is weer die formalisering die verkrampt, aldus Schaepman.

Het wachten is op de formalisering.

De politieke partij is als programmeur van oplossingen voor maatschappelijke problemen een cruciale schakel in de formalisering van maatschappelijke waarden.

Vooral in de negentiende eeuw zijn de commerciële en bestuurlijke netwerken sterk uitgebreid, en dat ging gepaard met een krachtige golf van formalisering.

Zo gaat een beproefd streven naar formalisering over in de fysieke inering van een publiek lichaam in een interactieve ruimte: entertainment tussen openbare en museale ruimte.

Hij waarschuwt voor formalisering van de kerkelijke taak.

Al eerder hebben we iets verteld over de niveaus van formalisering (van wereldorien- terend, via materiaal en bouwstenen naar de formele som).

Het onderhavige besluit dient ter formalisering van deze praktijk.

Als voorbeeld geven we de formalisering van onze "optellende automaat" van hierboven.

De systematische formalisering van dit veralgemeend functiebegrip was het werk van Laurent Schwartz in zijn boek "Théorie des distributions" (Parijs 1966).

De wet van Weber is de formalisering van een ervaringsregel uit de psychofysica die aangeeft dat bij veel menselijke gewaarwordingen een vermenigvuldiging van de fysieke prikkel leidt tot een bijtelling in de gewaarwording.

Op 30 januari 1940 stelde Halder immers de derde Aufmarschanweisung Fall Gelb op die eigenlijk weinig meer was dan een formalisering van de kleine wijzigingen aan numero twee, zoals Hitler die bevolen had.

In 1928 won hij een prijs van het Wiskundig Genootschap, uitgeloofd voor de eerste formalisering van de intuïtionistische logica.

In 2003 werd het wwPDB opgezet als formalisering van een bestaande samenwerking, waarmee de PDB een internationale organisatie werd.

Na de formalisering van politieke partijen in 1990 werd de boerenbond hernoemd in Sloveense Boerenbond - Volkspartij (Slovenska kmečka zveza - Ljudska stranka).