Based on the model equation for homogeneous particles, we propose a just suspension speed mixed particles. If correlation of Zwietering holds, particles [njs,mix(XT)] is given as function volume fraction particle i (?i) and uniform [njs,i(XT)]. njs,mix(XT)=[?injs,i(XT)20/3?i?injs,i(XT)10/3?i]3/10 The calculated values using proposed were in close agreement with experimental data. Furthermore, r...

In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our understanding of the domain of linguistic abstraction itself in higher-level meta languages. The argument is illustrated with examples from the SDF, Stratego, Spoofax, a...

The Wideband-Audio Low-Delay CELP (LD-CELP) coder produces speech with quality as high as the CCITT 64 kb/s standard (G.722) at half the bitrate. The computational load of the encoder is almost 900% processor time of the 12.5 MIPS DSP32c. This makes a real-time implementation impractical. We investigated the Gain-Shape Vector-Quantization (GSVQ) in order to reduce the computational load of the ...

Let G be a non–linear function of a Gaussian process {Xt}t∈Z with long–range dependence. The resulting process {G(Xt)}t∈Z is not Gaussian when G is not linear. We consider random wavelet coefficients associated with {G(Xt)}t∈Z and the corresponding wavelet scalogram which is the average of squares of wavelet coefficients over locations. We obtain the asymptotic behavior of the scalogram as the ...

Background—Adrenergic regulation of coronary vasomotion is balanced between 1-adrenergic–mediated ( 1-AR) constriction and 2-adrenergic–mediated ( 2-AR) relaxation. This study aimed at assessing the role of 2-ARs in normal, mildly atherosclerotic, and stenotic human coronary arteries. Methods and Results—During intracoronary (IC) infusion of increasing doses of the 2-AR agonist salbutamol (0.15...

This thesis is a study of approximation and calibration of stochastic processes with applications in finance. It consists of an introduction and four research papers. The introduction is as an overview of the role of mathematics in certain areas of finance. It contains a brief introduction to the mathematical theory of option pricing, as well as a description of a mathematical model of a financ...

A new kind of comparison theorem in which an SDE is compared with two deterministic ODEs is established by means of the generalized sample solutions of SDEs. Using this theorem, we can compare solutions of two SDEs with different diffusion coefficients and obtain some asymptotic estimations for the paths of diffusion processes. In the investigation of solutions of stochastic differential equati...

The Second Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated five systems, namely ASF+SDF, Maude, Stratego/XT, TermWare, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions.

Our definition of a triangle t = {e1,e2,e3} for an undirected signed graph G = (V,E,x) expresses each triangle as an unordered set of edges. However, we implicitly impose an ordering on the edges of t when we form xt = (xe1 ,xe2 ,xe3) because the vector xt is an ordered object. As this ordering is arbitrary, d : {0,1}3→ R+ must be invariant to the order of its arguments, i.e., for any permutati...