Landslides are one kind of slopes processes have been take place in some area at worldwide and Iran every year, and they are associated with damaged, many people are harmed and losses their properties. The aim of this research landslide hazard assessment in central zab basin in the southwest mountainsides of West-Azerbaijan province, Iran by using information layers and effective factors in lan...

We propose a newmethod to analyze and represent data recorded on a domain of general shape in R by computing the eigenfunctions of Laplacian defined over there and expanding the data into these eigenfunctions. Instead of directly solving the eigenvalue problemon such a domain via theHelmholtz equation (which can be quite complicated and costly), we find the integral operator commuting with the ...

Free surface flows are pervasive in engineering and biomedical applications. In many interesting cases—particularly when small length scales are involved—surface forces (capillarity) dominate the flow dynamics. In these cases, computing the flow together with the shape of the surfaces requires specialized solution techniques. This article investigates the capabilities of an operator splitting/f...

The study of the Laplace operator and its corresponding eigenvalue problem is crucial to understand the foundations of 3D shape analysis. For that reason the most important mathematical properties of the Laplace operator in Euclidean spaces, its eigenvalues and eigenfunctions are summarized and explained in this report. The basic definitions and concepts of infinite dimensional function spaces,...

In this paper, an optimal control problem governed by a partial differential equation is considered. The Newton step for this system can be computed by solving a coupled system of equations. To do this efficiently with an iterative defect correction process, a modifying operator is introduced into the system. This operator is motivated by local mode analysis. The operator can be used also for p...

0

We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our domain is based on Separation Logic extended with predicates that capture the pointer arithmetics constraints for the heap-list and the shape of the free-list. These predicates are combined using a hierarchical compositi...

A local smoothing operator applied in the reverse direction is used to obtain planar shape enhancement and exaggeration. Inversion of a smoothing operator is an inherently unstable operation. Therefore, a stable numerical scheme simulating the inverse smoothing effect is introduced. Enhancement is obtained for short time spans of evolution. Carrying the evolution further yields shape exaggerati...