the current building codes provide limited prescriptive guidance on design for protection of buildings due to progressive collapse. progressive collapse is a situation in which a localized failure in a structure, caused by an abnormal load, such as explosions or other happenings. three procedures, often employed for determination of the structural response during progressive collapse i.e. linea...

We introduce an approach to learning convolution filters whose joint output can be fed to a classifier that labels them as belonging to linear structures or not. The filters are learned using sparse synthesis techniques but we show that enforcing constraints is not required at run-time to achieve good classification performance. In practice, this is important as it drastically reduces the compu...

It was recently shown [19] that satisfiability is polynomially solvable when the incidence graph is an interval bipartite graph (an interval graph turned into a bipartite graph by omitting all edges within each partite set). Here we relax this condition in several directions: First, we show an FPT algorithm parameterized by k for k-interval bigraphs, bipartite graphs which can be converted to i...

We show how graph theory can be combined with quantum theory to calculate the electronic structure of large complex systems. The graph formalism is general and applicable to a broad range of electronic structure methods and materials, including challenging systems such as biomolecules. The methodology combines well-controlled accuracy, low computational cost, and natural low-communication paral...

A number of researchers have proposed applications of Girard’s Linear Logic [7] to computational linguistics. Most have focused primarily on the connection between linear logic and categorial grammars. In this work we show how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies. The resulting grammars ar...

We recently demonstrated a new approach to mul-tiframe structure from motion from point features which, in the appropriate domain, provably reconstructs structure and motion correctly. The algorithm works for general motion and large perspective eeects. In this paper, we describe how to adapt our approach to translational motion lying along a line or in a plane, with arbitrary rotations. An ana...

In this paper we propose a new method for ranking Z- numbers and generalizations. This method is based on the internal structure of the artificial neural network, which suggests that the structure of this network consists of inputs weights and the transfer function linear, nonlinear and sometimes linear and nonlinear. It is shown that the proposed method while possessing the ranking properties ...