Subspace identiication algorithms have proven eecient for performing output-only identiication of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary excitation. Such a problem arises in mechanical engineering, for modal analysis of vibrating structures and machines. A common practice there is to collect data from varying sensor locations, using bot...

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...

Mathematical models for the electrical activity in cardiac cells are normally formulated as systems of ordinary differential equations (ODEs). The equations are nonlinear and describe processes occurring on a wide range of time scales. Under normal accuracy requirements, this makes the systems stiff and therefore challenging to solve numerically. As standard implicit solvers are difficult to im...

Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority issue particularly in Urban Wastewater Systems (UWS) that receive mixed household and industrial wastewaters, apart from rainfall water. In this paper, we present an analysis and implementation o...

Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some agent reqr ), and they remain committed to the goal unless the request is cancelled by reqr . A common assumption in the agent theory literature, e.g., [Cohen and Levesque, 1990; Rao and Georgeff, 1991], is that achiev...

0

0

-

Jutla [1] g a ve two s hemes to ombine message integrity with en ryption. The methods use a blo kipher as the main ingredient. To analyze these s hemes we repla e the blo k en ryption by a random permutation and analyze the onstru tion in an information theoreti way. The rationale behind this is that a g o o d blo k ipher should b e a pseudorandom permutation and thus for an atta ker that does ...