The ET* algorithm is a complete evaluation strategy for Datalog programs, which are logic programs without function symbols. The ET* algorithm uses extension tables and depth-first iterative deepening to provide the evaluation of pure function-free logic programs as declarative specifications. Extension tables are a memo facility that the algorithm uses both to cut infinite derivation paths for...

Whereas classical multi-agent systems have the agent in center, there have recently been a development towards focusing more on the organization of the system. This allows the designer to focus on what the system goals are, without considering how the goals should be fulfilled. This paper investigates whether taking this approach has any clear advantages to the classical way of implementing mul...

BACKGROUND Integrated phase II/III trial designs implement the phase II and phase III aspects of oncology studies into a single trial. Despite a body of literature discussing the merits of integrated phase II/III clinical trial designs within the past two decades, implementation of this design has been limited in oncology studies. PURPOSE We provide a brief discussion of the potential advanta...

We describe the problems associated with the creation of high performance code for mathematical computations. We discuss the advantages and disadvantages of using a high level language like MATLAB and then propose partial evaluation as a way of lessening the disadvantages at little cost. We then go on to describe the design of a partial evaluator for MATLAB and present results showing what perf...

background: there are thirteen who collaborating centres in iran which no mechanism or model has ever been foreseen for the evaluation of them. this original research is innovative in iran, which has been offered by the researcher through a joint research project with who. methods: the aforesaid model has been approved by the international relation department of ministry of health& education. t...