The "classical parallelizers" integrate more and more sophisticated and costly parallelization techniques. As a result, they are limited by the size of the program they are able to compile and are not well suited to parallelize real scientiic programs whose parallelism detection complexity may diier very much from one code fragment to another. The goal of our work is the construction of a meta-...

The do-calculus was developed in 1995 to facilitate the identification of causal effects in non-parametric models. The completeness proofs of [Huang and Valtorta, 2006] and [Shpitser and Pearl, 2006] and the graphical criteria of [Tian and Shpitser, 2010] have laid this identification problem to rest. Recent explorations unveil the usefulness of the do-calculus in three additional areas: mediat...

Document management software are used widely for office paper management and related workflows. However, they have some differences from a flexibility perspective for the needs of workers. Moreover, they also differentiate in their underlying conceptual design. In this paper, a set (eight) of widely used document management systems are chosen from internet reviews [5] [6] and their conceptual m...

We address the Identical Parallel Machine Scheduling Problem, one of the most important basic problems in scheduling theory, and some generalizations of it arising from real world situations. We survey the current state of the art for the most performing meta-heuristic algorithms for this class of problems, with special emphasis on recent results obtained through Scatter Search. We present insi...

E-government foresight is a major issues for many countries. It is a systematic approach for looking into the long-term futures. E-government initiatives are currently at a stage of integration and new orientation in developing countries. Smaller steps of government modernization have in part been successfully implemented; larger ones still lie ahead of us. This demands a framework for e-govern...

In this paper, we study the network design problem with relays considering network survivability. This problem arises in telecommunications and logistic systems. The design problem involves selecting two edge-disjoint paths between source and destination node pairs and determining the location of the relays in the network to minimize the network cost. A constraint is imposed on the distance tha...

We describe and compare design choices for meta-predicate semantics, as found in representative Prolog module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, computational reflection support, expressiveness of meta-predicate declarations, safety of meta-predicate definitions, portability of me...

Negotiation in cooperative modeling environments requires stakeholders to achieve a shared understanding while maintaining their own interpretation, in order to achieve creative design solutions. Complementing meeting-oriented groupware systems which continuously enforce a central group perspective, we present an qpreach thar maintains multiple perspectives and knowledge about their interrelati...

This paper describes a Conceptual Framework underpinning “Systems that Care” in terms of educational systems that take account of motivation, metacognition and affect, in addition to cognition. The main focus is on motivation, as learning requires the student to put in effort and be engaged, in other words to be motivated to learn. But motivation is not the whole story as it is strongly related...

A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to those of Prolog while preserving a declarative logical semantics. It also offers new meta-programming opportunities as compared with Prolog due to its ability to treat whole programs, i.e. sequences of clauses, as data objects...