Add to ORKGIn dit artikel wordt een methode voor strictheidsanalyse uitgewerkt voor een getypte functionele taal met arithmetische operatoren, λ-abstractie en expliciete recursie m.b.v. dekpuntoperatoren. In het licht van deze methode wordt enige literatuur op dit gebied besproken. Dit rapport is geschreven als bijdrage aan het Parallelle Reductiemachine Project
Er worden drie uitgangspunten voor onderwijs in recursief programmeren besproken: procedurele abstra...
Dit artikel beschrijft een methode om duurzame gebouwen te analyseren. De methode richt zich voornam...
Korte beschrijving van het project 'Muziek is Taal en Rekenen' in Delft, waarin basisschoolleerkrach...
Dit rapport beschrijft de resultaten van onderzoek dat is uitgevoerd binnen het project "Analysemeth...
Meerdimensionaal ontvouwen is een analyse techniek uit de psychometrie. Zij is bedoeld voor de verwe...
Hoewel de methodiek die analytische meetkunde ons biedt een prachtige techniek is om allerlei stelli...
Er is in de afgelopen decenia een veelheid van methodes voor informatiesysteemontwikkel ing voorges...
We zien niet altijd alles zoals het werkelijk is: parallelle lijnen zien er bijvoorbeeld niet altij...
Handreiking voor de visie-ontwikkeling voor dijkversterkingsprojecten conform aanbevelingen commissi...
Een polygram is de op papier en magneetband weergegeven gelijktijdige registratie van veel fysiologi...
Gelden voor discussies over de interpretatie van rechtsnormen regels van redelijkheid? In deze bijdr...
Het beperkte recht moet niet worden voorgesteld als een afsplitsing van een deel van de eigendom. He...
De Level Set Methode is gebaseerd op een afstandsfunctie met tekenverschil phi, waarbij een bewegend...
Dit artikel beschrijft een eenvoudige methode voor het berekenen van de kritische belastingen van st...
Dit onderzoek beoogt een analyse te leveren van de problematiek en succesfactoren m.b.t. het verwerv...
Er worden drie uitgangspunten voor onderwijs in recursief programmeren besproken: procedurele abstra...
Dit artikel beschrijft een methode om duurzame gebouwen te analyseren. De methode richt zich voornam...
Korte beschrijving van het project 'Muziek is Taal en Rekenen' in Delft, waarin basisschoolleerkrach...
Dit rapport beschrijft de resultaten van onderzoek dat is uitgevoerd binnen het project "Analysemeth...
Meerdimensionaal ontvouwen is een analyse techniek uit de psychometrie. Zij is bedoeld voor de verwe...
Hoewel de methodiek die analytische meetkunde ons biedt een prachtige techniek is om allerlei stelli...
Er is in de afgelopen decenia een veelheid van methodes voor informatiesysteemontwikkel ing voorges...
We zien niet altijd alles zoals het werkelijk is: parallelle lijnen zien er bijvoorbeeld niet altij...
Handreiking voor de visie-ontwikkeling voor dijkversterkingsprojecten conform aanbevelingen commissi...
Een polygram is de op papier en magneetband weergegeven gelijktijdige registratie van veel fysiologi...
Gelden voor discussies over de interpretatie van rechtsnormen regels van redelijkheid? In deze bijdr...
Het beperkte recht moet niet worden voorgesteld als een afsplitsing van een deel van de eigendom. He...
De Level Set Methode is gebaseerd op een afstandsfunctie met tekenverschil phi, waarbij een bewegend...
Dit artikel beschrijft een eenvoudige methode voor het berekenen van de kritische belastingen van st...
Dit onderzoek beoogt een analyse te leveren van de problematiek en succesfactoren m.b.t. het verwerv...
Er worden drie uitgangspunten voor onderwijs in recursief programmeren besproken: procedurele abstra...
Dit artikel beschrijft een methode om duurzame gebouwen te analyseren. De methode richt zich voornam...
Korte beschrijving van het project 'Muziek is Taal en Rekenen' in Delft, waarin basisschoolleerkrach...