With the widespread deployment of advanced heterogeneous technologies and growing complexity in our modern society, there is an increasing demand for risk-aware management joint operation interconnected infrastructures lifeline networks. The coordination between Power Water Networks (PWNs) urgently needed as water networks are one most energyintensive critical infrastructures. This paper propos...

We propose a new approach, two-dimensional binary fused compressive sensing (2DBFCS) to recover 2D sparse piece-wise signals from 1-bit measurements, exploiting group sparsity in 2D 1-bit compressive sensing. The proposed method is a modified 2D version of the previous binary iterative hard thresholding (2DBIHT) algorithm, where, the objective function consists of a 2D one-sided l1 (or l2) func...

The arterial lumen is modeled by a spatially continuous right generalized cylinder with piece-wise constant parameters. The method is the identifies the parameters of each cylinder piece from a series of planar contours extracted along an approximate axis of the artery. This curve is defined by a minimal path between the artery end-points. The contours are extracted by use of a 2D Fast Marching...

In this paper, we solve higher index differential algebraic equations (DAEs) by transforming them into integral algebraic equations (IAEs). We apply collocation methods on continuous piece-wise polynomials space to solve the obtained higher index IAEs. The efficiency of the given method is improved by using a recursive formula for computing the integral part. Finally, we apply the obtained algo...

We present an approach for the verification of feed-forward neural networks in which all nodes have a piece-wise linear activation function. Such networks are often used in deep learning and have been shown to be hard to verify for modern satisfiability modulo theory (SMT) and integer linear programming (ILP) solvers. The starting point of our approach is the addition of a global linear approxi...

The Strukov model was the phenomenological model that accompanied the announcement of the first recognised physical instantiation of the memristor and, as such, it has been widely used. This model described the motion of a boundary, w, between two types of inter-converting material, Roff and Ron, seemingly under a uniform field across the entire device. In fact, what was intended was a field wi...

Article history: Received 17 January 2012 Received in revised form 4 June 2012 Accepted 5 June 2012 Available online 15 June 2012