We use a dense seismic array composed of 5200 vertical geophones to monitor microseismicity in Long Beach, California. Poor signal-to-noise ratio due to anthropogenic activity is mitigated via downward-continuation of the recorded wavefield. The downward-continued data are continuously back projected to search for coherent arrivals from sources beneath the array, which reveals numerous, previou...

We present an abstract interpretation based approach to solve the coverability problem of well-structured transition systems. Our approach distinguishes from other attempts in that (1) we solve this problem for the whole class of well-structured transition systems using a forward algorithm. So, our algorithm has to deal with possibly infinite downward closed sets. (2) Whereas other approaches h...

We consider a modified version of Gambler’s Ruin Problem in which the gambler decides to quit based on the relative change of his or her wealth. For this purpose we consider two possible changes of wealth, namely the upward rally and the downward fall. We define upward rally as the difference of the current wealth and its historical minimum, while the downward fall is the difference of the hist...

This paper is devoted to a study of the unique continuation property for stochastic parabolic equations. Due to the adapted nature of solutions in the stochastic situation, classical approaches to treat the the unique continuation problem for deterministic equations do not work. Our method is based on a suitable partial Holmgren coordinate transform and a stochastic version of Carleman-type est...

Under some generic assumptions we prove the unique continuation property for the two-dimensional inhomogeneous anisotropic elasticity system. Having established the unique continuation property, we then investigate the inverse problem of reconstructing the inclusion or cavity embedded in a plane elastic body with inhomogeneous anisotropic medium by infinitely many localized boundary measurements.

A parametrized version of the nonlinear complementarity problem is formulated. The existence of a continuation of a solution is investigated and sufficient and necessary conditions for the monotonicity of such a continuation are given. The notions of strong and uniform monotonicity, originated in the linear theory, are discussed, and the theorems of the linear theory are generalized.

The forward position kinematics (FPK) of a parallel manipulator with new architecture supposed to be used as a moving mechanism in a flight simulator project is discussed in this paper. The closed form solution for the FPK problem of the manipulator is first determined. It has, then, been shown that there are at most 24 solutions for FPK problem. This result has been verified by using other tec...

searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggesstions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 1215 Jefferson Davis Hi...