Researchers struggle to manage vast amounts of data coming from hundreds of sources in online repositories. To successfully conduct research studies, researchers need to find, retrieve, filter, extract, integrate, organize, and share information in a timely and high-precision manner. We are building a system that implements active conceptual modeling for learning as a way to give researchers th...

An amortized analysis of the insertion and deletion algorithms of k-dimensional balanced binary trees (kBB-trees) is performed. It is shown that the total rebalancing time for a mixed sequence of m insertions and deletions in a kBB-tree of size n is O(k(m+n)). Based on 2BB-trees, a self-organizing tree, called a self-organizing balanced binary tree, is defined. It is shown that the average acce...

Motivated by the descent equation in string theory, we give a new interpretation for the action of the symmetry charges on the BRST cohomology in terms of what we call the Gerstenhaber bracket. This bracket is compatible with the graded commutative product in cohomology, and hence gives rise to a new class of examples of what mathematicians call a Gerstenhaber algebra. The latter structure was ...

The concept of cold-formed light steel framing construction has been widespread after understanding its structural characteristics with massive research works over the years. Connection serves as one of the important elements for light steel framing in order to achieve its structural stability. Compared to hot-rolled steel sections, cold-formed steel connections perform dissimilarity due to the...

This paper gives a bibliographical review of the methods which are applied for the analysis of Beam to column bolted end plate connection from the theoretical as well as practical points of view. The bibliography at the end of the paper contains 84 references of papers and conference proceedings on the subject that were published between 1914 and 2011. These are classified in the following cate...

Theorem 1. 1) Under local changes of the fields u = u(w) the coefficient g(u) in the bracket (2) transforms like a bilinear form (a tensor with upper indices); if det g 6= 0, then the expression b k (u) = gΓ j sk transforms in such a way that the Γjsk are the Christoffel tymbols of a differential-geometric connection. 2) In order that the bracket (2) be skew-symmetric it is necessary and suffic...

In this study, an innovative fabricated angle bracket connection for joining cold-formed steel structures is presented and investigated. The innovation lies in the especially designed manufactured method of connecting C-profile using clinch pressing. This novel can be used to connect elements such as beam trusses at ends chords or anchoring column base. Five specimens were experimentally tested...

Currently under development at the Johnson Space Center (JSC) for use in the Mission Control Center (MCC) are a group of expert system to assist the ONAV flight controllers. These expert systems serve two functions: to act as an assistant during real-time and simulated flight operations, and to act as trainers for controllers when flight operations are not in progress. The Knowledge Base Browse...

Strength prediction is discussed using a traction-separation damage model incorporating material softening for bolted joint that fails in bearing mode. The modelliug approach in the bolted double-lap joint of current work is a simplistic approach to predict the strength of bearing failures. This is clearly shown in bearing failure which occurred experimentally at higher W/d ratios. A simple met...