The coalgebraic perspective on objects and classes in object-oriented programming is elaborated: objects consist of a (unique) identiier, a local state, and a collection of methods described as a coalgebra; classes are coalgebraic (behavioural) speciications of objects. The creation of a \new" object of a class is described in terms of the terminal coalgebra satisfying the speciication. We pres...

Objective: The purpose of this study is to identify and extract the implications of critical realism for science, technology and innovation policy-making as one of the later research traditions in social sciences. Nevertheless, its main focus, according to the different stages of the policy-making cycle and extent of its contributing factors, is on the stage of "policy evaluation". Methods: Thi...

Bulletin of Science, Technology & Society Vol. 26, No. 6, December 2006, 485-496 DOI: 10.1177/0270467606295402 Copyright © 2006 Sage Publications Public “upstream engagement” and other approaches to the social control of technology are currently receiving international attention in policy discourses around emerging technologies such as nanotechnology. To the extent that such approaches hold imp...

a r t i c l e i n f o In this paper, we analyze the social planner solution of an endogenous growth model with physical capital, human capital and R&D. The model incorporates three sources of inefficiency: monopolistic competition in the intermediate-goods sector, duplication externalities and spillovers in R&D. A complete stability analysis for the optimal growth problem of this model is provi...

One of the most important issues which has been of interest for scholars during the past decades is sustainable rural development and its concerning discussions. Social sustainability as the key aspect of sustainable development is of critical importance to sustainable rural development. Bringing social sustainability issues into focus in the present century has made an opportunity for achievin...

The purpose of this study was to develop an instrument to measure the sense of competence of traditional age college students across the dimensions that define the construct. The Sense of Competence Scale-Revised (SCS-R) was developed to provide a measure of Chickering's (1969) first vector, an important psychosocial construct. Administrators can use data from the instrument to modify an instit...

We claim that programming within the logic programming paradigm suuers from lack o f attention given to iteration and arrays. To c o n vince the reader about their merits we present several examples of logic and constraint logic programs which use iteration and arrays instead of explicit recursion and lists. These programs are substantially simpler than their counterparts written in the convent...

Even, Goldreich and Micali showed at Crypto'89 that the existence of signature schemes secure against known message attacks implies the existence of schemes secure against adaptively chosen message attacks. Unfortunately, this transformation leads to a rather impractical scheme. We exhibit a similar security ampliication, which takes the given scheme to a new signature scheme that is not even e...