it has been pointed out the static lateral response procedure for a base-isolated structure proposed in international building code (ibc) somewhat overestimates the seismic story force. that is why in the current paper, vertical distribution of base shear over the height of isolated structures considering higher mode effects under near field earthquakes is investigated. nonlinear behavior of is...

Robert Granville BBN

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets, multisets, algebraic data types, or graphs. Consequently, formulas generated from verification also involve such data structures. To automa...

We describe a system in which simple, identical, autonomous robots assemble two-dimensional structures using prefabricated modules as building blocks. Modules are capable of some information processing, enabling them to share longrange structural information and communicate it to robots. This communication allows arbitrary solid structures to be rapidly built using a few fixed, local robot beha...

The semantics of a text is carried by both the natural language it contains and its layout. As ontology building processes have so far taken only plain text into consideration, our aim is to elicit its textual structure. We focus here on parallel enumerative structures because they bear implicit or explicit hierarchical relations, they have salient visual properties, and they are frequently fou...

orative research effort on ribonucleic acid (RNA) structure and function that started in 1987 in Robert Cedergren’s laboratory at the Université de Montréal. It involves multidisciplinary research in the fields of molecular biology, biochemistry, and computer science. The project ultimately produced MCSym, an intelligent system designed for building RNA three-dimensional (3D) structures. The RN...

Capturing and modelling 3D information of the built environment is very challenging. A number of techniques and technologies are now in use such as EDM, GPS, photogrammetric applications, and building surveying applications. However, use of these technologies has not been practical and efficient with regard to time, cost and accuracy. A multi-disciplinary knowledge base, created from studies an...

We consider imaging of the building interior structures using Compressive Sensing (CS) with applications to through-the-wall imaging and urban sensing. We consider a monostatic synthetic aperture radar imaging system employing stepped frequency waveform. The proposed approach exploits prior information of building construction practices to form an appropriate sparse representation of the buildi...

The paper aims to extract the dynamic properties of existing structures without utilizing the analytical models. The ambient vibration testing could be used on any type of frame such as concrete, steel and masonry to investigate the structural vulnerability. The method could be the first stage and necessarily for the retrofit process. To achieve this aim, the ambient vibration testing can...

accurate identification of seismic hazard and the estimation of associated seismic demands are the key components in the performance-based seismic design (pbsd). although nonlinear time history (nth) analysis is the most precise procedure to evaluate the seismic demands of buildings structures, it is relatively complex and time-consuming for routine applications. nonlinear static procedures (ns...