it is very important to study and simulate s-wave structure for near surface (alluvium parts, in particular) owing to its direct relationship to urban facilities in geotechnical and earthquake engineering studies. so, in seismic microzonation, the first step is to study and identify s-wave pattern in alluvium in order to categorize different parts of cites according to s-wave velocity. current ...

Objectives: The purpose of the present study was to investigate the effectiveness of cognitive-behavior education on decreasing deterministic thinking in mothers of children with autism spectrum disorders. Methods: Participants were 24 mothers of autistic children who were referred to counseling centers of Tehran and their children’s disorder had been diagnosed at least by a psychiatrist and...

In this paper we consider hybrid (fast stochastic approximation and deterministic refinement) algorithms for Matrix Inversion (MI) and Solving Systems of Linear Equations (SLAE). Monte Carlo methods are used for the stochastic approximation, since it is known that they are very efficient in finding a quick rough approximation of the element or a row of the inverse matrix or finding a component ...

helicopter-borne frequency-domain electromagnetic (hem) surveys are used extensively for mineral and groundwater exploration and a number of environmental investigations. to have a meaningful interpretation of the measured multi- frequency hem data, in addition to the resistivity maps which are provided in each frequency or for some particular depth levels, it is a necessity to have a suit...

A new approach for modeling inverse problems using a Bayesian inference method is introduced. The Bayesian approach considers the unknown parameters as random variables and seeks the probabilistic distribution of the unknowns. By introducing the concept of the stochastic prior state space to the Bayesian formulation, we reformulate the deterministic forward problem as a stochastic one. The adap...

Rewrite systems obtained by some automated transformation often have a poor syntactic structure even if they have good properties from a semantic point of view. For instance, a rewrite system might have overlapping left-hand sides even if it can only produce at most one constructor normal form (i.e., value). In this paper, we propose a method for computing “more specific” versions of determinis...

This paper reports results of a joint study between ESA, DEIMOS Space S.L. and the University of Leicester on the robustness analysis of flight control laws for future hypersonic re-entry vehicles. We apply a novel hybridised version of the deterministic global optimisation algorithm, DIviding RECTangles (DIRECT), to perform worst-case analysis of a nonlinear-dynamic inversion (NDI) flight cont...

We present the first accelerated randomized algorithm for solving linear systems in Euclidean spaces. One essential problem of this type is the matrix inversion problem. In particular, our algorithm can be specialized to invert positive definite matrices in such a way that all iterates (approximate solutions) generated by the algorithm are positive definite matrices themselves. This opens the w...

It is undoubtedly true, that the usage of a formal speciica-tion methodology in software design will reduce the development eeort, particularly as embedded hard real{time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real{time systems with hard timing constraints. Emerging problems, caused by the non{deterministic semantics of SDL, ...

Matrix eigen-decomposition is a classic and long-standing problem that plays a fundamental role in scientific computing and machine learning. Despite some existing algorithms for this inherently non-convex problem, the study remains inadequate for the need of large data nowadays. To address this gap, we propose a Doubly Stochastic Riemannian Gradient EIGenSolver, DSRG-EIGS, where the double sto...