Many Limit Theorems, Convergence Theorems and Characterization Theorems in Probability and Statistics, in particular those related to normal distribution , are based on the assumption of independence of two or more random variables. However, the full power of independence is not used in the proofs of these Theorems, since it is the distribution of summation of the random variables whic...

Much has been written about optimization instance formats. The MPS standard for linear mixed-integer programs is well known and has been around for many years. Other extensible formats are available for other optimization categories such as stochastic and nonlinear programming. However, the problem instance is not the only piece of information shared between the instance generator and the solve...

We present version 1.0 of the Norn SMT solver for string constraints. Norn is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption of a set of acyclicity conditions on word equations, without any restrictions on the u...

The paper deals with a fluid dynamic model for supply chains. A mixed continuum-discrete model is proposed and possible choices of solutions at nodes guaranteeing the conservation of fluxes are discussed. Fixing a rule a Riemann solver is defined and existence of solutions to Cauchy problems is proved.

In this paper we compare the performance characteristics of two 3-dimensional hierarchical N-body solvers: an O(N) and an O(N logN) solver. We present the execution times for numerous N-body force evaluations using the two methods, with various values of N and , where is the prescribed error. We nd that the O(N logN) method is more suited to problems which demand a high precision and large N. W...

To manage problems , is to try and cope with a flux of interacting events and ideas which unrolls through time with the manager trying to improve situations seen as problematical, or at least as less than perfect. The ability of managing or solving these problems depends on the skills of the problem solver to analyse problems. This article introduces and discusses a proposed methodology for ana...

VPSolver is a vector packing solver based on an arc-flow formulation with graph compression. In this paper, we present the algorithm introduced in VPSolver 3.0.0 for building compressed arc-flow models for the multiple-choice vector packing problem.

We present Solrex, an automated solver for the game of Reverse Hex. Reverse Hex, also known as Rex, or Misère Hex, is the variant of the game of Hex in which the player who joins her two sides loses the game. Solrex performs a mini-max search of the state space using Scalable Parallel Depth First Proof Number Search, enhanced by the pruning of inferior moves and the early detection of certain w...