Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Case base adaptation using solution-space metrics

In this paper we propose a generalisation of the k-nearest neighbour (k-NN) retrieval method based on an error function using distance metrics in the solution and problem space. It is an interpolative method which is proposed to be effective for sparse case bases. The method applies equally to nominal, continuous and mixed domains, and does not depend upon an embedding n-dimensional space. In continuous Euclidean problem domains, the method is shown to be a generalisation of the Shepard's Interpolation method. We term the retrieval algorithm the Generalised Shepard Nearest Neighbour (GSNN) method. A novel aspect of GSNN is that it provides a general method for interpolation over nominal solution domains. The performance of the retrieval method is examined with reference to the Iris classification problem,and to a simulated sparse nominal value test problem. The introducion of a solution-space metric is shown to out-perform conventional nearest neighbours methods on sparse case bases.

Developing global trade union "space"

International unions and international solidarity strategies have been changing partly as a response to changes in the global economy. Global union federations have played an important role in expanding communication and developing alliances with other social movements. One of the issues facing trade unions wanting to be effective at an international level is to what extent national concerns can inform and even be transcended by international perspectives. Proposals for studying the global labor force "horizontally", that is, according to different categories and forms of work rather than on a nation-by-nation basis, demonstrates a recognition of global- national dimensions (Harrod and O'Brien 2002:49). This paper will discuss the development of a global trade union "space", which enables national and global unions to work together effectively, using a series of case studies drawn from the experience of global and European public service unions.

Lifelong learning through digital storytelling in corporate training

In this paper we discuss collaborative learning strategies based on the use of digital stories in corporate training and lifelong learning. The text starts with a concise review on theoretical and technical foundations about the use of digital technologies in collaborative strategies in lifelong learning. We will also discuss if the corporate training may be improved by the use of individual audio-visual experience in learning process. Careful planning, scripting and production of audio-visual digital stories can help in the construction of collaborative learning spaces in which adults are in the context of vocational training throughout life. Our analysis concludes emphasizing on the need to experience the routing performance of digital stories in the context of corporate training, following the reference levels mentioned here, so we can have in a future more theoretical and empirical elements for the validation and conceptualization in the use of digital stories in the context of corporate training. Ultimately we believe that lifelong learning can be improved with the use of strategies that promote the production of personal audio-visual for those involved in teaching and learning process in organizational context.

Co-evaluation as a strategy to improve working group dynamics: an experience in Sport Sciences

The aim of this study was to analyze if the perceptions of students before and after carrying out the work, that is, their perception of different aspects of the functioning of the group, the working skills acquired as well as those they think that need to be improved, varied depending on whether the contribution of the different members of the group was being co-evaluated or not. 144 students of Physical Activity and Sport Sciences participated in this study. In order to analyze the students' perception of group work the adapted questionnaire by Bourne et al. (2001) was used. Results showed that groups which implemented co-evaluation assessed more negatively the experience in general than those which did not. However, co-evaluation groups perceived their competence to work as a team had improved to a greater extent than the groups without co-evaluation, evaluating more positively both the performance and the result of work and increasing their knowledge of the other team members. Using a co-evaluation system seems to generate both a better assessment of the running of the team and the result of its work.