The mine production planning defines a sequence of block extraction to obtain the highest NPV under a number of constraints. Mathematical programming has become a widespread approach to optimize production planning, for open pit mines since the 1960s. However, the previous and existing models are found to be limited in their ability to explicitly incorporate the ore grade uncertainty into the p...

Hello is a general-purpose, object-oriented, protocol-agnostic distributed programming language. This paper explains the ideas that guided design of Hello. It shows the spirit of Hello using two brief expressive programs and provides a summary of language features. In addition, it explores historical parallels between the binary programming of early computers and the distributed programming of ...

Motivated by an application in a public utility, the credit screening problem is re-examined from a decision theoretic viewpoint. The relationships between several alternative problem formulations are explored, and compared to the classical linear discriminant analysis (LDA) approach. Several mathematical programming based solution methods are proposed when the data are binary, and an efficient...

Libra is a general-purpose programming language based on the algebra of binary relations. It attempts to unify functional and logic programming, retaining the advantages of both, and avoiding some of the problems. It has all the features needed of a programming language, and a straightforward semantic interpretation. Since program speciications are easily expressed as relations, it ooers a simp...

This chapter describes recent advances in genetic programming of machine code. Evolutionary program induction using binary machine code is the fastest known Genetic Programming method. It is, in addition, the most well studied Genetic Programming system that uses a linear genome. Evolutionary program induction using binary machine code was originally referred to as Compiling Genetic Programming...

Certificates of non-negativity are fundamental tools in optimization. A “certificate” is generally understood as an expression that makes the non-negativity of the function in question evident. Some classical certificates of non-negativity are Farkas Lemma and the S-lemma. The lift-and-project procedure can be seen as a certificate of non-negativity for affine functions over the union of two po...

The Distributed Interactive Simulation (DIS) IEEE-1278.1 standard is used in many military simulations. The binary data format for DIS does not lend itself to use in emerging web services standards or data analysis and storage tools because the data format is not recognized by most general purpose data manipulation tools. We examine an alternate XML-based representation of DIS information. An X...