This paper presents a methodology to control construction task complexity and examined the relationships between construction performance and spatial and mathematical abilities in children. The study included three groups of children (N = 96); ages 7-8, 10-11, and 13-14 years. Each group constructed seven pre-specified objects. The study replicated and extended previous findings that indicated ...

This work presents a computational interpretation of the construction process for cyclic (CyLL) and non-commutative (NL) sequential proofs. We assume a proof construction paradigm, based on a normalisation procedure, known as focussing which manages efficiently the non-determinism of the construction. Similarly to the commutative case, a new formulation of focussing for NL is used to introduce ...

This work presents a computational interpretation of the construction process for cyclic (CyLL) and noncommutative (NL) sequential proofs. We assume a proof construction paradigm, based on a normalization procedure, known as focussing which manages eÆciently the non-determinism of the construction. Similarly to the linear case, a new formulation of focussing for NL is used to introduce a genera...

We present a theory of object-orientation on the basis of the re-nement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as reenement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is reened by both classes, and an algorithm to construct ...

This paper describes how object-oriented software construction principles allow to develop extensible and reusable building blocks for the development of data flow based visual languages. First we’ll present the data flow visual language ProtoHyperflow whose object-oriented realization is discussed in the second part of the paper.

This technical summary discusses the application of a recently introduced technique, based on magnetic imaging tomography, to determine the thickness of freshly placed concrete. This technique may be used for process testing and for acceptance testing during construction of new concrete pavements. The technique is applicable only to plain (nonreinforced) concrete pavements. The results of recen...

Objectives: Microtia is the most commonly seen congenital ear defect, and involves an auricular deformity either unilaterally or bilaterally. The aim of this study was to fabricate silicone prostheses for a child with bilateral microtia using an innovative technique. Methods: This method involved the construction of bilateral ear prostheses using clips, which were located within the layers o...

We present a description technique for the correct construction of programs that allows us to deene terms like reenement, model-checking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods mentioned become clear. Furthermore, it becomes clear that an incremental program construction seems to be...

The roof garden has great functioning of smoothing the shortage of land resource in the city and making use of the land resource diversity and efficiently. The modern era, following the fast development of economic and society, people have a high claim to green roof or roof garden. It is an efficient and reasonable way to exploit the open space the roof of the building. From the classic roof ...