CTMC (continuous-time Markov chains) are a commonly used formalism for modeling fault-tolerant systems. One of the major drawbacks of CTMC is the well-known state-space explosion problem. This work develops and analyzes a method (SC-BM) to compute bounds for the reliability of non-repairable fault-tolerant systems in which only a portion of the state space of the CTMC is generated. SC-BM uses t...

In a recent paper, Dash, Dey and Günlük (2010) showed that many families of inequalities for the two-row continuous group relaxation and variants of this relaxation are cross cuts or crooked cross cuts, both of which generalize split cuts. Li and Richard (2008) recently studied t-branch split cuts for mixedinteger programs for integers t ≥ 1. Split cuts are just 1-branch split cuts, and cross c...

0377-2217/$ see front matter 2010 Elsevier B.V. A doi:10.1016/j.ejor.2010.04.019 * Corresponding author. E-mail addresses: [email protected] (M.W. Ta Ntaimo). We present a new method for solving stochastic programs with joint chance constraints with random technology matrices and discretely distributed random data. The problem can be reformulated as a large-scale mixed 0–1 integer program. We de...

We present a hierarchical finite element method for interactively simulating cuts in linear elastic deformable bodies. Our method draws upon recent work on octree and multigrid schemes for the efficient numerical solution of partial differential equations. We propose a novel approach for incorporating topological changes in octree grids into multigrid schemes, including algorithms for updating ...

In some cases, our uncertainty about about a quantity can be described by an interval of its possible values. If we have two or more pieces of interval information about the same quantity, then we can conclude that the actual value belongs to the intersection of these intervals. In general, we may need a fuzzy number to represent our partial knowledge. A fuzzy number can be viewed as a collecti...

In this paper we present a new method for layer extraction by tracking a non-rigid body with no fixed motion model, in a video. The method integrates the graph cuts approach with robust point based tracking to achieve good tracking of the whole object over frames of a video. With the help of a little user interaction our method can perform fine layer extraction over irregular motion and difficu...

The L-shaped method allows to solve large scale stochastic problems that cannot be solved directly. Each major iteration method solves all scenario subproblems and generate a single optimality or feasibility cut to the master problem by aggregating all the cuts obtained from the subproblems. This causes an ”information loss” and results in a large number of major iterations. The multicut L-shap...