In this paper, we report some preliminary studies of a finite difference method on overlapping nonmatching grids for a two-dimensional Poisson problem. The method can be regarded as an extension of the Generalised Additive Schwarz Method (GASM). GASM was originally developed as a preconditioning technique that uses special transmission boundary conditions at the subdomain interfaces. By involvi...

We give a survey of our recent and current work on the specification and verification of timed algorithms within a rather complete logical framework where timed Gurevich Abstract State Machines (GASM) are used to specify algorithms. The time we use is continuous as it is usual in specifications of control systems and often of protocols (discrete time can be treated within the same framework but...

There are many strategies proposed for speaker verification (SV) system, both in text-dependent (fixed-text) and textindependent (free-text) domains. To convey an appropriate algorithm for Thai speech, several consecutively improvement methods are compared in this paper including the dynamic time warping (DTW) matching and Gaussian mixture model (GMM) based systems. We firstly developed a syste...

OBJECTIVE Assess angular vestibular-ocular reflex (VOR) changes after treatment with intratympanic gentamicin (ITG) for Ménière's disease (MD) and impact on short-term follow-up. DESIGN Prospective study. METHODS Patients submitted to ITG for unilateral MD. The gain VOR and the presence of compensatory saccades elicited by rapid head impulses were measured using the video head impulse test ...

in this paper a mesh-free model of the functionally graded material (fgm) plate is presented.  the piezoelectric material as a sensor and actuator has been distributed on the top and bottom of the plate, respectively. the formulation of the problem is based on the classical laminated plate theory (clpt) and the principle of virtual displacements. moreover, the particle swarm optimization (pso) ...

In this paper a mesh-free model of the functionally graded material (FGM) plate is presented.  The piezoelectric material as a sensor and actuator has been distributed on the top and bottom of the plate, respectively. The formulation of the problem is based on the classical laminated plate theory (CLPT) and the principle of virtual displacements. Moreover, the Particle Swarm optimization (PSO) ...

We introduce here a simple theory of antenna radiation and scattering that fully extends into the time domain a number of standard antenna terms, including gain, realized gain, effective length, antenna pattern, beamwidth, scattering cross section, and radar cross section. Power wave theory applies to linear reciprocal antennas of all feed impedances and feed types, including waveguide feeds. I...

Artificial stock markets are models of financial markets used to study and understand market dynamics. Agent Based Artificial Stock Markets can be seen as any market model in which prices are formed endogenously as a result of participants’ interaction and in which the representation of participants varies from simple equations of forecast functions to intricate software components endowed with...

State Machines and ASM refinement Abstract State Machines (ASMs) are a formalism to model algorithms in a simple, but formally defined way. ASMs originally were the result of theoretical research into the foundations of computation: The idea was to sharpen the thesis by Church and Turing, which says that all definitions of “algorithm” are equivalent (and equivalent to the computations of a Turi...

A new sub-pixel mapping strategy inspired by the clonal selection theory in artificial immune systems (AIS), namely, the clonal selection sub-pixel mapping (CSSM) framework, is proposed for the sub-pixel mapping of remote sensing imagery, to provide detailed information on the spatial distribution of land cover within a mixed pixel. In CSSM, the sub-pixel mapping problem becomes one of assignin...