the nonlinear static procedures (nsps) proposed by design codes do not lead to reliable results especially for tall buildings. they generally provide inconsistent estimates of inelastic seismic demands, especially for the top floors due to their inabilities in considering the higher modes effects. in this paper, a new enhanced pushover procedure is proposed which is based on the envelope of the...

This paper, a sequel to "Models for normal intuitionistie modal logics" by M. Bo~i6 and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of $4 and $5. For these propositional logics Kripke-style models with two accessibility relations, one intuitionistic and the ot...

Electroacoustic absorbers consist of loudspeakers, shunted with an electrical circuit designed to obtain a given acoustic impedance. Their design and principles are now well understood. Unidimensional experiments, using plane waves under normal incidence in ducts, agree perfectly with simulations and confirm the validity of the model: the low-frequency absorption is maximal (and total) when the...

Our somatosensory system deals with not only spatial but also temporal imprecision, resulting in characteristic spatiotemporal illusions. Repeated rapid stimulation at the wrist, then near the elbow, can create the illusion of touch at intervening locations along the arm (as if a rabbit is hopping along the arm). This is known as the "cutaneous rabbit effect" (CRE). Previous studies have sugges...

Neurons in the cat superior colliculus (SC) integrate information from different senses to enhance their responses to cross-modal stimuli. These multisensory SC neurons receive multiple converging unisensory inputs from many sources; those received from association cortex are critical for the manifestation of multisensory integration. The mechanisms underlying this characteristic property of SC...

New insight on mode coupling in waveguiding structures is obtained from the theory of Morse critical points (MCP’s). It is shown that the traditional coupled-mode formalism has a clear analytical connection with functional properties of the characteristic determinant in the vicinity of the Morse critical point, which determines the minimum of coupling. The relationship between perturbed and ind...

for the first time in the history of logic, abd al razzaq al-jili (d. 570/1174), in the treatise al-lame fi al-shakl al-rabe, dealt with the modal syllogisms of the fourth figure. previous to him, dinha, the priest, and ibn salah al-hamadani had discussed the non-modal moods of the fourth figure. jili’s treatise deals only with simple modalities and ignores the complex ones. his pupil, fakhr al...

Low-frequency electroacoustic absorbers have recently been developed as a solution for the modal equalisation. Firstly investigated in waveguides, the technique consists in matching the acoustic impedance at a closed-box loudspeaker diaphragm to the characteristic acoustic impedance of air. Extending the results in a duct to rooms brings up several challenges. Some parameters, such as the posit...

The installation of a structural monitoring system on a mediumto large-span bridge can be a challenging undertaking due to high system costs and time consuming installations. However, these historical challenges can be eliminated by using wireless sensors as the primary building block of a structural monitoring system. Wireless sensors are low-cost data acquisition nodes that utilize wireless c...

We examine the notion of bisimulation and its ramifications, in the context of the family of Heyting-valued modal languages introduced by M. Fitting. Each modal language in this family is built on an underlying space of truth values, a Heyting algebra H. All the truth values are directly represented in the language, which is interpreted on relational frames with an H-valued accessibility relati...