Under mild additional assumptions this paper constructs quasi -interpolants in the form f h (x) = +1 X j= 1 f(hj)' h x h j ; x 2 IR; h > 0 (0.1) with approximation order ` 1, where ' h (x) is a linear combination of translates (x jh) of a function in C ` (IR). Thus the order of convergence of such operators can be pushed up to a limit that only depends on the smoothness of the function . This a...

The last 15 years has seen the transitioning of the industrial economy to a knowledge economy. Knowledge is now considered as the new value proposition of the post-industrial economy, which is embedded in staff and workers in the organization; and can and should be considered a key resource for competitiveness and performance. Organisations intending to effectively exploit their knowledge asset...

Many important problems of graph enumeration and indexing can be solved by frontier-based methods, which construct ZDDs in a breadth-first manner from the top to the bottom. We present new techniques toward an efficient framework to deal with the frontier-based methods. Ad hoc parts of the algorithm are encapsulated using the recursive specifications that represent properties to be compiled int...

Construction of iterative processes without memory, which are both optimal according to the Kung-Traub hypothesis and derivative-free, is considered in this paper. For this reason, techniques with four and five function evaluations per iteration, which reach to the optimal orders eight and sixteen, respectively, are discussed theoretically. These schemes can be viewed as the generalizations of ...

Despite their high-level and graphical nature, workkow speciications require a signii-cant amount of implementation detail-e.g. application programming interface, database access and programming mechanisms for information ow-for a more comprehensive validation than is currently possible. This is currently recognised as a deeciency in workkow conceptualisation. Although conceptual modelling tech...

In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule con...

The aim of this research note is to identify some critical areas of knowledge management that may benefit from research results in the development and verification of knowledge-based systems (KBSs). While knowledge management efforts are usually much broader and more loosely defined than traditional KBSs, there are many activities that are analogous to those required for KBSs. In particular, we...

The RODIN project is an EU-funded project concerned with the provision of methods and tools for rigorous development of complex software-based systems. Ultimately, through the development of open-source tools and techniques, the project aims to make formal methods more appealing and accessible to industry. The project is driven by a number of case studies, each of which is designed to exercise ...

.................................................................................................................................. iii CONTENTS.................................................................................................................................... v