This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and i...

Recently, it was proved by Anari–Oveis Gharan–Vinzant, Anari–Liu–Oveis Gharan–Vinzant and Brändén–Huh that, for any matroid M, its basis generating polynomial independent set are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities matroids including a solution of strong Mason's conjecture. In this paper, we study strictness log-concavity these polynomia...

We provide a framework for understanding how disability risk and features of the disability insurance program in the US affect individual consumption and labor supply behavior in an explicit life-cycle setting. We decompose earnings risk into disability shocks (that reduce the ability to work) and shocks to general productivity. We identify structural parameters of the model using indirect infe...

Results from Unification Theory and type inference with coercions are combined to produce a new method for performing strictness analysis of functional programs. A formal deduction system is developed in which extended types are derivable for terms of the A-calculus. These extended types contain Boolean rings describing the reduction behaviour of terms. Algorithms implementing the method are de...

The paper presents a new way to model partial operations by use of nondeterminism: a partial operation is modeled as a nondeterministic operation returning, possibly, any value of the carrier. We introduce an institution of multialgebras MA (modelling nondeterministic operations by set-valued functions) and illustrate the exibility of our approach by examples showing uniform treatment of strict...

We consider a generalized form of inductive definitions as first suggested by Guttag. Partial functions may be defined by introducing error values in the right hand sides. For such definitions the intuitive semantics is not consistent with that of unrestricted rewriting. In general, the addition of rewrite rules capturing the intuitively motivated error propagation will destroy confluence of th...

We reprove Saito’s vanishing theorem for mixed Hodge modules by the method of Esnault and Viehweg. The main idea is to exploit the strictness of direct images on certain branched coverings.

We show how Wadler and Hughes's use of Scott projections to describe properties of functions (\Projections for Strictness Analysis", FPCA 1987) can be generalised by the use of partial equivalence relations. We describe an analysis (in the form of an abstract interpretation) for identifying such properties for functions deened in the simply typed-calculus. Our analysis has a very simple proof o...

Petroleum exploration and production is an industry that provides researchers with multi-variant challenging “real world” properties. Recently, some petroleum soft computing techniques have gained a greater interest in prediction within the oil industry. This paper is interested in the analysis, classifying, mining and predictions, based on fuzzy as an intelligent system and an intelligent syst...