Structural walls commonly used as efficient structural elements to resist lateral and vertical loads. Diverse performance of bearing wall system in past earthquakes, motivates investigation on the adequacy of current seismic design provision for these walls. This study considers seismic performance of model walls of bearing wall and building frame systems designed as ordinary and special struct...

Humanoid robots are used as a research tool to understand bipedal locomotion. When pushed, a humanoid robot must be able to avoid falling and return to a balanced configuration. This is called push recovery and can be achieved using proper foot placement. Depending on the freedom of movement, one or multiple steps are taken to accomplish this goal. It is expected that foot placement can also be...

Decision procedures are widely used in automated reasoning tools in order to reason about data structures. In applications, many conjectures fall outside the theory handled by a decision procedure. Often, reasoning about user-defined functions on those data structures is needed. For this, inductive reasoning has to be employed. In this work, classes of function definitions and conjectures are i...

By considering the master equation of asymmetric exclusion process on a one-dimensional lattice, we obtain the most general boundary condition of the multi-species exclusion processes in which the number of particles is constant in time. This boundary condition introduces the various interactions to the particles, including ones which have been studied yet and the new ones. In these new models,...

By considering the master equation of asymmetric exclusion process on a one-dimensional lattice, we obtain the most general boundary condition of the multi-species exclusion processes in which the number of particles is constant in time. This boundary condition introduces the various interactions to the particles, including ones which have been studied yet and the new ones. In these new models,...