Learning is an active, constructive and collaborative process, where people construct know ledge from their experiences in the world. Especially children need to learn through their senses and through physical activity. However, there are few experiental learning environments for school children available, which involve the senses and physical activity. Reasons put forward for this situation ar...

Object-oriented applications of database systems require database transformations involving non-standard functionalities such as set manipulation and object creation, i.e., the introduction of new domain elements. To deal with these functionalities, Abiteboul and Kanellakis introduced the \determinate" transformations as a generalization of the standard domain-preserving transformations. The ob...

Object-oriented applications of database systems require database transformations involving non-standard functionalities such as set manipulation and object creation, i.e., the introduction of new domain elements. To deal with these functionalities, Abiteboul and Kanellakis introduced the \determinate" transformations as a generalization of the standard domain-preserving transformations. The ob...

It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The n-generated subdirectly irreducible algebras in this variety are shown to have at most 3n+1 elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of posit...

In this paper we give an explicit and constructive description of the pairs (p. A) of elements in the symmetric group S, which can be realized as the image of the meridian-longitude pair of some knot K in the 3-sphere S3 under a representation xi (S’ K) -t S,,. The result is applied to give an otherwise nonobvious restriction on the numbers of branch curves of a branched covering , of S’, answe...

We thank McGill and Potochnik (hereafter M&P) for a thoughtful and constructive response [1] to our paper [2]. In our view, there are two main elements to their response. First, they consider that our definition of a mechanistic model is too narrow. Second, they argue that the advantages that we attribute to what we term ‘process-based’ and ‘mechanistic’models (PBMs andMMs, respectively) are sh...

In this article we define a new class of Pythagorean-Hodograph curves built-upon a sixdimensional mixed algebraic-trigonometric space, we show their fundamental properties and compare them with their well-known quintic polynomial counterpart. A complex representation for these curves is introduced and constructive approaches are provided to solve different application problems, such as interpol...

The Type Indeterminacy model is a theoretical framework that uses some elements of quantum formalism to model the constructive preference perspective suggested by Kahneman and Tversky. In a dynamic decision context, type indeterminacy induces a game with multiple selves associated with a state transition process. We define a Markov perfect equilibrium among the selves with individual identity (...

This paper throws light on the connection between the optimal condition number estimate for the BPX method and constructive approximation theory. We provide a machinery, which allows to understand the optimality as a consequence of an approximation property and an inverse inequality in H 1+ , > 0. This machinery constructs so-called approximation spaces, which characterize a certain rate of app...