gnosis," International Journal of Policy Analysis and Information Systems, Vol. 4, No. 2, pp. 125-161, 1980. R. S. Michalski, "Pattern Recognition as Rule-Guided Inductive Inference," IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. PAMI-2, No. 4, pp. 349

calibrations. This note discusses some of the major applications of the package, which includes example data sets to demonstrate their use. The package is written in ANSI C, and runs under Windows, Mac OSX, and UNIX systems. It is available at http://abacus.gene.ucl.ac.uk/ software/paml.html.

The development of new mathematical theory and its application in software systems for the solution of hard optimization problems have a long tradition in mathematical programming. In this tradition we implemented ABACUS, an object-oriented software framework for branch-and-cut-and-price algorithms

this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording or otherwise without the permission of the publisher. The views expressed in this document do not necessarily reflect the opinion

This document describes the current state of the parallel version of ABACUS (version 2.3 beta) [4]. It should serve as an introduction to the design of the system as well as a tutorial for the user. The tutorial section describes how to extend and run the ABACUS example application in a parallel

The shift of paradigm emphasizing the importance of the ability to process knowledge rather then being knowledgeable is stressed. A taxonomy of knowledge processing tools, machines, or systems is offered. Major possibilities for future achievements that the author would like to underline are listed

The software system ABACUS is an object-oriented framework for the implementation of branch-and-cut and branch-and-price algorithms. This paper describes the design of ABACUS including the design principles and the most important classes.

Mental abacus (MA) is a system for performing rapid and precise arithmetic by manipulating a mental representation of an abacus, a physical calculation device. Previous work has speculated that MA is based on visual imagery, suggesting that it might be a method of representing exact number

Abstract—The emergence of the cloud computing paradigm has greatly enabled innovative service models, such as Platform as a Service (PaaS), and distributed computing frameworks, such as MapReduce. However, most existing cloud systems fail to distinguish users with different preferences, or jobs

repeatability of calculations, how to automate calculations, and how to save computational and storage resources. The storage is currently a passive component that neither imposes any rules on data organization nor helps with associating a calculation with its result. We thus introduce AbacusFS -an integrated